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

From MaRDI portal
Publication:649071



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.


The main result shows that there is a smooth strong deformation retraction \(P:\Omega\times I\to\Omega\) such that \(P_0(f)=f\), \(P_1(f)\in\text{SO}(3)\), \(P_t(A)=A\) and \(P_t(Af)=AP_t(f)\) for each \(t\in I\), \(f\in\Omega\) and \(A\in\text{SO}(3)\). Here \(\Omega\) denotes the orientation-preserving C\(^\infty\) diffeomorphism group of \(\mathbb S^2\) with the C\(^k\) topology. The proof follows the proof of \textit{S. Smale} [Proc. Am. Math. Soc. 10, 621--626 (1959; Zbl 0118.39103)] yielding a non-smooth deformation, but using Sobolev inequalities where necessary to ensure smoothness.











This page was built for publication: The orientation-preserving diffeomorphism group of \({\mathbb{S}^{2}}\) deforms to SO(3) smoothly

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q649071)