pith. sign in

arxiv: 2605.19495 · v3 · pith:L6WPJAA6new · submitted 2026-05-19 · 🧮 math.DG

Minimal Hypersurfaces with constant scalar curvature in S⁶

Ya Tao This is my paper

Pith reviewed 2026-05-22 09:59 UTC · model grok-4.3

classification 🧮 math.DG
keywords minimal hypersurfacesscalar curvatureisoparametric hypersurfacesClifford torusprincipal curvaturesrigidity resultsS^6
0
0 comments X

The pith

Under proposed assumptions on principal curvatures, closed minimal hypersurfaces in S^6 with constant S, f3 and f4 are isoparametric, and those with a point of exactly two distinct curvatures are Clifford tori.

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

The paper aims to show that certain assumptions on the principal curvatures of a closed minimal five-manifold in the six-sphere, together with the constancy of the scalar curvature S and the functions f3 and f4, imply that the hypersurface is isoparametric. This builds on earlier results but dispenses with the need for nonnegative scalar curvature. A reader might care because the work also includes a rigidity theorem: any such hypersurface that has a point where exactly two distinct principal curvatures occur must be the Clifford torus. These statements provide concrete progress toward classifying minimal hypersurfaces with constrained curvature data in spheres.

Core claim

Under the proposed assumptions on the principal curvatures, a closed minimal hypersurface M^5 in S^6 with constant S, f3, f4 is isoparametric. If M^5 has a point with exactly two distinct principal curvatures, then it must be a Clifford torus. This removes the nonnegative scalar curvature assumption from previous work by Tang and Yan.

What carries the argument

The proposed assumptions on the principal curvatures that ensure isoparametricity when S, f3, and f4 are constant.

If this is right

  • The hypersurface must have constant principal curvatures.
  • The hypersurface is isoparametric.
  • If there is a point with exactly two distinct principal curvatures, the hypersurface is the Clifford torus.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach could extend to hypersurfaces in higher-dimensional spheres by adapting the curvature assumptions.
  • Constant curvature functions may serve as a substitute for sign conditions in other rigidity problems for minimal submanifolds.
  • Local conditions at one point, such as the number of distinct principal curvatures, can determine the global geometry under these hypotheses.

Load-bearing premise

The assumptions on the principal curvatures must hold in order for the constancy of S, f3, and f4 to imply that the hypersurface is isoparametric.

What would settle it

Constructing or identifying a closed minimal hypersurface in S^6 with constant S, f3, f4 that meets the principal curvature assumptions yet fails to have constant principal curvatures would disprove the claim.

Figures

Figures reproduced from arXiv: 2605.19495 by Ya Tao.

