Pith. sign in

REVIEW 3 major objections 3 minor 2 cited by

Minimal surfaces with arbitrary genus in 3-spheres of positive Ricci curvature

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Every positively curved 3-sphere contains embedded minimal surfaces of every genus, with area at most twice the least minimal sphere.

desk verdict A serious, genuinely new arbitrary-genus minimal-surface result, but the proof of Lemma 4.6 relies on Lemma 7.1 with a closed B instead of an open one, and that gap needs to be fixed or justified. read the letter →

arxiv 2508.06019 v1 pith:S7PHEVDY submitted 2025-08-08 math.DG math.APmath.GT

Adrian Chun-Pong Chu This is my paper
classification math.DGmath.APmath.GT MSC 53A1049Q0553C42
keywords minimalsurfaces3-spherepositiveRiccicurvaturearbitrarygenusmin-maxtheorySimon-Smithwidthsingularpinch-offprocess
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

The paper claims that any Riemannian metric on the 3-sphere with positive Ricci curvature admits, for every genus g, an orientable embedded minimal surface of genus exactly g, with area at most twice the area of the least-area minimal sphere (the first Simon-Smith width). To prove this, it constructs a (2g+3)-parameter family of surfaces with finitely many singularities, called a Simon-Smith family, whose members have genus at most g and which cannot be deformed by isotopy, neck-pinch surgery, or shrinking components to points into the subset of genus at most g−1. A companion min-max theorem, proved here as Theorem 2.10 with an improved area bound, converts this non-deformability into an actual genus-g minimal surface in any positively curved 3-sphere. The area bound comes from deforming the family so that all high-genus members are varifold-close to a multiplicity-two foliation by spheres, then transporting the family to the given metric via a foliation by mean-convex and mean-concave spheres centered on the least-area minimal sphere. If correct, the result answers the existence question for all genera at once and ties every genus to a single width scale.

What carries the argument

The load-bearing object is the Simon-Smith family $\Psi: \mathbb{RP}^5 \times B^{2g-2} \to S_{\le g}(S^3)$, built from the 5-sweepout $\{a_0+a_1x_1+\cdots+a_5x_1x_2=0\}$ by replacing each singular intersection circle with up to $g+1$ handles. In a thin tubular neighborhood the surface is $x_1x_2+\epsilon F_b(\alpha)=0$, with $F_b$ a trigonometric polynomial of degree $g+1$; the number of odd-multiplicity roots gives the genus via $g(\Psi)=\frac12 N_{\mathrm{odd}}(F_b)-1$. Non-deformability is carried by homology descent: a pinch-off process induces a map into the Grassmannian of subgroups of $\mathbb{Z}_2^g\oplus\mathbb{Z}_2^g$, and Theorem 4.10 says the boundary cycle of the genus-$g$ regio

What would settle it

Check the application of Lemma 7.1 with $B=\partial Y$ in the model case g=2, where $Y=\mathbb{RP}^5\times B^2$ and $\partial Y=\mathbb{RP}^5\times S^1$: compute whether $[Y]\frown \lambda^5$ lifts to a class in $H_2(Z_{\ge 1},Z_{\ge 1}\cap\partial Y)$. If no such lift exists, the cycle D is not produced and the contradiction in Section 4.5 collapses.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: every Riemannian 3-sphere of positive Ricci curvature contains, for every g, an orientable embedded genus-g minimal surface with area at most $2\sigma_1(S^3)$, twice the least-area minimal sphere. The proof rests on Theorem 1.1, a map $\Psi:\mathbb{RP}^5\times B^{2g-2}\to S_{\le g}(S^3)$ that cannot be deformed by isotopy, neck-pinch surgery, or shrinking components to points into $S_{\le g-1}(S^3)$. The family desingularizes the 5-sweepout $\{a_0+a_1x_1+\cdots+a_5x_1x_2=0\}$, replacing a neighborhood of the intersection circle of two spheres by up to g+1 handles governed by a degree g+1 trigonometric polynomial $F_b$. A homology-descent argument forces some

