Let $G$ be a connected FréchetLie group and let $\mathfrak g$ be its Lie algebra. Does the image $\exp(\mathfrak g) \subset G$ of the exponential map generate $G$?
1 Answer
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.

1$\begingroup$ $Diff_0$ means the unit component of the group of $C^\infty$ diffeomorphisms with the $C^\infty$ topology? $\endgroup$– YCorSep 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$ 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$ Sep 17, 2017 at 22:14

1$\begingroup$ Hi Andy, thanks for the answer. I also asked KarlHermann 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$ 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$ Apr 22, 2020 at 21:52