1: \begin{abstract}
2: %%Let $\mathrm{Aut}(\xi)$ be the contactomorphism group of $S^3$ with the standard tight contact structure. We show that the subgroup of the strict contactomorpshims, also known as quantomorphisms, is the total space of an $S^1$-bundle over the group $\SDiff(S^2)$ of area-preserving diffeomorphisms of the $2$-sphere, which deformation retracts to a finite-dimensional subbundle with total space two disjoint copies of the unitary group $U(2)$.\\
3: %%
4: %\larger
5: % The group $\Aut_1(\xi)$ of strict contactomorphisms, also known as quantomorphisms, of the standard tight contact structure $\xi$ on the three-sphere is known to be the total space of a fiber bundle $S^1\! \hookrightarrow \! \Aut_1(\xi)\! \to\! \SDiff(S^2)$ over the group of orientation-preserving, area-preserving $C^\infty$-diffeomorphisms of the two-sphere. We prove that this bundle deformation retracts to its finite-dimensional subbundle $S^1\! \hookrightarrow \! U(2) \to\! SO(3)$, where $U(2)$ is the unitary group. It was already known that this bundle inclusion is a homotopy equivalence, and we
6: %improve on that by showing how to lift Mu-Tao Wang's deformation retraction of the group $\SDiff(S^2)$ onto its subgroup $SO(3)$ to one of $\Aut_1(\xi)$ onto its subgroup $U(2)$.
7: %\end{abstract}
8: