Overview
Research published via arXiv details a mathematical proof concerning the existence of a global perimeter minimizer within higher-dimensional sub-Riemannian Heisenberg groups. The investigation focuses on $\mathbb H^n$ for dimensions $n \geq 2$. A key characteristic identified for this minimizer is that its boundary forms a smooth, non-characteristic, entire intrinsic graph, distinguishing it from a vertical hyperplane.
Research Context
The study addresses the Bernstein problem, specifically within the framework of higher-dimensional Heisenberg groups. The problem generally concerns the regularity of minimal surfaces. In this specific context, the investigation targets sub-Riemannian Heisenberg groups, denoted as $\mathbb H^n$. The scope of the problem is defined for integer dimensions $n$ where $n$ is greater than or equal to 2.
Findings
The core finding of this research is the establishment of the existence of a global perimeter minimizer. This existence is demonstrated to hold true for every sub-Riemannian Heisenberg group $\mathbb H^n$, under the condition that $n\geq 2$. A specific property of this identified global perimeter minimizer is related to its boundary. The boundary is described as a smooth, non-characteristic, entire intrinsic graph. A further distinction made is that this boundary is explicitly noted as not being a vertical hyperplane.
"In every sub-Riemannian Heisenberg group $\mathbb H^n$, with $n\geq 2$, we prove the existence of a global perimeter minimizer whose boundary is a smooth, non-characteristic, entire intrinsic graph but it is not a vertical hyperplane."
Why This Matters
This finding contributes to the understanding of geometric measure theory and minimal surfaces in non-Euclidean spaces, specifically within sub-Riemannian geometries. Demonstrating the existence and specific characteristics of such minimizers in Heisenberg groups extends the known solutions and properties related to the Bernstein problem in these complex mathematical structures.