Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Self-expanders of positive genus

T0 review · 4 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read The paper constructs, for every positive genus g and every cone in a broad class Π[g,δ0], a complete connected G[g]-equivariant self-expander asymptotic to the cone, and derives a mean curvature flow whose genus drops from 2g to g at the…

desk verdict The result is important and plausible, but the central gluing/surgery argument in Proposition 4.3 is sketched, not proved, so Theorem 1.4 is not established as written. read the letter →

arxiv 2507.19428 v2 pith:3EPY6QCE submitted 2025-07-25 math.DG

classification math.DG MSC 53C4253E1049Q05
keywords self-expandersmeancurvatureflowpositivegenusasymptoticallyconicalreductionfatteningCosta-Hoffman-MeekssurfaceScherk
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

This paper proves that positive-genus self-expanders exist in abundance in $R^{3}$: for every genus g and every cone in a broad class Π[g,δ0]—cones with three graphical link components and dihedral symmetry D_2(g+1), lying strictly outside a double cone of slope δ0—there is a complete connected self-expander asymptotic to that cone. Previously, self-expanders asymptotic to such cones were only known in genus zero. The construction has two direct consequences: a mean curvature flow whose genus drops from 2g to g at the first singular time but does not vanish, and, for a fixed rotationally symmetric triple cone, a sequence of self-expanders of unbounded genus asymptotic to the same cone, whose limit is a hyperplane together with a self-expander annulus. These results give the first example of strict-but-not-total genus reduction in a mean curvature flow, and they confirm that self-expanders emerging from a rotationally symmetric cone need not be rotationally symmetric.

What carries the argument

The central construction minimizes weighted area $e^{{|X|^2/4}}$ $H^{2}$ among G[g]-equivariant isotopic deformations of a Costa-Hoffman-Meeks surface—a complete embedded minimal surface of genus g with three ends—in Ω∩B_R with boundary RL[C[g]]. To prevent the minimizer from degenerating into three disks, the proof uses barriers Λ1,Λ2 (rotationally symmetric graphical expanders asymptotic to a double cone) and an iterative surgery: if the minimizer has three disk components, replace the two outer disks by an annulus inside ∂B1 and desingularize along the remaining boundary circle using a bent (g+1)-periodic Scherk's Second Surface, decreasing weighted area by a fixed positive amount. Repeated minimization must terminate because each step lowers area by a definite amount while all candidates remain above a positive E-minimizing current. Riemann-Hurwitz plus the group symmetry then forces the final connected surface to have exact genus g, and a barrier/compactness proposition passes the ball-wise construction to a complete self-expander asymptotic to the cone.

What would settle it

Take the explicit cone Cε with ε>δ0 and compute, for large R, the weighted areas in the surgery inequality (4.6): if the annulus A'_R⊂∂B1 bounded by σ1,R and σ3,R is not contained in the barrier annulus A, or if $H^{2}$_w(A'_R)≥(1/4)$H^{2}$_w(Pxy∩B1), then the claimed fixed area drop of one half $H^{2}$_w(Pxy∩B1) fails and the iteration argument in Proposition 4.3 collapses.

Watch

Extended reading notes

Core claim

On its own terms, the central discovery is Theorem 1.4: there is a universal constant δ0>0 such that for any g∈N and any C[g]∈Π[g,δ0], there exists a complete connected G[g]-equivariant self-expander Σ[g] of genus g asymptotic to C[g]. Equivalently, the cone C[g] admits at least two different self-expanders: the previously known union of three genus-zero graphical sheets and the new positive-genus surface; both are asymptotic to C[g] but have different topology and are not related by symmetry. From this the paper derives a mean curvature flow whose genus strictly drops at the singular time—from 2g to g—while remaining positive (Corollary 1.8), and a sequence of genus-g expanders asymptotic to the same cone Cε whose high-genus limit is a hyperplane together with a self-expander annulus (Corollary 1.11 and Proposition 6.2).

Load-bearing premise

The construction rests on an unproved quantitative gluing estimate: replacing two disk pieces by an annulus and desingularizing along a circle must cost less area than a fixed positive amount, for every genus g and every large radius R. If that estimate fails for some genus or radius, the iterative minimization that forces a connected positive-genus surface need not terminate.

Editorial extensions

If this is right

  • For every genus g, the cone C[g] has at least two self-expanders asymptotic to it—one of genus zero and one of genus g—so self-expanders asymptotic to a fixed cone are not unique in a strong topological sense; the paper cites a fattening theorem showing the level set flow starting from C[g] fattens.
  • Corollary 1.8: mean curvature flows exist whose genus drops from 2g to g at the first singular time and never drops to zero, providing the first example of strict but incomplete genus reduction.
  • For each ε>δ0, there are connected genus-g self-expanders Σ[g,ε] asymptotic to the rotationally symmetric triple cone Cε, confirming that not all such expanders are rotationally symmetric.
  • As g→∞, a subsequence of {Σ[g,ε]} converges locally smoothly away from a circle to the union of the xy-plane Pxy and a self-expander annulus asymptotic to the double cone C(ε); the high genus concentrates near that circle.
  • For ε>δ0 the level set flow of Cε is fully characterized: it divides R^3 into four evolving components, contains √t·Σ[g] in its interior for t>0, contains the stable expanders in its boundary, and its time-one boundary is a smooth stable self-expander.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: if the underlying gluing step can be made quantitative with the claimed area drop, the same iteration should also produce self-expanders with more ends or other prescribed symmetry groups, since the only topological input is a symmetric genus-g model surface and a fixed area gap.
  • Editorial inference: the high-genus limit structure suggests a general concentration phenomenon—for expanders asymptotic to a cone with a symmetric waist, positive genus is paid for by a circle where curvature concentrates, while the rest of the surface becomes graphical; this could be tested numerically for Cε.
  • Editorial inference: the genus drop 2g→g indicates that topology loss at a conical singularity is quantized by the difference between the shrinker and expander genera; stacking more periodic Scherk-like sheets might produce flows with larger prescribed genus drops, though the paper does not construct them.
  • Editorial inference: the unstable expanders Σ[g] should, through the expander Morse-flow theorem cited in the paper, connect to stable expanders asymptotic to the same cone; a concrete prediction is that these stable limits are the graphical genus-zero sheets or a stable annulus, which would make the fattening phenomenon more explicit.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper claims to construct, for a universal δ0>0 and every genus g, a complete connected G[g]-equivariant self-expander Σ[g] asymptotic to any cone C[g] in a class Π[g,δ0] of three-component cones with dihedral symmetry. The construction proceeds by minimizing weighted area in an equivariant isotopy class inside Ω∩B_R, using Meeks–Simon–Yau, then iterating a surgery that is supposed to enforce connectedness and genus g, and finally passing to a limit via Proposition 3.5. Applications include a mean curvature flow whose genus drops strictly at the singular time but not to zero, and a sequence of self-expanders of unbounded genus asymptotic to the same rotationally symmetric cone, with a convergence characterization.

Significance. If the main theorem holds, it gives the first explicit self-expanders of arbitrary positive genus in R3, confirms a conjecture of Chen on non-rotationally-symmetric expanders asymptotic to a rotationally symmetric cone, and provides the first example of a mean curvature flow with strict genus reduction that does not drop to zero. The paper's strategy is attractive: it combines equivariant min-max with an area-decreasing iteration, and it supplies complete proofs of the supporting compactness and regularity statements (Propositions 3.5 and 4.2) in the appendix. The advertised applications are conditional on the central existence result, so the weight of the paper rests entirely on Proposition 4.3.

major comments (4)
  1. [Proposition 4.3, first paragraph] The initial surface CHMR is asserted to exist by gluing a (g+1)-periodic Scherk surface as in [30, Definition 3.6], but no proof is given that such a G[g]-equivariant properly embedded genus-g surface exists inside Ω∩B_R with boundary RL[C[g]]. This surface is the input to the equivariant minimization of Proposition 4.2, so without a verifiable existence statement the whole iterative construction lacks a starting point.
  2. [Proposition 4.3, after Eq. (4.6)] The claim that 'A''_R intersects C2,R only along the simple closed curve σ2,R' is not justified. Since A''_R∩∂B1 = A'_R∪σ1,R∪σ3,R and C2,R∩∂B1 = σ2,R, the assertion is equivalent to σ2,R⊂A'_R. The proof does not establish that σ2,R lies in the annulus of ∂B1 bounded by σ1,R and σ3,R rather than in one of the other two annuli of A\A'_R; if σ2,R is not contained in A'_R, the proposed desingularization along σ2,R is not defined.
  3. [Proposition 4.3, desingularization of A''_R∪C2,R] The statement that the desingularization can be performed 'with change of area as small as one wants' is asserted without proof. The iteration requires a uniform area drop of 1/2 H2_w(Pxy∩B1) at every step, but no estimate is provided for the weighted area of the G[g]-equivariant genus-g Scherk-type desingularizing surface, in particular no bound independent of R and g. Without such an estimate the iteration is not shown to terminate, so the connectedness and genus conclusion of Proposition 4.3 is not established.
  4. [Proposition 4.3, Eq. (4.6) and smoothing] The area comparison (4.6) is computed for the singular surface obtained by replacing the two disks with the annulus A'_R⊂∂B1, but the resulting object has corners along σ1,R and σ3,R. The proof only says 'smoothing if necessary' and gives no area estimate for the smoothed surface. Since the claimed fixed area drop is the mechanism of the iteration, an estimate for the smoothed replacement is needed to make the argument rigorous.
minor comments (4)
  1. [Proof of Theorem 1.4] The proof says 'for all g > g0' where g0 is not defined; this should presumably be 'for all g∈N'.
  2. [Eq. (4.7)] In the chain '2−2g(Σ_R,j)−3 = χ(Σ_R) = ...', the middle term should be χ(Σ_R,j), not χ(Σ_R).
  3. [Figure 4 and reference [44]] The reliance on a Wikipedia figure and Wikipedia reference for Scherk's surface is not appropriate for a research paper; a standard reference or an original figure would be preferable.
  4. [Notation 4.1] The abbreviation 'Π[g]' for Π[g,δ0] is introduced but the parameter δ0 is sometimes still written; please make the notation uniform.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: Theorem 1.4 derives expander existence from external variational, compactness, and gluing results, while author self-citations appear only in corollaries.

full rationale

The main existence proof of Theorem 1.4 is routed through Proposition 3.5 and Proposition 4.3. Proposition 4.3 invokes Meeks-Simon-Yau [38], Choi-Schoen [19], Ilmanen/Ding, Bernstein-Wang, and Kapouleas [30] for the gluing surface; none of these are the authors' own prior results. The constants delta0 and the barrier surfaces Lambda1, Lambda2 are chosen from Angenent-Ilmanen-Chopp/Ecker-Huisken and from the self-contained contradiction argument of Lemma 3.3 and Assumption 3.4, not by fitting the target genus-g expander. The claimed 'area decrease by 1/2 H2_w(Pxy intersect B1)' in the surgery step is asserted rather than proved, and the quantitative gluing estimate identified by the skeptic is a gap in the proof, not a circular reduction: it does not identify a predicted quantity with an input by construction. Author self-citations to [40] appear in Remark 1.6, Corollary 1.8, and Remark 1.9, where they supply shrinkers and cones used in applications; the derivation of the self-expanders themselves does not rest on those citations. No equation reduces to a fitted value, no internal definition encodes the target conclusion, and no known result is merely renamed, so the circularity score is 0.

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

The construction rests on standard geometric measure theory and on two paper-specific assumptions: the quantitative choice of δ0 (Assumption 3.4) and the existence and area-controlled surgery of the initial genus-g surfaces in Proposition 4.3. The latter is not proved in detail and appears to contain an inconsistency.

free parameters (1)
  • δ0 = not explicit; exists by Lemma 3.3
    Universal constant chosen large enough so that stable self-expanders in B1∩Ω(δ0) have weighted area at least 1/2 H^2_w(Pxy∩B1) and the annulus A has small area (Assumption 3.4); the main theorem only applies to cones in Π[g,δ0].
assumptions (7)
  • standard math Riemann-Hurwitz formula
    Used in (4.7) and (6.9) to control genus via the cyclic quotient.
  • domain assumption Ecker-Huisken uniqueness of graphical self-expanders (Lemma 2.4)
    Used to determine that graphical cones have unique graphical expanders and to identify the limit in Proposition 6.2.
  • domain assumption Meeks-Simon-Yau min-max theorem and its equivariant version (Ketover)
    The central existence step in Proposition 4.2 minimizes area in G[g]-equivariant isotopy classes.
  • domain assumption Choi-Schoen curvature estimates and removable singularity theorem
    Used in Proposition 3.5 and Appendix A for compactness and regularity of the limit self-expander.
  • domain assumption Ilmanen/Ding existence of E-minimizing self-expanding currents (Section 2)
    Provides the lower bound in the iteration stopping argument in Proposition 4.3.
  • ad hoc to paper Assumption 3.4: existence of δ0 with quantitative area bounds
    Load-bearing choice of a universal constant; its proof (Lemma 3.3) is a one-paragraph compactness argument.
  • ad hoc to paper Existence of a G[g]-equivariant genus-g initial surface CHMR in Ω∩B_R
    Asserted in Proposition 4.3 using a Scherk-surface gluing but not proved in detail; the subsequent surgery assumes a fixed area drop.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Self-expanders of positive genus." pith.science (2026). https://pith.science/paper/3EPY6QCE

@misc{pith2026250719428,
  author       = {Pith},
  title        = {Pith review of: Self-expanders of positive genus},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3EPY6QCE}},
  note         = {Machine review of arXiv:2507.19428}
}
abstract

For a general class of cones in $\mathbb{R}^3$, we construct self-expanders of positive genus asymptotic to these cones. As a result, we use these self-expanders to construct a mean curvature flow with genus strictly decreasing but not to zero at the first singular time. We also construct a sequence of self-expanders with unbounded genus which are asymptotic to the same rotationally symmetric cone. Moreover, we characterize the asymptotic behavior of the sequence.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Convexity of mean convex asymptotically conical self-expanders to the mean curvature flow

    math.DG 2025-08 accept novelty 7.0 of 10

    Every complete mean convex asymptotically conical self-expander in R^{n+1}, n≥3, with a mean convex and weakly convex asymptotic cone is strictly convex.

Reference graph

Works this paper leans on

44 extracted references · 38 canonical work pages · cited by 1 Pith paper

  1. [1]

    Allard, On the first variation of a varifold , Ann

    William K. Allard, On the first variation of a varifold , Ann. of Math. (2) 95 (1972), 417–491. MR307015

  2. [2]

    Angenent, T

    S. Angenent, T. Ilmanen, and D. L. Chopp, A computed example of nonuniqueness of mean curvature flow in R3, Comm. Partial Differential Equations 20 (1995), no. 11-12, 1937–1958. MR1361726

  3. [3]

    Richard H Bamler and Bruce Kleiner, On the multiplicity one conjecture for mean curvature flows of surfaces (2024), available at 2312.02106

  4. [4]

    Jacob Bernstein, Letian Chen, and Lu Wang, Existence of monotone morse flow lines of the expander functional (2024), available at 2404.08541

  5. [5]

    Jacob Bernstein and Lu Wang, Smooth compactness for spaces of asymptotically conical self-expanders of mean curvature flow , Int. Math. Res. Not. IMRN 12 (2021), 9016–9044. MR4276312

  6. [6]

    , The space of asymptotically conical self-expanders of mean curvature flow , Math. Ann. 380 (2021), no. 1-2, 175–230. MR4263682

  7. [7]

    , A mountain-pass theorem for asymptotically conical self-expanders , Peking Math. J. 5 (2022), no. 2, 213–278. MR4492654

  8. [8]

    , Topological uniqueness for self-expanders of small entropy, Camb. J. Math.10 (2022), no. 4, 785–833. MR4524828

Show all 44 references
  1. [9]

    , An integer degree for asymptotically conical self-expanders, Calc. Var. Partial Differ- ential Equations 62 (2023), no. 7, Paper No. 200, 46. MR4621517

  2. [10]

    Brakke, The motion of a surface by its mean curvature, Mathematical Notes, vol

    Kenneth A. Brakke, The motion of a surface by its mean curvature, Mathematical Notes, vol. 20, Princeton University Press, Princeton, NJ, 1978. MR485012

  3. [11]

    Simon Brendle, Embedded self-similar shrinkers of genus 0 , Ann. of Math. (2) 183 (2016), no. 2, 715–728. MR3450486

  4. [12]

    Schulz, Noncompact self-shrinkers for mean curvature flow with arbitrary genus, J

    Reto Buzano, Huy The Nguyen, and Mario B. Schulz, Noncompact self-shrinkers for mean curvature flow with arbitrary genus, J. Reine Angew. Math. 818 (2025), 35–52. MR4846020

  5. [13]

    Schulz, Free boundary minimal surfaces with connected boundary and arbitrary genus , Camb

    Alessandro Carlotto, Giada Franz, and Mario B. Schulz, Free boundary minimal surfaces with connected boundary and arbitrary genus , Camb. J. Math. 10 (2022), no. 4, 835–857. MR4524829

  6. [14]

    Letian Chen, Rotational symmetry of solutions of mean curvature flow coming out of a dou- ble cone II , Calc. Var. Partial Differential Equations 62 (2023), no. 2, Paper No. 70, 32. MR4530317

  7. [15]

    Otis Chodosh, Kyeongsu Choi, Christos Mantoulidis, and Felix Schulze, Mean curvature flow with generic initial data, Invent. Math. 237 (2024), no. 1, 121–220. MR4756990

  8. [16]

    Otis Chodosh, Kyeongsu Choi, and Felix Schulze, Mean curvature flow with generic initial data II, arXiv preprint arXiv:2302.08409 (2023), available at 2302.08409

  9. [17]

    Otis Chodosh, J. M. Daniels-Holgate, and Felix Schulze, Mean curvature flow from conical singularities, Invent. Math. 238 (2024), no. 3, 1041–1066. MR4824733

  10. [18]

    Otis Chodosh and Felix Schulze, Uniqueness of asymptotically conical tangent flows , Duke Math. J. 170 (2021), no. 16, 3601–3657. MR4332673

  11. [19]

    Hyeong In Choi and Richard Schoen, The space of minimal embeddings of a surface into a three-dimensional manifold of positive Ricci curvature , Invent. Math. 81 (1985), no. 3, 387–

  12. [20]

    Colding and Camillo De Lellis, The min-max construction of minimal surfaces, Sur- veys in differential geometry, Vol

    Tobias H. Colding and Camillo De Lellis, The min-max construction of minimal surfaces, Sur- veys in differential geometry, Vol. VIII (Boston, MA, 2002), 2003, pp. 75–107. MR2039986 SELF-EXPANDERS OF POSITIVE GENUS 29

  13. [21]

    Colding and William P

    Tobias H. Colding and William P. Minicozzi II, The space of embedded minimal surfaces of fixed genus in a 3-manifold. III. Planar domains, Ann. of Math. (2)160 (2004), no. 2, 523–572. MR2123932

  14. [22]

    Minicozzi II, and Brian White, The round sphere minimizes entropy among closed self-shrinkers, J

    Tobias Holck Colding, Tom Ilmanen, William P. Minicozzi II, and Brian White, The round sphere minimizes entropy among closed self-shrinkers, J. Differential Geom. 95 (2013), no. 1, 53–69. MR3128979

  15. [23]

    Reine Angew

    Camillo De Lellis and Filippo Pellandini, Genus bounds for minimal surfaces arising from min-max constructions, J. Reine Angew. Math. 644 (2010), 47–99. MR2671775

  16. [24]

    Qi Ding, Minimal cones and self-expanding solutions for mean curvature flows , Math. Ann. 376 (2020), no. 1-2, 359–405. MR4055164

  17. [25]

    Klaus Ecker and Gerhard Huisken, Mean curvature evolution of entire graphs, Ann. of Math. (2) 130 (1989), no. 3, 453–471. MR1025164

  18. [26]

    David Hoffman, Francisco Martin, and Brian White, Generating shrinkers by mean curvature flow (2025), available at 2502.20340

  19. [27]

    Meeks III, Embedded minimal surfaces of finite topology, Ann

    David Hoffman and William H. Meeks III, Embedded minimal surfaces of finite topology, Ann. of Math. (2) 131 (1990), no. 1, 1–34. MR1038356

  20. [28]

    Tom Ilmanen, Lectures on mean curvature flow and related equations , Draft Version, recom- piled 1998, Swiss Federal Institute of Technology, Department of Mathematics, Z ¨urich, 1998 (en)

  21. [29]

    Tom Ilmanen and Brian White, Fattening in mean curvature flow , Ars Inven. Anal. (2025), Paper No. 4, 32. MR4888468

  22. [30]

    Differ- ential Geom

    Nikolaos Kapouleas, Complete embedded minimal surfaces of finite total curvature , J. Differ- ential Geom. 47 (1997), no. 1, 95–169. MR1601434

  23. [31]

    Daniel Ketover, Equivariant min-max theory (2016), available at 1612.08692

  24. [32]

    , Free boundary minimal surfaces of unbounded genus (2016), available at 1612. 08691

  25. [33]

    Differential Geom

    , Genus bounds for min-max minimal surfaces, J. Differential Geom. 112 (2019), no. 3, 555–590. MR3981297

  26. [34]

    , Self-shrinkers whose asymptotic cones fatten (2024), available at 2407.01240

  27. [35]

    Tang-Kai Lee and Xinrui Zhao, Closed mean curvature flows with asymptotically conical sin- gularities (2024), available at 2405.15577

  28. [36]

    Pure Appl

    Martin Man-chun Li, A general existence theorem for embedded minimal surfaces with free boundary, Comm. Pure Appl. Math. 68 (2015), no. 2, 286–331. MR3298664

  29. [37]

    135, Cambridge University Press, Cambridge, 2012

    Francesco Maggi, Sets of finite perimeter and geometric variational problems, Cambridge Stud- ies in Advanced Mathematics, vol. 135, Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory. MR2976521

  30. [38]

    William Meeks III, Leon Simon, and Shing Tung Yau, Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature, Ann. of Math. (2) 116 (1982), no. 3, 621–

  31. [39]

    Richard Schoen, Estimates for stable minimal surfaces in three-dimensional manifolds , Semi- nar on minimal submanifolds, 1983, pp. 111–126. MR795231

  32. [40]

    Guanhua Shao and Jiahua Zou, Self-shrinkers with any number of ends in R3 by stacking R2 (2025), available at 2507.18825

  33. [41]

    3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    Leon Simon, Lectures on geometric measure theory, Proceedings of the Centre for Mathemati- cal Analysis, Australian National University, vol. 3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983. MR756417

  34. [42]

    Lu Wang, Uniqueness of self-similar shrinkers with asymptotically conical ends, J. Amer. Math. Soc. 27 (2014), no. 3, 613–638. MR3194490

  35. [43]

    Brian White, The topology of hypersurfaces moving by mean curvature, Comm. Anal. Geom. 3 (1995), no. 1-2, 317–333. MR1362655

  36. [44]

    Accessed: 2025-06-25

    Wikipedia contributors, Scherk surface — wikipedia, the free encyclopedia , 2024. Accessed: 2025-06-25. 30 G. SHAO AND J. ZOU DEPARTMENT OF MATHEMATICS , RUTGERS UNIVERSITY , PISTACAWAY, NJ 08854 Email address: gs977@math.rutgers.edu DEPARTMENT OF MATHEMATICS , RUTGERS UNIVERS...

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.