pith. sign in

arxiv: 2312.07232 · v2 · submitted 2023-12-12 · 🧮 math.DG

Mean Curvature Flow and Heegaard Surfaces in Lens Spaces

Reto Buzano , Sylvain Maillot This is my paper

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

classification 🧮 math.DG
keywords mean curvature flowHeegaard surfaceslens spacesmoduli spacepath-connectednessmean convex spheresRicci curvature3-manifolds
0
0 comments X

The pith

The moduli space of mean convex two-spheres embedded in complete orientable 3-manifolds with nonnegative Ricci curvature is path-connected.

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

The paper proves that any two strictly mean convex embedded two-spheres in a complete orientable three-dimensional Riemannian manifold with nonnegative Ricci curvature can be joined by a continuous path through mean convex spheres. This establishes path-connectedness of their moduli space. The conditions of strict mean convexity, manifold completeness, and nonnegative Ricci curvature are each necessary, as the authors exhibit cases where the moduli space becomes disconnected upon relaxing any one of them. The work additionally classifies the path components of mean convex Heegaard tori in the same manifolds, showing there are always either one or two such components with an explicit characterization that is not determined solely by homotopy type.

Core claim

We prove that the moduli space of mean convex two-spheres embedded in complete, orientable 3-dimensional Riemannian manifolds with nonnegative Ricci curvature is path-connected. This result is sharp in the sense that neither of the conditions of (strict) mean convexity, completeness, and nonnegativity of the Ricci curvature can be dropped or weakened. We also study the number of path components of mean convex Heegaard tori, again in ambient manifolds with nonnegative Ricci curvature. We prove that there are always either one or two path components and this number does not only depend on the homotopy type of the ambient manifold. We give a precise characterisation of the two cases and also讨论s

What carries the argument

Mean curvature flow, which deforms the embedded surfaces while preserving mean convexity in manifolds satisfying the curvature and completeness hypotheses.

If this is right

  • Mean convex Heegaard tori form a moduli space with exactly one or two path components.
  • The number of path components for these tori depends on a precise geometric characterization rather than solely on the homotopy type of the ambient manifold.
  • Relaxing strict mean convexity to nonnegative mean curvature changes the number of path components for both spheres and tori.
  • The path-connectedness for spheres fails in incomplete manifolds or those with regions of negative Ricci curvature.

Where Pith is reading between the lines

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

  • In lens spaces equipped with suitable metrics, mean convex spheres and tori can be deformed into each other via the flow.
  • The connectivity result supplies a tool for classifying embedded surfaces up to continuous deformation in nonnegative Ricci curvature settings.
  • Similar connectivity questions could be posed for higher-genus surfaces or in manifolds with weaker curvature bounds.

Load-bearing premise

The 3-manifold must be complete with nonnegative Ricci curvature and the spheres must be strictly mean convex.

What would settle it

A pair of strictly mean convex embedded two-spheres in a complete orientable 3-manifold with nonnegative Ricci curvature that lie in distinct path components of the moduli space would falsify the claim.

read the original abstract

We prove that the moduli space of mean convex two-spheres embedded in complete, orientable 3-dimensional Riemannian manifolds with nonnegative Ricci curvature is path-connected. This result is sharp in the sense that neither of the conditions of (strict) mean convexity, completeness, and nonnegativity of the Ricci curvature can be dropped or weakened. We also study the number of path components of mean convex Heegaard tori, again in ambient manifolds with nonnegative Ricci curvature. We prove that there are always either one or two path components and this number does not only depend on the homotopy type of the ambient manifold. We give a precise characterisation of the two cases and also discuss what happens if the mean convexity condition is weakened to nonnegative mean curvature.

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 / 2 minor

Summary. The manuscript proves that the moduli space of strictly mean-convex embedded 2-spheres in complete, orientable 3-manifolds with nonnegative Ricci curvature is path-connected. Sharpness is established via explicit counterexamples showing that dropping strict mean convexity, completeness, or Ric ≥ 0 disconnects the moduli space. For mean-convex Heegaard tori in the same class of manifolds, there are either one or two path components, with a precise characterization that does not depend solely on the homotopy type of the ambient manifold; the effect of weakening strict mean convexity to nonnegative mean curvature is also analyzed. The title indicates a focus on lens spaces as a key setting for examples and applications.

