Pith. sign in

REVIEW 3 minor 47 references

Finite index constant mean curvature hypersurfaces in low dimensions

T0 review · 0 major / 3 minor · reviewed 2026-05-10 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Complete finite index CMC hypersurfaces in six-dimensional product manifolds are either minimal or compact.

desk verdict Miranda settles do Carmo's question for finite index CMC hypersurfaces in specific 6D product manifolds and completes the classification in positive curvature space forms. read the letter →

arxiv 2604.06141 v1 submitted 2026-04-07 math.DG

Ivan Miranda This is my paper · ORCID
classification math.DG
keywords constantmeancurvaturefiniteindexhypersurfacescompactnessRiemannianproductsstabilitysixdimensionshyperbolicspace
checked against alexander_duality_circle_linkingCost.FunctionalEquation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

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

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite index constant mean curvature hypersurfaces in low dimensions." pith.science (2026). https://pith.science/paper/2604.06141

@misc{pith2026260406141,
  author       = {Pith},
  title        = {Pith review of: Finite index constant mean curvature hypersurfaces in low dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.06141}},
  note         = {Machine review of arXiv:2604.06141}
}
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.

Discussion (0). Continue with ORCID to comment.

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]

    New spectral Bishop-Gromov and Bonnet- Myers theorems and applications to isoperimetry.arXiv:2405.08918,

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

    work page Pith review 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

Show all 47 references
  1. [9]

    Carron.L 2 harmonic forms on non compact manifolds, 2007

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

    2007

  2. [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

    2024

  3. [11]

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

    2025

  4. [12]

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

    2006

  5. [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

    2008

  6. [14]

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

    2025

  7. [15]

    Chodosh and C

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

    2023

  8. [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

    2024

  9. [17]

    Chodosh and C

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

    2024

  10. [18]

    Chodosh, C

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

  11. [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

    2026

  12. [20]

    da Silveira

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

    1987

  13. [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

    2011

  14. [22]

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

    1989

  15. [23]

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

    2007

  16. [24]

    Fischer-Colbrie

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

    1985

  17. [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

    1980

  18. [26]

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

    1996

  19. [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

    2010

  20. [28]

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

    2023

  21. [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

    1996

  22. [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

    1997

  23. [31]

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

    2025

  24. [32]

    Li.Geometric Analysis

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

    2012

  25. [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

    1992

  26. [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

    1989

  27. [35]

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

    2024

  28. [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

    1973

  29. [37]

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

    2023

  30. [38]

    Springer Cham, 3 edition, 2016

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

    2016

  31. [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

    2002

  32. [40]

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

    2005

  33. [41]

    Ros and H

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

    2010

  34. [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

    2010

  35. [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

    1976

  36. [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

    2010

  37. [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

    1996

  38. [46]

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

    2023

  39. [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

Pith tools

Reviewed May 10, 2026 · model on record in the stance chip above.