16
$\begingroup$

Let $G$ be a connected Fréchet-Lie group and let $\mathfrak g$ be its Lie algebra. Does the image $\exp(\mathfrak g) \subset G$ of the exponential map generate $G$?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
19
$\begingroup$

I believe that this is open. In fact, even for the very special case where $G = \text{Diff}_0(M)$ for a smooth manifold $M$, the only proof I know that $G$ is generated by the image of the exponential map uses a very deep theorem of Thurston that says that in this case $G$ is a simple group (this implies that $G$ is generated by the image of the exponential map since the subgroup generated by the image of the exponential map is a nontrivial normal subgroup). Even giving a genuinely different proof in this special case would be very interesting.

Improve this answer
$\endgroup$
8
  • 1
    $\begingroup$ $Diff_0$ means the unit component of the group of $C^\infty$ diffeomorphisms with the $C^\infty$ topology? $\endgroup$
    – YCor
    Commented Sep 17, 2017 at 21:41
  • 1
    $\begingroup$ @YCor: Yes, that's correct (with the addendum that you need to take compactly supported diffeomorphisms if the manifold is not compact). The Lie algebra is the set of vector fields on the manifold (compactly supported if the manifold is not compact) with the usual bracket, and the exponential map is obtained by flowing along the vector field. $\endgroup$
    – Andy Putman
    Commented Sep 17, 2017 at 22:13
  • $\begingroup$ (and just to emphasize, Thurston's theorem says that it is simple as an abstract group, so this argument is not really sensitive to the topology you take) $\endgroup$
    – Andy Putman
    Commented Sep 17, 2017 at 22:14
  • 1
    $\begingroup$ Hi Andy, thanks for the answer. I also asked Karl-Hermann Neeb (by email) and he says that to the best of his knowledge the question is open even for a more general class of groups admitting the exponential map. I like your question about a "direct" proof for diffeomorphism groups. $\endgroup$
    – Jarek Kędra
    Commented Sep 18, 2017 at 19:15
  • 1
    $\begingroup$ @New_Topologist_On_The_Block: I don't think that Thurston ever wrote a paper with a complete proof of the simplicity of that group, but Banyaga's book "The structure of classical diffeomorphism groups" contains an account of it. $\endgroup$
    – Andy Putman
    Commented Apr 22, 2020 at 21:52

You must log in to answer this question.

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