Abstract
We study stable surfaces, i.e., second order minima of the area for variations of fixed volume, in sub-Riemannian space forms of dimension 3. We prove a stability inequality and provide sufficient conditions ensuring instability of volume-preserving area-stationary \(C^2\) surfaces with a non-empty singular set of curves. Combined with previous results, this allows to describe any complete, orientable, embedded and stable \(C^2\) surface \(\Sigma \) in the Heisenberg group \({\mathbb {H}}^1\) and the sub-Riemannian sphere \({\mathbb {S}}^3\) of constant curvature 1. In \({\mathbb {H}}^1\) we conclude that \(\Sigma \) is a Euclidean plane, a Pansu sphere or congruent to the hyperbolic paraboloid \(t=xy\). In \({\mathbb {S}}^3\) we deduce that \(\Sigma \) is one of the Pansu spherical surfaces discovered in Hurtado and Rosales (Math Ann 340(3):675–708, 2008). As a consequence, such spheres are the unique \(C^2\) solutions to the sub-Riemannian isoperimetric problem in \({\mathbb {S}}^3\).
Similar content being viewed by others
References
Balogh, Z.M.: Size of characteristic sets and functions with prescribed gradient. J. Reine Angew. Math. 564, 63–83 (2003)
Barbosa, J.L., do Armo, M.P.: Stability of hypersurfaces with constant mean curvature. Math. Z. 185(3), 339–353 (1984)
Barbosa, J.L., do Carmo, M.P., Eschenburg, J.: Stability of hypersurfaces of constant mean curvature in Riemannian manifolds. Math. Z. 197(1), 123–138 (1988)
Barone Adesi, V., Serra Cassano, F., Vittone, D.: The Bernstein problem for intrinsic graphs in Heisenberg groups and calibrations. Calc. Var. Partial Differ. Equ. 30(1), 17–49 (2007)
Bieliavsky, P., Falbel, E., Gorodski, C.: The classification of simply-connected contact sub-Riemannian symmetric spaces. Pac. J. Math. 188(1), 65–82 (1999)
Blair, D.E.: Riemannian Geometry of Contact and Symplectic Manifolds, Progress in Mathematics, vol. 203. Birkhäuser Boston Inc., Boston, MA (2002)
Capogna, L., Danielli, D., Pauls, S.D., Tyson, J.T.: An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem, Progress in Mathematics, vol. 259. Birkhäuser Verlag, Basel (2007)
Chanillo, S., Yang, P.: Isoperimetric inequalities & volume comparison theorems on CR manifolds. Ann. Sci. Norm. Super. Pisa Cl. Sci. (5) 8(2), 279–307 (2009)
Cheng, J.-H., Chiu, H.-L., Hwang, J.-F., Yang, P.: Umbilicity and characterization of Pansu spheres in the Heisenberg group. J. Reine Angew. Math. 738, 203–235 (2018)
Cheng, J.-H., Hwang, J.-F.: Variations of generalized area functionals and \(p\)-area minimizers of bounded variation in the Heisenberg group. Bull. Inst. Math. Acad. Sin. (N.S.) 5(4), 369–412 (2010)
Cheng, J.-H., Hwang, J.-F., Malchiodi, A., Yang, P.: Minimal surfaces in pseudohermitian geometry. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 4(1), 129–177 (2005)
Cheng, J.-H., Hwang, J.-F., Malchiodi, A., Yang, P.: A Codazzi-like equation and the singular set for \(C^1\) smooth surfaces in the Heisenberg group. J. Reine Angew. Math. 671, 131–198 (2012)
Cheng, J.-H., Hwang, J.-F., Yang, P.: Existence and uniqueness for \(p\)-area minimizers in the Heisenberg group. Math. Ann. 337(2), 253–293 (2007)
Cheng, J.-H., Hwang, J.-F., Yang, P.: Regularity of \(C^1\) smooth surfaces with prescribed \(p\)-mean curvature in the Heisenberg group. Math. Ann. 344(1), 1–35 (2009)
Danielli, D., Garofalo, N., Nhieu, D.-M., Pauls, S.D.: The Bernstein problem for embedded surfaces in the Heisenberg group \(\mathbb{H}^{1}\). Indiana Univ. Math. J. 59(2), 563–594 (2010)
Derridj, M.: Sur un théorème de traces. Ann. Inst. Fourier (Grenoble) 22(2), 73–83 (1972)
Falbel, E., Gorodski, C.: Sub-Riemannian homogeneous spaces in dimensions \(3\) and \(4\). Geom. Dedicata 62(3), 227–252 (1996)
Franchi, B., Serapioni, R., Serra Cassano, F.: Rectifiability and perimeter in the Heisenberg group. Math. Ann. 321(3), 479–531 (2001)
Galli, M.: First and second variation formulae for the sub-Riemannian area in three-dimensional pseudo-Hermitian manifolds. Calc. Var. Partial Differ. Equ. 47(1–2), 117–157 (2013)
Galli, M.: On the classification of complete area-stationary and stable surfaces in the subriemannian Sol manifold. Pac. J. Math. 271(1), 143–157 (2014)
Galli, M.: The regularity of Euclidean Lipschitz boundaries with prescribed mean curvature in three-dimensional contact sub-Riemannian manifolds. Nonlinear Anal. 136, 40–50 (2016)
Galli, M., Ritoré, M.: Existence of isoperimetric regions in contact sub-Riemannian manifolds. J. Math. Anal. Appl. 397(2), 697–714 (2013)
Galli, M., Ritoré, M.: Area-stationary and stable surfaces of class \(C^1\) in the sub-Riemannian Heisenberg group \(\mathbb{H}^{1}\). Adv. Math. 285, 737–765 (2015)
Galli, M., Ritoré, M.: Regularity of \(C^1\) surfaces with prescribed mean curvature in three-dimensional contact sub-Riemannian manifolds. Calc. Var. Partial Differ. Equ. 54(3), 2503–2516 (2015)
Hladky, R.K., Pauls, S.D.: Constant mean curvature surfaces in sub-Riemannian geometry. J. Differ. Geom. 79(1), 111–139 (2008)
Hladky, R.K., Pauls, S.D.: Variation of perimeter measure in sub-Riemannian geometry. Int. Electron. J. Geom. 6(1), 8–40 (2013)
Hurtado, A., Ritoré, M., Rosales, C.: The classification of complete stable area-stationary surfaces in the Heisenberg group \(\mathbb{H}^{1}\). Adv. Math. 224(2), 561–600 (2010)
Hurtado, A., Rosales, C.: Area-stationary surfaces inside the sub-Riemannian three-sphere. Math. Ann. 340(3), 675–708 (2008)
Hurtado, A., Rosales, C.: Existence, characterization and stability of Pansu spheres in sub-Riemannian 3-space forms. Calc. Var. Partial Differ. Equ. 54(3), 3183–3227 (2015)
Hurtado, A., Rosales, C.: Strongly stable surfaces in sub-Riemannian 3-space forms. Nonlinear Anal. 155, 115–139 (2017)
Leonardi, G.P., Rigot, S.: Isoperimetric sets on Carnot groups. Houston J. Math. 29(3), 609–637 (electronic) (2003)
Miranda, M.: Functions of bounded variation on “good” metric spaces. J. Math. Pures Appl. (9) 82(8), 975–1004 (2003)
Montefalcone, F.: Stability of Heisenberg isoperimetric profiles (2011). arXiv:1110.0707
Monti, R.: Rearrangements in metric spaces and in the Heisenberg group. J. Geom. Anal. 24(4), 1673–1715 (2014)
Monti, R., Serra Cassano, F., Vittone, D.: A negative answer to the Bernstein problem for intrinsic graphs in the Heisenberg group. Boll. Unione Mat. Ital. (9) 1(3), 709–727 (2008)
Pansu, P.: Une inégalité isopérimétrique sur le groupe de Heisenberg. C. R. Acad. Sci. Paris Sér. I Math. 295(2), 127–130 (1982)
Pansu, P.: An isoperimetric inequality on the Heisenberg group, Rend. Sem. Mat. Univ. Politec. Torino (1983), no. Special Issue, 159–174 (1984), Conference on differential geometry on homogeneous spaces (Turin, 1983)
Pauls, S.D.: \(H\)-minimal graphs of low regularity in \(\mathbb{H}^{1}\). Comment. Math. Helv. 81(2), 337–381 (2006)
Prandi, D., Rizzi, L., Seri, M.: A sub-Riemannian Santaló formula with applications to isoperimetric inequalities and first Dirichlet eigenvalue of hypoelliptic operators. J. Differ. Geom. 111(2), 339–379 (2019)
Ritoré, M.: Examples of area-minimizing surfaces in the sub-Riemannian Heisenberg group \({\mathbb{H}}^1\) with low regularity. Calc. Var. Partial Differ. Equ. 34(2), 179–192 (2009)
Ritoré, M.: A proof by calibration of an isoperimetric inequality in the Heisenberg group \({\mathbb{H}}^{n}\). Calc. Var. Partial Differ. Equ. 44(1–2), 47–60 (2012)
Ritoré, M., Ros, A.: Stable constant mean curvature tori and the isoperimetric problem in three space forms. Comment. Math. Helv. 67(2), 293–305 (1992)
Ritoré, M., Rosales, C.: Area-stationary surfaces in the Heisenberg group \(\mathbb{H}^{1}\). Adv. Math. 219(2), 633–671 (2008)
Rosales, C.: Complete stable CMC surfaces with empty singular set in Sasakian sub-Riemannian 3-manifolds. Calc. Var. Partial Differ. Equ. 43(3–4), 311–345 (2012)
Tanno, S.: Sasakian manifolds with constant \(\phi \)-holomorphic sectional curvature. Tôhoku Math. J. (2) 21, 501–507 (1969)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Malchiodi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors were supported by MINECO Grant No. MTM2017-84851-C2-1-P and Junta de Andalucía Grant No. FQM-325.
Rights and permissions
About this article
Cite this article
Hurtado, A., Rosales, C. An instability criterion for volume-preserving area-stationary surfaces with singular curves in sub-Riemannian 3-space forms. Calc. Var. 59, 165 (2020). https://doi.org/10.1007/s00526-020-01834-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-020-01834-1