Pith. sign in

REVIEW 1 major objections 4 minor 3 cited by

Closed Minimal Hypersurfaces in $\mathbb{S}^5(1)$ with Constant Scalar and Gauss-Kronecker Curvatures

T0 review · 1 major / 4 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read Any closed minimal hypersurface in the 5-sphere with constant scalar and Gauss-Kronecker curvatures is isoparametric, so its second-fundamental-form squared length takes only the values 0, 4 or 12.

desk verdict Solid classification for n=4 under constant S and constant Gauss-Kronecker curvature; the only soft spot is hand-checked polynomial signs, already transparent and machine-checkable. read the letter →

arxiv 2607.06588 v2 pith:DA2GL7GZ submitted 2026-07-05 math.DG

Qintao Deng , Yunjia Kou This is my paper
classification math.DG MSC 53C4053C42
keywords minimalhypersurfacesisoparametricconstantscalarcurvatureGauss-KroneckerChernconjecturesecondfundamentalformprincipalcurvatures
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 classifies closed four-dimensional minimal hypersurfaces inside the unit five-sphere whose scalar curvature and Gauss-Kronecker curvature are both constant. It shows that every such hypersurface must be isoparametric: either a totally geodesic equatorial four-sphere, one of two Clifford tori, or a Cartan hypersurface. As a direct consequence the squared length S of the second fundamental form can take only the three discrete values 0, 4 and 12. The argument proceeds by exhaustive local analysis of the possible numbers of distinct principal curvatures, constructing weighted differential 3-forms whose exterior derivatives have definite sign and therefore force the curvatures to be constant. The result supplies a new piece of evidence for the strong form of Chern’s conjecture that constant scalar curvature alone already implies isoparametricity for closed minimal hypersurfaces in spheres.

What carries the argument

Two families of weighted 3-forms built from the connection forms of the principal frame (one with weights λ_i²+λ_iλ_j+λ_j²−S/2 and one with the unshifted weights). Their exterior derivatives reduce, after cancellation of all fully mixed terms, to linear combinations of the squares of the third fundamental-form components whose coefficients are homogeneous polynomials of degrees 5 and 8; the sign of those polynomials on every chamber of the ordered principal curvatures forces the integral identities that pin S at 12 whenever four distinct principal curvatures are present.

What would settle it

An explicit closed minimal hypersurface in S^5 whose scalar curvature and Gauss-Kronecker curvature are both constant, yet whose squared second-fundamental-form length S is not equal to 0, 4 or 12, or that fails to be isoparametric.

Watch

Extended reading notes

Core claim

A closed minimal hypersurface M^4 in the unit sphere S^5(1) that has both constant scalar curvature and constant Gauss-Kronecker curvature is necessarily isoparametric, and is therefore one of the four classical examples: an equatorial 4-sphere, the Clifford torus S^2(√2/2)×S^2(√2/2), the Clifford torus S^1(1/2)×S^3(√3/2), or a Cartan minimal hypersurface. In particular S belongs to the discrete set {0,4,12}.

Load-bearing premise

The algebraic claim that certain homogeneous polynomials of degrees five and eight stay strictly negative (or strictly positive) on every open chamber of ordered principal curvatures after the indicated linear changes of variables; this is verified only by complete expansion in the appendices.

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

1 major / 4 minor

Summary. The paper proves that a closed minimal hypersurface M^4 in S^5(1) with constant scalar curvature and constant Gauss-Kronecker curvature K is necessarily isoparametric. The possible examples are the equatorial 4-sphere (S=0), the Clifford tori S^2(√2/2)×S^2(√2/2) and S^1(1/2)×S^3(√3/2) (S=4), or a Cartan minimal hypersurface (S=12). The argument proceeds by exhaustive case division on the number of distinct principal curvatures: two (Section 3, local vanishing of h_ijk via the Simons-type identity for f_4), four everywhere (Section 4, positivity of K, then S≤12 and S=12 via Stokes theorems for the weighted 3-forms φ and Ψ), and three at a point (Section 5, cut-off argument reducing to the four-curvature case). The result strengthens earlier classifications that assumed constant f_3 or vanishing K, and supports the strong form of Chern’s conjecture in dimension 4.

Significance. If correct, the theorem supplies a clean geometric classification under two natural curvature constraints and shows that the only attainable values of S are 0, 4 and 12. This is a genuine advance on the n=4 case of Chern’s conjecture, parallel to the recent constant-f_3 classification of He–Xu–Zhao and complementary to the concurrent independent work of Ge–Liu–Luo–Yan (which uses different weights and topological tools). The construction of the weighted 3-forms φ and Ψ, the removable-singularity analysis of the cut-off, and the explicit algebraic control of the homogeneous polynomials are technically substantial contributions that will be reusable in related pinching problems.

