I'm trying to learn some Lie algebra theory with bare bones knowledge of differentiable manifolds, and little knowledge of Lie groups. I see why the exponential map $\exp: \mathfrak{g} \to G$ is surjective if $G$ is a Lie subgroup of $GL_n(\mathbf{C})$. However, my intuition is a little loose when it comes to isomorphisms of Lie groups. If $H$ is a Lie group isomorphic to some matrix Lie group, does this imply that the exponential map $\exp: \mathfrak{h} \to H$ is surjective. Furthermore, is there a nicer condition to guarantee that a Lie group is isomorphic to a matrix Lie group (it seems like almost all interesting examples of Lie groups are, except for the covering spaces of certain matrix Lie groups)?
For G=SL(2,R) the exponential is not surjective. To prove this, consider a 2x2 lmatrix with Zero trace. There are 3 possibilities:
- The eigenvalues are 0 with multiplicity two
- The eigenvalues are $\pm x$ with $x$ real.
- The eigenvalues are $\pm i x$ with $x$ real.
In situación 1, the exponencial is Id+N with N nilpotent, so the trace is 2.
In situación 2, the exponential has trace $e^x+e^{-x}$ that is a possitive real number.
In situation 3, the trace of the exponencial is $2 cos(x)$.
In any case, the trace of an exponential of a real 2 by2 matrix with cero trace is grater or equal to -2.
For example, the diagonal matrix diag(-2, -1/2) is a element of SL(2,R) that is not in the image of the exponential.
First, it is not true that the exponential map is surjective if $G$ is a Lie subgroup of $\operatorname{GL}_n(\mathbb{C})$. One trivial situation in which it might fail to be surjective is if $G$ is not connected as can be already seen in the zero-dimensional case. Even if $G$ is connected, the exponential map might not be onto (see this example).
However, if $G$ is compact and connected then the exponential map is onto. In this case, $G$ is also isomorphic to a matrix lie group.