As far as I know, the exponential map is defined as a map $exp: \mathfrak{g} \to G$ from Lie algebra of the Lie group (or tangent space) to the Lie group itself. Now I have a problem in which I am asked to find an exponential map for a matrix Lie group. Well, I just use the definition of the exponential map for matrix via series. But I still cannot understand what it means to use the exponential map in such a way. Is it just a map $exp: G \to Mat(\mathbb{R}, N)$ from a Lie group to the space of all matrices?

The problem sounds: $\text{Write explicitly exponential map for the Lie group of matrices} \begin{bmatrix} a & b \\ 0 & 1 \end{bmatrix}, \text{if } a>0 \text{ and } b\in \mathbb{R}$

  • $\begingroup$ You are right, $\exp$ is defined on a Lie algebra, even if Lie groups and Lie algebras may consist both of matrices. $\endgroup$ – Dietrich Burde Sep 25 '16 at 20:32

If $G$ is a matrix Lie group (i.e., a Lie subgroup of $GL(n,\mathbb R)$ for some $n$), then its Lie algebra $\mathfrak g$ can be canonically identified with a Lie subalgebra of the algebra of all $n\times n$ matrices. (See Prop. 8.41, Thm. 8.46, and Example 8.47 in my Introduction to Smooth Manifolds, 2nd ed.) So the exponential map of $G$ will take a matrix $X\in \mathfrak g$ and yield a matrix $\exp(X)\in G$.

For the explicit problem that you posted, your job is (1) to figure out what the Lie algebra of that group is, considered as a subalgebra of the Lie algebra $\frak g\frak l(n,\mathbb R)$ of all $n\times n$ matrices; and (2) to compute the exponential of an arbitrary element of that Lie algebra.

  • $\begingroup$ You write that I shall take $X \in \mathfrak{g}$ and map it to $\exp(X)\in G$. But my $X \not\in \mathfrak{g}$: it is in $G$, Lie group itself. $\endgroup$ – user108687 Sep 25 '16 at 20:40
  • 1
    $\begingroup$ @NickTerziev: I think you need to give more context before I can say anything useful. But notice that both $\mathfrak g$ and $G$ are subsets of the set of all $n\times n$ real matrices, so it's perfectly possible for a specific matrix to be both in $\mathfrak g$ and in $G$. $\endgroup$ – Jack Lee Sep 25 '16 at 20:46
  • $\begingroup$ Thank you for your help! I've edited the post so that it contains the task now. Maybe I understand the problem in the wrong way? $\endgroup$ – user108687 Sep 25 '16 at 20:59
  • $\begingroup$ @NickTerziev: OK, see my added paragraph above. $\endgroup$ – Jack Lee Sep 25 '16 at 21:03
  • 1
    $\begingroup$ @NickTerziev: "The exponential map for a Lie group" is a map from the Lie algebra to the group. Always. $\endgroup$ – Jack Lee Sep 25 '16 at 21:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.