major comments (1)
  1. The only load-bearing non-formal step is the sign-definiteness of the homogeneous polynomials P_k of degree 5 (Eq. (4.26), Appendix A) and degree 8 (Eq. (4.33), Appendix B) on the chambers λ1<λ2<0<λ3<λ4 after the four linear changes of variables (a,b,c≥0). These signs produce L_k<0 and L̃_k<0 that power the Stokes contradictions forcing S≤12 and then S=12. The expansions are fully written out and appear free of obvious coefficient errors, but a single sign mistake would reverse the integral inequalities. A short independent verification (computer algebra or a more conceptual factorization) should be supplied or at least explicitly invited in the text.
minor comments (4)
  1. The concurrent independent proof [10] is cited and the methodological differences are clearly stated; this is good practice and should be retained.
  2. In Definition 4.7 the weight is written W_ij = (λ_i² + λ_i λ_j + λ_j²) − S/2; later the same symbol is reused for the unshifted weight. A typographic distinction (e.g., W versus W̃) would improve readability.
  3. Several long displayed expansions in Appendices A–B could be moved to a supplementary file or accompanied by a one-line statement that they have been machine-checked, reducing the printed length without loss of content.
  4. Page 9, line after (3.6): “forces a=−b at p” is correct, but the subsequent sentence “a=b=0” should explicitly invoke a,b≥0 for clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: classification follows from structure equations, Stokes on weighted 3-forms, and explicit (non-circular) sign checks of homogeneous polynomials.

full rationale

The derivation chain begins from the classical Codazzi–Gauss identities and Simons-type formulae (2.1)–(2.4) for minimal hypersurfaces in the unit sphere, which are independent of the target classification. Constant scalar curvature and constant Gauss–Kronecker curvature are used only to force f4 constant and to obtain the algebraic relations (4.3) among the covariant derivatives h_iik. The weighted 3-forms φ and Ψ are constructed from the principal curvatures themselves; their exterior derivatives reduce, after cancellation of fully-crossing terms (4.30), to linear combinations of h_44k^{2} whose coefficients are homogeneous polynomials P_k of degrees 5 and 8. The signs of these polynomials on the open chambers λ1<λ2<0<λ3<λ4 are verified by direct expansion after linear changes of variables (Appendices A–B); the expansions are finite algebraic identities, not definitions or fits. Stokes’ theorem then yields the integral contradictions that force S≤12 and subsequently S=12 when four distinct principal curvatures are present. The two- and three-curvature cases are reduced by the same identities plus a standard cut-off argument (Guan’s smoothing lemma). No quantity is defined in terms of the final list of isoparametric examples, no parameter is fitted to data, and the concurrent independent proof [10] is cited only for comparison of methods. The argument is therefore self-contained against external benchmarks.

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

The paper works entirely inside the classical theory of minimal hypersurfaces in spheres. No free parameters are fitted; the only background results invoked are standard (Gauss-Codazzi, Simons identity, Münzner’s classification of isoparametric hypersurfaces, Gauss-Bonnet for the Euler characteristic when a simple principal curvature exists). The weighted 3-forms are constructed ad hoc but are not new geometric entities; they are linear combinations of the usual connection forms with polynomial weights in the principal curvatures.

assumptions (4)
  • standard math Simons identity: ∫ S(S-n) ≥ 0 for closed minimal hypersurfaces in S^{n+1}, with equality characterization for S=n (Clifford tori).
    Used throughout to obtain S≥4 and the gap theorems of Cheng-Yang.
  • standard math Münzner’s theorem: an isoparametric hypersurface in a sphere has g=1,2,3,4 or 6 distinct principal curvatures.
    Invoked at the end of §4 to identify the S=12 case as Cartan’s example.
  • standard math Gauss-Bonnet formula for closed oriented 4-manifolds together with Poincaré-Hopf for a nowhere-vanishing eigenvector field of a simple principal curvature implies χ(M)=0 and therefore the algebraic relation S=6(K+1).
    Lemma 4.2; used to force positivity of K when four distinct principal curvatures exist.
  • domain assumption The second fundamental form of a minimal hypersurface satisfies the Codazzi equation h_ijk = h_ikj and the Gauss equation R_ijkl = δ_ik δ_jl - δ_il δ_jk + h_ik h_jl - h_il h_jk.
    Standard structure equations of the immersion; all exterior derivatives of the 3-forms are computed from them.
