Smooth perfectness for the group of diffeomorphisms
Let \(M\) be a smooth manifold of dimension \(n\). By \(Diff^\infty_c(M)\) we denote the group of compactly supported diffeomorphisms of \(M\). This is a regular Lie group in the sense of Kriegl--Michor, modelled on the convenient vector space \(\mathfrak X_c(M)\) of compactly supported smooth vector fields on \(M\). If \(M\) is compact, this smooth structure coincides with the well known Fréchet--Lie group structure on \(Diff^\infty(M)\). The aim of this paper is to provide a new elementary proof of the fact that the connected component of the group of compactly supported diffeomorphisms is perfect and hence simple. Moreover, the authors show that every diffeomorphism \(g\), which is sufficiently close to the identity, can be represented as a product of four commutators, \(g=[h_1,k_1]\circ\dots\circ[h_4,k_4]\), where the factors \(h_i\) and \(k_i\) can be chosen to depend smoothly on \(g\). The authors use the following of Herman's result: There exist smooth vector fields \(X_1,X_2,X_3\) on torus \(T^n\) so that the smooth map \(Diff^\infty(T^n)^3\to Diff^\infty(T^n)\), NEWLINE\[NEWLINE(g_1,g_2,g_3)\mapsto[g_1,\exp(X_1)]\circ[g_2,\exp(X_2)]\circ[g_3,\exp(X_3)], NEWLINE\]NEWLINE admits a smooth local right inverse at the identity. Moreover, the vector fields \(X_i\) may be chosen arbitrarily close to zero with respect to the Whitney \(C^\infty\)-topology. Here \(\exp(X)\) denotes the flow of a complete vector field \(X\) at time \(1\), and \([k,h]:=k\circ h\circ k^{-1}\circ h^{-1}\) denotes the commutator of two diffeomorphisms \(k\) and \(h\).
- Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones
- Commutators of \(C^{\infty }\)-diffeomorphisms preserving a submanifold
- A short proof that \(\mathrm{Diff}_{c}(M)\) is perfect
- Commutators of diffeomorphisms. III: A group which is not perfect
- scientific article; zbMATH DE number 5232539
- Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones
- Weighted diffeomorphism groups of Riemannian manifolds
- scientific article; zbMATH DE number 1803853 (Why is no real title available?)
- scientific article; zbMATH DE number 3860025 (Why is no real title available?)
- scientific article; zbMATH DE number 5526545 (Why is no real title available?)
- On the group of real analytic diffeomorphisms
- Free subgroups of diffeomorphism groups
- Strong distortion in transformation groups
- On the regularity of the composition of diffeomorphisms
- scientific article; zbMATH DE number 5232539 (Why is no real title available?)
- On the structure of the group of equivariant diffeomorphisms of \(G\)-manifolds with codimension one orbit
- Families of vector fields which generate the group of diffeomorphisms
- Controllability and diffeomorphism groups on manifolds with boundary
- Distortion elements in the group of diffeomorphisms of the 2-sphere
- Smoothing the generators of a Lie group of transformations
- A group of diffeomorphisms which leave a vector field fixed
This page was built for publication: Smooth perfectness for the group of diffeomorphisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q380704)
