Commutators of C^∞-diffeomorphisms preserving a submanifold

Abstract

We consider the group of C^∞-diffeomorphisms of M which is isotopic to the identity through C^∞-diffeomorphisms preserving N for a compact manifold pair (M,N) and prove that the group is perfect. Also we prove that it is uniformly perfect for a certain compact manifold with boundary.