Significance. If the central claims hold, the result is a substantial contribution to geometric analysis and 3-manifold topology. It establishes path-connectedness of a moduli space under mean curvature flow with Ricci curvature bounds, together with sharpness statements that clarify the necessity of each hypothesis. The characterization of the one- versus two-component cases for Heegaard tori, independent of homotopy type alone, adds a refined structural insight. Explicit counterexamples and the discussion of the nonnegative-mean-curvature case strengthen the paper's value.

minor comments (2)
  1. [Introduction] The abstract states the general theorem but the title singles out lens spaces; the introduction should explicitly locate the lens-space results within the general framework and state the main theorems with numbering for easy reference.
  2. Notation for the moduli space (e.g., how equivalence of spheres is defined) should be introduced once and used consistently; a short table summarizing the sharpness counterexamples by which hypothesis is dropped would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the recognition of its contributions to geometric analysis and 3-manifold topology, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is a pure mathematics theorem in differential geometry proving path-connectedness of a moduli space of mean-convex spheres under stated curvature and completeness hypotheses, together with a related result on Heegaard tori. No data fitting, parameter estimation, or self-referential definitions appear in the abstract or described claims. The derivation consists of a standard proof (likely via mean curvature flow) whose load-bearing steps are external to the result itself; the sharpness statements on hypotheses are explicit and do not create definitional loops. Self-citations, if present, are not load-bearing for the central claim. This is the expected outcome for a self-contained geometric analysis paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details available from the abstract to identify free parameters, axioms, or invented entities; the work is a proof in Riemannian geometry relying on standard background results in mean curvature flow.

pith-pipeline@v0.9.0 · 5646 in / 1086 out tokens · 23760 ms · 2026-05-24T05:10:06.693739+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

