Criticality, splitting theorems under spectral Ricci bounds and the topology of stable minimal hypersurfaces
Pith reviewed 2026-05-23 07:13 UTC · model grok-4.3
The pith
In R^4 a 1/3-stable minimal hypersurface has one end or is a catenoid, while proper hypersurfaces stable at any stronger parameter are hyperplanes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under a spectral lower bound on Ricci curvature coming from the potential in Δ + V, the operator is critical on any manifold with more than one end and a splitting theorem holds. Applied to minimal hypersurfaces, this yields that in R^4 every 1/3-stable minimal hypersurface has either one end or is a catenoid, and every proper δ-stable minimal hypersurface with δ > 1/3 is a hyperplane.
What carries the argument
The operator Δ + V whose potential V encodes a spectral lower bound on Ricci curvature, used to obtain criticality and splitting conclusions.
If this is right
- Manifolds with more than one end that satisfy the spectral Ricci bound via V must obey the criticality integral condition or split.
- Stable minimal hypersurfaces in five-dimensional manifolds with nonnegative bi-Ricci curvature inherit topological restrictions from the splitting theorem.
- δ-stable minimal hypersurfaces in six-dimensional manifolds with nonnegative sectional curvature likewise have restricted topology.
- In Euclidean four-space the stability threshold 1/3 separates the catenoid from all other proper examples.
Where Pith is reading between the lines
- The same spectral bound technique could be tested on other curvature conditions such as nonnegative scalar curvature or on different stability notions such as index bounds.
- The explicit threshold 1/3 in R^4 raises the question whether analogous sharp constants exist for δ-stable hypersurfaces in higher-dimensional Euclidean spaces.
- The results link the number of ends directly to the stability parameter, which may be checked numerically on known examples such as the catenoid or on perturbations of hyperplanes.
Load-bearing premise
The potential V is assumed to give a spectral lower bound on the Ricci curvature.
What would settle it
A proper minimal hypersurface in R^4 that is δ-stable for some δ > 1/3, is neither a hyperplane nor one-ended, would falsify the claim.
read the original abstract
In this paper we prove general criticality criteria for operators $\Delta + V$ on manifolds with more than one end, where $V$ bounds the Ricci curvature, and a related spectral splitting theorem extending Cheeger-Gromoll's one. Our results give new insight on Li-Wang's theory of manifolds with a weighted Poincar\'e inequality. We apply them to study stable and $\delta$-stable minimal hypersurfaces in manifolds with non-negative bi-Ricci or sectional curvature, in ambient dimension up to $5$ and $6$, respectively. In the special case where the ambient space is $\mathbb{R}^4$, we prove that a $1/3$-stable minimal hypersurface must either have one end or be a catenoid, and that proper, $\delta$-stable minimal hypersurfaces with $\delta > 1/3$ must be hyperplanes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes general criticality criteria for the operator Δ + V on complete Riemannian manifolds with at least two ends, under the hypothesis that V supplies a spectral lower bound on Ricci curvature. It proves a related spectral splitting theorem extending the classical Cheeger-Gromoll theorem. These results are applied to obtain topological restrictions (one-endedness or product splittings) for stable and δ-stable minimal hypersurfaces in ambient manifolds of dimension ≤5 or ≤6 with non-negative bi-Ricci or sectional curvature; in the special case of R^4 the paper concludes that 1/3-stable hypersurfaces are either one-ended or catenoids and that proper δ-stable hypersurfaces with δ>1/3 are hyperplanes.
Significance. If the derivations hold, the work supplies new spectral tools for controlling the number of ends of manifolds satisfying weighted Poincaré-type inequalities and yields concrete classification statements for low-dimensional stable minimal hypersurfaces that extend classical results of Schoen-Simon-Yau and others. The explicit connection drawn to Li-Wang theory is a further positive contribution.
minor comments (3)
- [Introduction / Theorem statements] The statement of the main splitting theorem (presumably Theorem 1.1 or 1.2) should explicitly record the precise spectral hypothesis on V (e.g., the constant appearing in the lower bound for the bottom of the spectrum of Δ + V) so that the dependence on the curvature bound is transparent.
- [Section on applications to minimal hypersurfaces] In the application to δ-stable hypersurfaces, the choice of the potential V derived from the second variation operator should be written out explicitly (including the factor of δ) rather than left implicit, to allow direct verification that the spectral bound is satisfied when the ambient bi-Ricci curvature is non-negative.
- [R^4 application paragraph] Figure captions or the statement of the R^4 result should clarify whether the catenoid conclusion is up to congruence or merely diffeomorphism type.
Simulated Author's Rebuttal
We thank the referee for their positive and constructive report, which accurately summarizes the main results on criticality criteria, spectral splitting theorems, and their applications to stable minimal hypersurfaces. The recommendation of minor revision is noted; however, no specific major comments were provided in the report.
Circularity Check
No significant circularity detected
full rationale
The derivation proceeds from a spectral lower bound hypothesis on Ricci curvature (via the potential V in the operator Δ + V) to criticality and splitting conclusions, extending the external Cheeger-Gromoll theorem without reducing the central claims to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. Applications to δ-stable minimal hypersurfaces in low-dimensional ambient spaces with non-negative curvature specialize the general operator results directly; the R^4 statements on 1/3-stable hypersurfaces (one end or catenoid; proper δ-stable with δ > 1/3 are hyperplanes) follow from this chain without tautological equivalence to the inputs. No quoted steps exhibit the enumerated circular patterns.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/Criticality (and related splitting modules)reality_from_one_distinction + criticality/splitting theorems under spectral Ricci bounds matches?
matchesMATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.
Theorem 1.1 ... Ric≥−βV g, −Δ−V≥0 ... either M has only one end, or V≡0 and M=ℝ×P ... 0<β<4/(n−1) or 4/(n−1)≤β<n−1/(n−2) and V+ compactly supported
-
IndisputableMonolith/Cost/FunctionalEquation + Foundation/CriticalityJ-cost convexity and criticality cone extremals matches?
matchesMATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.
Theorem 2.7 (strict convexity) ... K={V | L_V≥0} is convex whose extremal points are those V for which L_V is critical
-
IndisputableMonolith/Foundation/ConformalMethod + Criticalityconformal method + ground-state alternative matches?
matchesMATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.
Proposition 3.1 ... conformal deformation ū=u^{2β}g ... Ric(γ̇,γ̇)+βV ... ground-state alternative
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.
Forward citations
Cited by 3 Pith papers
-
Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary
Under spectral Ricci bounds and mean-convex boundary, complete manifolds split isometrically as products or admit positive sectional curvature metrics in dimensions other than 4.
-
Intermediate curvature and splitting theorem
Rigidity theorems establish that nonnegative m-intermediate curvature forces product splitting with Euclidean space in dimensions 3-7 for restricted m, with constructions proving the condition m² - mn + m + n > 0 is sharp.
-
Gradient estimates for the Green kernel under spectral Ricci bounds, and the stable Bernstein theorem in $\mathbb{R}^4$
Complete two-sided stable minimal hypersurfaces in R^4 are hyperplanes, established via new gradient estimates for the Green kernel under spectral Ricci bounds.
Reference graph
Works this paper leans on
-
[1]
G. Antonelli, M. Pozzetta, K. Xu,A sharp spectral splitting theorem.Available at arXiv:2412.12707. 3, 8 32
- [2]
-
[3]
G.Antonelli,K.Xu,ConnectedsumofmanifoldswithspectralRiccilowerbounds. Available at arXiv:2505.18320. 2, 7
-
[4]
Anderson,The compactification of a minimal submanifold by its Gauss map
M. Anderson,The compactification of a minimal submanifold by its Gauss map. Available at http://www.math.sunysb.edu/∼anderson/papers.html 3
-
[5]
F.Bei,G.Pipoli,𝐿 2-harmonicformsandspinorsonstableminimalhypersurfaces. Available at arXiv:2407.18836. 5
-
[6]
C. Bellettini,Extensions of Schoen–Simon–Yau and Schoen–Simon theorems via iteration à la De Giorgi.Invent. Math. 240 (2025), no. 1, 1–34. 2
work page 2025
-
[7]
Bérard,A note on Bochner type theorems for complete manifolds.Manuscripta Math
P. Bérard,A note on Bochner type theorems for complete manifolds.Manuscripta Math. 69 (3) (1990), 261–266. 7
work page 1990
- [8]
-
[9]
B. Bianchini, L. Mari, M. Rigoli,Yamabe type equations with a sign-changing nonlinearity, and the prescribed curvature problem. J. Differential Equations 260 (2016), 7416–7497. 9, 10, 11
work page 2016
-
[10]
B. Bianchini, L. Mari, M. Rigoli,On some aspects of oscillation theory and geom- etry.Mem. Amer. Math. Soc. 225 (2013), no. 1056, vi+195 pp. 10
work page 2013
-
[11]
V.Bour,G.Carron,Aspheretheoremforthreedimensionalmanifoldswithintegral pinched curvature, Comm. Anal. Geom. 25 (2017), no. 1, 97–124. 7, 27
work page 2017
-
[12]
H.-D.Cao,Y.Shen,S.Zhu,Thestructureofstableminimalhypersurfacesinℝ 𝑛+1. Math. Res. Lett. 4 (1997), no. 5, 637–644. 4, 6
work page 1997
-
[13]
Carron,Geometric inequalities for manifolds with Ricci curvature in the Kato class.Ann
G. Carron,Geometric inequalities for manifolds with Ricci curvature in the Kato class.Ann. Inst. Fourier 69 (2019), no. 7, 3095–3167. 7, 11, 27
work page 2019
-
[14]
Carron,Inégalités de Hardy sur les variétés riemanniennes non-compactes.J
G. Carron,Inégalités de Hardy sur les variétés riemanniennes non-compactes.J. Math. Pures Appl. (9) 76 (1997), no. 10, 883–891 10
work page 1997
- [15]
- [16]
- [17]
-
[18]
Castillon,An inverse spectral problem on surfaces.Comment
P. Castillon,An inverse spectral problem on surfaces.Comment. Math. Helv. 81 (2006), no. 2, 271–286. 8
work page 2006
-
[19]
G.Catino,P.Mastrolia,D.Monticelli,Uniquenessofcriticalmetricsforaquadratic curvature functional. Available at arXiv:2303.08025. 7 33
- [20]
-
[21]
G.Catino,A.Roncoroni,Aclosureresultforgloballyhyperbolicspacetimes.Proc. Amer. Math. Soc. 152 (2024), 5339–5354. 7
work page 2024
-
[22]
J. Cheeger, D. Gromoll,The splitting theorem for manifolds of nonnegative Ricci curvature.J. Differential Geometry 6 (1971/72), 119–128. 1, 2, 23
work page 1971
-
[23]
X.Cheng,Oneendtheoremandapplicationtostableminimalhypersurfaces.Arch. Math. 90 (2008), 461–470. 2, 5, 7, 15, 23
work page 2008
-
[24]
X.Cheng,Onconstantmeancurvaturehypersurfaceswithfiniteindex.Arch.Math. (Basel) 86 (2006), no. 4, 365–374. 7
work page 2006
- [25]
-
[26]
O. Chodosh, C. Li,Stable minimal hypersurfaces inℝ4. Acta Math. 233 (2024), no. 1, 1–31. 2, 3, 4
work page 2024
-
[27]
O. Chodosh, C. Li,Stable anisotropic minimal hypersurfaces inℝ4.Forum Math. Pi 11 (2023), Paper No. e3, 22 pp. 2, 4, 31, 32
work page 2023
-
[28]
O.Chodosh,C.Li,D.Stryker,Completestableminimalhypersurfacesinpositively curved 4-manifolds.J. Eur. Math. Soc. (Online first), DOI 10.4171/JEMS/1499. 5
-
[29]
O. Chodosh, C. Li, P. Minter, D. Stryker,Stable minimal hypersurfaces inℝ5. Available at arXiv:2401.01492. 2, 4, 31
-
[30]
T. Colding, W.P. Minicozzi II,The space of embedded minimal surfaces of fixed genus in a 3-manifold. II. Multi-valued graphs in disks.Ann. of Math. (2) 160 (2004), no. 1, 69–92. 3
work page 2004
-
[31]
T. Colding, W.P. Minicozzi II,The Calabi-Yau conjectures for embedded surfaces. Ann. of Math. (2) 167 (2008), no. 1, 211–243. 3
work page 2008
-
[32]
M.P.doCarmo,M.Dajczer,RotationHypersurfacesinSpacesofConstantCurva- ture. Trans. Amer. Math. Soc. 277 (1983), no. 2, 685–709. 18, 30
work page 1983
-
[33]
Dodziuk,𝐿 2 harmonic forms on complete manifolds.Ann
J. Dodziuk,𝐿 2 harmonic forms on complete manifolds.Ann. of Math. Stud., 102 (1982), 291–302. 5
work page 1982
-
[34]
M.F.Elbert,B.Nelli,H.Rosenberg,Stableconstantmeancurvaturehypersurfaces. Proc. Amer. Math. Soc. 135 (2007), no. 10, 3359–3366. 7, 13
work page 2007
-
[35]
D.Fischer-Colbrie,OncompleteminimalsurfaceswithfiniteMorseindexinthree- manifolds.Invent. Math. 82 (1985), 121–132. 7, 8
work page 1985
- [36]
-
[37]
F. Fang, X.-D. Li, Z. Zhang,Two generalizations of Cheeger–Gromoll splitting theoremviaBakry-EmeryRiccicurvature.Ann.Inst.Fourier59(2009),no.2,563– 573
work page 2009
-
[38]
H.Fu,Z.Li,ThestructureofcompletemanifoldswithweightedPoincare’inequal- ities and minimal hypersurfaces.International J. Math. 21 (2010), 1–8. 3
work page 2010
-
[39]
M. Gromov,Positive curvature, macroscopic dimension, spectral gaps and higher signatures, Functional analysis on the eve of the 21st Century, Vol. II (New Brunswick, NJ, 1993), Progr. Math., vol. 132, Birkhäuser Boston, Boston, MA, 1996, pp. 1–213. 8
work page 1993
-
[40]
A.J. Hoffman, H.W. Wielandt,The variation of the spectrum of a normal matrix. Duke Math. J. 20 (1953), 37–39. 2
work page 1953
- [41]
- [42]
-
[43]
J.Lee,Introductiontosmoothmanifolds.Secondedition.Grad.TextsinMath.,218. Springer, New York, 2013. xvi+708 pp. 31
work page 2013
- [44]
-
[45]
P.Li, J.Wang,Completemanifoldswithpositivespectrum.I.J.DifferentialGeom. 58 (2001), no. 3, 501–534. 2, 7, 20, 21
work page 2001
-
[46]
P.Li,J.Wang,Completemanifoldswithpositivespectrum.II.J.DifferentialGeom. 62 (2002), no. 1, 143–162. 2, 7
work page 2002
-
[47]
P. Li, J. Wang,Stable minimal hypersurfaces in a nonnegatively curved manifold. J. Reine Angew. Math. 566 (2004), 215–230. 5, 6
work page 2004
-
[48]
P. Li, J. Wang,Weighted Poincaré inequality and rigidity of complete manifolds. Ann. Sci. École Norm. Sup. 39 (4) (2006), no.6, 921–982. 2, 7, 10, 20, 22, 28
work page 2006
-
[49]
A.Lim,Thesplittingtheoremandtopologyofnoncompactspaceswithnonnegative 𝑁-BakryÉmeryRiccicurvature.Proc.Amer.Math.Soc.149(2021),no.8,3515–
work page 2021
-
[50]
Li,Liouville theorems for symmetric diffusion operators on complete Rie- mannian manifolds.J
X.-D. Li,Liouville theorems for symmetric diffusion operators on complete Rie- mannian manifolds.J. Math. Pures Appl. (9) 84 (2005), no. 10, 1295–1361. 27
work page 2005
-
[51]
Lott,Some geometric properties of the Bakry–Emery–Ricci tensor.Comment
J. Lott,Some geometric properties of the Bakry–Emery–Ricci tensor.Comment. Math. Helv. 78 (2003) 865–883. 26
work page 2003
-
[52]
M. Magliaro, L. Mari, F. Roing, A. Savas-Halilaj,Sharp pinching theorems for completesubmanifoldsinthesphere.J.ReineAngew.Math.814(2024), 117–134. 7, 24 35
work page 2024
-
[53]
L.Mari,M.Rigoli,A.G.Setti,Onthe1∕𝐻-flowby𝑝-Laplaceapproximation: new estimates via fake distances under Ricci lower bounds.Amer. J. Math. 144 (2022), no. 3, 779–849
work page 2022
-
[54]
Mazet,Stable minimal hypersurfaces inℝ6
L. Mazet,Stable minimal hypersurfaces inℝ6. Available at arXiv:2405.14676. 2, 4
-
[55]
Miyaoka,𝐿 2 harmonic 1-forms on a complete stable minimal hypersurface
R. Miyaoka,𝐿 2 harmonic 1-forms on a complete stable minimal hypersurface. In Geometry and global analysis (Sendai, 1993), 289–293. Tohoku Univ., Sendai,
work page 1993
-
[56]
Murata,Structure of positive solutions to(−Δ +𝑉)𝑢= 0inℝ 𝑛.Duke Math
M. Murata,Structure of positive solutions to(−Δ +𝑉)𝑢= 0inℝ 𝑛.Duke Math. J. 53 (1986), no. 4, 869–943. 7, 9, 10
work page 1986
-
[57]
Nicolaescu,Lectures on the geometry of manifolds.Third edition
L. Nicolaescu,Lectures on the geometry of manifolds.Third edition. World Scien- tific Publishing Co. Pte. Ltd., Hackensack, NJ, [2021],©2021. xviii+682 pp. 31
work page 2021
-
[58]
Palmer,Stability of minimal hypersurfaces.Comment
B. Palmer,Stability of minimal hypersurfaces.Comment. Math. Helv. 66 (1991), no. 2, 185–188. 5
work page 1991
- [59]
-
[60]
S.Pigola,M.Rigoli,A.G.Setti,VanishingtheoremsonRiemannianmanifolds,and geometric applications.J. Funct. Anal. 229 (2005), no. 2, 424–461. 7
work page 2005
-
[61]
S.Pigola,M.Rigoli,A.G.Setti,Vanishingandfinitenessresultsingeometricanal- ysis.Progr. Math. 266, Birkhäuser Verlag, Basel, 2008, xiv+282 pp. 1, 2, 7, 9, 27
work page 2008
-
[62]
Y. Pinchover,On positive solutions of second-order elliptic equations, stability re- sults, and classification.Duke Math. J. 57, (1988), 955–980. 7, 9
work page 1988
-
[63]
Pinchover,On criticality and ground states of second order elliptic equations, II.J
Y. Pinchover,On criticality and ground states of second order elliptic equations, II.J. Diff. Equ. 87 (1990), 353–364. 7, 9, 11
work page 1990
-
[64]
Y. Pinchover, K. Tintarev,A ground state alternative for singular Schrödinger op- erators.J. Funct. Anal. 230 (2006), no. 1, 65–77. 7, 9, 10
work page 2006
-
[65]
Y. Pinchover, C. Tintarev,Ground state alternative for𝑝-Laplacian with potential term.Calc. Var. Partial Differential Equations 28 (2007), no.2, 179–201. 7, 10, 11
work page 2007
-
[66]
Qian,Estimates for weighted volumes and applications.Quart
Z. Qian,Estimates for weighted volumes and applications.Quart. J. Math. Oxford Ser. (2) 48 (1997), no. 190, 235–242. 26
work page 1997
-
[67]
R.Schoen,S.-T.Yau,CompletethreedimensionalmanifoldswithpositiveRiccicur- vature and scalar curvature.In Seminar on differential geometry, 209–228. Ann. Math. Stud. 102, Princeton Univ. Press, Princeton, NJ, 1982. 6, 7
work page 1982
-
[68]
R. Schoen, S.-T. Yau,The existence of a black hole due to condensation of matter. Comm. Math. Phys. 90 (1983), 575–579. 7
work page 1983
-
[69]
R.Schoen,S.-T.Yau,Harmonicmapsandthetopologyofstablehypersurfacesand manifolds with nonnegative Ricci curvature.Comment. Math. Helvetici51 (1976), 333–341. 6 36
work page 1976
-
[70]
Z. Shen, C. Sormani,The codimension one homology of a complete manifold with nonnegative Ricci curvature.Amer. J. Math. 123 (2001), no. 3, 515–524. 23
work page 2001
-
[71]
Y.Shen,R.Ye,Onstableminimalsurfacesinmanifoldsofpositivebi-Riccicurva- tures.Duke Math. J. 85 (1996), no. 1, 109–116. 7, 13, 14
work page 1996
-
[72]
Y. Shen, R. Ye,On the geometry and topology of manifolds of positive bi-Ricci curvature.Available at arXiv:9708014 (1997). 7
work page 1997
-
[73]
Y. Shen, S. Zhu,Rigidity of stable minimal hypersurfaces.Math. Ann. 309 (1997), no. 1, 107–116. 5, 7
work page 1997
-
[74]
Y.-B.Shen, X.-H.Zhu,Onstablecompleteminimalhypersurfacesin𝑅 𝑚+1.Amer. J. Math. 120 (1998), 103–116. 3
work page 1998
-
[75]
L.-F. Tam, D. Zhou,Stability properties for the higher dimensional catenoid in ℝ𝑚+1. Proc. Amer. Math. Soc. 137 (2009), 3451–3461. 3, 18, 19
work page 2009
-
[76]
S.Tanno,𝐿 2 harmonicformsandstabilityofminimalhypersurfaces.J.Math.Soc. Japan. 48 (1996), 761–768 5
work page 1996
-
[77]
Vieira,Vanishing theorems for𝐿 2 harmonic forms on complete Riemannian manifolds.Geom
M. Vieira,Vanishing theorems for𝐿 2 harmonic forms on complete Riemannian manifolds.Geom. Dedicata 184 (2016), 175–191. 5
work page 2016
-
[78]
G. Wei, W. Wylie,Comparison geometry for the Bakry-Emery Ricci tensor.J. Dif- ferential Geom. 83 (2009), no. 2, 377–405. 26, 27
work page 2009
-
[79]
Weidl,Remarks on virtual bound states for semi-bounded operators,Comm
T. Weidl,Remarks on virtual bound states for semi-bounded operators,Comm. Partial Differential Equations 24 (1999), 25–60. 10
work page 1999
-
[80]
Zhao,Subcriticality, positivity and gaugeability of the Schrödinger operator
Z. Zhao,Subcriticality, positivity and gaugeability of the Schrödinger operator. Bull. Am. Math. Soc. 23 (1990), no. 2, p. 513–517. 7, 9 G. Catino, DIPARTIMENTO DIMATEMATICA, POLITECNICO DIMILANO, PIAZZALEONARDO DAVINCI32, 20133, MILANO, ITALY. E-mail address, G. Catino:giovanni.catino@polimit.it L. Mari, DIPARTIMENTO DIMATEMATICA, UNIVERSITÀ DEGLISTUDI D...
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.