REVIEW 1 major objections 5 minor 56 references
Infinitely Many Surfaces with Prescribed Mean Curvature in the Presence of a Strictly Stable Minimal Surface
T0 review · 1 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read The paper proves that a strictly stable minimal surface forces infinitely many prescribed-mean-curvature hypersurfaces.
desk verdict First construction of infinitely many distinct PMCs on closed manifolds, with a load-bearing comparison missing in the tethering step; deserves refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument runs on a sequence of compact manifolds (U_epsilon, g_epsilon) obtained by cylindrical-end gluing: a collar of Σ is stretched by a warping factor into a piece of a cylinder, so that the p-widths of U_epsilon converge to those of Cyl(M), which grow with linear gap at least A(Σ1). On each U_epsilon, a suspension construction turns a p-sweepout into a (p+1)-sweepout, and free-boundary min-max theory produces an almost embedded free-boundary PMC Y_{epsilon,p} with H=h_epsilon. Uniform diameter estimates from the area and mean-curvature bound, together with the strict inequality |h_epsilon|(s,t)<H_t(s) on the contracting collar, force Y_{epsilon,p} to stay away from ∂U_epsilon and to reach the core, so it is actually closed. As epsilon→0, a maximum principle for stationary varifolds plus a no-pinching monotonicity argument show that no copy of Σ survives in the limit and the remaining varifold is a multiplicity-one almost embedded h-PMC.
What would settle it
Take the theorem's setting with a strictly stable Σ and choose h satisfying all assumptions except that |h|(s0,t0)>H_{t0}(s0) on a small patch of the contracting collar; run the min-max construction on U_epsilon for decreasing epsilon. If the tethering step is load-bearing, some component of Y_{epsilon,p} will meet ∂U_epsilon, producing a free-boundary component in the limit varifold or a positive-multiplicity copy of Σ, contradicting Theorems 1.5 and 1.6.
Extended reading notes
Core claim
On the paper's own terms: for ($M^{{n+1}}$,g) with 3≤n+1≤7 and Σ=∂M an embedded strictly stable minimal surface, for any h satisfying Assumptions 1 or 2 there exist infinitely many distinct, almost embedded, multiplicity-one hypersurfaces Y_{h,p} with H_{Y_{h,p}}=h, each disjoint from Σ, with Index(R(Y_{h,p}))≤p+1 and area between (p+1)A(Σ1)−2||h||_{$L^{1}$} and p A(Σ1)+W0+A(Σ)+C $p^{{1/(n+1)}}$+2||h||_{$L^{1}$}. The same conclusion holds on a closed manifold containing a strictly stable minimal surface, by cutting along it and lifting h. Consequently, a closed bumpy manifold with H_n(M;Z_2)≠0 or one failing the Frankel property carries infinitely many such PMC hypersurfaces for the allowed prescribing functions. This is the first construction of infinitely many PMC surfaces for any nonzero prescribing function.
Load-bearing premise
The construction requires that, on the thin collar where the metric is being stretched into a cylinder, the prescribed mean curvature h satisfies |h| strictly less than the mean curvature of the foliating slices; if that strict inequality fails, the approximating surfaces could touch the boundary of the approximating manifold and the limit would cease to be a closed prescribed-mean-curvature surface.
Editorial extensions
If this is right
- For every p there is an h-PMC with Index(R(Y_{h,p}))≤p+1 and area in the stated linear interval, so the surfaces are distinct because their areas grow linearly with p.
- Each constructed PMC is disjoint from the strictly stable minimal surface Σ, so the boundary-manifold construction transfers directly to closed manifolds by cutting along Σ.
- On any closed bumpy manifold with H_n(M;Z_2)≠0, or any closed bumpy manifold failing the Frankel property, there are infinitely many prescribed-mean-curvature hypersurfaces for the allowed functions h.
- The compact-support condition on h can be relaxed to functions that vanish to first order on Σ and are 'good' away from it, which is the content of Assumption 1 and Theorem 1.4.
- The weak index bound of the min-max construction is inherited by the regular set of the almost embedded limit, giving a quantitative Morse-index control on each constructed surface.
Reading between the lines
- Not in the paper, but a natural testable consequence is that the linear lower bound (p+1)A(Σ1)−2||h||_{L^1} should force the constructed surfaces to have area ratios approaching A(Σ1) as p grows, which could be checked numerically in the round 3-sphere with a small prescribing function centered near an equator.
- The proof's reliance on a contracting neighborhood, rather than on strict stability itself, suggests that the same infinitude should hold for any minimal surface admitting such a neighborhood, even in non-bumpy metrics, as the authors themselves remark.
- The strict inequality |h|<H_t on the collar likely yields a quantitative positive lower bound on the distance from the constructed PMCs to Σ, and the appendix's quantitative maximum principle formalizes this; this distance could be tracked as a function of area, index, and ||h||_{C^1} in small perturbations.
- If the tethering step is the only obstruction, then relaxing Assumption 2 so that |h| exceeds the leaf mean curvature on a small patch should produce free-boundary PMCs or positive-multiplicity copies of Σ in the limit, which would mark the boundary of validity of the construction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs infinitely many distinct, almost embedded, multiplicity-one hypersurfaces with prescribed mean curvature (PMC) on a compact manifold with boundary, assuming the boundary is a strictly stable minimal surface, and transfers the result to closed manifolds containing such a surface. The construction glues a cylindrical end a la Song, applies Dey's suspension construction and the free-boundary PMC min-max theory of Sun-Wang-Zhou, and then uses diameter estimates and maximum-principle/tethering arguments to rule out free-boundary and boundary-pinching phenomena. The main results are Theorem 1.5 (compactly supported prescribing functions satisfying Assumption 2), Theorem 1.4 (smooth h with vanishing boundary data satisfying Assumption 1), and Theorem 1.6 (closed manifolds), together with area and index bounds for each constructed surface.
Significance. If correct, this is a substantial step toward Conjecture 1.2.1: it appears to be the first construction of infinitely many PMC hypersurfaces for a fixed nonzero prescribing function on closed manifolds, and it gives quantitative area bounds and index bounds. The paper is commendably explicit: it states the auxiliary lemmas, proves the monotonicity formula and the quantitative maximum principle in appendices, and carefully identifies the external inputs from Song, Dey, Zhou-Zhu, and Sun-Wang-Zhou. The main caveat is that the proof depends on several deep external results and on one key comparison inequality in the tethering step that is not fully verified as written.
major comments (1)
- [§3.4.3, Lemma 3.5] The no-pinching lemma asserts that a component Y*_epsilon,p converging to a varifold with a boundary component must have points far from both Sigma and the other limit support, because 'the alpha-neighborhoods do not cover Y*'. This is only justified when the limit has nontrivial mass both on Sigma and away from Sigma. If a component converges entirely to Sigma (the case W_tilde_h = 0), the argument as written does not yield the transition point y_i. The desired contradiction in that case can be obtained from Proposition 2, since every component contains a point with t >= hat t while Hausdorff convergence to Sigma would force all points near Sigma. The proof should separate these two cases explicitly; as written, the lemma is incomplete for the case most relevant to ruling out ai > 0.
minor comments (5)
- [§1.1 and §4] The sentence before Theorem 1.4 ends with 'and Index(R(Yh,p))' without specifying the bound; it should read 'and Index(R(Yh,p)) <= p + 1'.
- [References and §1.1] In the introduction, the paper attributes the generic regularity result in dimension 8 to 'Li-Wang [6]', but reference [6] appears to list Bellettini-Wickramasekera for a different paper title; the citation should be corrected or disambiguated.
- [§2.3, Lemma 3] There is a typo: 'embbeding' should be 'embedding'.
- [§1.2] The concluding remark that the construction does not produce c-CMC surfaces is an honest limitation and is consistent with Assumption 2.2 excluding constant prescribing functions; it would be helpful to state this limitation in the abstract or introduction.
- [§3.1, equation (15)] The supremum in equation (15) is written over S tilde X without specifying the paired variable (x,t); this should be made explicit for readability.
Circularity Check
No significant circularity: the derivation is conditional on a strictly stable minimal surface and uses independent external tools; the only self-citation supplies a separate diameter bound and is not equivalent to the target result.
full rationale
The paper's central claim is conditional on the existence of a strictly stable minimal surface and on prescribing functions satisfying explicit inequalities (Assumptions 1 or 2). The derivation chain uses Song's cylindrical-end approximation, Dey's suspension construction, Sun-Wang-Zhou's min-max theory for free-boundary prescribed-mean-curvature hypersurfaces, and standard maximum-principle and compactness results. The only self-citation is Chambers-Marx-Kuo [8], used for diameter estimates of submanifolds with bounded mean curvature; this is a separate, parameter-free theorem whose assumptions do not include the existence of infinitely many PMCs, so it qualifies as independent support and does not make the argument circular. The tethering step (Proposition 2) invokes the assumed barrier inequality |h_epsilon| < H_t from Assumption 2.2 and applies the maximum principle; this is a hypothesis of the theorem, not a quantity fitted from the surfaces being predicted. Area and index bounds are inherited from external width estimates and min-max theory, with no parameter fitted to the output. No step was found in which an input is defined in terms of the target, a fitted quantity is renamed as a prediction, or a load-bearing premise is justified solely by a self-citation chain. Any concerns about the verification of the barrier inequality in the rescaled collar metric are correctness or gap issues, not circularity.
Assumptions & free parameters
assumptions (7)
- domain assumption Almgren-Pitts min-max existence and compactness for free-boundary PMCs (Sun-Wang-Zhou, Theorems 2.6, 2.11, 2.12 here)
- domain assumption Song's cylindrical Weyl law and width convergence (Theorem 2.15, from Song Theorem 9)
- domain assumption Strict stability implies a contracting neighborhood (Lemma 2.14, from Song Lemma 11)
- domain assumption Chambers-Marx-Kuo diameter estimates (Theorem 3.1 and Lemma 3.2)
- standard math Solomon-White maximum principle for stationary varifolds (Theorem 3.3)
- domain assumption Regularity and compactness for stable PMC varifolds of Bellettini-Wickramasekera (Remark 2.4)
- standard math Existence of area-minimizing hypersurfaces in homology classes and bumpy metrics theorem (Section 5, Corollaries 1.6.1 and 1.6.2)
Cite this review
Pith. "Pith review of Infinitely Many Surfaces with Prescribed Mean Curvature in the Presence of a Strictly Stable Minimal Surface." pith.science (2026). https://pith.science/paper/VREA766Z
@misc{pith2026250207098,
author = {Pith},
title = {Pith review of: Infinitely Many Surfaces with Prescribed Mean Curvature in the Presence of a Strictly Stable Minimal Surface},
year = {2026},
howpublished = {\url{https://pith.science/paper/VREA766Z}},
note = {Machine review of arXiv:2502.07098}
}
abstract
We construct infinitely many distinct hypersurfaces with prescribed mean curvature (PMC) for a large class of prescribing functions when $(M^{n+1}, g)$ is a closed smooth manifold containing a minimal surface that is strictly stable (or more generally, admits a contracting neighborhood). In particular, we construct infinitely many distinct PMCs when $H_n(M, \mathbb{Z}_2) \neq 0$, or if $(M, g)$ does not satisfy the Frankel property. Our construction synthesizes ideas from Song's construction of infinitely many minimal surfaces in the non-generic setting, Dey's construction of multiple constant mean curvature surfaces, and Sun--Wang--Zhou's min-max construction of free boundary PMCs.
Figures
Figures from the paper (11 more)
Reference graph
Works this paper leans on
-
[1]
Ian Agol, The virtual Haken conjecture , Doc. Math. 18 (2013), 1045–1087, With an appendix by Agol, Daniel Groves, and Jason Manning
work page 2013
-
[2]
Frederick Justin Almgren, Jr., The homotopy groups of the integral cycle groups , Topology 1 (1962), 257–299
work page 1962
-
[3]
Vladimir I. Arnold, Arnold’s problems , revised ed., Springer-Verlag, Berlin; PHASIS, Moscow, 2004, With a preface by V. Philippov, A. Yakivchik and M. Peters
work page 2004
-
[4]
Costante Bellettini and Neshan Wickramasekera, Stable CMC integral varifolds of codimension 1: reg- ularity and compactness , arXiv preprint arXiv:1802.00377 [math.DG] (2018)
arXiv 2018
-
[5]
, Stable prescribed-mean-curvature integral varifolds of codimension 1: regularity and compact- ness, arXiv preprint arXiv:1902.09669 [math.DG] (2019)
arXiv 2019
-
[6]
, Minimal hypersurfaces for generic metrics in dimension 8 , arXiv preprint arXiv:2205.01047 [math.DG] (2022)
arXiv 2022
-
[7]
Victor M. Buchstaber and Taras E. Panov, Torus actions and their applications in topology and combi- natorics, University Lecture Series, vol. 24, American Mathematical Society, Providence, RI, 2002
work page 2002
-
[8]
Chambers and Jared Marx-Kuo, Diameter, area, and mean curvature , 2024
Gregory R. Chambers and Jared Marx-Kuo, Diameter, area, and mean curvature , 2024
work page 2024
Show all 56 references
-
[9]
Otis Chodosh and Christos Mantoulidis, Minimal surfaces and the Allen-Cahn equation on 3-manifolds: index, multiplicity, and curvature estimates , Ann. of Math. (2) 191 (2020), no. 1, 213–328
2020
-
[10]
Differ- ential Geom
Akashdeep Dey, Existence of multiple closed CMC hypersurfaces with small mean curvature , J. Differ- ential Geom. 125 (2023), no. 2, 379–403
2023
-
[11]
, A sub-additive inequality for the volume spectrum , Journal of Topology and Analysis (2024), 1–19
2024
-
[12]
Herbert Federer, Geometric measure theory, Springer, 2014
2014
-
[13]
Simion Filip, David Fisher, and Ben Lowe, Finiteness of totally geodesic hypersurfaces , arXiv preprint arXiv:2408.03430 (2024)
2024
-
[14]
Pedro Gaspar and Marco A. M. Guaraco, The Allen-Cahn equation on closed manifolds , Calc. Var. Partial Differential Equations 57 (2018), no. 4, Paper No. 101, 42
2018
-
[15]
, The Weyl law for the phase transition spectrum and density of limit interfaces , Geom. Funct. Anal. 29 (2019), no. 2, 382–410
2019
-
[16]
Gromov, Dimension, nonlinear spectra and width, Geometric aspects of functional analysis (1986/87), Lecture Notes in Math., vol
M. Gromov, Dimension, nonlinear spectra and width, Geometric aspects of functional analysis (1986/87), Lecture Notes in Math., vol. 1317, Springer, Berlin, 1988, pp. 132–184
1986
-
[17]
, Isoperimetry of waists and concentration of maps , Geom. Funct. Anal. 13 (2003), no. 1, 178– 215
2003
-
[18]
Part 2: From combinatorics to topology via algebraic isoperimetry , Geom
Mikhail Gromov, Singularities, expanders and topology of maps. Part 2: From combinatorics to topology via algebraic isoperimetry , Geom. Funct. Anal. 20 (2010), no. 2, 416–526
2010
-
[19]
Qiang Guang, Martin Man-chun Li, Zhichao Wang, and Xin Zhou, Min-max theory for free boundary minimal hypersurfaces II: general Morse index bounds and applications, Math. Ann. 379 (2021), no. 3-4, 1395–1424
2021
-
[20]
1, 85–114
Qiang Guang, Zhichao Wang, and Xin Zhou, Compactness and generic finiteness for free boundary minimal hypersurfaces, i , Pacific Journal of Mathematics 310 (2021), no. 1, 85–114. 41
2021
-
[21]
Marco AM Guaraco, Vanderson Lima, and Franco Vargas Pallete, Mean curvature flow in homology and foliations of hyperbolic 3-manifolds, arXiv preprint arXiv:2105.07504 (2021)
2021 arXiv
-
[22]
Larry Guth, Minimax problems related to cup powers and Steenrod squares , Geom. Funct. Anal. 18 (2009), no. 6, 1917–1987
2009
-
[23]
Marques, and Andr´ e Neves,Density of minimal hypersurfaces for generic metrics , Ann
Kei Irie, Fernando C. Marques, and Andr´ e Neves,Density of minimal hypersurfaces for generic metrics , Ann. of Math. (2) 187 (2018), no. 3, 963–972
2018
-
[24]
Differential Geom
Martin Man-Chun Li and Xin Zhou, Min-max theory for free boundary minimal hypersurfaces I— Regularity theory, J. Differential Geom. 118 (2021), no. 3, 487–553
2021
-
[25]
Differential Geom
Yangyang Li, Existence of infinitely many minimal hypersurfaces in higher-dimensional closed manifolds with generic metrics , J. Differential Geom. 124 (2023), no. 2, 381–395
2023
-
[26]
Marques, and Andr´ e Neves, Weyl law for the volume spectrum , Ann
Yevgeny Liokumovich, Fernando C. Marques, and Andr´ e Neves, Weyl law for the volume spectrum , Ann. of Math. (2) 187 (2018), no. 3, 933–961
2018
-
[27]
Ben Lowe, Deformations of totally geodesic foliations and minimal surfaces in negatively curved 3- manifolds, Geom. Funct. Anal. 31 (2021), no. 4, 895–929
2021
-
[28]
Marques and Andr´ e Neves, Min-max theory and the Willmore conjecture , Ann
Fernando C. Marques and Andr´ e Neves, Min-max theory and the Willmore conjecture , Ann. of Math. (2) 179 (2014), no. 2, 683–782
2014
-
[29]
, Morse index and multiplicity of min-max minimal hypersurfaces , Camb. J. Math. 4 (2016), no. 4, 463–511
2016
-
[30]
Marques and Andr´ e Neves,Existence of infinitely many minimal hypersurfaces in positive Ricci curvature, Invent
Fernando C. Marques and Andr´ e Neves,Existence of infinitely many minimal hypersurfaces in positive Ricci curvature, Invent. Math. 209 (2017), no. 2, 577–616
2017
-
[31]
, Morse index of multiplicity one min-max minimal hypersurfaces , Adv. Math. 378 (2021), Paper No. 107527, 58
2021
-
[32]
Marques, Andr´ e Neves, and Antoine Song, Equidistribution of minimal hypersurfaces for generic metrics , Invent
Fernando C. Marques, Andr´ e Neves, and Antoine Song, Equidistribution of minimal hypersurfaces for generic metrics , Invent. Math. 216 (2019), no. 2, 421–443
2019
-
[33]
Differential Geom
Laurent Mazet and Harold Rosenberg, Minimal hypersurfaces of least area , J. Differential Geom. 106 (2017), no. 2, 283–315
2017
-
[34]
Liam Mazurowski, Prescribed mean curvature min-max theory in some non-compact manifolds , arXiv preprint arXiv:2204.07493 (2022)
2022 arXiv
-
[35]
Liam Mazurowski and Xin Zhou, The half-volume spectrum of a manifold , arXiv preprint arXiv:2302.07722 (2023)
2023 arXiv
-
[36]
, An alternative for constant mean curvature hypersurfaces , arXiv preprint arXiv:2408.13864 (2024)
2024 arXiv
-
[37]
, Infinitely many half-volume constant mean curvature hypersurfaces via min-max theory , arXiv preprint arXiv:2405.00595 (2024)
2024 arXiv
-
[38]
William H Meeks III, Joaqu ´ ın P´ erez, and Antonio Ros,Stable constant mean curvature surfaces , Hand- book of Geometrical Analysis 1 (2008), 301–380
2008
-
[39]
Pacard and X
F. Pacard and X. Xu, Constant mean curvature spheres in Riemannian manifolds , Manuscripta Math. 128 (2009), no. 3, 275–295
2009
-
[40]
Pitts, Existence and regularity of minimal surfaces on Riemannian manifolds , Mathematical Notes, vol
Jon T. Pitts, Existence and regularity of minimal surfaces on Riemannian manifolds , Mathematical Notes, vol. 27, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1981
1981
-
[41]
Lorenzo Sarnataro and Douglas Stryker, Optimal regularity for minimizers of the prescribed mean cur- vature functional over isotopies , arXiv preprint arXiv:2304.02722 (2023). 42
2023 arXiv
-
[42]
Leon Simon, Lectures on geometric measure theory, The Australian National University, Mathematical Sciences Institute, Centre, 1983
1983
-
[43]
Bruce Solomon and Brian White, A strong maximum principle for varifolds that are stationary with respect to even parametric elliptic functionals , Indiana Univ. Math. J. 38 (1989), no. 3, 683–691
1989
-
[44]
Antoine Song, Existence of infinitely many minimal hypersurfaces in closed manifolds , Ann. of Math. (2) 197 (2023), no. 3, 859–895
2023
-
[45]
James Stevens and Ao Sun, Existence of minimal hypersurfaces with arbitrarily large area and possible obstructions, J. Funct. Anal. 287 (2024), no. 6, Paper No. 110526, 40
2024
-
[46]
Douglas Stryker, Min-max construction of prescribed mean curvature hypersurfaces in noncompact man- ifolds, arXiv preprint arXiv:2409.07330 (2024)
2024 arXiv
-
[47]
Ao Sun, Zhichao Wang, and Xin Zhou, Multiplicity one for min-max theory in compact manifolds with boundary and its applications , Calc. Var. Partial Differential Equations 63 (2024), no. 3, Paper No. 70, 52
2024
-
[48]
Uhlenbeck, Closed minimal surfaces in hyperbolic 3-manifolds, Seminar on minimal subman- ifolds, Ann
Karen K. Uhlenbeck, Closed minimal surfaces in hyperbolic 3-manifolds, Seminar on minimal subman- ifolds, Ann. of Math. Stud., vol. 103, Princeton Univ. Press, Princeton, NJ, 1983, pp. 147–168
1983
-
[49]
Brian White, The space of minimal submanifolds for varying Riemannian metrics , Indiana Univ. Math. J. 40 (1991), no. 1, 161–200
1991
-
[50]
, The maximum principle for minimal varieties of arbitrary codimension , Comm. Anal. Geom. 18 (2010), no. 3, 421–432
2010
-
[51]
, On the bumpy metrics theorem for minimal submanifolds , Amer. J. Math. 139 (2017), no. 4, 1149–1155
2017
-
[52]
Shing-Tung Yau, Seminar in Differential Geometry, Problem Section, Ann. of Math. Stud., 102, Prince- ton Univ. Press, Princeton, N.J., 1982
1982
-
[53]
Xin Zhou, On the multiplicity one conjecture in min-max theory , Ann. of Math. (2) 192 (2020), no. 3, 767–820
2020
-
[54]
, Mean curvature and variational theory , Proc. Int. Cong. Math, vol. 4, 2022, pp. 2696–2717
2022
-
[55]
Xin Zhou and Jonathan Zhu, Existence of hypersurfaces with prescribed mean curvature I—generic min-max, Camb. J. Math. 8 (2020), no. 2, 311–362
2020
-
[56]
Xin Zhou and Jonathan J Zhu, Min–max theory for constant mean curvature hypersurfaces, Inventiones mathematicae 218 (2019), 441–490. 43
2019
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.