Pith. sign in

REVIEW 4 minor 1 cited by

On Chern's Conjecture for Minimal Submanifolds with Flat Normal Bundle in Spheres

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Constant S for closed minimal submanifolds with flat normal bundle cannot sit between n and n+δ; only the sphere and Clifford tori appear.

desk verdict First explicit second-gap for constant-S minimal submanifolds of dim n≥3 in higher codimension under flat normal bundle; the analytic chain looks complete. read the letter →

arxiv 2607.10733 v1 pith:KDVKDBRT submitted 2026-07-12 math.DG

Jianquan Ge , Fagui Li , Yunheng Zhang This is my paper
classification math.DG MSC 53C2053C2453C42
keywords ChernconjectureminimalsubmanifoldsflatnormalbundlesecondgapCliffordtorusSimonsinequalityPeng–Ternginvariantrigidity
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

Chern’s conjecture predicts that the squared length S of the second fundamental form of a closed minimal submanifold of a sphere takes only discrete values when it is constant. In higher codimension the problem has been almost open. This paper proves an explicit second-gap theorem under the additional assumption that the normal bundle is flat: if S is constant and lies in the interval [0, n+δ] with an explicit δ at least n/87, then either S vanishes and the submanifold is a totally geodesic sphere, or S equals n and the submanifold is a Clifford torus sitting inside a totally geodesic hypersphere. The argument combines Simons-type identities, a Peng–Terng-type invariant controlled by new algebraic inequalities, and integral estimates on the second derivatives of the second fundamental form. Flatness is essential; without it the same gap already fails for surfaces. The result supplies the first quantitative second-gap rigidity for the constant-S problem in genuinely higher codimension and dimension at least three.

What carries the argument

The Peng–Terng-type invariant ∑(Aα,β−2Bα,β) together with the flat-normal-bundle Simons identity (2.11) and the integral formula (3.15); these let the authors convert pointwise algebraic bounds on the eigenvalues of the shape operators into matching upper and lower integral estimates for |∇2h|2 that force S to jump from 0 to n.

What would settle it

Exhibit a closed minimal submanifold of Sn+m (n≥3) with flat normal bundle, constant S, and n < S ≤ n + n/87 that is neither totally geodesic nor a Clifford torus; or show that the numerical coefficients C1, D1 become non-negative for the stated δ.

Watch

Extended reading notes

Core claim

If Mn (n≥3) is a closed minimal submanifold of the unit sphere Sn+m (m≥2) whose normal bundle is flat and whose second-fundamental-form squared length S is constant and satisfies 0≤S≤n+δ(n,m), where δ is the explicit piecewise constant at least n/87 given in the paper, then either S≡0 and M is totally geodesic, or S≡n and M is a Clifford torus lying in a totally geodesic Sn+1.

Load-bearing premise

The normal bundle must be flat; without simultaneous diagonalization of the shape operators the cross terms cannot be controlled and the gap already fails for surfaces.

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

0 major / 4 minor

Summary. The paper proves an explicit second-gap rigidity theorem for closed minimal submanifolds $M^n$ ($n\geqslant 3$) in the unit sphere $\mathbb{S}^{n+m}$ ($m\geqslant 2$) with flat normal bundle and constant squared second fundamental form $S$. If $0\leqslant S\leqslant n+\delta(n,m)$ with the piecewise explicit $\delta\geqslant n/87$ given after Theorem 1.1, then either $S\equiv 0$ (totally geodesic sphere) or $S\equiv n$ (Clifford torus lying in a totally geodesic $\mathbb{S}^{n+1}$). The argument proceeds from Simons-type identities specialized under flat normal bundle (Propositions 2.1--2.3, Lemma 3.1), algebraic pinching (Lemmas 2.4, 3.4, 3.8), an integral formula for the Peng--Terng-type invariant (Lemma 3.9), and comparison of upper/lower bounds on $\int|\nabla^2 h|^2$ (Theorems 4.3/4.6 for $m=2$; Theorems 5.2/5.4 for $m\geqslant 3$), with the resulting coefficients verified negative by the numerical checks in Appendices A--B.

