The orientation-preserving diffeomorphism group of S^2 deforms to SO(3) smoothly

Abstract

Smale proved that the orientation-preserving diffeomorphism group of S^2 has a continuous strong deformation retraction to SO(3). In this paper, we construct such a strong deformation retraction which is diffeologically smooth.Comment: 16 page