pith. sign in

arxiv: 2606.03583 · v1 · pith:Z7UKNCZ5new · submitted 2026-06-02 · 🧮 math.DG · math.AP· math.GT

Closed minimal surfaces of index one in Riemannian manifolds

Fernando C. Marques , Andr\'e Neves This is my paper

Pith reviewed 2026-06-28 08:24 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.GT
keywords minimal hypersurfacesMorse indexenlargeable manifoldsscalar curvature rigidityminimal surfacesRiemannian geometryclosed minimal hypersurfaces
0
0 comments X

The pith

Compactly n-enlargeable manifolds in dimensions 3 to 7 have connected immersed Morse index one closed minimal hypersurfaces of unbounded volume for bumpy metrics.

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

The paper proves that (n+1)-manifolds that are compactly n-enlargeable, with dimension between 3 and 7 inclusive, possess connected immersed closed minimal hypersurfaces of Morse index one. These hypersurfaces exist with arbitrarily large volumes when the metric is bumpy. In the three-dimensional case, the hypersurfaces are shown to be geometrically distinct through cyclic coverings of manifolds with boundary. The authors also establish a scalar curvature rigidity theorem for area-nonincreasing maps from three-dimensional manifolds and discuss the stable case using cohomology classes and incompressible surfaces.

Core claim

An (n+1)-manifold that is compactly n-enlargeable, where 3 ≤ (n+1) ≤ 7, has connected, immersed Morse index one, closed minimal hypersurfaces with unbounded volumes for bumpy metrics. In the three-dimensional case the hypersurfaces are geometrically distinct using cyclic coverings of manifolds with boundary. The proof extends to (n+1)-fiberings. A scalar curvature rigidity theorem holds for area-nonincreasing maps of three-dimensional manifolds.

What carries the argument

The compact n-enlargeability of the manifold, which is used to guarantee the existence and unbounded volumes of index one minimal hypersurfaces through min-max theory.

If this is right

  • The result applies to (n+1)-fiberings as well.
  • In three dimensions the hypersurfaces are geometrically distinct.
  • A scalar curvature rigidity theorem is proved for area-nonincreasing maps in three dimensions.
  • Stable surfaces are discussed using cohomology classes and incompressible surfaces.

Where Pith is reading between the lines

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

  • The enlargeability condition forces the min-max spectrum to be unbounded in the index one level.
  • The techniques may extend to other topological conditions that control large scale geometry.
  • Manifolds with positive scalar curvature might not admit such enlargeability if the rigidity theorem is applied in reverse.

Load-bearing premise

The manifold is compactly n-enlargeable.

What would settle it

A counterexample would be a compactly n-enlargeable (n+1)-manifold in dimensions 3 to 7 equipped with a bumpy metric that has only a bounded collection of volumes for its connected immersed closed minimal hypersurfaces of Morse index one.

read the original abstract

In this paper we prove that an $(n+1)$-manifold, compactly $n$-enlargeable, where $3\leq (n+1)\leq 7$, has connected, immersed Morse index one, closed minimal hypersurfaces with unbounded volumes for bumpy metrics. We prove that in the three-dimensional case the hypersurfaces are geometrically distinct using cyclic coverings of manifolds with boundary. The proof extends to $(n+1)$-fiberings. We prove a scalar curvature rigidity theorem for area-nonincreasing maps of three-dimensional manifolds. The case of stable surfaces is also discussed by using cohomology classes and incompressible surfaces.

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

2 major / 2 minor

Summary. The paper proves that any compactly n-enlargeable (n+1)-manifold with 3 ≤ n+1 ≤ 7 admits a sequence of connected immersed closed minimal hypersurfaces of Morse index one whose volumes are unbounded, when the metric is bumpy. In dimension 3 the surfaces are shown to be geometrically distinct via cyclic coverings of manifolds with boundary; the argument extends to (n+1)-fiberings. A scalar-curvature rigidity result for area-nonincreasing maps of 3-manifolds is established, and the stable case is treated using cohomology classes and incompressible surfaces.

