Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group \(\mathbb H^n\)
type: Item
instance of: scholarly article
title: Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group \(\mathbb H^n\)
zbMATH Open document ID: 1129.53041
DOI: 10.1007/BF02922137
author: Manuel Ritoré
author: César Rosales
published in: The Journal of Geometric Analysis
publication date: 2006-10-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0504439
review text: For every positive integer \(n\) let \(\mathfrak{h}_{n}\) denote the Lie algebra of dimension \(2n+1\) with basis \(\mathfrak{B} = \{X_{1},Y_{1},\dots,X_{n},Y_{n},T \}\) and nonzero bracket relations \([X_{k},Y_{k}] = - [Y_{k},X_{k}]= -2T\). The \(2n+1\)-dimensional Heisenberg group \(H_{n}\) is the simply connected Lie group with Lie algebra \(\mathfrak{h}_{n}\) equipped with the left invariant Riemannian metric for which the basis \(\mathfrak{B}\) is orthonormal. The horizontal distribution in \(H_{n}\) is the left invariant distribution spanned by \(\{X_{1},Y_{1},\dots,X_{n},Y_{n} \}\). If \(S\) is a \(C^{1}\) hypersurface in \(H_{n}\), then the singular set \(S_{0}\) consists of those points \(p\) where the tangent space \(T_{p}S\) is horizontal. The singular set \(S_{0}\) is closed in \(S\) with nonempty interior. If \(U\) is a unit normal vector field on \(S\), then for \(p\in S - S_{0}\) one defines the mean curvature \(H(p)\) by \(-2nH(p) = \operatorname{div}U_{H}/| U_{H}| \), where \(U_{H}\) denotes the horizontal component of \(U\). Let \(O\) be an open subset of \(H_{n}\) with \(C^{1}\) boundary \(S\). Define \(P(O)\), the perimeter of \(O\), to be the Riemannian integral over \(S\) of \(| U_{H}| \). If \(O\) has finite perimeter, then \(O\) is said to be stationary if \(P'(0) = 0\) for all volume preserving variations \(O_{t}\), where \(P(t) = P(O_{t})\). The authors show that if \(O\) is stationary, then \(S\) has constant mean curvature. A hypersurface \(S\) is said to be rotationally symmetric if \(S\) is left invariant by the isometries of \(H_{n}\) that leave invariant the center \(Z = \exp(T)\). The hypothesis of rotational symmetry allows one to formulate the equations for constant mean curvature as a family of ordinary differential equations. The authors compute the mean curvature of a rotationally invariant hypersurface and several examples. They classify the rotationally invariant hypersurfaces of constant mean curvature into five basic types.
Mathematics Subject Classification ID: 53C42
Mathematics Subject Classification ID: 53C30
Mathematics Subject Classification ID: 53C17
Mathematics Subject Classification ID: 49Q20
zbMATH DE Number: 5065578
zbMATH Keywords: Heisenberg group
zbMATH Keywords: constant mean curvature
zbMATH Keywords: rotationally symmetric
zbMATH Keywords: perimeter
reviewed by: Patrick Eberlein
MaRDI profile type: Publication
arXiv ID: math/0504439
cites work: Size of characteristic sets and functions with prescribed gradient
cites work: Stability of hypersurfaces of constant mean curvature in Riemannian manifolds
cites work: The geometric Sobolev embedding for vector fields and the isoperimetric inequality
cites work: Properly embedded and immersed minimal surfaces in the Heisenberg group
cites work: Q5489523
cites work: Sur un théorème de traces. (On a trace theorem)
cites work: Invariant surfaces of the Heisenberg groups
cites work: Rectifiability and perimeter in the Heisenberg group
cites work: Q4863757
cites work: Constant mean curvature surfaces in sub-Riemannian geometry
cites work: On generalization of theorems of A. D. Alexandrov and C. Delaunay on hypersurfaces of constant mean curvature
cites work: The structure of complete embedded surfaces with constant mean curvature
cites work: On the isoperimetric problem in the Heisenberg group \(\mathbb H^n\)
cites work: Q4458819
cites work: Q4415610
cites work: Surface measures in Carnot-Carathéodory spaces
cites work: Sub-Riemannian constant mean curvature surfaces in the Heisenberg group as limits
cites work: Q3968106
cites work: Q3772868
cites work: Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
cites work: Minimal surfaces in the Heisenberg group
cites work: Q3137134
description: scientific article