All Questions
23 questions
4
votes
1
answer
523
views
Is automorphism on a compact group necessarily homeomorphism? How about N-dimensional torus？ [closed]
Is automorphism on a compact group necessarily homeomorphism? I don't think so，but I think it is possible on the N-dimensional torus.
- 12.9k
4
votes
0
answers
425
views
Non-triviality of map $S^{24} \longrightarrow S^{21} \longrightarrow Sp(3)$
Let $\theta$ be the generator of $\pi_{21}(Sp(3))\cong \mathbb{Z}_3$, (localized at 3).
How to show the composition
$$S^{24}\longrightarrow S^{21}\overset{\theta}\longrightarrow Sp(3)$$
is non-trivial ...
35
votes
3
answers
1k
views
Second Betti number of lattices in $\mathrm{SL}_3(\mathbf{R})$
We fix $G=\mathrm{SL}_3(\mathbf{R})$.
Let $\Gamma$ be a torsion-free cocompact lattice in $G$. Is $b_2(\Gamma)=0$?
Here the second Betti number $b_2(\Gamma)$ is both the dimension of the ...
- 11.6k
7
votes
2
answers
539
views
Injectivity of the cohomology map induced by some projection map
Given a (compact) Lie group $G$, persumably disconnected, there exists a short exact sequence
$$1\rightarrow G_c\rightarrow G\rightarrow G/G_c\rightarrow 1$$
where $G_c$ is the normal subgroup which ...
- 9,580
11
votes
1
answer
455
views
Asking whether there is a compact Lie group containing affine symplectic group
The affine symplectic group is interesting and important in physics. However, the Lie group is noncompact. In order to have some good properties (Basically, we need some good behavior of Haar measure) ...
- 63.9k
4
votes
0
answers
320
views
Finite subgroup of $\mathrm{SO}(4)$ which acts freely on $\mathbb{S}^3$
Let $\Gamma$ be a finite subgroup of $\mathrm{SO}(4)$ acting freely on $\mathbb{S}^3$. It is known that all such $\Gamma$ can be classified.
Is there any characterization of $\Gamma$ such that $\Gamma$...
- 1,441
5
votes
0
answers
199
views
Outer and inner automorphism of $\mathrm{Pin}$ groups
$\DeclareMathOperator\Inn{Inn}\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Out{Out}\DeclareMathOperator\Pin{Pin}\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SO{SO}\DeclareMathOperator\PSO{...
- 317
3
votes
0
answers
547
views
Aut/Inn/Out Automorphism Groups of the unitary group $𝑈(𝑁)$
Given a group $G$, we denote the center Z$(G)$, we like to know the
automorphism group Aut($G$), the outer automorphism Out($G$) and the inner automorphism Inn($G$). They form short exact sequences:
$$...
- 10.5k
6
votes
1
answer
426
views
What is known about the discrete group cohomology $H^2(\mathrm{SL}_2(\mathbb C), \mathbb C^\times)$?
The cohomology ring of $\mathrm{SL}_2(\mathbb C)$ as a topological group is straightforward (it's generated by a Chern class), but what is known in the discrete case? I'm particularly interested in $H^...
- 9,273
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^...
- 5,405
4
votes
1
answer
1k
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}$....
- 8,529
3
votes
2
answers
291
views
How many non-isomorphic extensions with kernel $S^1$ and quotient cyclic of order $p$?
I want to determine how many non-isomorphic extensions (as group they are non-isomorphic) are possible of the form $1 \to \mathbb{S}^1 \to G \to (\mathbb{Z}_p)^k \to 1$, where $G$ is a compact lie ...
- 63.9k
7
votes
1
answer
2k
views
Automorphism group of the special unitary group $SU(N)$
Let us consider the automorphism group of the special unitary group $G=SU(N)$.
We know there is an exact sequence:
$$
0 \to \text{Inn}(G) \to \text{Aut}(G) \to \text{Out}(G) \to 0.
$$
For $G=SU(2)...
- 8,529
-2
votes
1
answer
516
views
no classification of nilpotent lie groups
there is no classification of (simply connected) nilpotent lie groups, but I am tempted to try to generalize the construction of the Heisenberg group. For an upper triangular matrix:
$$ \left(
\...
- 26.3k
3
votes
0
answers
120
views
Trivialize a cocycle of a continuous Lie group-cohomology to a coboundary
Someone recently asks a question $SO(3)$ 2-cocycle trivialized to a 2-coboundary in $SU(2)$? now inspires me to revisit an earlier general question to ask an example of 3-cocycle
$\omega_3^G$ of a ...
CommunityBot
- 1
4
votes
0
answers
239
views
The homotopy type of the mapping space $Map_{B\rho}(BS^1,BG)$? for $G$ a compact Lie group
Given a homomorphism $\rho:S^1\rightarrow G$ with $G$ a compact Lie group there is an induced map of classifying spaces $B\rho:BS^1\rightarrow BG$. What is known about the homotopy type of the mapping ...
- 5,596
3
votes
1
answer
267
views
Homology of solvable Lie groups made discrete
In what follows "homology" will mean group homology, i.e. $H_*(BG^\delta;{\mathbf R})$ for the group $G$ with the discrete topology.
It is well-known how to compute the homology of abelian groups, ...
- 55.9k
9
votes
1
answer
202
views
Are compact simple groups homotopically non-abelian?
Take a compact connected simple centreless Lie group $G$.
Can the commutator map $G\times G\to G$ sending $(x,y)$ to $[x,y]$ be homotopic to a constant map?
I am interested mostly in the case, ...
CommunityBot
- 1
21
votes
5
answers
1k
views
Explanation for E_8's torsion
To study the topology of Lie groups, you can decompose them into the simple compact ones, plus some additional steps, such as taking the cover if necessary. After that, the structure of $SO(n)$'s is ...
- 5,546
6
votes
3
answers
1k
views
$\pi_1$ Sequence of Topological Groups
Consider a connected topological group $G$ (not necessarily Lie). You have some maps $G\times G\to G$, such as projection to either summand, or multiplication $(g,h)\mapsto gh$. Now let's look at a ...
CommunityBot
- 1
10
votes
4
answers
6k
views
Commutativity of the fundamental group of any Lie Group [closed]
How do we formally prove that the fundamental group of any Lie group is always commutative?
CommunityBot
- 1
15
votes
5
answers
3k
views
When are all centralizers in a Lie group connected?
Let $G$ be a compact connected Lie group acting on itself by conjugation,
$$ G\times G\to G,\qquad (\sigma,h)\mapsto \sigma h \sigma^{-1}.$$
The fixed point set of a closed subgroup $H\le G$ equals ...
- 2,246
22
votes
1
answer
1k
views
Word maps on compact Lie groups
Let $w=w(a,b)$ be a non-trivial word in the free group $F_2 = \langle a,b \rangle$ and $w_G \colon G \times G \to G$ be the induced word map for some compact Lie group $G$.
Murray Gerstenhaber and ...
- 114k