pith. sign in

arxiv: 2604.06141 · v1 · submitted 2026-04-07 · 🧮 math.DG

Finite index constant mean curvature hypersurfaces in low dimensions

Ivan Miranda This is my paper

Pith reviewed 2026-05-10 18:20 UTC · model grok-4.3

classification 🧮 math.DG
keywords constant mean curvaturefinite indexhypersurfacescompactnessRiemannian productsstabilitysix dimensionshyperbolic space
0
0 comments X

The pith

Complete finite index CMC hypersurfaces in six-dimensional product manifolds are either minimal or compact.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for ambient six-dimensional spaces that are Riemannian products of a closed manifold with non-negative sectional curvature and Euclidean space, any complete immersed constant mean curvature hypersurface with finite index is either minimal or must be compact. This provides an affirmative answer to a question of do Carmo in this setting and builds on results from lower dimensions. If correct, it means that non-compact examples of such hypersurfaces with finite index cannot have non-zero mean curvature in these spaces, limiting the geometries possible for low-index CMC surfaces. It also gives a complete classification for the two-sided weakly stable cases in six-dimensional space forms of positive curvature.

Core claim

We prove that every complete finite index immersed CMC hypersurface is either minimal or compact, provided that the ambient six-dimensional manifold is a Riemannian product of a closed manifold with non-negative sectional curvature and a Euclidean factor. This answers affirmatively a question posed by do Carmo for this class of ambient spaces and extends known lower dimensional results. As a consequence, the classification of two-sided complete weakly stable CMC hypersurfaces in positive curvature space forms in dimension six is completed.

What carries the argument

The finite index condition for the stability operator associated to variations of the hypersurface, which controls the second variation of the area functional under the CMC constraint.

If this is right

  • Non-minimal CMC hypersurfaces of finite index in these 6D spaces must be compact.
  • The classification of two-sided complete weakly stable CMC hypersurfaces in six-dimensional positive curvature space forms is complete.
  • Complete finite index CMC hypersurfaces in hyperbolic six-space with mean curvature length greater than seven are compact.
  • Several partial results hold for CMC hypersurfaces in manifolds with bounded curvature.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the product structure is relaxed to more general manifolds with non-negative curvature, similar compactness results might hold.
  • The bound of seven on the mean curvature length in hyperbolic space could be tested for sharpness by constructing examples with smaller mean curvature.
  • These results suggest that finite index imposes strong rigidity on CMC hypersurfaces in low dimensions.

Load-bearing premise

The ambient manifold is precisely a product of a closed non-negative sectional curvature manifold with a Euclidean factor, and the hypersurface is complete, immersed, and has finite index.

What would settle it

Finding a non-compact non-minimal complete immersed CMC hypersurface with finite index in one of these six-dimensional product manifolds would disprove the main theorem.

read the original abstract

We prove that every complete finite index immersed CMC hypersurface is either minimal or compact, provided that the ambient six-dimensional manifold is a Riemannian product of a closed manifold with non-negative sectional curvature and a Euclidean factor. This answers affirmatively a question posed by do Carmo, for this class of ambient spaces, and extends known lower dimensional results. As a consequence, we complete the classification of two-sided, complete weakly stable CMC hypersurfaces immersed in the space forms of positive curvature in dimension six. More generally, we study the class of Riemannian manifolds with bounded curvature and obtain several partial results. In particular, we show that a complete, finite index CMC hypersurface immersed in the hyperbolic six-space with mean curvature vector of length greater than seven is necessarily compact.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that every complete finite index immersed CMC hypersurface in a six-dimensional Riemannian product of a closed manifold with non-negative sectional curvature and a Euclidean factor is either minimal or compact. This affirmatively answers a question of do Carmo in this setting, extends known lower-dimensional results, and completes the classification of two-sided complete weakly stable CMC hypersurfaces in positive-curvature space forms in dimension six. Additional partial results are obtained for manifolds with bounded curvature, including a compactness theorem for CMC hypersurfaces in hyperbolic 6-space when the length of the mean curvature vector exceeds seven.