invented entities (1)
  • Weighted 3-forms φ and Ψ with weights W_ij = λ_i² + λ_i λ_j + λ_j² - S/2 (resp. without the -S/2 shift)
    purpose: Produce integral identities whose integrands have definite sign, forcing S≤12 and then S=12 when four distinct principal curvatures exist.
    Linear combinations of the classical connection forms θ_ij; not new geometric objects, only convenient test forms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Closed Minimal Hypersurfaces in $\mathbb{S}^5(1)$ with Constant Scalar and Gauss-Kronecker Curvatures." pith.science (2026). https://pith.science/paper/DA2GL7GZ

@misc{pith2026260706588,
  author       = {Pith},
  title        = {Pith review of: Closed Minimal Hypersurfaces in $\mathbbS^5(1)$ with Constant Scalar and Gauss-Kronecker Curvatures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DA2GL7GZ}},
  note         = {Machine review of arXiv:2607.06588}
}
abstract

In this paper, we prove that any closed minimal hypersurface $M^4$ of $\mathbb{S}^5(1)$ with constant scalar curvature and constant Gauss-Kronecker curvature must be isoparametric. Specifically, $M^4$ is either an equatorial 4-sphere, a Clifford torus $\mathbb{S}^2\left(\frac{\sqrt{2}}{2}\right)\times \mathbb{S}^2\left(\frac{\sqrt{2}}{2}\right)$ or $\mathbb{S}^1\left(\frac{1}{2}\right)\times \mathbb{S}^3\left(\frac{\sqrt{3}}{2}\right)$, or a Cartan's minimal hypersurface. Consequently, the squared norm of the second fundamental form $S$ can only take the values 0, 4, 12. This result provides strong support for Chern's Conjecture.

Review history (2 revisions) →

Discussion (0). Sign in to comment.

Forward citations

Cited by 3 Pith papers

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.

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

    math.DG 2026-07 accept novelty 7.0 of 10

    If a closed minimal submanifold Mn (n≥3) in Sn+m (m≥2) has flat normal bundle and constant S ≤ n+δ with δ ≥ n/87, then S=0 (totally geodesic) or S=n (Clifford torus in a totally geodesic Sn+1).

  3. A curvature characterization of the Cartan minimal hypersurface in $\mathbb S^5$

    math.DG 2026-07 accept novelty 6.5 of 10

    A closed minimal hypersurface in S^5 with |W|^2=2|Ric°|^2 is totally geodesic or congruent to the Cartan minimal hypersurface.

Reference graph

Works this paper leans on

33 extracted references · 2 linked inside Pith · cited by 3 Pith papers

  1. [1]

    E. Cartan. Sur des familles remarquables d’hypersurfaces isoparam´ etriques dans les espaces sph´ eriques.Math. Z., 45:335–367, 1939

    1939

  2. [2]

    S. Chang. A closed hypersurface with constant scalar and mean curvatures inS 4 is isoparametric. Comm. Anal. Geom., 1(1):71–100, 1993

    1993

  3. [3]

    S. Chang. On minimal hypersurfaces with constant scalar curvatures inS 4.J. Differential Geom., 37(3):523–534, 1993

    1993

  4. [4]

    S. S. Chern, M. do Carmo, and S. Kobayashi. Minimal submanifolds of a sphere with second fundamental form of constant length. InFunctional Analysis and Related Fields (Proc. Conf. for M. Stone, Univ. Chicago, Chicago, Ill., 1968), pages 59–75. Springer, New York-Berlin, 1970

    1968

  5. [5]

    Q. Cui. Minimal hypersurfaces inS 5 with constant scalar curvature and zero Gauss curvature. Differential Geom. Appl., 101:Paper No. 102279, 10, 2025

    2025

  6. [6]

    de Almeida and F

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

    1990

  7. [7]

    de Almeida, F

    S. de Almeida, F. Brito, and L. de Sousa, Jr. Closed hypersurfaces ofS4 with two constant curvature functions.Results Math., 50(1-2):17–26, 2007

    2007

  8. [8]

    Q. Deng, H. Gu, and Q. Wei. Closed Willmore minimal hypersurfaces with constant scalar curvature inS 5(1) are isoparametric.Adv. Math., 314:278–305, 2017

    2017

