Smooth perfectness for the group of diffeomorphisms (Q380704): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2009901878 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0409605 / rank | |||
Normal rank |
Latest revision as of 14:08, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Smooth perfectness for the group of diffeomorphisms |
scientific article |
Statements
Smooth perfectness for the group of diffeomorphisms (English)
0 references
14 November 2013
0 references
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)\), \[ (g_1,g_2,g_3)\mapsto[g_1,\exp(X_1)]\circ[g_2,\exp(X_2)]\circ[g_3,\exp(X_3)], \] 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\).
0 references
diffeomorphism group
0 references
perfect group
0 references
simple group
0 references
fragmentation
0 references
convenient calculus
0 references
foliation
0 references