Topological Half-Space Theorems for Minimal Hypersurfaces in ℝ4
Abstract
The three-dimensional catenoid in ℝ4 is a complete embedded minimal hypersurface contained in a slab, showing that the half-space theorem does not extend directly to higher dimensions. We show that this obstruction is topological in ℝ4. More precisely, we prove that a connected, complete embedded minimal hypersurface Σ3⊂ℝ4 contained in a half-space with bounded curvature and trivial second homology must be a hyperplane. We obtain further rigidity when a connected, complete embedded minimal hypersurface is confined to a slab. In particular, we show that if in addition the minimal hypersurface is proper and has trivial second homology then it must be a hyperplane, thus obtaining flatness without the bounded curvature assumption. If instead the minimal hypersurface has bounded curvature and finite second Betti number then it must have finite total curvature or finite index. As a corollary, we also obtain a new characterization of the three-dimensional catenoid as a minimal hypersurface confined in a slab with bounded curvature and second Betti number equal to one.
Related
- Free boundary minimal hypersurfaces of Morse index one in Eucildean half-space
- Minimal translation hypersurfaces in hyperbolic space
- Congruence theorems for capillary hypersurfaces and a substatic Heintze--Karcher inequality
- Sphere Theorems for Immersed Hypersurfaces with Constant Scalar Curvature
- Stable minimal hypersurfaces in R5
BibTeX
@misc{aryan2026topological,
title = {{Topological Half-Space Theorems for Minimal Hypersurfaces in $\mathbbR^4$}},
author = {Shrey Aryan and Alexander D. McWeeney},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2607.05755},
eprint = {2607.05755},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2607.05755},
}
RIS
TY - UNPB
TI - Topological Half-Space Theorems for Minimal Hypersurfaces in ℝ^4
AU - Shrey Aryan
AU - Alexander D. McWeeney
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2607.05755
UR - https://arxiv.org/abs/2607.05755
AB - The three-dimensional catenoid in ℝ^4 is a complete embedded minimal hypersurface contained in a slab, showing that the half-space theorem does not extend directly to higher dimensions. We show that this obstruction is topological in ℝ^4. More precisely, we prove that a connected, complete embedded minimal hypersurface Σ^3⊂ℝ^4 contained in a half-space with bounded curvature and trivial second homology must be a hyperplane. We obtain further rigidity when a connected, complete embedded minimal hypersurface is confined to a slab. In particular, we show that if in addition the minimal hypersurface is proper and has trivial second homology then it must be a hyperplane, thus obtaining flatness without the bounded curvature assumption. If instead the minimal hypersurface has bounded curvature and finite second Betti number then it must have finite total curvature or finite index. As a corollary, we also obtain a new characterization of the three-dimensional catenoid as a minimal hypersurface confined in a slab with bounded curvature and second Betti number equal to one.
ER -