Rigidity in CR geometry: The Schoen–Webster theorem

The Schoen–Webster theorem asserts that a strictly pseudoconvex CR manifold whose automorphism group acts nonproperly is either the standard sphere or the Heisenberg group. The purpose of this paper is to survey successive works around this result and then provide a short geometric proof in the compact case.