All Questions
Tagged with at.algebraic-topology lie-groups
241
questions
12
votes
3
answers
932
views
Smooth map homotopic to Lie group homomorphism
Let $G$ and $H$ be connected Lie groups. A Lie group homomorphism $\rho:G\to H$ is a smooth map of manifolds which is also a group homomorphism.
Question: Can we find a smooth (or real-analytic) map $...
3
votes
0
answers
95
views
Decomposing a compact connected Lie group
I want to prove the following. Let $G$ be a compact connected Lie group with Lie algebra $\mathfrak g$ and center $Z_G.$ It is not hard to prove that $\mathfrak g$ is reductive. Therefore, we can ...
8
votes
0
answers
168
views
Comparison of two well-known bases of the integral homology group of based loop group
Let $G$ be a compact simply-connected Lie group. Then one can look at the homology $H_*(\Omega G;\mathbb{Z})$ of the based-loop space $\Omega G$ in at least two different ways:
(1) Via Bott-Samelson'...
5
votes
0
answers
140
views
Reference request: Name or use of this group of diffeomorphisms of the disc
Let $k \in \{0,\infty\}$, $G\subseteq \operatorname{Diff}^k(D^n)$ be the set of diffeomorphisms $\phi:D^n\to D^n$ of the closed $n$-disc $D^n$ (with its boundary) satisfying the following:
$
\phi(S_r^...
2
votes
0
answers
95
views
Compact $G$-ENR's and Euler characteristic computed with Alexander-Spanier cohomology with compact support
Let $(Z,A)$ a compact ENR pair, then
$$\chi(Z)=\chi_c(Z-A)+\chi(A)$$
where $\chi_c$ is the Euler characteristic taken in Alexander-Spanier cohomology with compact support (ENR means euclidean ...
4
votes
2
answers
261
views
Finite models for torsion-free lattices
Let $G$ be a real, connected, semisimple Lie group and $\Gamma < G$ a torsion-free lattice. Then does there exist a finite $CW$-model for $B\Gamma$?
I know this to be true in many instances (e.g. ...
8
votes
0
answers
265
views
Integral cohomology of compact Lie groups and their classifying spaces
Let $G$ be a compact Lie group and let $BG$ be its classifying space. Let $\gamma\colon \Sigma G \to BG$ be the adjoint map for a natural weak equivalence $G \xrightarrow{\sim} \Omega BG$. Taking ...
2
votes
0
answers
470
views
Splitting principle for real vector bundles
I'm reading the Book of John Roe, Elliptic Operators, Topology and Asymptotic Methods and got stuck at Lemma 2.27.
i) How does this lemma show that a real vector bundle can be given by a pullback of ...
7
votes
1
answer
482
views
Classification of fibrations $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$
Does there exist a complete classification of all fiber bundles $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$, that is, fibrations of $\smash{\Bbb S^d}$ with each fiber homeomorphic to $\smash{\...
8
votes
1
answer
323
views
Delooping the quotient space $SU/SU(n)$
Let $SU$ denote the infinite unitary group. Does the quotient space $SU/SU(n)$ admit a delooping $X$? One could also ask that this space $X$ sit in a fiber sequence $BSU(n)\to BSU\to X$, but this is ...
3
votes
0
answers
76
views
When are there continuous families of pull-backs of a discrete cohomology class of a compact Lie group?
Let $\mathcal{G}$ be a compact Lie group. Then define $H^n(\mathcal{G},\mathrm{U}(1))$ to be the cohomology of measurable cochains $\mathcal{G}^{\times n} \to \mathrm{U}(1)$ with the usual coboundary ...
12
votes
1
answer
411
views
When does a locally symmetric space have no odd degree Betti numbers?
Let $G$ be a semisimple real lie group, $K$ be a maximal compact subgroup of $G$, $\Gamma$ be a torsion-free cocompact discrete subgroup. The Betti number the locally symmetric space $X_{\Gamma}:=\...
2
votes
0
answers
108
views
Cohomology of colored braid groupoids
Consider braids on $n$ strands and pick $n$ distinct labels $1, \dots, n$. There is a groupoid $\mathcal P_n$ whose objects are tuples $(l_1, \dots, l_n)$ of labels and whose morphisms are braids, ...
8
votes
1
answer
262
views
When does $BG \to BA$ loop to a homomorphism?
If I have a compact connected Lie group $G$ and a (relatively nice) simply-connected topological abelian group $A$, when is it the case that a given $f\colon BG \to BA$ loops to a (continuous) ...
4
votes
1
answer
977
views
First homology group of the general linear group
The abelianization of the general linear group $GL(n,\mathbb{R})$, defined by $$GL(n,\mathbb{R})^{ab} := GL(n,\mathbb{R})/[GL(n,\mathbb{R}), GL(n,\mathbb{R})],$$ is isomorphic to $\mathbb{R}^{\times}$....