Significance. This is the first explicit second-gap result for the constant-$S$ Chern-type problem in genuinely higher codimension with $n\geqslant 3$. Combined with the authors' prior first-gap theorem under the same flat-normal-bundle hypothesis, it gives a clean rigidity dichotomy up to an explicit gap of size at least $n/87$. The flat-normal-bundle assumption is used transparently and is shown to be essential (already for $n=2$ via the Li--Zhao examples). The derivation is self-contained analytic work from Gauss--Codazzi--Ricci and Stokes, with fully explicit constants and reproducible numerical verification of the optimized pinching thresholds; this constitutes solid positive evidence for Chern's conjecture in higher codimension under a natural structural hypothesis.

minor comments (4)
  1. The piecewise definition of $\delta(n,m)$ appears both after Theorem 1.1 and in the abstract; a single displayed definition early in the introduction would improve readability.
  2. In Lemma 3.8 the constant $c$ jumps from $32/15$ ($3\leqslant n\leqslant 5$) to $24/5-16/(n+\delta)$ ($n\geqslant 6$); a one-sentence remark explaining the switch (application of Lemma 3.7 with $s=6$ versus $s=a_1$) would help the reader.
  3. Appendices A--B list optimized numerical values of $\sigma,\rho,\kappa$ to many decimals; stating the optimization criterion (e.g., maximize $\delta$ subject to $C_1,C_2<0$ or $D_1,D_2<0$) would make the verification fully transparent.
  4. A few typographical inconsistencies appear (e.g., "FLA T" in the title block, occasional spacing around $\leqslant$). These are purely cosmetic.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: second-gap estimates are self-contained from Simons-type identities and algebraic pinching under flat normal bundle; prior first-gap is used only for classification after S is forced to n.

full rationale

The central claim (Theorem 1.2) is proved by deriving upper/lower integral bounds on ∫| abla^{2}h|^{2} (Theorems 4.3/4.6 for m=2; 5.2/5.4 for m≥3) from the flat-normal-bundle Simons formula (2.11), the integral identity (3.15), and algebraic estimates (Lemmas 2.4, 3.4, 3.8). These force | abla h|^{2} o0, ho_{2} o0 and F o0 when n<S≤n+δ, which by (2.7) yields S=n; the first-gap theorem of the same authors is invoked only afterwards for the classification of the equality cases S=0 and S=n. That citation is ordinary sequential use of a prior result, not a load-bearing premise that makes the gap itself tautological. Free parameters (σ, ho,κ,x,y) are optimized numerically in the appendices and do not encode the target conclusion. No self-definitional loop, fitted-input-as-prediction, or uniqueness imported by circular citation appears. The flat-normal-bundle hypothesis is an explicit structural assumption (necessary already for n=2 by the Li–Zhao examples), not a circular device. Score 1 reflects only the minor, non-circular self-citation to the first-gap result.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The paper rests on the standard Riemannian geometry of submanifolds of spheres (Gauss, Codazzi, Ricci equations, Simons identity) plus the flat-normal-bundle hypothesis that permits simultaneous diagonalization. All free parameters are auxiliary constants introduced solely to optimize the size of the gap; they are not fitted to external data. No new geometric entities are postulated.

free parameters (2)
  • δ(n,m) (and the slightly larger working values used in the proofs) = n/81 (m=2,3≤n≤5), n/62 (m=2,n≥6), n/87 (m≥3,3≤n≤5), n/67 (m≥3,n≥6); working values slightly larger
    Explicit pinching constants chosen by numerical optimization so that the final coefficients C1,C2 (codim 2) or D1,D2 (general codim) become strictly negative; the published values are the largest convenient fractions (n/81, n/62, …) that still work.
  • auxiliary constants σ (or σ̂), ρ, κ, x, y = e.g. σ=1.392…, ρ=0.176…, κ=0.053… (codim-2, n≤5); analogous decimals for other ranges
    Free positive numbers appearing in Young inequalities, convex combinations of lower bounds, and Cauchy estimates; optimized numerically to enlarge the admissible δ.
