Deformation retraction of the group of strict contactomorphisms of the three-sphere to the unitary group
We prove that the group of strict contactomorphisms of the standard tight contact structure on the three-sphere deformation retracts to its unitary subgroup U(2).