pith. sign in

arxiv: 2603.03070 · v3 · submitted 2026-03-03 · 🧮 math.DG

On Simon's third gap conjecture for minimal surfaces in spheres

Weiran Ding , Jianquan Ge , Fagui Li This is my paper

Pith reviewed 2026-05-15 16:39 UTC · model grok-4.3

classification 🧮 math.DG
keywords minimal surfacesunit sphereSimon's conjecturegap theoremsecond fundamental formself-shrinkersrigidityintegral identities
0
0 comments X

The pith

Closed minimal surfaces in the unit sphere exhibit a gap in the squared norm of the second fundamental form across the interval from 5/3 to 9/5.

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

The paper continues work on Simon's third gap conjecture by studying closed minimal surfaces in the unit sphere. The authors refine third-order Simons-type integral identities and derive new lower bounds on higher-order curvature terms. These tools establish that the squared norm of the second fundamental form cannot enter the open interval between 5/3 and 9/5, with the gap holding at the endpoints as well. The result yields a rigidity theorem for closed self-shrinkers as a direct application.

Core claim

By developing refined third-order Simons-type integral identities and establishing new lower bounds for higher-order curvature terms, we obtain positive gap results throughout the entire interval [5/3,9/5] for the squared norm of the second fundamental form, including the endpoint cases. As an application, we establish a rigidity result for closed self-shrinkers.

What carries the argument

Refined third-order Simons-type integral identities combined with new lower bounds for higher-order curvature terms.

Load-bearing premise

The refined third-order Simons-type integral identities and new lower bounds for higher-order curvature terms hold for all closed minimal surfaces in the unit sphere without additional restrictions on dimension or topology.

What would settle it

A closed minimal surface in the unit sphere whose squared norm of the second fundamental form lies strictly between 5/3 and 9/5 would disprove the claimed gap.

read the original abstract

In this paper, continuing our previous work, we investigate the third gap problem in the Simon conjecture for closed minimal surfaces in the unit sphere. By developing refined third-order Simons-type integral identities and establishing new lower bounds for higher-order curvature terms, we obtain positive gap results throughout the entire interval $\left[\frac{5}{3},\frac{9}{5}\right]$ for the squared norm of the second fundamental form, including the endpoint cases. As an application, we establish a rigidity result for closed self-shrinkers.

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 manuscript develops refined third-order Simons-type integral identities and new lower bounds for higher-order curvature terms to establish positive gap results for the squared norm of the second fundamental form |A|^2 of closed minimal surfaces in the unit sphere throughout the interval [5/3, 9/5], including the endpoints. As an application, it proves a rigidity result for closed self-shrinkers.

Significance. If the central derivations hold, the work would fill a key interval in Simon's third gap conjecture, extending previous gap results and providing a complete picture of possible |A|^2 values in that range. The self-shrinker rigidity application strengthens the link to mean curvature flow and singularity analysis.

major comments (2)
  1. [Main technical section (integral identities)] The refined third-order integral identities (developed in the main technical section following the preliminaries) are asserted to yield strict positivity of the gap throughout [5/3, 9/5] without dimension or topology restrictions, but the derivation of the lower bounds on the higher-order curvature terms at the endpoints requires explicit verification that equality cannot hold for non-totally geodesic surfaces; the current sketch leaves open whether the integrated remainder terms vanish or change sign precisely at |A|^2 = 5/3 and 9/5.
  2. [Section on lower bounds for curvature terms] The pointwise lower bounds for the cubic and quartic curvature terms (used to close the gap estimate) are claimed to hold for arbitrary closed minimal surfaces, yet the proof appears to invoke integration by parts whose boundary contributions are dismissed without a separate lemma confirming they vanish identically on closed manifolds; this step is load-bearing for the endpoint cases.