27 extracted references · 27 canonical work pages

  1. [1]

    Agostiniani, M

    V. Agostiniani, M. Fogagnolo, and L. Mazzieri. Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Invent. Math. 222 (2020), 1033–1101

    work page 2020

  2. [2]

    J. W. Alexander. On the subdivision of 3-space by a polyhedron. Proc. Nat. Acad. Sei. U.S.A. 10 (1924), 6–8

    work page 1924

  3. [3]

    B. Andrews. Noncollapsing in mean convex mean curvature flow. Geom. Topol. 16:3 (2012), 1413–1418

    work page 2012

  4. [4]

    Bamler and B

    R. Bamler and B. Kleiner. Ricci flow and contractibility of spaces of metrics. Preprint, ArXiv:1909.08710 (2019)

    work page arXiv 1909

  5. [5]

    F. Bonahon. Diff´ eotopies des espaces lenticulaires.Topology 22:3 (1983), 305–314

    work page 1983

  6. [6]

    Bonahon and J.-P

    F. Bonahon and J.-P. Otal. Scindements de Heegaard des espaces lenticulaires. Ann. Sci. ´Ec. Norm. Sup´ er. (4)16:3 (1983), 451–466

    work page 1983

  7. [7]

    S. Brendle. An inscribed radius estimate for mean curvature flow in Riema nnian manifolds. Ann. Sc. Norm. Super. Pisa Cl. Sci. 16:4 (2016), 1447–1472

    work page 2016

  8. [8]

    Brendle and G

    S. Brendle and G. Huisken. Mean curvature flow with surgery of mean convex surfaces in R3. Invent. Math. 203 (2016), 615–654

    work page 2016

  9. [9]

    Brendle and G

    S. Brendle and G. Huisken. Mean curvature flow with surgery of mean convex surfaces in 3-manifolds. J. Eur. Math. Soc. 20:9 (2018), 2239–2257

    work page 2018

  10. [10]

    Buzano, R

    R. Buzano, R. Haslhofer, and O. Hershkovits. The moduli space of two-convex embedded spheres. J. Differential Geom. 118:2 (2021), 189–221

    work page 2021

  11. [11]

    Buzano, R

    R. Buzano, R. Haslhofer, and O. Hershkovits. The moduli space of two-convex embedded tori. Int. Math. Res. Not. IMRN 2019:2 (2019), 392–406

    work page 2019

  12. [12]

    Buzano, H

    R. Buzano, H. Nguyen, and M. Schulz. Noncompact self-shrinkers for mean curvature flow with arbi trary genus. Preprint, ArXiv:2110.06027 (2021)

    work page arXiv 2021

  13. [13]

    Di Matteo and A

    G. Di Matteo and A. Malchiodi. Double bubbles with high constant mean curvature in Riemann ian manifolds. Nonlinear Anal. 224 (2022), No. 113088, 41 pp

    work page 2022

  14. [14]

    Haslhofer and D

    R. Haslhofer and D. Ketover. Minimal 2-spheres in 3-spheres. Duke Math. J. 168:10 (2019), 1929–1975

    work page 2019

  15. [15]

    Haslhofer and B

    R. Haslhofer and B. Kleiner. Mean curvature flow with surgery. Duke Math. J. 166:9 (2017), 1591–1626

    work page 2017

  16. [16]

    Heegaard

    P. Heegaard. Forstudier til en topologisk Teori for de algebraiske Flade rs Sammenhæng. Det Nordiske Forlag, Copenhagen (1898)

    work page

  17. [17]

    Huisken and C

    G. Huisken and C. Sinestrari. Mean curvature flow with surgeries of two-convex hypersurfa ces. Invent. Math. 175 (2009), 137–221

    work page 2009

  18. [18]

    A. Kasue. Ricci curvature, geodesics and some geometric properties o f Riemannian manifolds with boundary. J. Math. Soc. Jpn. 35:1 (1983), 117–131

    work page 1983

  19. [19]

    Ketover, Y

    D. Ketover, Y. Liokumovich, and A. Song. On the existence of minimal Heegaard surfaces. Preprint, ArXiv:1911.07161 (2019)

    work page arXiv 1911

  20. [20]

    Kreck and S

    M. Kreck and S. Stolz. Nonconnected moduli spaces of positive sectional curvature metrics. J. Am. Math. Soc. 6:4 (1993), 825–850

    work page 1993

  21. [21]

    G. Liu. 3-manifolds with nonnegative Ricci curvature. Invent. Math. 193 (2013), 367–375

    work page 2013

  22. [22]

    F. C. Marques. Deforming three-manifolds with positive scalar curvature . Ann. Math. (2) 176:2 (2012), 815–863

    work page 2012

  23. [23]

    Rosenberg and S

    J. Rosenberg and S. Stolz. Metrics of positive scalar curvature and connections with s urgery. Ann. Math. Stud. 149 (2001), 353–386

    work page 2001

  24. [24]

    Sheng and X

    W. Sheng and X. Wang. Singularity profile in the mean curvature flow. Methods Appl. Anal. 16:2 (2009), 139–155

    work page 2009

  25. [25]

    H. Weyl. ¨Uber die Bestimmung einer geschlossenen konvexen Fl¨ ache d urch ihr Linienelement. Viertel- jahrsschr. Naturforsch. Ges. Zur., 61 (1916), 70–72

    work page 1916

  26. [26]

    J. H. C. Whitehead. On C1-complexes. Ann. Math. (2) 41 (1940), 809–824

    work page 1940

  27. [27]

    T. J. Willmore. Riemannian geometry. Oxford science publications (1996). 21 Reto Buzano Universit` a degli Studi di Torino, Dipartimento di Matemat ica, Torino, Italy E-mail address: reto.buzano@unito.it Syl vain Maillot IMAG, Universit´ e de Montpellier, CNRS, Montpellier, France E-mail address: sylvain.maillot@umontpellier.fr 22

    work page 1996