Load-bearing premise

The load-bearing premise is that Lemma 7.1, stated for an open subset B of a simplicial complex, can be applied to the closed boundary $B=\partial Y=\partial(\mathbb{RP}^5\times B^{2g-2})$; no adaptation is supplied, and this step produces the essential homology cycle [D] that the contradiction argument requires.

Editorial extensions

If this is right

  • For every g, positive Ricci curvature on $S^3$ forces at least one embedded minimal surface of that genus; earlier results covered only g=1 and g=2.
  • The area bound is uniform in g: at most $2\sigma_1(S^3)$, which for the round sphere is $8\pi$—the same scale to which the classical Lawson surfaces (embedded genus-g minimal surfaces in the round 3-sphere) are known to converge as $g\to\infty$.
  • The family's parameter dimension, 2g+3, matches the Morse index 2g+3 of the genus-g Lawson surface, suggesting the construction is index-optimal.
  • If the standard conjecture that Lawson surfaces minimize area among embedded genus-g minimal surfaces is correct, the $8\pi$ bound is sharp for every g in the round sphere.

Reading between the lines

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

  • The paper leaves implicit that the same topological non-deformability should hold for analogous spaces of surfaces in other 3-manifolds; if the min-max conversion extends, arbitrary-genus minimal surfaces would exist in many more closed 3-manifolds, with area controlled by an appropriate width.
  • A natural testable extension is to compute the min-max widths of the modified families $\Psi_\delta$ as $\delta\to 1$ in the round sphere; the paper's area argument predicts that for each g the least-area embedded genus-g minimal surface has area approaching $8\pi$ from below, consistent with known asymptotics for high-genus Lawson surfaces.
  • The homology-descent formalism—tracking which homology classes of the complement survive a pinch-off—may be the right tool for counting minimal surfaces of each genus, since the lower bound $n_g(S^3)$ should mirror the Betti numbers of the pair $(S_{\le g}(S^3),S_{\le g-1}(S^3))$, in analogy with perfect Morse functions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper proves a topological non-deformability statement for families of genus-≤g punctate surfaces in S^3 (Theorem 1.1). For every g, it explicitly constructs a Simon-Smith family Ψ: RP^5×B^{2g−2} → S_{≤g}(S^3) that cannot be deformed via pinch-off processes into S_{≤g−1}(S^3). The construction desingularizes a 5-sweepout of two intersecting spheres by inserting a B^{2g−2}-family of handles. Using a companion min-max theorem of Chu–Li–Wang [CLW25], the paper then derives Theorem 1.2: every Riemannian 3-sphere of positive Ricci curvature contains, for every g, an orientable embedded genus-g minimal surface of area at most 2σ_1(S^3). The proof combines a homology-descent argument for pinch-off processes with a nontrivial topological computation in a Grassmannian of subspaces of Z_2^{2g}.

Significance. If correct, Theorem 1.2 is a striking result: positively curved 3-spheres contain embedded minimal surfaces of every genus at the area scale of the least-area minimal sphere. The area bound 2σ_1 is new and sharp in the unit sphere under the Lawson/Kusner conjectures. Theorem 1.1, the topological non-deformability statement, is a substantial contribution in its own right and is explicitly constructed rather than obtained by abstract existence. The paper is detailed: many technical claims are proved in later sections and appendices, and the dependence on the companion paper [CLW25] is transparent. However, the central geometric conclusion is conditional on imported results from [CLW25], and one load-bearing topological step in the proof of Theorem 1.1 has a hypothesis mismatch that the manuscript does not address. The topological theorem is likely salvageable, but the present version has a genuine gap.