minor comments (2)
  1. [Abstract and introduction] Notation for the squared second fundamental form should be standardized (e.g., consistently use |A|^2 rather than alternating with S or other symbols) across all statements of the gap interval.
  2. [Final application section] The application to self-shrinkers would benefit from a brief recall of the relation between the minimal surface equation in the sphere and the self-shrinker equation to make the rigidity statement self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate the necessary clarifications and additions in the revised version.

read point-by-point responses

  1. Referee: The refined third-order integral identities (developed in the main technical section following the preliminaries) are asserted to yield strict positivity of the gap throughout [5/3, 9/5] without dimension or topology restrictions, but the derivation of the lower bounds on the higher-order curvature terms at the endpoints requires explicit verification that equality cannot hold for non-totally geodesic surfaces; the current sketch leaves open whether the integrated remainder terms vanish or change sign precisely at |A|^2 = 5/3 and 9/5.

    Authors: We agree that the endpoint equality cases merit explicit verification. In the revised manuscript we will add a dedicated subsection following the derivation of the refined integral identities. There we compute the integrated remainder terms explicitly at |A|^2 = 5/3 and 9/5, using the algebraic relations satisfied by the curvature tensor of minimal surfaces in the sphere together with the non-negativity properties established earlier in the paper. The calculation shows that these remainder terms are non-negative and vanish if and only if the second fundamental form is identically zero, thereby confirming that the gap is strict for non-totally geodesic surfaces. revision: yes

  2. Referee: The pointwise lower bounds for the cubic and quartic curvature terms (used to close the gap estimate) are claimed to hold for arbitrary closed minimal surfaces, yet the proof appears to invoke integration by parts whose boundary contributions are dismissed without a separate lemma confirming they vanish identically on closed manifolds; this step is load-bearing for the endpoint cases.

    Authors: We thank the referee for highlighting this point. Since the surfaces are closed and compact without boundary, the divergence theorem implies that all boundary contributions from integration by parts vanish identically. To make the argument fully self-contained we will insert a short lemma in the preliminaries section stating that, for any smooth vector field X on a closed Riemannian manifold, ∫_M div(X) dvol = 0. This lemma will be invoked explicitly when deriving the lower bounds at the endpoints, removing any ambiguity. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by establishing new third-order Simons-type integral identities and pointwise lower bounds on higher-order curvature terms directly from the minimal surface equation via integration by parts and algebraic estimates. These steps are independent of fitted parameters, self-referential definitions, or load-bearing self-citations; the gap results in [5/3, 9/5] for |A|^2 follow as consequences of the derived inequalities without reducing to the inputs by construction. The mention of prior work provides context but does not carry the central claims.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard properties of the sphere and minimal surfaces plus newly developed integral identities; no free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract.

axioms (1)
  • domain assumption Closed minimal surfaces in the unit sphere satisfy the standard Simons-type integral identities and curvature relations from differential geometry.
    Invoked implicitly to develop the refined third-order versions.

pith-pipeline@v0.9.0 · 5375 in / 1160 out tokens · 40827 ms · 2026-05-15T16:39:52.326811+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

