The classification of complete stable area-stationary surfaces in the Heisenberg group ${\mathbb{H}}^1$

Abstract

We prove that any $C^2$ complete, orientable, connected, stable area-stationary surface in the sub-Riemannian Heisenberg group ${\mathbb{H}}^1$ is either a Euclidean plane or congruent to the hyperbolic paraboloid $t=xy$.

32 pages, no figures, added reference missed in version 3

References in corpus (1)

• Stable complete embedded minimal surfaces in ${\mathbb{H}}^1$ with empty characteristic locus are vertical planes