---
abstract: 'Given the result of Herman, we provide a new elementary proof of the fact that the group of diffeomorphisms is a perfect and hence simple group. Moreover, we show that every diffeomorphism can be represented as a product of commutators $f=[g_1,h_1]\cdots[g_m,h_m]$ where the factors $g_i$ and $h_i$ can be chosen to depend smoothly on $f$. The elegance of our approach is due to the fact that we prove smooth perfectness rather than perfectness. If the underlying manifold is of dimension $n\geq2$ then one can take $m=9(n+1)$ provided $f$ is sufficiently close to the identity.'
address:
- 'Stefan Haller, Department of Mathematics, University of Vienna, Nordbergstra<span>ß</span>e 15, A-1090, Vienna, Austria.'
- 'Josef Teichmann, Institute of Mathematical Methods in Economics, Technical University of Vienna, Wiedner Hauptstrasse 8–10, A-1040 Vienna, Austria.'
author:
- Stefan Haller
- Josef Teichmann
date: Draft from 
title: Smooth perfectness for the group of diffeomorphisms
---

[^1]

Introduction and statement of the result {#S:intro}
========================================

\[D:lsp\] A possibly infinite dimensional Lie group $G$ is called *locally smoothly perfect of order at most $m$* if the smooth map $K:G^{2m}\to G$ $$K(g_1,h_1,\dotsc,g_m,h_m):=[g_1,h_1]\circ\cdots\circ[g_m,h_m]$$ has a local smooth right inverse at the identity. More precisely, we ask for an open neighborhood $\mathcal V$ of $e\in G_o$ and a smooth map $\sigma:\mathcal V\to(G_o)^{2m}$ such that $K\circ\sigma=\operatorname{id}_{\mathcal V}$. Here $G_o$ denotes the connected component of $e\in G$. Be aware that this concept is slightly different from the one used in @HT03.

For a smooth manifold $M$ without boundary we denote by $\operatorname{Diff}^\infty_c(M)$ the group of compactly supported diffeomorphisms of $M$. This is a Lie group modeled on the convenient vector space ${\mathfrak X}_c(M)$ of compactly supported vector fields, see @KM97 for all necessary details. For compact $M$ this smooth structure coincides with the well known Fréchet–Lie group structure on $\operatorname{Diff}^\infty(M)$.

The aim of this paper is to establish the following

\[T:main\] Let $M$ be a smooth manifold without boundary of dimension $n\geq2$. Then $\operatorname{Diff}^\infty_c(M)$ is locally smoothly perfect of order at most $9(n+1)$.

Since any open neighborhood of $e\in\operatorname{Diff}^\infty_c(M)_o$ generates the group, Theorem \[T:main\] implies that $\operatorname{Diff}^\infty_c(M)_o$ is a perfect group. This was already proved by Epstein @E84 using ideas of Mather, see @M74 and @M75, who dealt with the $C^r$–case, $1\leq r<\infty$, $r\neq n+1$. The Epstein–Mather proof is elementary, but tricky. It is based on the Schauder–Tychonov fixed point theorem, and guaranties the existence of a presentation $f=[g_1,h_1]\cdots[g_m,h_m]$, but without any further control on the factors $g_i$ and $h_i$.

Theorem \[T:main\] actually implies the stronger statement that the universal covering of $\operatorname{Diff}^\infty_c(M)_o$ is a perfect group. This result is known too, see @T74 and @M84. Thurston's proof is based on a result of Herman for the torus, see @H71, @H73. It also does not imply that the factors $g_i$ and $h_i$ can be chosen to depend smoothly on $f$.

Note that the perfectness of $\operatorname{Diff}^\infty_c(M)_o$ implies that this group is simple, see @E70. The methods used in @E70 are elementary and actually work for a rather large class of groups of homeomorphisms.

Perfectness and simplicity results have been obtained for several other groups of diffeomorphisms. For instance, the group of volume preserving diffeomorphisms is not perfect. However, there is a well understood normal subgroup, the kernel of the flux homomorphism, which is simple according to unpublished work of Thurston, see @B97 for a write-up, and the series of papers @MD82, @MD83, @MD84.

Using Thurston's methods Banyaga clarified the algebraic structure of the group of compactly supported symplectomorphisms, see @B78 and @B97. Again, the group itself is not perfect but the normal subgroup of Hamiltonian diffeomorphisms is simple for compact $M$. For non-compact $M$ the group of compactly supported Hamiltonian diffeomorphisms contains a normal subgroup, the kernel of the Calabi homomorphism, which turns out to be a simple group. In @HR99 Banyaga's results have been generalized to the slightly more general situation of locally conformal symplectic manifolds.

To our knowledge the case of contact diffeomorphisms is still open, though it appears reasonable to expect that the group of compactly supported contact diffeomorphisms is perfect and hence @E70 simple. Thurston's approach should work in this case. However, a model case playing the role of Herman's torus is lacking. The Lie algebra of compactly supported contact vector fields certainly is perfect in view of @O97.

Rybicki @R95 proved that the group of compactly supported diffeomorphisms, which preserve the leaves of a foliation of constant rank, is a perfect group — though not simple of course.

Note, however, that none of the results above guaranties that the factors in a presentation $f=[g_1,h_1]\cdots[g_m,h_m]$ can be chosen to depend smoothly on $f$, except Herman's result for the torus. Nor are there any estimates available on how many commutators one actually needs. In @HT03 we provided a class of closed manifolds, including compact Lie groups and odd dimensional spheres, for which the factors can be chosen smoothly, and estimates on the number of commutators are available.

Our proof of Theorem \[T:main\] rests on Herman's result too but is otherwise elementary and completely different from Thurston's approach. The drawback of our methods is that they do not cover the manifold $M={\mathbb R}$.

The idea of our approach is to consider the foliation $\mathcal F$ on ${\mathbb R}\times T^{n-1}$ with leaves $\{\textrm{pt}\}\times T^{n-1}$. Parametrizing, see Section \[S:exp\], Herman's result for the torus, see Section \[S:herman\], one obtains that the group of leave preserving diffeomorphisms $\operatorname{Diff}^\infty_c({\mathbb R}\times T^{n-1},\mathcal F)$ is locally smoothly perfect. Perturbing $\mathcal F$, we obtain finitely many diffeomorphic foliations $\mathcal F_1,\dotsc,\mathcal F_k$ on ${\mathbb R}\times T^{n-1}$ which span the tangent bundle. Actually $k=3$ suffices, see Section \[S:proof\]. Decomposing a diffeomorphism into leaf preserving ones, see Section \[S:fol\], we show that $\operatorname{Diff}^\infty_c({\mathbb R}\times T^{n-1})$ is locally smoothly perfect, see Proposition \[P:rt\]. Since ${\mathbb R}\times T^{n-1}$ embeds into ${\mathbb R}^n$, we can cover $M$ with open sets diffeomorphic to ${\mathbb R}\times T^{n-1}$. Using a classical tool known as fragmentation, see Section \[S:comp\], we conclude that $\operatorname{Diff}^\infty_c(M)$ is locally smoothly perfect.

Smooth fragmentation {#S:comp}
====================

Let $M$ be a smooth manifold without boundary. For an open subset $U\subseteq M$ we denote by $\operatorname{Diff}^\infty_U(M)=\operatorname{Diff}^\infty_c(U)$ the group of diffeomorphisms with compact support contained in $U$. This is a Lie group modeled on the convenient vector space ${\mathfrak X}_U(M)={\mathfrak X}_c(U)$ of vector fields with compact support contained in $U$.

The following is a folklore statement which can be found all over the literature on diffeomorphism groups.

\[P:frag\] Let $M$ be a smooth manifold without boundary, and suppose $\mathcal U=\{U_1,\dotsc,U_k\}$ is a finite open covering of $M$. Then the smooth map $$P:\operatorname{Diff}_{U_1}^\infty(M)\times\cdots\times\operatorname{Diff}^\infty_{U_k}(M)
\to\operatorname{Diff}^\infty_c(M),$$ $$\quad P(g_1,\dotsc,g_k):=g_1\circ\cdots\circ g_k$$ has a local smooth right inverse at the identity. More precisely, there exist an open neighborhood $\mathcal V$ of $e\in\operatorname{Diff}^\infty_c(M)_o$ and a smooth map $\sigma:\mathcal V\to
\operatorname{Diff}_{U_1}^\infty(M)_o\times\cdots\times\operatorname{Diff}^\infty_{U_k}(M)_o$ with $\sigma(e)=(e,\dotsc,e)$ such that $P\circ\sigma=\operatorname{id}_{\mathcal V}$.

Let $\pi:TM\to M$ denote the projection of the tangent bundle. Choose a Riemannian metric on $M$ and let $\exp$ denote the corresponding exponential map. Choose an open neighborhood of the zero section $W\subseteq TM$ such that $(\pi,\exp):W\to M\times M$ is a diffeomorphism onto an open neighborhood of the diagonal. Let $W'\subseteq T^*M\otimes TM$ be an open neighborhood of the zero section, and set $$\mathcal W
:=\bigl\{X\in{\mathfrak X}_c(M)\bigm|
\operatorname{img}(X)\subseteq W, \operatorname{img}(\nabla X)\subseteq W'\bigr\},$$ where $\nabla$ denotes the Levi–Civita connection associated to the Riemannian metric. This is a $C^1$–open neighborhood of $0\in{\mathfrak X}_c(M)$. For $X\in\mathcal W$ define $f_X:=\exp\circ X\in C^\infty_c(M,M)$. We choose $W$ and $W'$ sufficiently small such that every $f_X$ is a diffeomorphism. The map $$\label{E:chart}
\mathcal W\to\operatorname{Diff}^\infty_c(M),\quad X\mapsto f_X$$ provides a chart of $\operatorname{Diff}^\infty_c(M)$ centered at the identity. This is the standard way to put a smooth structure on $\operatorname{Diff}^\infty_c(M)$, see @KM97.

Choose a smooth partition of unity $\lambda_1,\dotsc,\lambda_k$ with $\operatorname{supp}(\lambda_i)\subseteq U_i$ for all $1\leq i\leq k$. Define $$\mathcal W':=\bigl\{X\in\mathcal W\bigm|
\text{$(\lambda_1+\cdots+\lambda_i)X\in\mathcal W$ for all
$1\leq i\leq k$}
\bigr\}.$$ This is a $C^1$–open neighborhood of $0\in{\mathfrak X}_c(M)$, and $\mathcal
W'\subseteq\mathcal W$. For $X\in\mathcal W'$ and $1\leq i\leq k$ set $X_i:=(\lambda_1+\cdots+\lambda_i)X$, and note that $f_{X_i}\in\operatorname{Diff}^\infty_c(M)$. Clearly $\operatorname{supp}(f_{X_1})\subseteq\operatorname{supp}(\lambda_1)\subseteq U_1$. Moreover, for $1<i\leq k$ we have $X_{i-1}=X_i$ on $M\setminus\operatorname{supp}(\lambda_i)$, and hence $f_{X_{i-1}}=f_{X_i}$ on $M\setminus\operatorname{supp}(\lambda_i)$. We conclude that the diffeomorphism $(f_{X_{i-1}})^{-1}\circ f_{X_i}$ has compact support contained in $\operatorname{supp}(\lambda_i)\subseteq U_i$ for all $1<i\leq k$.

Let $\mathcal V\subseteq\operatorname{Diff}_c^\infty(M)$ denote the open neighborhood of $e\in\operatorname{Diff}^\infty_c(M)$ corresponding to $\mathcal W'$ via . Define a map $$\sigma:\mathcal
V\to\operatorname{Diff}^\infty_{U_1}(M)\times\cdots\times\operatorname{Diff}^\infty_{U_k}(M)$$ $$\sigma(f_X):=\Bigl(f_{X_1},(f_{X_1})^{-1}\circ f_{X_2},
(f_{X_2})^{-1}\circ f_{X_3},
\dotsc,(f_{X_{k-1}})^{-1}\circ f_{X_k}\Bigr)$$ and notice that it is smooth because $X$ depends smoothly on $f_X$ in view of our chart . Obviously we have $P(\sigma(f_X))=f_{X_k}=f_X$ and thus $P\circ\sigma=\operatorname{id}_{\mathcal V}$. Moreover, it is immediate from the construction that $\sigma(e)=\sigma(f_0)=(e,\dotsc,e)$.

Smooth Decomposition into foliation preserving diffeomorphisms {#S:fol}
==============================================================

Let $M$ be a smooth manifold without boundary and suppose $\mathcal F$ is a foliation on $M$. We will always assume that foliations are of constant rank. Let $\operatorname{Diff}^\infty_c(M,\mathcal F)$ denote the group of compactly supported diffeomorphisms which preserve the leaves of $\mathcal F$. This is a Lie group modeled on the convenient vector space ${\mathfrak X}_c(M,\mathcal F)$ of compactly supported vector fields tangential to $\mathcal F$, see @KM97.

A weaker version of the following proposition was proved in @HT03 using the Nash–Moser implicit function theorem. However, Proposition \[P:fol\] applies to non-compact manifolds as well, and its proof is elementary.

\[P:fol\] Let $M$ be a manifold without boundary and suppose $\mathcal F_1,\dotsc,\mathcal F_k$ are smooth foliations on $M$ such that the corresponding distributions span the tangent bundle of $M$. Then the smooth map $$F:\operatorname{Diff}^\infty_c(M,\mathcal F_1)\times\cdots\times
\operatorname{Diff}^\infty_c(M,\mathcal F_k)
\to\operatorname{Diff}^\infty_c(M)$$ $$F(g_1,\dotsc,g_k):=g_1\circ\cdots\circ g_k$$ has a local smooth right inverse at the identity. More precisely, there exist an open neighborhood $\mathcal V$ of $e\in\operatorname{Diff}^\infty_c(M)_o$ and a smooth map $\sigma:\mathcal V\to
\operatorname{Diff}^\infty_c(M,\mathcal F_1)_o\times\cdots\times
\operatorname{Diff}^\infty_c(M,\mathcal F_k)_o$ with $\sigma(e)=(e,\dotsc,e)$, such that $F\circ\sigma=\operatorname{id}_{\mathcal V}$.

Let us write $T\mathcal F_i$ for the subbundle of $TM$ consisting of vectors tangent to $\mathcal F_i$. Let $\Sigma:T\mathcal F_1\oplus\cdots\oplus T\mathcal F_k\to TM$ denote the vector bundle map given by addition. Choose a vector bundle map $s:TM\to T\mathcal F_1\oplus\cdots\oplus T\mathcal F_k$ right inverse to $\Sigma$. This is possible since the distributions $\mathcal F_i$ span the tangent bundle.

Choose a Riemannian metric on $M$, and note that this provides Riemannian metrics on the leaves of $\mathcal F_i$. We obtain smooth exponential maps $\exp^{\mathcal F_i}:U_i\to M$, defined on an open neighborhood of the zero section $U_i\subseteq T\mathcal F_i$, which map the fibers of $T\mathcal F_i$ into the leaves of $\mathcal F_i$. Choose any linear connection on $T\mathcal F_1\oplus\cdots\oplus T\mathcal F_k$. For $1\leq i\leq k$ and $(\xi_1,\dotsc,\xi_k)\in T\mathcal
F_1\oplus\cdots\oplus T\mathcal F_k$ let $\tau_i(\xi_1,\dotsc,\xi_k)$ denote the point obtained by parallel transport in $T\mathcal
F_1\oplus\cdots\oplus T\mathcal F_k$ along the curve $t\mapsto\exp^{\mathcal F_i}(t\xi_i)$ up to time $t=1$. It is evident that $\tau_i$ constitutes a smooth map: $$\tau_i:T\mathcal F_1\oplus\cdots\oplus U_i\oplus\cdots\oplus T\mathcal F_k
\to T\mathcal F_1\oplus\cdots\oplus T\mathcal F_k$$

We certainly find an open neighborhood of the zero section $W\subseteq TM$ such that the compositions $$\alpha_i:=\pi\circ\tau_i\circ\tau_{i+1}\circ\cdots\circ\tau_k\circ s:
W\to M$$ are well defined for all $1\leq i\leq k$. Here $\pi:T\mathcal
F_1\oplus\cdots\oplus T\mathcal F_k\to M$ denotes the vector bundle projection.

Set $\alpha:=\alpha_1$, and consider $(\pi,\alpha):W\to M\times M$. Its derivative at $0_x\in T_xM$ is invertible. Using the inverse function theorem and possibly shrinking $W$ we may assume that $(\pi,\alpha):W\to M\times M$ is a diffeomorphism onto an open neighborhood of the diagonal. Let $W'\subseteq T^*M\otimes TM$ be an open neighborhood of the zero section, and define $$\mathcal W:=\bigl\{X\in{\mathfrak X}_c(M)\bigm|
\operatorname{img}(X)\subseteq W, \operatorname{img}(\nabla X)\subseteq W'\bigr\},$$ where $\nabla$ denotes the Levi–Civita connection on $M$. This is a $C^1$–open neighborhood of $0\in{\mathfrak X}_c(M)$. For $X\in\mathcal W$ define $f_X:=\alpha\circ X\in C^\infty_c(M,M)$. We choose $W$ and $W'$ sufficiently small so that every $f_X$ is a diffeomorphism. It is now clear that $$\label{E:chart2}
\mathcal W\to\operatorname{Diff}_c^\infty(M),\quad
X\mapsto f_X$$ constitutes a chart for $\operatorname{Diff}^\infty_c(M)$ centered at the identity, <span>cf. </span>the concept of local addition in @KM97 [Section 42.4].

For $1\leq i\leq k$ and $X\in\mathcal W$ define $f_{X,i}:=\alpha_i\circ X$. Again, we choose $W$ and $W'$ sufficiently small so that $f_{X,i}$ is a diffeomorphism for every $X\in\mathcal W$ and all $1\leq i\leq k$. Obviously we have $f_{X,1}=f_X$. Also note that $f_{X,k}\in\operatorname{Diff}^\infty_c(M,\mathcal F_k)$. Similarly, it follows from the construction that $f_{X,i}\circ(f_{X,i+1})^{-1}\in\operatorname{Diff}^\infty_c(M,\mathcal F_i)$ for all $1\leq i<k$.

Let $\mathcal V$ denote the open neighborhood of $e\in\operatorname{Diff}_c^\infty(M)$ corresponding to $\mathcal W$ via . Define a map $$\sigma:\mathcal V\to\operatorname{Diff}^\infty_c(M,\mathcal F_1)
\times\cdots\times\operatorname{Diff}^\infty_c(M,\mathcal F_k)$$ $$\sigma(f_X):=\Bigl(f_{X,1}\circ(f_{X,2})^{-1},f_{X,2}\circ(f_{X,3})^{-1},\dotsc,
f_{X,k-1}\circ(f_{X,k})^{-1},f_{X,k}\Bigr)$$ and note that it is smooth because $X$ depends smoothly on $f_X$ in view of our chart . Moreover we have $F(\sigma(f_X))=f_{X,1}=f_X$ and thus $F\circ\sigma=\operatorname{id}_{\mathcal V}$. Since the $\alpha_i$ restrict to the identity on the zero section we have $\sigma(e)=\sigma(f_0)=(e,\dotsc,e)$.

The exponential law and smooth parametrization of diffeomorphism {#S:exp}
================================================================

Suppose $B$ is a smooth manifold without boundary and suppose $G$ is a possibly infinite dimensional Lie group. Consider the space $C^\infty_c(B,G)$ of smooth maps from $B$ to $G$ which are constant equal to $e\in G$ outside a compact subset of $B$. This is a Lie group with point wise multiplication, see @KM97.

\[L:para\] If $G$ is locally smoothly perfect of order at most $m$, then so is $C^\infty_c(B,G)$.

Let $\sigma:\mathcal V\to G^{2m}$ be a local right inverse as in Definition \[D:lsp\]. Let $\mathcal V'\subseteq C^\infty_c(B,G)$ denote the subset of maps which take values in $\mathcal V\subseteq G$. This is an open neighborhood of $e\in C^\infty_c(B,G)$. Consider the smooth map $$\sigma':=\sigma_*:\mathcal V'\to C^\infty_c(B,G^{2m})=C^\infty_c(B,G)^{2m}$$ given by composition with $\sigma$. Its restriction to the connected component of $\mathcal V'$ clearly is a local smooth right inverse as required.

Note that if $G$ is only perfect then the argument in the proof of Lemma \[L:para\] breaks down, and one cannot conclude that $C^\infty_c(M,G)$ is perfect.

Let $S$ and $B$ be smooth manifolds without boundary. Set $M:=B\times S$ and let $\mathcal F$ denote the foliation of $M$ with leaves $\{\textrm{pt}\}\times S$.

\[P:para\] If $\operatorname{Diff}^\infty_c(S)$ is locally smoothly perfect of order at most $m$, then so is $\operatorname{Diff}^\infty_c(M,\mathcal F)$.

It follows from the exponential law in @KM97 that the homomorphism $$C^\infty_c(B,\operatorname{Diff}^\infty_c(S))\to\operatorname{Diff}^\infty_c(M,\mathcal F)$$ $$\alpha\mapsto\bigl((b,s)\mapsto(b,\alpha(b)(s))\bigr)$$ is an isomorphism of Lie groups. The proposition now follows from Lemma \[L:para\] above.

Herman's result for the torus {#S:herman}
=============================

Let $T^n:={\mathbb R}^n/{\mathbb Z}^n$ denote the torus of dimension $n$. The group $\operatorname{Diff}^\infty(T^n)$ is a Fréchet–Lie group modeled on the Fréchet space ${\mathfrak X}(T^n)$ of vector fields on $T^n$. For $\beta\in T^n$ we let $R_\beta\in\operatorname{Diff}^\infty(T^n)$ denote the rotation by $\beta$. In this way we can consider $T^n$ as subgroup of $\operatorname{Diff}^\infty(T^n)_o$.

\[Herman\] There exist $\gamma\in T^n$ such that the map $$H:T^n\times\operatorname{Diff}^\infty(T^n)_o\to\operatorname{Diff}^\infty(T^n)_o,$$ $$H(\lambda,h):=R_\lambda\circ[R_\gamma,h]$$ has a local smooth right inverse at the identity. More precisely, there exist an open neighborhood $\mathcal V$ of $e\in\operatorname{Diff}^\infty(T^n)_o$ and a smooth map $\sigma:\mathcal V\to T^n\times\operatorname{Diff}^\infty(T^n)_o$ with $\sigma(e)=(0,e)$ such that $H\circ\sigma=\operatorname{id}_{\mathcal V}$.

Herman's result is an application of the Nash–Moser inverse function theorem. When inverting the derivative one is quickly led to solve the linear equation $Y=X-(R_\gamma)^*X$ for given $Y\in C^\infty(T^n,{\mathbb R}^n)$. This is accomplished using Fourier transformation. Here one has to choose $\gamma$ sufficiently irrational so that tame estimates on the Sobolev norms of $X$ in terms of the Sobolev norms of $Y$ can be obtained. The corresponding small denominator problem can be solved due to a number theoretic result of Khintchine. For a proof of Herman's theorem see @H73 and @H71.

Using the fact that the perfect group of Möbius transformations acts on $T^1$, Herman concluded that $\operatorname{Diff}^\infty(T^n)_o$ is a perfect group. In fact, one can estimate the number of commutators necessary, see @HT03 [Section 4], and obtains

\[C:her\] $\operatorname{Diff}^\infty(T^n)$ is locally smoothly perfect of order at most $3$.

Proof of Theorem \[T:main\] {#S:proof}
===========================

We start proving the following

\[P:rt\] Suppose $n\geq2$. Then $\operatorname{Diff}^\infty_c({\mathbb R}\times T^{n-1})$ is locally smoothly perfect of order at most $9$.

Consider the foliation $\mathcal F$ on ${\mathbb R}\times T^{n-1}$ with leaves $\{\textrm{pt}\}\times T^{n-1}$. In view of Proposition \[P:para\] and Corollary \[C:her\] we know that $\operatorname{Diff}^\infty_c({\mathbb R}\times T^{n-1},\mathcal F)$ is locally smoothly perfect of order at most $3$.

One easily constructs diffeomorphisms $\varphi_i$ of ${\mathbb R}\times T^{n-1}$ such that the foliations $\mathcal F_i:=
\varphi_i(\mathcal F)$, $1\leq i\leq3$, span the tangent bundle of ${\mathbb R}\times T^{n-1}$. Indeed, choose functions $h_i:T^{n-1}\to{\mathbb R}$ such that $h_1=0$ and the critical sets of $h_2$ and $h_3$ are disjoint. Now define $\varphi_i(x,t):=(x+h_i(t),t)$. It is readily checked that these diffeomorphisms have the desired property. Clearly $\operatorname{Diff}^\infty({\mathbb R}\times T^{n-1},\mathcal F_i)
\simeq\operatorname{Diff}^\infty({\mathbb R}\times T^{n-1},\mathcal F)$ also is locally smoothly perfect of order at most $3$. It follows from Proposition \[P:fol\] that $\operatorname{Diff}^\infty_c({\mathbb R}\times T^{n-1})$ is locally smoothly perfect of order at most $3\cdot 3=9$.

For a smooth manifold $M$ of dimension $n$ let $\operatorname{cov}(M)$ denote the minimal integer $k$ such that there exists an open covering $\mathcal U=\{U_1,\dotsc,U_k\}$ of $M$ for which every $U_i$ is diffeomorphic to a disjoint union of copies of ${\mathbb R}\times T^{n-1}$. Using a triangulation and the fact that ${\mathbb R}\times T^{n-1}$ embeds into ${\mathbb R}^n$, one easily shows $\operatorname{cov}(M)\leq n+1$. Therefore Theorem \[T:mcov\] below implies Theorem \[T:main\].

\[T:mcov\] Let $M$ be a smooth manifold of dimension $n\geq2$. Then $\operatorname{Diff}^\infty_c(M)$ is locally smoothly perfect of order at most $9\cdot\operatorname{cov}(M)$.

Choose an open covering $\mathcal U=\{U_1,\dotsc,U_{\operatorname{cov}(M)}\}$ of $M$ such that every $U_i$ is diffeomorphic to a disjoint union of copies of ${\mathbb R}\times T^{n-1}$. Using Proposition \[P:rt\] we see that $\operatorname{Diff}_{U_i}^\infty(M)=\bigoplus_{\pi_0(U_i)}\operatorname{Diff}_c^\infty({\mathbb R}\times T^{n-1})$ is locally smoothly perfect of order at most $9$. In view of Proposition \[P:frag\] this implies that $\operatorname{Diff}^\infty_c(M)$ is locally smoothly perfect of order at most $9\cdot\operatorname{cov}(M)$.

It is easy to show that $\operatorname{cov}({\mathbb R}^n)=\operatorname{cov}(S^n)=2$. Hence we obtain

\[C:snrn\] Let $n\geq2$. Then $\operatorname{Diff}^\infty(S^n)$ and $\operatorname{Diff}^\infty_c({\mathbb R}^n)$ are locally smoothly perfect of order at most $18$.

Note that the case $M=S^1$ is covered by Corollary \[C:her\]. However, the case $M={\mathbb R}$ is not.

<span>KM97</span>

A. Banyaga, *Sur la structure du groupe des difféomorphismes qui préservent une forme symplectique.* Comment. Math. Helv. **53**(1978), 174–227.

A. Banyaga, *The structure of classical diffeomorphism groups.* Kluwer Academic Publishers Group, Dordrecht, 1979.

D.B.A. Epstein, *The simplicity of certain groups of homeomorphisms.* Compositio Math. **22**(1970), 165–173.

D.B.A. Epstein, *Commutators of $C^\infty$–diffeomorphisms. Appendix to: 'A curious remark concerning the geometric transfer map'' by John N. Mather.* Comment. Math. Helv. **59**(1984), 111–122.

S. Haller and T. Rybicki, *On the group of diffeomorphisms preserving a locally conformal symplectic structure.* Ann. Global Anal. Geom. **17**(1999), 475–502.

S. Haller and J. Teichmann, *Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones.* Ann. Global Anal. Geom. **23**(2003), 53–63.

M.R. Herman, *Simplicité du groupe des difféomorphismes de classe $C^\infty$, isotopes à l'identité, du tore de dimension $n$.* C. R. Acad. Sci. Paris Sr. A **273**(1971), 232–234.

M.R. Herman, *Sur le groupe des difféomorphismes du tore.* Ann. Inst. Fourier (Grenoble) **23**(1973), 75–86.

A. Kriegl and P.W. Michor, *The convenient setting of global analysis.* Mathematical Surveys and Monographs **53**, American Mathematical Society, 1997.

J.N. Mather, *Commutators of diffeomorphisms.* Comment. Math. Helv. **49**(1974), 512–528.

J.N. Mather, *Commutators of diffeomorphisms. II.* Comment. Math. Helv. **50**(1975), 33–40.

J.N. Mather, *A curious remark concerning the geometric transfer map.* Comment. Math. Helv. **59**(1984), 86–110.

D. McDuff, *Local homology of groups of volume preserving diffeomorphisms. I.* Ann. Sci. École Norm. Sup. (4) **15**(1982), 609–648.

D. McDuff, *Local homology of groups of volume-preserving diffeomorphisms. II.* Comment. Math. Helv. **58**(1983), 135–165.

D. McDuff, *Local homology of groups of volume-preserving diffeomorphisms. III.* Ann. Sci. École Norm. Sup. (4) **16**(1984), 529–540.

H. Omori, *Infinite-dimensional Lie groups.* Translated from the 1979 Japanese original and revised by the author. Translations of Mathematical Monographs **158**. American Mathematical Society, Providence, RI, 1997.

T. Rybicki, *The identity component of the leaf preserving diffeomorphism group is perfect.* Monatsh. Math. **120**(1995), 289–305.

W. Thurston, *Foliations and groups of diffeomorphisms.* Bull. Amer. Math. Soc. **80**(1974), 304–307.

[^1]: The first author is supported by the *Fonds zur Förderung der wissenschaftlichen Forschung* (Austrian Science Fund), project number <span>P14195-MAT</span>

{'source': 'arXiv_out/math0409605'}