Significance. If the proofs are complete, the result supplies a new existence theorem linking a large-scale enlargeability hypothesis to the production of index-one minimal hypersurfaces of arbitrarily large volume in the regularity range 3–7. The geometric-distinctness argument in dimension 3 and the rigidity theorem constitute additional contributions that could be of independent interest.

major comments (2)
  1. [Abstract / main existence statement] The abstract asserts the existence result for bumpy metrics, yet the precise manner in which the bumpy-metric assumption is used to guarantee the index-one property and the connectedness of the min-max surfaces is not visible from the provided text; a concrete reference to the relevant min-max or covering argument is needed to verify that no post-hoc choice of metric affects the central claim.
  2. [Scalar curvature rigidity theorem] The scalar-curvature rigidity theorem for area-nonincreasing maps is stated for three-dimensional manifolds; it is unclear whether the proof relies on the same enlargeability hypothesis or on a separate topological assumption, and whether the conclusion is sharp (e.g., whether equality cases are characterized).
minor comments (2)
  1. [Introduction] Notation for the enlargeability constant and the precise definition of “compactly n-enlargeable” should be introduced early and used consistently throughout.
  2. [Extension to fiberings] The extension to (n+1)-fiberings is mentioned but not detailed; a short paragraph clarifying the additional hypotheses required would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comments on clarity. Below we address each major comment directly.

read point-by-point responses

  1. Referee: [Abstract / main existence statement] The abstract asserts the existence result for bumpy metrics, yet the precise manner in which the bumpy-metric assumption is used to guarantee the index-one property and the connectedness of the min-max surfaces is not visible from the provided text; a concrete reference to the relevant min-max or covering argument is needed to verify that no post-hoc choice of metric affects the central claim.

    Authors: The bumpy-metric hypothesis is used precisely to invoke the index-one conclusion from the min-max theory (specifically, the fact that bumpy metrics exclude degenerate critical points of the area functional, yielding Morse index exactly one). This is applied in Section 3 via the standard min-max construction for the width, with the relevant reference being the index estimate in the cited min-max literature. Connectedness of the resulting hypersurfaces follows from the cyclic-covering construction in Section 4, which is metric-independent once the width is realized. We agree that an explicit pointer from the abstract/introduction to these sections would improve readability and will insert one in the revised version. revision: yes

  2. Referee: [Scalar curvature rigidity theorem] The scalar-curvature rigidity theorem for area-nonincreasing maps is stated for three-dimensional manifolds; it is unclear whether the proof relies on the same enlargeability hypothesis or on a separate topological assumption, and whether the conclusion is sharp (e.g., whether equality cases are characterized).

    Authors: The scalar-curvature rigidity result is proved independently of the enlargeability assumption; it relies only on the area-nonincreasing condition together with the existence of stable minimal surfaces (via the stability inequality and the positive scalar curvature hypothesis) and is presented in a separate section after the main existence theorem. The argument uses the same stable-surface techniques mentioned in the referee summary but does not invoke enlargeability or the min-max sequence. Equality cases are characterized in the proof: if the map is area-nonincreasing and the scalar curvatures satisfy the stated relation, then the map must be a local isometry (hence a covering map on compact manifolds). We will add a short clarifying paragraph stating the independence from enlargeability and explicitly noting the equality-case characterization. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is a pure existence result in differential geometry for index-one minimal hypersurfaces on compactly n-enlargeable manifolds (dimensions 3-7) under bumpy metrics. The abstract and claim description indicate reliance on standard min-max methods, cyclic coverings, and cohomology arguments rather than any self-definitional loop, fitted-input prediction, or self-citation chain that reduces the central statement to its own inputs. The enlargeability hypothesis is stated explicitly as an assumption, not derived internally. No equations or steps are quoted that collapse the claimed existence to a renaming or tautology. This is the expected non-circular outcome for a variational existence proof in Riemannian geometry.

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 can be extracted.