Significance. If the central arguments hold, the result is a meaningful advance in the geometric analysis of CMC hypersurfaces. It resolves an open question for a natural class of ambient spaces, supplies a complete classification consequence in space forms, and gives useful partial compactness statements under curvature bounds. The work relies on standard techniques of the field (index estimates, stability operators, and comparison geometry) rather than ad-hoc constructions, which strengthens its reliability.

minor comments (3)
  1. [Introduction] In the statement of the main theorem (likely Theorem 1.1 or equivalent in the introduction), the dimension of the Euclidean factor should be stated explicitly rather than left implicit in the product description, to prevent any ambiguity when the result is cited.
  2. [Proof of main theorem] The index estimates in the proof of the main compactness statement would benefit from a short paragraph clarifying how the non-negative sectional curvature of the closed factor is used to control the stability operator; a reference to the precise lemma or proposition where this control appears would improve readability.
  3. [Hyperbolic space results] The final section on hyperbolic space contains a numerical threshold of seven for |H|; it would be helpful to include a brief remark on whether this constant is sharp or merely convenient for the estimates employed.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition that it affirmatively answers do Carmo's question in the given setting, extends lower-dimensional results, and completes the classification of two-sided complete weakly stable CMC hypersurfaces in positive-curvature space forms in dimension six. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No circularity detected in derivation chain

full rationale

