How to prove that a compact, connected, abelian Lie group is a torus? It seems very intuitive.
Any reference?
Asked
Active
Viewed 3,383 times
13
-
15In what possible way does this seem intuitive? – Mariano Suárez-Álvarez Dec 10 '17 at 02:03
2 Answers
11
The hardest part of the problem is showing:
If $G$ is a connected abelian Lie group then the exponential map $$ \exp: \mathfrak{g} \longrightarrow G $$ is a $\textbf{surjective homomorphism}$ with $\textbf{discrete kernel}$.
This can be done by appealing to the fact that $G$ is generated by the image of $\exp$, the first Lie theorem that states $\exp$ is a local homeomorphism at the identity, 1 parameter subgroups, and general considerations on topological groups - it's a good exercise to see if you've grasped the theory.
Our result then follows by noting that $G \simeq \mathbb{R}^k / \Gamma$ where $k$ is the dimension of $\mathfrak{g}$ as a real vector subspace and $\Gamma$ is the discrete kernel. And by a well known fact about cocompact discrete subgroups of euclidean spaces, it follows $\Gamma \simeq \mathbb{Z}^k$.
proofromthebook
- 969
-
-
@Hawk $\mathrm{exp}$ is a homeomorphism at the identity, so there is a neighbourhood of 0 that doesn't contain any other kernel points. Suitable left-multiplications show it is discrete everywhere. – Abhimanyu Pallavi Sudhir Sep 20 '19 at 07:07
7
Should be a comment but i haven't got enough reputation :)
This is a classical result in Lie theory and is probably found in any Book about lie groups. Even if you search for scripts of lectures about Lie groups (e.g. on google) you should make a hit. However for example
R. L. Bryant, An Introduction to Lie Groups and Symplectic Geometry
or
M. R. Sepanski, Compact Lie groups.
M.U.
- 1,933