37 extracted references · 37 canonical work pages

  1. [1]

    Benko, M

    K. Benko, M. Kothe, K. D. Semmler and U. Simon,Eigenvalues of the Laplacian and curvature, Colloq. Math.,42(1979), 19–31

    work page 1979

  2. [2]

    Bolton, G

    J. Bolton, G. R. Jensen, M. Rigoli and L. M. Woodward,On conformal minimal immersions ofS 2 intoCP n, Math. Ann.,279(1988), 599–620

    work page 1988

  3. [3]

    Bolton and L

    J. Bolton and L. M. Woodward,On the Simon conjecture for minimal immersions withS 1-symmetry, Math. Z.,200(1988), 111–121

    work page 1988

  4. [4]

    Bryant,Minimal surfaces of constant curvature inS n, Trans

    R. Bryant,Minimal surfaces of constant curvature inS n, Trans. Amer. Math. Soc.,290(1985), 259–271

    work page 1985

  5. [5]

    Calabi,Minimal immersions of surfaces in Euclidean spheres, J

    E. Calabi,Minimal immersions of surfaces in Euclidean spheres, J. Differential Geom.,1(1967), 111–125

    work page 1967

  6. [6]

    H. D. Cao and H. Z. Li,A gap theorem for self-shrinkers of the mean curvature flow in arbitrary codimension, Calc. Var. Partial Differential Equations,46(2013), 879–889

    work page 2013

  7. [7]

    S. Cao, H. Xu and E. Zhao,Pinching theorems for self-shrinkers of higher codimension, Results Math.,79(2024), 282

    work page 2024

  8. [8]

    Q. M. Cheng, G. X. Wei and T. Yamashiro,The second gap of the scalar curvature of complete minimal hypersurfaces, Comm. Anal. Geom.,33(2025), 623–636

    work page 2025

  9. [9]

    S. S. Chern, M. do Carmo and S. Kobayashi,Minimal submanifolds of a sphere with second fundamen- tal form of constant length, In: Functional Analysis and Related Fields: Proceedings of a Conference in honor of Professor Marshall Stone, held at the University of Chicago, May 1968. Berlin: Springer, (1970), 59–75

    work page 1968

  10. [10]

    T. H. Colding, T. Ilmanen, W. P. Minicozzi II and B. White,The round sphere minimizes entropy among closed self-shrinkers, J. Differential Geom.,95(2013), 53–69

    work page 2013

  11. [11]

    T. H. Colding and W. P. Minicozzi II,Generic mean curvature flow I: generic singularities, Ann. Math.,175(2012), 755–833

    work page 2012

  12. [12]

    Ding and Y

    Q. Ding and Y. L. Xin,On Chern’s problem for rigidity of minimal hypersurfaces in the spheres, Adv. Math.,227(2011), 131–145

    work page 2011

  13. [13]

    Ding and Y

    Q. Ding and Y. L. Xin,The rigidity theorems of self-shrinkers, Trans. Amer. Math. Soc.,366(2014), 5067–5085

    work page 2014

  14. [14]

    W. R. Ding, J. Q. Ge and F. G. Li,Pinching rigidity of minimal surfaces in spheres, Sci. China Math.,68(2025), 2189–2206

    work page 2025

  15. [15]

    W. R. Ding, J. Q. Ge, F. G. Li and X. Z. Yang,Lu’s conjecture for minimal surfaces, arXiv:2601.07194

    work page arXiv

  16. [16]

    J. Q. Ge, Y. Tao and Y. Zhou,Normal scalar curvature inequality on a class of austere submanifolds, Math. Z.,84(2026). https://doi.org/10.1007/s00209-026-03959-z. 20 W. R. DING, J. Q. GE, AND F. G. LI

    work page doi:10.1007/s00209-026-03959-z 2026

  17. [17]

    J. R. Gu, H. W. Xu, Z. Y. Xu, et al.,A survey on rigidity problems in geometry and topology of submanifolds, In: Proceedings of the 6th International Congress of Chinese Mathematicians. Advanced Lectures in Mathematics, vol. 37. Beijing-Boston: Higher Education Press-International Press, (2016), 79–99

    work page 2016

  18. [18]

    Huisken,Asymptotic behavior for singularities of the mean curvature flow, J

    G. Huisken,Asymptotic behavior for singularities of the mean curvature flow, J. Differential Geom., 31(1990), 285–299

    work page 1990

  19. [19]

    Itoh,A characterization of the generalized Veronese surfaces, Proc

    T. Itoh,A characterization of the generalized Veronese surfaces, Proc. Amer. Math. Soc.,104(1988), 571–576

    work page 1988

  20. [20]

    Kozlowski and U

    M. Kozlowski and U. Simon,Minimal immersions of2-manifolds into spheres, Math. Z.,186(1984), 377–382

    work page 1984

  21. [21]

    L. Lei, H. W. Xu and Z. Y. Xu,On the generalized Chern conjecture for hypersurfaces with constant mean curvature in a sphere, Sci. China Math.,64(2021), 1493–1504

    work page 2021

  22. [22]

    H. Z. Li and U. Simon,Quantization of curvature for compact surfaces inS n, Math. Z.,245(2003), 201–216

    work page 2003

  23. [23]

    Z. Q. Li, S. P. Luo and A. M. Huang,Notes on the Udo Simon’s conjecture (in Chinese), Journal of Nanchang University (Natural Science),32(2008), 511–523

    work page 2008

  24. [24]

    Z. Q. Lu,Normal scalar curvature conjecture and its applications, J. Funct. Anal.,261(2011), 1284–1308

    work page 2011

  25. [25]

    Magliaro, L

    M. Magliaro, L. Mari, F. Fernanda and A. Savas-Halilaj,Sharp pinching theorems for complete submanifolds in the sphere, J. reine angew. Math.,814(2024), 117–134

    work page 2024

  26. [26]

    Okayasu,Minimal immersions of curvature pinched 2-manifolds into spheres, Kodai Math

    T. Okayasu,Minimal immersions of curvature pinched 2-manifolds into spheres, Kodai Math. J.,10 (1987), 116–126

    work page 1987

  27. [27]

    C. K. Peng and C. L. Terng,The scalar curvature of minimal hypersurfaces in spheres, Math. Ann., 266(1983), 105–113

    work page 1983

  28. [28]

    Sakamoto,On the curvature of minimal 2-spheres in spheres, Math

    K. Sakamoto,On the curvature of minimal 2-spheres in spheres, Math. Z.,228(1998), 605–627

    work page 1998

  29. [29]

    Scherfner, S

    M. Scherfner, S. Weiss and S. T. Yau,A review of the Chern conjecture for isoparametric hypersur- faces in spheres, In: Advances in Geometric Analysis, Advanced Lectures in Mathematics, vol. 21. Beijing-Boston: Higher Education Press-International Press, (2012), 175–187

    work page 2012

  30. [30]

    Simons,Minimal varieties in Riemannian manifolds, Ann

    J. Simons,Minimal varieties in Riemannian manifolds, Ann. of Math. (2),88(1968), 62–105

    work page 1968

  31. [31]

    Smoczyk,Self-shrinkers of the mean curvature flow in arbitrary codimension, Int

    K. Smoczyk,Self-shrinkers of the mean curvature flow in arbitrary codimension, Int. Math. Res. Not.,2005(2005), 2983–3004

    work page 2005

  32. [32]

    Z. Z. Tang, D. Y. Wei and W. J. Yan,A sufficient condition for a hypersurface to be isoparametric, Tohoku Math. J. (2),72(2020), 493–505

    work page 2020

  33. [33]

    Z. Z. Tang and W. J. Yan,On the Chern conjecture for isoparametric hypersurfaces, Sci. China Math.,66(2023), 143–162

    work page 2023

  34. [34]

    H. W. Xu and Z. Y. Xu,On Chern’s conjecture for minimal hypersurfaces and rigidity of self- shrinkers, J. Funct. Anal.,273(2017), 3406–3425

    work page 2017

  35. [35]

    H. C. Yang and Q. M. Cheng,An estimate of the pinching constant of minimal hypersurfaces with constant scalar curvature in the unit sphere, Manuscripta Math.,84(1994), 89–100

    work page 1994

  36. [36]

    H. C. Yang and Q. M. Cheng,Chern’s conjecture on minimal hypersurfaces, Math. Z.,227(1998), 377–390

    work page 1998

  37. [37]

    Y. H. Zhao,A gap theorem on closed self-shrinkers of mean curvature flow, arXiv:2503.00505. ON SIMON’S THIRD GAP CONJECTURE FOR MINIMAL SURF ACES IN SPHERES 21 1School of Mathematical Sciences, South China Normal University, Guangzhou 510000, P. R. CHINA. Email address:dingwr0806@m.scnu.edu.cn 2School of Mathematical Sciences, Laboratory of Mathematics an...

    work page arXiv