assumptions (4)
  • standard math Gauss–Codazzi–Ricci equations and the classical Simons identity for minimal submanifolds of the unit sphere
    Used throughout Sections 2–5 to obtain the Laplacian formulas (2.2),(2.3),(2.11).
  • domain assumption Flatness of the normal bundle (Rαβ=0)
    Invoked from Proposition 2.2 onward to diagonalize shape operators and cancel cross terms; essential for the whole argument.
  • domain assumption Closedness of M (so Stokes' theorem applies and integrals of Laplacians vanish)
    Used in every integral identity (Lemmas 3.9, 4.4, Theorems 4.3, 4.6, 5.2, 5.4).
  • domain assumption The authors' prior first-gap theorem (Theorem 1.1 / arXiv:2603.16504)
    Applied only after the second-gap analysis has already forced S≡n; does not circularly assume the second-gap conclusion.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Chern's Conjecture for Minimal Submanifolds with Flat Normal Bundle in Spheres." pith.science (2026). https://pith.science/paper/KDVKDBRT

@misc{pith2026260710733,
  author       = {Pith},
  title        = {Pith review of: On Chern's Conjecture for Minimal Submanifolds with Flat Normal Bundle in Spheres},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KDVKDBRT}},
  note         = {Machine review of arXiv:2607.10733}
}
abstract

Let $M^n$ $(n\geqslant3)$ be a closed minimal submanifold in the unit sphere $\mathbb S^{n+m}$ $(m\geqslant2)$ with flat normal bundle, and let $S$ denote the squared norm of its second fundamental form. We prove an explicit second-gap rigidity theorem for $S$. More precisely, if $S$ is constant and \[ 0\leqslant S\leqslant n+\delta, \] where $\delta$ is an explicit constant satisfying $\delta\geqslant \frac{n}{87}$, then either $S\equiv0$ and $M$ is a totally geodesic sphere, or $S\equiv n$ and $M$ is a Clifford torus contained in a totally geodesic $\mathbb S^{n+1}\subset\mathbb S^{n+m}$. %We observe that the flat-normal-bundle assumption is necessary here. The flat-normal-bundle condition is essential in the general higher-codimensional setting: without it, the corresponding rigidity statement already fails in dimension two. This theorem provides positive evidence for Chern's conjecture in higher codimension.

Discussion (0). Sign in 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. Lu's conjecture for minimal surfaces in codimension two

    math.DG 2026-07 accept novelty 8.0 of 10

    For closed minimal surfaces in S^4, S+λ2 cannot be constant with value in (2,3); constant values >2 must be at least 3.

Reference graph

Works this paper leans on

37 extracted references · 5 linked inside Pith · cited by 1 Pith paper

  1. [1]

    S. C. de Almeida and F. G. B. Brito,Closed 3-dimensional hypersurfaces with constant mean curvature and constant scalar curvature, Duke Math. J.,61(1990), 195–206

    1990

  2. [2]

    S. P. Chang,On minimal hypersurfaces with constant scalar curvature in S4, J. Differential Geom., 37(1993), 523–534

    1993

  3. [3]

    Chen and S

    Q. Chen and S. L. Xu,Rigidity of compact minimal submanifolds in a unit sphere, Geom. Dedicata, 45(1993), 83–88

    1993

  4. [4]

    Q. M. Cheng and S. Ishikawa,A characterization of the Clifford torus, Proc. Amer. Math. Soc., 127(1999), 819–828

    1999

  5. [5]

    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

    2025

  6. [6]

    S. S. Chern,Minimal Submanifolds in a Riemannian Manifold, (mimeographed), University of Kansas, Lawrence, 1968

    1968

  7. [7]

    S. S. Chern, M. do Carmo and S. Kobayashi,Minimal submanifolds of a sphere with second fundamental form of constant length, in: Functional Analysis and Related Fields, Springer, New York, 1970, 59–75

    1970

  8. [8]

    Q. S. Chi,The isoparametric story, a heritage of ´Elie Cartan, in: Proceedings of the International Consortium of Chinese Mathematicians 2018, Int. Press, Boston, MA, 2021, 197–260

    2018

Show all 37 references
  1. [9]

    Q. T. Deng, H. L. Gu and Q. Y. Wei,Closed Willmore minimal hypersurfaces with constant scalar curvature inS 5(1)are isoparametric, Adv. Math.,314(2017), 278–305. 42 J. Q. GE, F. G. LI, AND Y. H. ZHANG

    2017

  2. [10]

    Q. T. Deng and Y. J. Kou,Closed Minimal Hypersurfaces in S5(1)with Constant Scalar and Gauss-Kronecker Curvatures, preprint, arXiv:2607.06588, 2026

    2026 arXiv

  3. [11]

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

    2025

  4. [12]

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

    2026

  5. [13]

    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), no. 1, 131–145

    2011

  6. [14]

    J. Q. Ge and F. G. Li,A lower bound for L2 length of second fundamental form on minimal hypersurfaces, Proc. Amer. Math. Soc.,150(2022), 2671–2684

    2022

  7. [15]

    J. Q. Ge, F. G. Li and Y. H. Zhang,Pinching rigidity theorems for normal scalar curvature, preprint, arXiv:2603.16504, 2026

    2026

  8. [16]

    J. Q. Ge, T. Liu, K. Y. Luo and W. J. Yan,Rigidity of closed minimal hypersurfaces in S5, preprint, arXiv:2606.29246, 2026

    2026 arXiv

  9. [17]

    J. Q. Ge, H. X. Tan, W. J. Yan and Y. H. Zhang,Chern conjecture on minimal Willmore hypersurfaces with constant scalar curvature, preprint, arXiv:2512.08342, 2025

    2025

  10. [18]

    C. C. He, H. W. Xu and E. T. Zhao,Classification of closed minimal hypersurfaces with constant scalar curvature inS 5, preprint, arXiv:2603.01181, 2026

    2026

  11. [19]

    L. Lei, H. W. Xu and Z. Y. Xu,On Chern’s conjecture for minimal hypersurfaces in spheres, preprint, arXiv:1712.01175, 2017

    2017 arXiv

  12. [20]

    A. M. Li and J. M. Li,An intrinsic rigidity theorem for minimal submanifolds in a sphere, Arch. Math. (Basel),58(1992), 582–594

    1992

  13. [21]

    F. G. Li,A note on the Chern Conjecture in dimension four, Differential Geom. Appl.,84(2022), 101928

    2022

  14. [22]

    F. G. Li and Y. H. Zhao,Flat minimal tori and Lu’s second-gap conjecture, preprint, arXiv:2606.30432, 2026

    2026 arXiv

  15. [23]

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

    2011

  16. [24]

    C. K. Peng and C. L. Terng,Minimal hypersurfaces of spheres with constant scalar curvature, in: Seminar on minimal submanifolds, Ann. of Math. Stud., vol. 103, Princeton Univ. Press, Princeton, NJ, 1983, 177–198

    1983

  17. [25]

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

    1983

  18. [26]

    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, Adv. Lect. Math. (ALM), vol. 21, Int. Press, Somerville, MA, 2012, 175–187

    2012

  19. [27]

    Simons,Minimal varieties in Riemannian manifolds, Ann

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

    1968

  20. [28]

    Y. J. Suh and H. Y. Yang,The scalar curvature of minimal hypersurfaces in a unit sphere, Commun. Contemp. Math.,9(2007), 183–200

    2007

  21. [29]

    Tao,Minimal hypersurfaces with constant scalar curvature in S6, preprint, arXiv:2605.19495, 2026

    Y. Tao,Minimal hypersurfaces with constant scalar curvature in S6, preprint, arXiv:2605.19495, 2026

    2026 arXiv

  22. [30]

    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

    2020

  23. [31]

    Z. Z. Tang and W. J. Yan,On the Chern conjecture for isoparametric hypersurfaces, Sci. China Math.,66(2023), 143–162. CHERN’S CONJECTURE FOR SUBMANIFOLDS WITH FLAT NORMAL BUNDLE 43

    2023

  24. [32]

    Verstraelen,Sectional curvature of minimal submanifolds, in: Proceedings Workshop on Differ- ential Geometry (ed

    L. Verstraelen,Sectional curvature of minimal submanifolds, in: Proceedings Workshop on Differ- ential Geometry (ed. S. Robertson et al.), Univ. Southampton, 1986, 48–62

    1986

  25. [33]

    S. M. Wei and H. W. Xu,Scalar curvature of minimal hypersurfaces in a sphere, Math. Res. Lett., 14(2007), 423–432

    2007

  26. [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

    2017

  27. [35]

    H. W. Xu and Z. Y. Xu,The Chern conjecture for minimal hypersurfaces in a sphere and its related problems, Sci. Sin. Math.,54(2024), 1723–1734

    2024

  28. [36]

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

    1998

  29. [37]

    Zhang,The pinching constant of minimal hypersurfaces in the unit spheres, Proc

    Q. Zhang,The pinching constant of minimal hypersurfaces in the unit spheres, Proc. Amer. Math. Soc.,138(2010), 1833–1841. School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, Beijing Normal University, Beijing 100875, P. R. China. Email address:jqge@...

    2010

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.