pith-pipeline@v0.9.1-grok · 5625 in / 1093 out tokens · 21149 ms · 2026-06-28T08:24:45.419731+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

55 extracted references · 3 linked inside Pith

  1. [1]

    Agol, I.,The virtual Haken conjecture, with an Appendix by Ian Agol, Daniel Groves, and Jason Manning,Documenta Mathematica 18 (2013), 1045–1087

    2013

  2. [2]

    Almgren, F.,The homotopy groups of the integral cycle groups,Topology (1962), 257–299

    1962

  3. [3]

    Almgren, F.,The theory of varifolds,Mimeographed notes, Princeton (1965)

    1965

  4. [4]

    C., and Neves, A.,Rigidity theorems for the area widths of Riemannian manifolds,arXiv:2408.14375 [math.DG] (2024)

    Ambrozio, L., Marques, F. C., and Neves, A.,Rigidity theorems for the area widths of Riemannian manifolds,arXiv:2408.14375 [math.DG] (2024)

    arXiv 2024

  5. [5]

    Aschenbrenner, M., Friedl, S., and Wilton, H.,Three-manifold groups,Series of Lec- tures in Mathematics, Eur. Math. Soc. (2015) 57

    2015

  6. [6]

    A., and Lowe, B.,Asymptotically geodesic surfaces,arXiv:2502.17303 [math.DG] (2025)

    Assal, F. A., and Lowe, B.,Asymptotically geodesic surfaces,arXiv:2502.17303 [math.DG] (2025)

    arXiv 2025

  7. [7]

    Brooks, R.,The fundamental group and the spectrum of the Laplacian,Comment. Math. Helv. 56 (1981), 581–598

    1981

  8. [8]

    Carlotto, A., and Li, C.,Constrained deformations of positive scalar curvature met- rics,J. Differ. Geom. 126 (2), (2024), 475–554

    2024

  9. [9]

    and Funct

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

    2024

  10. [10]

    Cecchini, S., Hanke, B., and Schick, T.,Lipschitz rigidity for scalar curvature, arXiv:2206.11796 (2022)

    arXiv 2022

  11. [11]

    Chodosh, O., Ketover, D., and Maximo, D.,Minimal hypersurfaces with bounded index,Invent. Math. 209 (3), (2017), 617–664

    2017

  12. [12]

    Chu, J., Lee, M.-C., and Zhu, J.,Homologicaln-systole in(n+ 1)-manifolds and bi-Ricci curvature,Adv. Math. 467 (2025), 110187

    2025

  13. [13]

    Colding, T., and Hingston, N.,Metrics without Morse index bounds,Duke Math. J. 119 (2003), 345–365

    2003

  14. [14]

    Colding, T., and Minicozzi, W.,Examples of embedded minimal tori without area bounds,Int. Math. Res. Not. 20 (1999), 1097–1100

    1999

  15. [15]

    Dedicata 102 (2003), 45–52

    Dean, B.,Compact embedded minimal surfaces of positive genus without area bounds, Geom. Dedicata 102 (2003), 45–52

    2003

  16. [16]

    Fraser, A., and Schoen, R.,Stability and largeness properties of minimal surfaces in higher codimension,arXiv:2303.07423 [math.DG] (2023)

    arXiv 2023

  17. [17]

    Freedman, M., Hass, J., and Scott, P.,Least area incompressible surfaces in three- manifolds,Invent. Math. 71 (3) (1983), 609-642

    1983

  18. [18]

    B.,Spin and scalar curvature in the presence of a fundamental group IAnn

    Gromov, M., and Lawson, H. B.,Spin and scalar curvature in the presence of a fundamental group IAnn. of Math. 111 (2) (1980), 209–230

    1980

  19. [19]

    B.,Positive scalar curvature and the Dirac operator on complete Riemannian manifolds,Publ

    Gromov, M., and Lawson, H. B.,Positive scalar curvature and the Dirac operator on complete Riemannian manifolds,Publ. Math. IHES 58 (1983), 295–408

    1983

  20. [20]

    Hatcher, A.,Notes on basic 3-manifold topology,online book (2007)

    2007

  21. [21]

    Hoelzel, S.,Surgery stable curvature conditions,Math. Ann. 365 (1) (2016), 13–47

    2016

  22. [22]

    Ilmanen, T.,A strong maximum principle for singular minimal hypersurfaces,Calc. Var. Partial Differential Equations 4 (5) (1996), 443–467

    1996

  23. [23]

    Kahn, J., and Markovic, V.,Immersing almost geodesic surfaces in a closed hyperbolic three manifold,Ann. of Math. 175 (2012), 1127–1190

    2012

  24. [24]

    and Markovic, V.,Counting essential surfaces in a closed hyperbolic three- manifold,Geom

    Kahn, J. and Markovic, V.,Counting essential surfaces in a closed hyperbolic three- manifold,Geom. Topol. 16 (2012), 601–624

    2012

  25. [25]

    and Wright, A.,Nearly Fuchsian surface subgroups of finite covolume Kleinian groups,Duke Math

    Kahn, J. and Wright, A.,Nearly Fuchsian surface subgroups of finite covolume Kleinian groups,Duke Math. J. 170 (3) (2021), 503–573

    2021

  26. [26]

    Kazhdan, D.,Connection of the dual space of a group with the structure of its closed subgroups,Funct. Anal. Appl. 1 (1) (1967), 63–65

    1967

  27. [27]

    and Song, A.,On the existence of minimal Heegaard surfaces,arXiv:1911.07161 [math.DG] (2019)

    Ketover, D., Liokumovich, Y. and Song, A.,On the existence of minimal Heegaard surfaces,arXiv:1911.07161 [math.DG] (2019)

    arXiv 1911

  28. [28]

    C., and Neves, A.,The catenoid estimate and its geometric applications,J

    Ketover, D., Marques, F. C., and Neves, A.,The catenoid estimate and its geometric applications,J. Differ. Geom. 115 1 (2020), 1-26

    2020

  29. [29]

    Kramer, J.,Examples of stable embedded minimal spheres without area bounds, arXiv:0812.3841 [math.DG] (2008)

    Pith/arXiv arXiv 2008

  30. [30]

    Lima, V.,On a conjecture of Meeks, P´ erez and Ros,J. Differ. Geom. 125 (3) (2023), 613–622

    2023

  31. [31]

    Llarull, M.,Sharp estimates and the Dirac operator,Math. Ann. 310 (1998), 55–71

    1998

  32. [32]

    C., and Neves, A.,Rigidity of min-max minimal spheres in three- manifolds,Duke Math

    Marques, F. C., and Neves, A.,Rigidity of min-max minimal spheres in three- manifolds,Duke Math. J. 161 (14) (2012), 2725–2752

    2012

  33. [33]

    C., and Neves, A.,Morse index and multiplicity of min-max minimal hypersurfaces,Camb

    Marques, F. C., and Neves, A.,Morse index and multiplicity of min-max minimal hypersurfaces,Camb. J. Math. 4 (4) (2016), 463–511 58 FERNANDO C. MARQUES AND ANDR ´E NEVES

    2016

  34. [34]

    C., and Neves, A.,Morse index of multiplicity one min-max minimal hypersurfaces,Adv

    Marques, F. C., and Neves, A.,Morse index of multiplicity one min-max minimal hypersurfaces,Adv. Math. 378 (2021), 107527

    2021

  35. [35]

    Mazet, L.,Stable minimal hypersurfaces inR 6,arXiv:2405.14676 [math.DG] (2024)

    arXiv 2024

  36. [36]

    Mazet, L., and Rosenberg, H.,Minimal hypersurfaces of least area,J. Differ. Geom. 106 2 (2017), 283–316

    2017

  37. [37]

    Meeks, W., Simon, L., and Yau, S.-T.,Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature,Ann. of Math. 116 (1982), 621–659

    1982

  38. [38]

    Montezuma, R.,Metrics of positive scalar curvature and unbounded min-max widths, Calc. of Var. and PDEs, 55 (6) (2016), p. 139

    2016

  39. [39]

    Perelman, G.,Ricci flow with surgery on three-manifolds,arXiv:math/0303109 (2003)

    Pith/arXiv arXiv 2003

  40. [40]

    Pitts, J.,Existence and regularity of minimal surfaces on Riemannian manifolds, Mathematical Notes 27, Princeton University Press, Princeton, (1981)

    1981

  41. [41]

    and Uhlenbeck, K.,Minimal immersions of closed Riemann surfaces,Trans

    Sacks, J. and Uhlenbeck, K.,Minimal immersions of closed Riemann surfaces,Trans. of the Amer. Math. Soc., 271 (2) (1982), 639–652

    1982

  42. [42]

    Schoen, R.,Estimates for stable minimal surfaces in three-dimensional manifolds, Seminar on minimal submanifolds, 111–126, Ann. of Math. Stud. 103, Princeton Univ. Press, 1983

    1983

  43. [43]

    Pure Appl

    Schoen, R., and Simon, L.,Regularity of stable minimal hypersurfaces,Comm. Pure Appl. Math. 34 (1981), 741–797

    1981

  44. [44]

    Schoen, R., and Yau, S.T.,Existence of incompressible minimal surfaces and the topology of three dimensional manifolds of non-negative scalar curvature,Ann. of Math. 110 (1979), 127–142

    1979

  45. [45]

    London Math

    Scott, P.,Subgroups of surface groups are almost geometric,J. London Math. Soc. 17 (2) (1978), 555–565

    1978

  46. [46]

    Differential Geom

    Sharp, B.,Compactness of minimal hypersurfaces with bounded index,J. Differential Geom. 106 (2) (2017), 317–339

    2017

  47. [47]

    Shen, Y., and Ye, R.,On the geometry and topology of manifolds of positive bi-Ricci curvature,arXiv:dg-ga/9708014 (1997)

    Pith/arXiv arXiv 1997

  48. [48]

    Song, A.,Embeddedness of least area minimal hypersurfaces,J. Differ. Geom. 110 (2) (2018), 345–377

    2018

  49. [49]

    Song, A.,Existence of infinitely many minimal hypersurfaces in closed manifolds, Ann. of Math. 197 (3) (2023), 859–895

    2023

  50. [50]

    Uhlenbeck, K.,Closed minimal surfaces in hyperbolic three-manifolds,Seminar on minimal submanifolds, Ann. of Math. Stud. 103 (1983), 147–168

    1983

  51. [51]

    Wang, Z., and Zhou, X.,Existence of four minimal spheres inS 3 with a bumpy metric, arXiv:2305.08755 [math.DG] (2023)

    arXiv 2023

  52. [52]

    White, B.,On the bumpy metrics theorem for minimal submanifolds,Amer. J. Math. 139 (4) (2017), 1149–1155

    2017

  53. [53]

    Dedicata 147 (2010), 29–45

    Wilton, H., and Zalesskii, P.,Profinite properties of graph manifolds,Geom. Dedicata 147 (2010), 29–45

    2010

  54. [54]

    Wise, D.,The structure of groups with quasiconvex hierarchy,Ann. of Math. Studies 366 (2021)

    2021

  55. [55]

    Zhou, X.,On the multiplicity one conjecture in min-max theory,Ann. of Math. 192 (3) (2020), 767-820. Princeton University, Fine Hall, Princeton NJ 08544, USA Email address:coda@math.princeton.edu University of Chicago, Department of Mathematics, Chicago IL 60637, USA Email address:aneves@math.uchicago.edu

    2020