Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones

DOI10.1023/A:1021280213742MaRDI QIDQ1868403zbMATH OpenFDO

Authors Stefan Haller, Josef Teichmann

Publication date 27 April 2003

Published in Annals of Global Analysis and Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0110041

zbMATH Keywords

Cartesian closednessgroups of diffeomorphismshard inverse function theoremperfectnesssmooth decomposition

Mathematics Subject Classification ID

Groups of diffeomorphisms and homeomorphisms as manifolds (58D05)

Abstract: We show that on a closed smooth manifold $M$ equipped with $k$ fiber bundle structures whose vertical distributions span the tangent bundle, every smooth diffeomorphism $f$ of $M$ sufficiently close to the identity can be written as a product $f=f_1\mathrm{...}{f}_k$, where $f_i$ preserves the $i^{extth}$-fiber. The factors $f_i$ can be chosen smoothly in $f$. We apply this result to show that on a certain class of closed smooth manifolds every diffeomorphism sufficiently close to the identity can be written as product of commutators and the factors can be chosen smoothly. Furthermore we get concrete estimates on how many commutators are necessary.

Review text

This paper concerns perfectness of diffeomorphisms on closed manifolds in a certain class. It is well known of the identity \((e-)\)component of diffeomorphism groups on compact smooth manifolds are perfect. However, the questions, how many commutators are necessary to represent a given smooth diffeomorphism \(f\) via \[ f=[h_1,g_1] \cdots[h_N,g_N] \] and if these commutators can be chosen smoothly in \(f\), remains open. The authors give concrete, positive answers for these questions by their decomposition theorem and applications of some canonical exponential laws. The basic definition and main results are as follows: Definition. For a Lie group (including infinite dimensional one) with nontrivial \(e\)-component, \(N_g\in\mathbb{N}\) is defined to be the smallest integer such that for every open neighbourhood \(e\in U\subset G\) there exist \(h_i=\exp(Y_i)\in U\), \(i=1,\dots,N\), an open neighbourhood \(e\in V \subseteq G\) and smooth mappings \(S_i:V\to G\) with \(S_i(e)=e\) and \[ \bigl[S_1 (g), h_1\bigr] \cdots\bigl[ S_N(g),h_N\bigr]= g,\quad\text{for all }g\in V. \] If \(N_G< \infty\), then \(G\) is said to be locally smoothly perfect. Theorem. Suppose \(M\) is a closed manifold which admits \(k\) fiber bundles \(S_i \hookrightarrow M{\overset {p_i}\hookrightarrow}B_i\) such that the corresponding vertical distributions span \(TM\). Then \[ N_{\text{Diff}(M)}\leq \sum^k_{i=1} C_{p_i}N_{\text{Diff} (S_i)}, \] where \(C_{p_i}\in \mathbb{N}\) is a geometrical number concerning the bundle structure. In particular, \(\text{Diff} (M)\) is locally smoothly perfect, if so are all \(\text{Diff} (S_i)\). Many examples along the above lines are given, in particular the following is one of the main results: Diffeomorphism groups of odd dimensional spheres are locally smoothly perfect.

Recommendations

• Smooth perfectness for the group of diffeomorphisms
• A smoothness theorem for invariant fiber bundles
• Smoothability of proper foliations
• Decompositions of smooth maps in diffeological space category
• \(C^m\)-smoothness of invariant fiber bundles
• scientific article; zbMATH DE number 750631
• scientific article; zbMATH DE number 5214154
• On the smoothness of Levi-foliations
• Publication:4946856
• Smoothness of invariant manifolds

Cited in

(10)

• Groups of diffeomorphisms and geometric wraps of manifolds over ultra-normed fields
• Diffeomorphisms preserving Morse-Bott functions
• The Lie group of bisections of a Lie groupoid
• Lie group structures on symmetry groups of principal bundles
• Decomposing diffeomorphisms of the sphere
• Smooth perfectness for the group of diffeomorphisms
• Decomposition theorems for groups of diffeomorphisms in the sphere
• Homotopy types of diffeomorphism groups of polar Morse-Bott foliations on lens spaces. I
• Locally continuously perfect groups of homeomorphisms
• Direct limits of infinite-dimensional Lie groups compared to direct limits in related categories

This page was built for publication: Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1868403)