Show all 33 references
  1. [9]

    Ding and Y

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

    2011

  2. [10]

    J. Ge, T. Liu, K. Luo, and W. Yan. Rigidity of Closed Minimal Hypersurfaces inS 5. arXiv:2606.29246, 2026

    2026 arXiv

  3. [11]

    P. Guan. The extremal function associated to intrinsic norms.Ann. of Math. (2), 156(1):197–211, 2002

    2002

  4. [12]

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

    2026

  5. [13]

    H. B. Lawson, Jr. Local rigidity theorems for minimal hypersurfaces.Ann. of Math. (2), 89:187– 197, 1969

    1969

  6. [14]

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

    2017 arXiv

  7. [15]

    Lusala, M

    T. Lusala, M. Scherfner, and L. A. M. Sousa, Jr. Closed minimal Willmore hypersurfaces ofS 5(1) with constant scalar curvature.Asian J. Math., 9(1):65–78, 2005

    2005

  8. [16]

    H. F. M¨ unzner, Isoparametrische Hyperfl¨ achen in Sph¨ aren,Math. Ann., 251(1), 57–71, 1980

    1980

  9. [17]

    C. K. Peng and C. L. Terng. Minimal hypersurfaces of spheres with constant scalar curvature. In Seminar on Minimal Submanifolds, volume 103 ofAnnals of Mathematics Studies, pages 177–198. Princeton University Press, Princeton, NJ, 1983. 34 DENG AND KOU

    1983

  10. [18]

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

    1983

  11. [19]

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

    1968

  12. [20]

    Spruck and L

    J. Spruck and L. XIao. Closed minimal hypersurfaces inS 5 with constantSandA 3.J. Geom. Anal., 35(10):Paper No. 293, 15, 2025

    2025

  13. [21]

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

    2007

  14. [22]

    Tang and L

    B. Tang and L. Yang. An intrinsic rigidity theorem for closed minimal hypersurfaces inS 5 with constant non-negative scalar curvature.Chinese Ann. Math. Ser. B, 39(5):879–888, 2018

    2018

  15. [23]

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

    2020

  16. [24]

    Tang and W

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

    2023

  17. [25]

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

    2007

  18. [26]

    Xu and Z

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

    2017

  19. [27]

    H. C. Yang and Q. M. Cheng. A note on the pinching constant of minimal hypersurfaces with constant scalar curvature in the unit sphere.Kexue Tongbao (Chinese), 35(3):167–170, 1990

    1990

  20. [28]

    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(1):89–100, 1994

    1994

  21. [29]

    Yang and Q

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

    1998

  22. [30]

    Q. Zhang. The pinching constant of minimal hypersurfaces in the unit spheres.Proc. Amer. Math. Soc., 138(5):1833–1841, 2010. CLOSED MINIMAL HYPERSURF ACES 35 AppendixA.The negativity of homogeneous polynomialsP k in(4.26) Here, we provide the explicit expressions forP k fork= ...

    2010

  23. [31]

    +λ 2 1(9λ3 2 + 27λ2 2λ3 + 23λ2λ2 3 + 5λ3 3) +λ 1(5λ4 2 + 20λ3 2λ3 + 27λ2 2λ2 3 + 14λ2λ3 3 + 3λ4 3),(A.1) Similarly, calculateP 3, we have P3 =λ5 1 +λ 5 2 + 3λ4 2λ3 + 7λ3 2λ2 3 + 9λ2 2λ3 3 + 5λ2λ4 3 +λ 5 3 + 3λ4 1(λ2 +λ 3) +λ 3 1(5λ2 2 + 14λ2λ3 + 7λ2

  24. [32]

    +λ 2 1(5λ3 2 + 23λ2 2λ3 + 27λ2λ2 3 + 9λ3 3) +λ 1(3λ4 2 + 14λ3 2λ3 + 27λ2 2λ2 3 + 20λ2λ3 3 + 5λ4 3),(A.2) Finally, forP 4, recall that the factorαintroduced in (4.3) corresponds to exchanging indices 1 and 4. To be precise, h2 114 =αh 2 444 = λ2 1(λ3 −λ 4)2(λ2 −λ 4)2 λ2 4(λ3 −λ...

  25. [33]

    A.1.The negativity onU 1.Recall the change of variables introduced in (4.27)

    +λ 1(λ4 2 −λ 2 2λ2 3 +λ 4 3),(A.3) it shows thatP 4 <0 as well. A.1.The negativity onU 1.Recall the change of variables introduced in (4.27). Since the substitution forP 1 was already demonstrated in Section 4, we now apply these substitutions toP 2,P 3, andP 4: P2 =−26b 5 −61...

Pith tools

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