Smooth Perfectness through Decomposition of Diffeomorphisms into Fiber Preserving Ones

Abstract

We show that on a closed smooth manifold M equipped with k fiberbundle 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... f k , where f i preserves the ith fiber. The factors f i can be chosen smoothly in f.We apply this result to show that on a certain class of closed smoothmanifolds every diffeomorphism sufficiently close to the identity can bewritten as product of commutators and the factors can be chosen smoothly.Furthermore we get concrete estimates on how many commutators are necessary.