Commutators of \(C^{\infty }\)-diffeomorphisms preserving a submanifold (Q1030017): Difference between revisions

Let \((M^m,N^n)\) be a C\(^\infty\)-manifold pair, where \(N\) is a proper submanifold and let \(D^\infty_c(M,N)\) be the group of all C\(^\infty\) diffeomorphisms of \(M\) isotopic to the identity through C\(^\infty\) diffeomorphisms preserving \(N\) and having compact support. Then \(D_c^\infty(M,N)\) is a perfect group for \(n\geq 1\). If \(D_c^\infty(\text{int}M)\) and \(D^\infty(\partial M)\) are uniformly perfect then so is \(D_c^\infty(M,\partial M)\) when \(m\geq 2\).