1
$\begingroup$

I have often read that the exponential map from the Lie algebra of a non-compact Lie group is not surjective, however the product of exponentials involving the compact and non-compact generators of the algebra is surjective. At the moment such a proof is beyond my capability, might someone be able to give me a reference to this result (preferably the original paper, I think it may have been due to Cartan)?

$\endgroup$

1 Answer 1

3
$\begingroup$

For some non-compact Lie groups such as $\text{SL}_2(\Bbb R)$ it is the case that not every group element is a power of a Lie group element. See Proving that any element of $\text{SL}(2,\mathbb{R})$ can be expressed as $\pm\exp(z)$.

On the other hand, there are non-compact groups such as $\Bbb R^n$ (under addition) where every group element is a power of a Lie group element.

$\endgroup$
5
  • $\begingroup$ Hi Lord Shark, that thread you linked was posted from my other account. Are you saying that non all elements of a non-compact lie group can be represented as a product of exponentials from the Lie algebra? The link below claims the contrary, that all elements of $\text{SL}(2,\mathbb{R})$ can be represented as a product of two exponentials. One involving the compact generator and one involving the non-compact generators of $\mathfrak{sl}(2,\mathbb{R})$. Although I haven't been able to find a reference for this claim... physics.drexel.edu/~bob/LieGroups/LG_07.pdf $\endgroup$
    – SigmaAlpha
    Commented Oct 19, 2017 at 6:50
  • $\begingroup$ I think $\text{SL}(2,\mathbb{R})$ is a special case... since we can express any $N\in\text{SL}(2,\mathbb{R})$ as $\pm\exp(z)$ for some $z\in\mathfrak{sl}(2,\mathbb{R})$ and since $-Id$ is in the image of the exponential, it follows that any element can be expressed as the product of two exponentials.. right ? But I am looking for something much more general than this, something about non-compact groups in entirety. $\endgroup$
    – SigmaAlpha
    Commented Oct 19, 2017 at 6:55
  • 1
    $\begingroup$ @SigmaAlpha That's not so special. In fact, every element of every real connected Lie group with Lie algebra $\mathfrak g$ can be written as $\exp(X).\exp(Y)$, for some $X,Y\in\mathfrak g$. This was proved in 2003 by Martin Moskowitz and Richard Sacksteder. $\endgroup$ Commented Oct 19, 2017 at 12:48
  • $\begingroup$ Thank you Jose, this is what I was looking for. I think I have found the paper, although it is from 2008. intlpress.com/site/pub/files/_fulltext/journals/mrl/2008/0015/… $\endgroup$
    – SigmaAlpha
    Commented Oct 20, 2017 at 2:44
  • $\begingroup$ Actually this is probably the one you are talking about. kurims.kyoto-u.ac.jp/EMIS/journals/JLT/vol.13_no.1/… $\endgroup$
    – SigmaAlpha
    Commented Oct 20, 2017 at 2:52

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .