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 →
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 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.
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 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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.
- [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.
- [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)
- [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'.
- [Eq. (4.7)] In the chain '2−2g(Σ_R,j)−3 = χ(Σ_R) = ...', the middle term should be χ(Σ_R,j), not χ(Σ_R).
- [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.
- [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
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
free parameters (1)
- δ0 =
not explicit; exists by Lemma 3.3
assumptions (7)
- standard math Riemann-Hurwitz formula
- domain assumption Ecker-Huisken uniqueness of graphical self-expanders (Lemma 2.4)
- domain assumption Meeks-Simon-Yau min-max theorem and its equivariant version (Ketover)
- domain assumption Choi-Schoen curvature estimates and removable singularity theorem
- domain assumption Ilmanen/Ding existence of E-minimizing self-expanding currents (Section 2)
- ad hoc to paper Assumption 3.4: existence of δ0 with quantitative area bounds
- ad hoc to paper Existence of a G[g]-equivariant genus-g initial surface CHMR in Ω∩B_R
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.
Forward citations
Cited by 1 Pith paper
-
Convexity of mean convex asymptotically conical self-expanders to the mean curvature flow
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
-
[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
work page 1972
-
[2]
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
work page 1995
-
[3]
Richard H Bamler and Bruce Kleiner, On the multiplicity one conjecture for mean curvature flows of surfaces (2024), available at 2312.02106
arXiv 2024
-
[4]
Jacob Bernstein, Letian Chen, and Lu Wang, Existence of monotone morse flow lines of the expander functional (2024), available at 2404.08541
arXiv 2024
-
[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
work page 2021
-
[6]
, The space of asymptotically conical self-expanders of mean curvature flow , Math. Ann. 380 (2021), no. 1-2, 175–230. MR4263682
work page 2021
-
[7]
, A mountain-pass theorem for asymptotically conical self-expanders , Peking Math. J. 5 (2022), no. 2, 213–278. MR4492654
work page 2022
-
[8]
, Topological uniqueness for self-expanders of small entropy, Camb. J. Math.10 (2022), no. 4, 785–833. MR4524828
work page 2022
Show all 44 references
-
[9]
, An integer degree for asymptotically conical self-expanders, Calc. Var. Partial Differ- ential Equations 62 (2023), no. 7, Paper No. 200, 46. MR4621517
2023
-
[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
1978
-
[11]
Simon Brendle, Embedded self-similar shrinkers of genus 0 , Ann. of Math. (2) 183 (2016), no. 2, 715–728. MR3450486
2016
-
[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
2025
-
[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
2022
-
[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
2023
-
[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
2024
-
[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
2023 arXiv
-
[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
2024
-
[18]
Otis Chodosh and Felix Schulze, Uniqueness of asymptotically conical tangent flows , Duke Math. J. 170 (2021), no. 16, 3601–3657. MR4332673
2021
-
[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–
1985
-
[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
2002
-
[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
2004
-
[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
2013
-
[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
2010
-
[24]
Qi Ding, Minimal cones and self-expanding solutions for mean curvature flows , Math. Ann. 376 (2020), no. 1-2, 359–405. MR4055164
2020
-
[25]
Klaus Ecker and Gerhard Huisken, Mean curvature evolution of entire graphs, Ann. of Math. (2) 130 (1989), no. 3, 453–471. MR1025164
1989
-
[26]
David Hoffman, Francisco Martin, and Brian White, Generating shrinkers by mean curvature flow (2025), available at 2502.20340
2025
-
[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
1990
-
[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)
1998
-
[29]
Tom Ilmanen and Brian White, Fattening in mean curvature flow , Ars Inven. Anal. (2025), Paper No. 4, 32. MR4888468
2025
-
[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
1997
-
[31]
Daniel Ketover, Equivariant min-max theory (2016), available at 1612.08692
2016 arXiv
-
[32]
, Free boundary minimal surfaces of unbounded genus (2016), available at 1612. 08691
2016
-
[33]
Differential Geom
, Genus bounds for min-max minimal surfaces, J. Differential Geom. 112 (2019), no. 3, 555–590. MR3981297
2019
-
[34]
, Self-shrinkers whose asymptotic cones fatten (2024), available at 2407.01240
2024 arXiv
-
[35]
Tang-Kai Lee and Xinrui Zhao, Closed mean curvature flows with asymptotically conical sin- gularities (2024), available at 2405.15577
2024 arXiv
-
[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
2015
-
[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
2012
-
[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–
1982
-
[39]
Richard Schoen, Estimates for stable minimal surfaces in three-dimensional manifolds , Semi- nar on minimal submanifolds, 1983, pp. 111–126. MR795231
1983
-
[40]
Guanhua Shao and Jiahua Zou, Self-shrinkers with any number of ends in R3 by stacking R2 (2025), available at 2507.18825
2025 arXiv
-
[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
1983
-
[42]
Lu Wang, Uniqueness of self-similar shrinkers with asymptotically conical ends, J. Amer. Math. Soc. 27 (2014), no. 3, 613–638. MR3194490
2014
-
[43]
Brian White, The topology of hypersurfaces moving by mean curvature, Comm. Anal. Geom. 3 (1995), no. 1-2, 317–333. MR1362655
1995
-
[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...
2024
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.