7
$\begingroup$

Suppose $G$ is a compact connected Lie group and let $\{X_i\}$ be a basis for its Lie algebra $\mathfrak g$. We know that the exponential $\exp:\mathfrak g \to G$ is surjective but when is it the case that $G$ is generated by $\{\exp(tX_i) : t\in \mathbb R\}$?

1 Answers 1

8

The map $\mathbb{R}^n \to G$ sending $(t_1, \dots, t_n)$ to $\mathrm{exp}(t_1 X_1) \dots \mathrm{exp}(t_n X_n)$ has nonsingular Jacobian at $0$, so its image contains a neighborhood of the origin. By a standard argument, a neighborhood of the origin in a connected topological group generates the full group.

  • 0
    @Anirbit Akhil's argument is great but if you do not wish to explicitly use Riemannian geometry, then there is an alternative proof if you assume Cartan's theorem on the maximal tori in a compact connected Lie group (Cartan's theorem can be proved using the Lefschetz fixed point theorem in algebraic topology). Indeed, each element of $G$ is an element of some maximal torus $T\subseteq G$ which means that we need only prove the surjectivity of the exponential map $\text{exp}:\mathfrak{t}\to T$ where $T$ is a torus. Of course, this is very easy to do.2012-06-27