Figure 1
Figure 1. Figure 1: Function F0. Next, following [7], we perform a region division on the manifold: M5 = X ∪Y ∪Z, where (2.12) X := {x ∈ M5 : h(x) = a} = h −1 (a), Y := {x ∈ M5 : a < h(x) < b}, Z := {x ∈ M5 : h(x) = b} = h −1 (b). Assume Y 6= ∅, otherwise the conclusion obviously holds. If Ω 6= ∅, then Y ⊂ Ω. Now, we introduce some notations: for 0 < ǫ < b−a 2 , write Xǫ := {x ∈ M5 : a < h(x) < a + ǫ}, Yǫ := {x ∈ M5 : a + ǫ ≤… view at source ↗
read the original abstract

In this paper, we propose certain assumptions on the principal curvatures for a closed minimal hypersurface $M^5$ in $\mathbf{S}^6$ to be isoparametric, provided that the functions $S, f_3,f_4$ are constants. Our result removes the nonnegative scalar curvature assumption as in Tang and Yan \cite{TY}. Finally, as a rigidity result, if $M^5\subset \mathbf{S}^6$ has a point with exactly two distinct principal curvatures, then it must be a Clifford torus.

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

1 major / 2 minor

Summary. The paper proposes specific assumptions on the principal curvatures of a closed minimal hypersurface M^5 in S^6. Under these assumptions, constancy of the scalar curvature S together with the cubic and quartic invariants f3 and f4 implies that M is isoparametric. The result removes the nonnegative scalar-curvature hypothesis used in prior work of Tang and Yan. As a rigidity corollary, the existence of a point with exactly two distinct principal curvatures forces M to be a Clifford torus.

Significance. The work extends the classification of minimal hypersurfaces in spheres by relaxing sign restrictions on curvature while retaining constancy of higher-order invariants. The direct case analysis on the sign of the relevant quadratic form and the algebraic-differential system derived from the differentiated Simons identity constitute a technically clean approach that could apply to other ambient spaces.

major comments (1)
  1. §3 (assumptions on principal curvatures): the proposed multiplicity and relation conditions are load-bearing for the entire argument, yet their geometric motivation is stated only briefly; a short paragraph comparing them to the standard isoparametric conditions or to the Simons-type identity would clarify why they are the minimal set that closes the system.
minor comments (2)
  1. Abstract: the phrase 'we propose certain assumptions' should be replaced by a concise description of the assumptions themselves.
  2. Notation: the definitions of f3 and f4 should be recalled explicitly in the introduction even if they appear later, to aid readers unfamiliar with the cubic/quartic invariants.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestion. We address the major comment below and have incorporated the recommended clarification.

read point-by-point responses

  1. Referee: §3 (assumptions on principal curvatures): the proposed multiplicity and relation conditions are load-bearing for the entire argument, yet their geometric motivation is stated only briefly; a short paragraph comparing them to the standard isoparametric conditions or to the Simons-type identity would clarify why they are the minimal set that closes the system.

    Authors: We agree that a brief elaboration on the motivation would improve readability. The multiplicity and algebraic relation conditions on the principal curvatures are selected precisely so that the constancy of S, f3 and f4, when inserted into the differentiated Simons identity, produces a closed algebraic-differential system whose only solutions are constant principal curvatures. In the revised manuscript we will add a short paragraph in §3 that (i) recalls the standard isoparametric condition (all principal curvatures constant on M), (ii) contrasts it with our weaker pointwise multiplicity/relation hypotheses, and (iii) indicates why these hypotheses are the minimal set that forces the cubic and quartic invariants together with the Simons identity to imply constancy without invoking nonnegativity of S. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces explicit assumptions on the multiplicities and relations among principal curvatures of the minimal hypersurface M^5 in S^6. Under constancy of the scalar curvature S together with the cubic and quartic invariants f3 and f4, these assumptions are substituted into the differentiated Simons-type identity and the Codazzi equations to produce an algebraic-differential system whose only solutions are the constant-curvature (isoparametric) cases. The removal of the prior nonnegative scalar-curvature hypothesis is performed by direct sign analysis of a quadratic form rather than by any a-priori restriction. The rigidity statement for a point with exactly two distinct principal curvatures follows from the same system combined with the global topology of closed minimal hypersurfaces in S^6. All steps rely on standard extrinsic curvature identities and the paper's stated hypotheses; no quantity is defined in terms of itself, no fitted parameter is relabeled as a prediction, and the single external citation to Tang-Yan supplies background rather than a load-bearing uniqueness theorem. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper operates inside standard Riemannian geometry and minimal hypersurface theory; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and identities of Riemannian geometry and the theory of minimal hypersurfaces in spheres
    The argument relies on the usual Gauss-Codazzi equations, minimality condition, and sphere curvature identities that are taken from prior literature.

pith-pipeline@v0.9.0 · 5607 in / 1323 out tokens · 41851 ms · 2026-05-22T09:59:55.660348+00:00 · methodology

Review history (3 revisions) →

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

27 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    P. P. Cheng and T. Z. Li, Rigidity of closed minimal hypersurfaces in S5, Differential Geom. Appl. 100(2025), 102252

    work page 2025

  2. [2]

    S. S. Chern, Minimal submanifolds in a Riemannian Manifold , Lawrence: University of Kansas, 1968

    work page 1968

  3. [3]

    S. S. Chern, M. do Carmo and S. Kobayashi, Minimal submanifolds of a sphere with a second fun- damental form of constant length , In : Functional Analysis and Related Fields. Berlin: Sprin ger, 1970, 59-75

    work page 1970

  4. [4]

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

    work page 1993

  5. [5]

    S. P. Chang, A closed hypersurface with constant scalar curvature and co nstant mean curvature in S4 is isoparametric, Comm. Anal. Geom. 1(1993), 71-100

    work page 1993

  6. [6]

    Q. M. Cheng and Q. R. Wan, Hypersurfaces of space forms M 4(c) with constant mean curvature , In: Geometry and Global Analysis. Sendai: Tohoku Univ., 199 3, 437-442

    work page

  7. [7]

    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

    work page 1990

  8. [8]

    Q. T. Deng, H. L. Gu and Q. Y. Wei, Closed Willmore minimal hypersurfaces with constant scala r curvature in S5 are isoparametric, Adv. Math. 314(2017), 278-305

    work page 2017

  9. [9]

    J. Q. Ge and Z. Z. Tang, Chern conjecture and isoparametric hypersurfaces , In: Differential Geometry. Advanced Lectures in Mathematics, vol. 22. Somer ville: International Press, 2012, 49-60

    work page 2012

  10. [10]

    Lusala, M

    T. Lusala, M. Scherfner and L. A. M. Sousa, Closed minimal Willmore hypersurfaces of S5 with constant scalar curvature , Asian J. Math. 9(2005), 65-78

    work page 2005

  11. [11]

    H. B. Lawson, Local rigidity theorems for minimal hypersurfaces , Ann. of Math (2). 89(1969), 167-179

    work page 1969

  12. [12]

    L. Lei, H. W. Xu and Z. Y. Xu, On Chern ’s conjecture for minimal hypersurfaces in spheres , arXiv: 1712.01175. MINIMAL HYPERSURF ACES WITH CONSTANT SCALAR CUR V ATURE IN S6 xxxi

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

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

    work page 2024

  14. [14]

    Scherfner and S

    M. Scherfner and S. Weiss, Towards a proof of the Chern conjecture for isoparametric hy persur- faces in spheres , in: Proc. 33 South German Diff. Geom. Colloq. (2008), 1-33

    work page 2008

  15. [15]

    C. K. Peng and C. L. Terng, Minimal hypersurfaces of spheres with constant scalar curv ature, Ann. of Math Stud. 103(1983), 177-198

    work page 1983

  16. [16]

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

    work page 1983

  17. [17]

    Tang and L

    B. Tang and L. Yang, An intrinsic rigidity theorem for closed minimal hypersurf aces in S5 with constant nonnegative scalar curvature , Chin. Ann. Math. Ser. B. 39(2018), 879-888

    work page 2018

  18. [18]

    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

  19. [19]

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

    work page 2023

  20. [20]

    C. C. He, H. W. Xu and E. T. Zhao, Classification of closed minimal hypersurfaces with consta nt scalar curvature in S5, arXiv: 2603.01181

    work page arXiv

  21. [21]

    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

  22. [22]

    Scherfner and L

    M. Scherfner and L. Vrancken, Weiss S, On closed minimal hypersurfaces with cnnstant scalar curvature in S7, Geom. Dedicata. 161(2012), 409-416

    work page 2012

  23. [23]

    Schefner, S

    M. Schefner, S. Weiss and S. T. Yau, A review of the Chern conjecture for isoparametric hypersur - faces in sphere , In: Advances in Geometric Analysis. Advanced Lectures in M athematics(ALM), vol. 21. Somerville: Int Press, 2012, 175-187

    work page 2012

  24. [24]

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

    work page 2007

  25. [25]

    Spruck and L

    J. Spruck and L. Xiao, Closed minimal hypersurfaces in S5 with constant S and A3, J. Geom. Anal. 35(2025), 293

    work page 2025

  26. [26]

    Verstraelen, Sectional curvature of minimal submanifolds , In: Proceedings of Workshop on Differential Geometry

    L. Verstraelen, Sectional curvature of minimal submanifolds , In: Proceedings of Workshop on Differential Geometry. Southampton: University of Southam pton, 1986, 48-62

    work page 1986

  27. [27]

    H. C. Yang and Q. M. Cheng, Chern ’s conjecture on minimal hypersurface, Math. Z. 227(1998), 377-390. Chern Institute of Mathematics and LPMC, Nankai University , Tianjin 300071, P. R. China. Email address : tao-ya@mail.nankai.edu.cn

    work page 1998