The isoperimetric inequality and CMC hypersurfaces in Cartan-Hadamard manifolds
Abstract
We show that the sharp Euclidean isoperimetric inequality holds for domains in complete simply connected Riemannian n-manifolds of nonpositive sectional curvature, 3≤ n≤9, which establishes the Cartan-Hadamard conjecture in these dimensions. The main step is a sharp inequality for constant-mean-curvature hypersurfaces, proved via integrals over pairs of boundary points, together with estimates for Jacobi fields along geodesic chords of the boundary. The weights in these integrals depend on the length of the chord and its angles with the boundary, and are chosen dimension by dimension, with a Green function pole. The inequality persists for boundaries of isoperimetric regions trapped in geodesic balls, whose mean curvature is constant only on the free part and which may have singularities. The isoperimetric-profile argument of Kleiner and Ghomi-Spruck completes the proof.
Related
- Isoperimetric and total curvature inequalities in Cartan-Hadamard manifolds with nullity
- The Cartan-Hadamard isoperimetric inequality under controlled variation of curvature
- Almgren frequency and Agmon convexity on rotationally symmetric Cartan-Hadamard manifolds
- Logarithmic Sobolev and exponential inequalities for submanifolds in Cartan--Hadamard manifolds
- The generalized Cartan-Hadamard conjecture
BibTeX
@misc{chen2026isoperimetric,
title = {{The isoperimetric inequality and CMC hypersurfaces in Cartan-Hadamard manifolds}},
author = {Shibing Chen and Mohammad Ghomi and Peng Wang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.20517},
eprint = {2609.20517},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.20517},
}
RIS
TY - UNPB
TI - The isoperimetric inequality and CMC hypersurfaces in Cartan-Hadamard manifolds
AU - Shibing Chen
AU - Mohammad Ghomi
AU - Peng Wang
PY - 2026
DA - 2026/09/17
PB - arXiv
DO - 10.48550/arxiv.2609.20517
UR - https://arxiv.org/abs/2609.20517
AB - We show that the sharp Euclidean isoperimetric inequality holds for domains in complete simply connected Riemannian n-manifolds of nonpositive sectional curvature, 3≤ n≤9, which establishes the Cartan-Hadamard conjecture in these dimensions. The main step is a sharp inequality for constant-mean-curvature hypersurfaces, proved via integrals over pairs of boundary points, together with estimates for Jacobi fields along geodesic chords of the boundary. The weights in these integrals depend on the length of the chord and its angles with the boundary, and are chosen dimension by dimension, with a Green function pole. The inequality persists for boundaries of isoperimetric regions trapped in geodesic balls, whose mean curvature is constant only on the free part and which may have singularities. The isoperimetric-profile argument of Kleiner and Ghomi-Spruck completes the proof.
ER -