The paper establishes a theorem on finite-index CMC hypersurfaces in product manifolds using standard tools from geometric analysis (stability operator estimates, index bounds, and comparison geometry). The central result extends lower-dimensional cases and answers a question of do Carmo without any self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the claim to its own assumptions. All cited results are external (prior literature on CMC surfaces and stability) and the proof is self-contained against independent geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5411 in / 1023 out tokens · 26344 ms · 2026-05-10T18:20:28.608092+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    M. T. Anderson. Convergence and rigidity of manifolds under Ricci curvature bounds.Invent. Math., 102(2):429–445, 1990

    work page 1990

  2. [2]

    Antonelli and K

    G. Antonelli and K. Xu. New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry, 2024. arXiv:2405.08918

    work page arXiv 2024

  3. [3]

    J. L. Barbosa and M. do Carmo. Stability of hypersurfaces with constant mean curvature.Math. Z., 185:339– 353, 1984

    work page 1984

  4. [4]

    J. L. Barbosa, M. do Carmo, and J. Eschenburg. Stability of hypersurfaces of constant mean curvature in Riemannian manifolds.Math. Z., 197(1):123–138, 1988

    work page 1988

  5. [5]

    S. Brendle. Sobolev inequalities in manifolds with nonnegative curvature.Comm. Pure Appl. Math., 76(9):2192–2218, 2023

    work page 2023

  6. [6]

    Brendle and M

    S. Brendle and M. Eichmair. The isoperimetric inequality.Notices Amer. Math. Soc., 71(6):708–713, 2024

    work page 2024

  7. [7]

    Brendle, S

    S. Brendle, S. Hirsch, and F. Johne. A generalization of Geroch’s conjecture.Comm. Pure Appl. Math., 77(1):441–456, 2024

    work page 2024

  8. [8]

    P. Buser. A note on the isoperimetric constant.Ann. Sci. ´Ecole Norm. Sup. (4), 15(2):213–230, 1982

    work page 1982

  9. [9]

    Carron.L 2-harmonics forms on non compact manifolds

    G. Carron.L 2 harmonic forms on non compact manifolds, 2007. arXiv:0704.3194

    work page arXiv 2007

  10. [10]

    Catino, P

    G. Catino, P. Mastrolia, and A. Roncoroni. Two rigidity results for stable minimal hypersurfaces.Geom. Funct. Anal., 34(1):1–18, 2024

    work page 2024

  11. [11]

    J. Chen, H. Hong, and H. Li. Do Carmo’s problem for CMC hypersurfaces inR 6, 2025. arXiv:2503.08107

    work page arXiv 2025

  12. [12]

    X. Cheng. On constant mean curvature hypersurfaces with finite index.Arch. Math. (Basel), 86(4):365–374, 2006

    work page 2006

  13. [13]

    Cheng, L-F

    X. Cheng, L-F. Cheung, and D. Zhou. The structure of weakly stable constant mean curvature hypersurfaces. Tohoku Math. J. (2), 60(1):101–121, 2008

    work page 2008

  14. [14]

    O. Chodosh. Minimal surfaces and comparison geometry, 2025. arXiv:2510.04481

    work page arXiv 2025

  15. [15]

    Chodosh and C

    O. Chodosh and C. Li. Stable anisotropic minimal hypersurfaces inR 4.Forum Math. Pi, 11:Paper No. e3, 22, 2023

    work page 2023

  16. [16]

    Chodosh and C

    O. Chodosh and C. Li. Generalized soap bubbles and the topology of manifolds with positive scalar curvature. Ann. of Math. (2), 199(2):707–740, 2024. 46 IVAN MIRANDA

    work page 2024

  17. [17]

    Chodosh and C

    O. Chodosh and C. Li. Stable minimal hypersurfaces inR 4.Acta Math., 233(1):1–31, 2024

    work page 2024

  18. [18]

    Chodosh, C

    O. Chodosh, C. Li, P. Minter, and D. Stryker. Stable minimal hypersurfaces inR 4.Ann. of Math., to appear

    work page

  19. [19]

    Chodosh, C

    O. Chodosh, C. Li, and D. Stryker. Complete stable minimal hypersurfaces in positively curved 4-manifolds. J. Eur. Math. Soc. (JEMS), 28(4):1457–1487, 2026

    work page 2026

  20. [20]

    da Silveira

    A. da Silveira. Stability of complete noncompact surfaces with constant mean curvature.Math. Ann., 277(4):629–638, 1987

    work page 1987

  21. [21]

    Q. Deng. Complete hypersurfaces with constant mean curvature and finite index in hyperbolic spaces.Acta Math. Sci. Ser. B (Engl. Ed.), 31(1):353–360, 2011

    work page 2011

  22. [22]

    M. P. do Carmo.Hypersurfaces of constant mean curvature, pages 128–144. Springer Berlin, Heidelberg, 1989

    work page 1989

  23. [23]

    M. F. Elbert, B. Nelli, and H. Rosenberg. Stable constant mean curvature hypersurfaces.Proc. Amer. Math. Soc., 135(10):3359–3366, 2007

    work page 2007

  24. [24]

    Fischer-Colbrie

    D. Fischer-Colbrie. On complete minimal surfaces with finite Morse index in three-manifolds.Invent. Math., 82(1):121–132, 1985

    work page 1985

  25. [25]

    Fischer-Colbrie and R

    D. Fischer-Colbrie and R. Schoen. The structure of complete stable minimal surfaces in 3-manifolds of non- negative scalar curvature.Comm. Pure Appl. Math., 33:199–211, 1980

    work page 1980

  26. [26]

    K. Frensel. Stable complete surfaces with constant mean curvature.Bol. Soc. Brasil. Mat. (N.S.), 27(2):129– 144, 1996

    work page 1996

  27. [27]

    Fu and Z.-Q

    H.-P. Fu and Z.-Q. Li. On stable constant mean curvature hypersurfaces.Tohoku Math. J., 62(3):383–392, 2010

    work page 2010

  28. [28]

    M. Gromov. Four lectures on scalar curvature. InPerspectives in scalar curvature. Vol. 1, pages 1–514. World Sci. Publ., Hackensack, NJ, [2023]©2023

    work page 2023

  29. [29]

    Hebey.Sobolev Spaces on Riemannian Manifolds, volume 1635 ofLecture Notes in Mathematics

    E. Hebey.Sobolev Spaces on Riemannian Manifolds, volume 1635 ofLecture Notes in Mathematics. Springer Berlin, Heidelberg, 1996

    work page 1996

  30. [30]

    Hebey and M

    E. Hebey and M. Herzlich. Harmonic coordinates, harmonic radius and convergence of Riemannian manifolds. Rend. Mat. Appl. (7), 17(4):569–605, 1997

    work page 1997

  31. [31]

    H. Hong. CMC hypersurface with finite index in hyperbolic spaceH 4.Adv. Math., 478:Paper No. 110408, 20, 2025

    work page 2025

  32. [32]

    Li.Geometric Analysis

    P. Li.Geometric Analysis. Cambridge University Press, 2012

    work page 2012

  33. [33]

    Li and L.-F

    P. Li and L.-F. Tam. Harmonic functions and the structure of complete manifolds.J. Differential Geom., 35:359–383, 1992

    work page 1992

  34. [34]

    Lopez and A

    F. Lopez and A. Ros. Complete minimal surfaces with index one and stable constant mean curvature surfaces. Comment. Math. Helv., 64(1):34–43, 1989

    work page 1989

  35. [35]

    L. Mazet. Stable minimal hypersurfaces inR 6, 2024. arXiv:2405.14676

    work page arXiv 2024

  36. [36]

    J. H. Michael and L. M. Simon. Sobolev and mean-value inequalities on generalized submanifolds ofR n. Comm. Pure Appl. Math., 26:361–379, 1973

    work page 1973

  37. [37]

    B. Nelli. A survey about a Do Carmo’s question on complete stable constant mean curvature hypersurfaces. Mat. Contemp., 57:3–22, 2023

    work page 2023

  38. [38]

    Springer Cham, 3 edition, 2016

    Peter Petersen.Riemannian Geometry. Springer Cham, 3 edition, 2016

    work page 2016

  39. [39]

    P´ erez and A

    J. P´ erez and A. Ros. Properly embedded minimal surfaces with finite total curvature. InThe Global Theory of Minimal Surfaces in Flat Spaces, volume 1775 ofLecture Notes in Mathematics, pages 15–66. Springer-Verlag, 2002

    work page 2002

  40. [40]

    A. Ros. The isoperimetric problem. InGlobal Theory of Minimal Surfaces, volume 2 ofClay Mathematics Proceedings, pages 175–209. American Mathematical Society, 2005

    work page 2005

  41. [41]

    Ros and H

    A. Ros and H. Rosenberg. Properly embedded surfaces with constant mean curvature.Amer. J. Math., 132(6):1429–1443, 2010

    work page 2010

  42. [42]

    Rosenberg, R

    H. Rosenberg, R. Souam, and E. Toubiana. General curvature estimates for stableH-surfaces in 3-manifolds and applications.J. Differential Geom., 84(3):623–648, 2010

    work page 2010

  43. [43]

    Schoen and S

    R. Schoen and S. T. Yau. Harmonic maps and the topology of stable hypersurfaces and manifolds with non-negative Ricci curvature.Comment. Math. Helv., 51(3):333–341, 1976

    work page 1976

  44. [44]

    Schoen and S.-T

    R. Schoen and S.-T. Yau.Lectures on Differential Geometry. International Press, reprint edition, 2010. FINITE INDEX CONSTANT MEAN CURVATURE HYPERSURFACES IN LOW DIMENSIONS 47

    work page 2010

  45. [45]

    Shen and R

    Y. Shen and R. Ye. On stable minimal surfaces in manifolds of positive bi-Ricci curvatures.Duke Math. J., 85(1):109–116, 1996

    work page 1996

  46. [46]

    C. Viana. Isoperimetry and volume preserving stability in real projective spaces.J. Differential Geom., 125(1):187–205, 2023

    work page 2023

  47. [47]

    K. Xu. Dimension constraints in some problems involving intermediate curvature.Trans. Amer. Math. Soc., 378(3):2091–2112, 2025. IMPA – Instituto de Matem´atica Pura e Aplicada, Rio de Janeiro, RJ, Brasil, 22460-320. Email address:ivan.miranda@impa.br

    work page 2091