major comments (3)
  1. [§7, proof of Lemma 4.6; Lemma 7.1] Lemma 7.1 is stated only for an open subset B⊂X, but the application takes B:=∂Y, which is closed in Y=RP^5×B^{2g−2}. The relative homology class θ produced by Lemma 7.1 is exactly what yields the essential (2g−2)-cycle D used in §4.3–§4.5 and Theorem 4.10. No closed-subspace version is stated or proved. The gap is likely repairable (for example, apply Lemma 7.1 to an open collar of ∂Y and then use excision/deformation retraction), but as written the key step is unsupported. In addition, the assertion that W2:=Z_{\ge1} is open requires a semicontinuity property of genus in S(M) that is not proved.
  2. [§2.3, proof of Theorem 2.10] In the construction of the deformation G, the paper defines η:X→[0,1] and then writes G(t,x):=H(η(t),x). Since H is a map on [0,1]×Z and η is a function of x, the notation η(t) is not meaningful. The intended formula is presumably H(tη(x),x) or a similar cutoff of the time parameter. As written, G is not well-defined, and the claim that t↦G(t,x) is a pinch-off process needs verification. This is central because Theorem 2.10 is the bridge from Theorem 1.1 to Theorem 1.2.
  3. [§2.3, proof of Theorem 2.10, choice of Z'] The set X_g={x:g(Ψ(x))=g} is open, not compact. The proof asserts the existence of a subcomplex Z' whose interior contains X_g and on which area<L+ε/3, and later a subcomplex Z containing Z' with a cutoff function η. This requires an argument using tameness of X_g and continuity of area that is not supplied. Without it, the claimed improvement of the area bound from max_x area(Ψ(x)) to sup over genus-g members is not fully justified.
minor comments (3)
  1. [§8, Remark 8.3] Remark 8.3 states that X_g is a closed (2g−1)-ball, but Proposition 4.8 and the surrounding dimension count give a (2g+1)-ball. This is a typo.
  2. [§6.3, Lemma 6.2 and surrounding notation] The notation for A_1^{(0,0)} is inconsistent: it appears as A_1^0, A_1^{(0,0)}, and A_1^0 in different places. Please unify.
  3. [General] There are minor typographical issues, e.g. 'eqipped' in §2.2, and some references to [CLW25] (e.g. Lemma 7.7 (a),(b)) are quoted without restating the statement. Since the present paper already includes a proof in Appendix B, this is acceptable but should be made self-contained where feasible.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the new topological family is constructed independently, and the min-max conversion is borrowed as an external general theorem, not fitted or assumed.

full rationale

I find no circular step. Theorem 1.1 is an explicit construction (Sections 4–10) of a non-deformable Simon-Smith family; its proof does not presuppose the existence of a genus-g minimal surface. The move to Theorem 1.2 applies Theorem 2.10, an area-bound refinement of [CLW25, Theorem 1.3]. That cited theorem is a general min-max conversion with stated assumptions that do not include the conclusion; it is not a fitted parameter or a rename of the target. The area bound L in (2.1) is the supremum of areas of genus-g members, not a fitted value, and Section 5 explicitly deforms the family so that L < 2 sigma_1 + epsilon, using the external Haslhofer-Ketover foliation. Self-citations such as [CL24, Prop. 2.6/2.11] and [CLW25, Lemma 3.11] are load-bearing but are prior theorems with independent statements; under the stated rules they are independent support and do not raise the circularity score. The one serious issue is a hypothesis mismatch, not a circularity: Lemma 7.1 requires B open, while Lemma 4.6 sets B = ∂Y; this affects the construction of the essential cycle [D] but is a repairable proof gap rather than a reduction of the conclusion to its input.

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

The argument imports several heavy theorems, mostly standard min-max inputs plus one same-author companion theorem. It introduces no empirical constants and no new physical or geometric entities. The only hand-chosen quantities are auxiliary smallness functions with no fitted values.

free parameters (1)
  • smallness functions eta, epsilon_1, epsilon_2 and auxiliary constants epsilon_3, delta, theta = unspecified, chosen sufficiently small
    Introduced in Section 4.1, Section 5.1, and Section 1.3 to make Psi a Simon-Smith family and to push the area bound below 2 sigma_1. The theorems assert existence of sufficiently small choices, so no fitted numeric value enters the statement.
assumptions (6)
  • standard math Almgren isomorphism theorem: the space of integral cycles is weakly homotopy equivalent to RP^infinity
    Invoked in Section 2.2 to define p-sweepouts and the cohomology class lambda.
  • domain assumption Multiplicity-one and genus-bounding results of Simon-Smith and Almgren-Pitts min-max theory, especially Wang-Zhou [WZ23]
    Used in Theorem 2.10 to convert non-deformability into embedded minimal surfaces; not proved in this paper.
  • ad hoc to paper [CLW25, Theorem 1.3]: non-deformability of a Simon-Smith family yields a genus-g minimal surface
    The main engine for Theorem 1.2; quoted from the same authors' companion preprint and only improved in area bound.
  • domain assumption Proposition 2.6: no Simon-Smith family of genus 0 in S^3 is a 5-sweepout
    Taken from [CL24, Section 3] and used in Section 4.2 to ensure lambda^5 vanishes on the genus-0 part.
  • domain assumption Haslhofer-Ketover optimal 1-sweepout and foliation by mean-convex and mean-concave spheres for the least-area minimal sphere
    Used in Section 5.2 to transfer the unit-sphere construction to an arbitrary metric of positive Ricci curvature.
  • standard math Half lives, half dies theorem and Alexander duality for homology of complements
    Used in Appendix A to prove Lemma 3.16 on the rank of the linking form.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Minimal surfaces with arbitrary genus in 3-spheres of positive Ricci curvature." pith.science (2026). https://pith.science/paper/S7PHEVDY

@misc{pith2026250806019,
  author       = {Pith},
  title        = {Pith review of: Minimal surfaces with arbitrary genus in 3-spheres of positive Ricci curvature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/S7PHEVDY}},
  note         = {Machine review of arXiv:2508.06019}
}
read the original abstract

We describe some topological structure in the set of all surfaces with finitely many singularities in the 3-sphere. As an application, we prove that every Riemannian 3-sphere of positive Ricci curvature contains, for every g, a genus g embedded minimal surface with area at most twice the first Simon-Smith width of the ambient 3-sphere.

Figures

Figures reproduced from arXiv: 2508.06019 by the authors.

Figure 1
Figure 1. This is an example of pinch-off process with two spacetime singularities. It has one neck-pinch surgery (the second picture shows a double cone), and one connected com￾ponent shrunk to a point. minimal surfaces ξg,1 approaches 8π from below as g → ∞. Thus, assuming the well-known conjecture that ξg,1 minimizes the area among embedded genus g minimal surfaces (see [Kus89] by R. Kusner), the area bound in Theorem 1.2 … view at source ↗
Figure 2
Figure 2. This shows one member of Ψ which desingularizes the zero set (x1 + a2)(x2 + a1) = 0 using handles of different sizes and locations. The vertical axis represents the circle of intersection C(a1, a2) := {x1 + a2 = x2 + a1 = 0} Note, in [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. The top row shows a one-parameter family of ini￾tial conditions {Ms}s∈[0,1] such that, under mean curvature flow, M0 will develop an inward neck-pinch, while M1 an outward neck-pinch. Then there exists some s0 ∈ [0, 1] such that Ms0 will develop a genus one singularity. 2, the surface should intersect the vertical axis at 2g + 2 distinct points). In this case, H1(S 3\Ψ(y)) = Z g 2 ⊕ Z g 2 . On the other hand, for ev… view at source ↗
Figures from the paper (9 more)
Figure 4
Figure 4. Figure 4: A genus 2 surface with loops for pinching, and an illustration of Gr2 [1]. the complement region of some singular genus 1 surface. The labels indicates the loops pinched, and the arrows point to the smaller subgroups. At the same time, each of these 12 points can be vi…
Figure 5
Figure 5. Figure 5: The loop in the top picture is γ0, while the loop in the bottom picture is γ1. The shaded surface is σ. Proof. In [CL24, §9], it was proven that for any loop in W[T1], we can homo￾tope it within W[T0, T1] to a loop in W[T0]. Now, letting c1 be represented by a sum of l…
Figure 6
Figure 6. Figure 6: The horizontal line, with the endpoints removed, is Asing. The white region is A1 and the shaded region is A2. Let ψ : (A1∪A2)×S 3 → [0, 1] be a smooth function such that (see [PITH_FULL_IMAGE:figures/full_fig_p028_6.png]
Figure 7
Figure 7. Figure 7: Withing the left edge, the top segment is - A2 while the bottom segment is A1. Within the bottom edge, the left segment is N1, the middle is N2, while the right segment is S3\(N1 ∪ N2). Then the function ψ is 1 on the blue part, and 0 on the red part. • For a ∈ A1 ∪ A2…
Figure 8
Figure 8. Figure 8: This shows A1×B2g−2 . The orange slice is A1×0. The plane with blue boundary is A0 1×B2g−2 . The green curve is σ1, which can be deformed (following the green straight lines) to the red curve, denoting σ2 := F1(1, ·) ◦ σ1. Lemma 4.7. In X, σ2 and A0 1 × 0 still have in…
Figure 9
Figure 9. Figure 9: The whole blue box is X, and the blue shaded region is Xg. The red curve is σ2, and the yellow line is τ = A0 1 × 0, which is deformed into τ ′′, denoted by the green segments. The purple part is ∂Xg ∩ X≥1. can be directly checked via inspecting the expression (4.3). N…
Figure 10
Figure 10. Figure 10: We just focus on the x1, x2 coordinates. The black lines are the x1, x2-axes, and the circle is the unit circle. The two blue lines are given by (x1 +a2)(x2 +a1) = 0. Given a fixed δ, they are pushed by ρδ(a) to the orange lines given by (5.1). The red line is given b…
Figure 11
Figure 11. Figure 11: This shows an example of Ψ(a, b) for a ∈ A1. The vertical axis denotes the circle C(a1, a2). The four blue planes denote Ψ(a, b) ∩ N2, which is homeomorphic to four copies of S 1 × [0, 1]. 6.1.3. Part (c). For a ∈ A1, Ψ(a, b) ∩ N1 is given by the zero set of (x1 + a2)…
Figure 12
Figure 12. Figure 12: From left to right, we type type (1), (2), and (3). For the general case a ∈ A2, the surface concerned is given by the zero set of (6.2) (x1 + a2)(x2 + a1) + (a0 − a1a2) + ς(a, x)(a3 cos α + a4 sin α), where ς(a, x) := (1 − ψ(a, x))q 1 − x 2 1 − x 2 2 + ψ(a, x) q 1 − …

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Existence of two embedded minimal spheres in $S^3$ with an arbitrary metric

    math.DG 2026-07 accept novelty 7.0 of 10

    Every Riemannian manifold diffeomorphic to S^{3} contains at least two distinct embedded minimal 2-spheres.

  2. Minimal spheres and scalar curvature

    math.DG 2026-05 unverdicted novelty 6.0 of 10

    In 3-spheres with positive Ricci curvature and scalar curvature at least Lambda_0 > 0, there exist four distinct embedded minimal 2-spheres with areas at most 12 pi (i+1)/Lambda_0, plus an application showing at least...

Reference graph

Works this paper leans on

10 extracted references · 6 canonical work pages · cited by 2 Pith papers

  1. [1]

    The homotopy groups of the integral cycle groups

    [Alm62] Frederick Almgren. “The homotopy groups of the integral cycle groups”. In:Topology1.4 (1962), pp. 257–299. [Alm65] Frederick Almgren. “The theory of varifolds”. In:Mimeographed notes(1965). [BK23] Richard Bamler and Bruce Kleiner. “Ricci flow and diffeomor- phism groups of 3-manifolds”. In:Journal of the American Math- ematical Society36.2 (2023),...

    arXiv 1962

  2. [2]

    1967, pp

    Cambridge University Press. 1967, pp. 349–352. [nLa25] nLab authors.symmetric product of circles.https://ncatlab. org/nlab/show/symmetric+product+of+circles. Revision

    work page 1967

  3. [6]

    Existence and Morse Index of two free boundary embedded geodesics on Riemannian 2-disks with convex boundary

    arXiv:2309.09896 [math.DG]. [Ko23b] Dongyeong Ko.Morse Index bound of simple closed geodesics on 2-spheres and strong Morse Inequalities

    work page Pith review arXiv

  4. [7]

    Comparison surfaces for the Willmore problem

    arXiv:2303. 00644 [math.DG]. [Kus89] Rob Kusner. “Comparison surfaces for the Willmore problem.” In: (1989). [Law70] H Blaine Lawson. “Complete minimal surfaces in S3”. In:Annals of Mathematics(1970), pp. 335–374. REFERENCES 59 [L W24] Xingzhe Li and Zhichao Wang. “Existence of embedded minimal tori in three-spheres with positive Ricci curvature”. In:arXi...

    arXiv 1989

  5. [24]

    The mod- uli space of two-convex embedded spheres

    Providence, R.I: American Mathematical Society, 2002.isbn: 978-0-8218-3186-1. [BHH21] Reto Buzano, Robert Haslhofer, and Or Hershkovits. “The mod- uli space of two-convex embedded spheres”. In:Journal of Dif- ferential Geometry118.2 (2021), pp. 189–221. [CS85] Hyeong In Choi and Richard Schoen. “The space of minimal em- beddings of a surface into a three-...

    arXiv 2002

  6. [81]

    On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary Riemannian metric

    [Smi82] Francis Smith. “On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary Riemannian metric”. In:Doctoral dissertation(1982). [Sto66] Robert E Stong. “Finite topological spaces”. In:Transactions of the American Mathematical Society123.2 (1966), pp. 325–340. [Str84] M. Struwe. “On a free boundary problem for minimal ...

    arXiv 1982

  7. [1982]

    On the free boundary min-max geodesics

    [Zho16] Xin Zhou. “On the free boundary min-max geodesics”. In:Int. Math. Res. Not. IMRN5 (2016), pp. 1447–1466.issn: 1073- 7928,1687-0247.doi:10.1093/imrn/rnv184. [Zho20] Xin Zhou. “On the multiplicity one conjecture in min-max the- ory”. In:Annals of Mathematics192.3 (2020), pp. 767–820. Cornell University, Ithaca, NY 14853, USA Email address:cc2938@cornell.edu

    work page doi:10.1093/imrn/rnv184 2016

  8. [2002]

    Area esti- mates for high genus Lawson surfaces via DPW

    [HHT23] Lynn Heller, Sebastian Heller, and Martin Traizet. “Area esti- mates for high genus Lawson surfaces via DPW”. In:Journal of Differential Geometry124.1 (2023), pp. 1–35. [Hon+12] Sungbok Hong et al.Diffeomorphisms of elliptic 3-manifolds. Vol

    work page 2023

Show all 10 references
  1. [2012]

    Homotopy of spaces of diffeomorphisms of some three-dimensional manifolds

    [Iva84] Nikolai V Ivanov. “Homotopy of spaces of diffeomorphisms of some three-dimensional manifolds”. In:Journal of Soviet Math- ematics26.1 (1984), pp. 1646–1664. [JM13] Jesse Johnson and Darryl McCullough. “The space of Heegaard splittings”. In:Journal f¨ ur die reine und a...

    1984

  2. [2023]

    Mean curvature flow with surgery

    arXiv:2307.01828 [math.DG]. [HK17] Robert Haslhofer and Bruce Kleiner. “Mean curvature flow with surgery”. In: (2017). [Hat83] Allen Hatcher. “A proof of the Smale conjecture”. In:Annals of Mathematics(1983), pp. 553–607. [Hat02] Allen Hatcher.Algebraic Topology. Cambridge Uni...

    2017 arXiv

Pith tools

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