pith. sign in

arxiv: 2603.03775 · v2 · submitted 2026-03-04 · 🧮 math.DG

Topological and rigidity results for four-dimensional hypersurfaces in space forms

Davide Dameno , Aaron J. Tyrrell This is my paper

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

classification 🧮 math.DG
keywords hypersurfacesspace formsWeyl tensorisoparametric hypersurfacesminimal hypersurfacesEuler characteristicrigidityBach-flat
0
0 comments X

The pith

Four-dimensional hypersurfaces in five-dimensional space forms have their Weyl tensor completely described algebraically, yielding a characterization of isoparametric examples and sharp bounds on the Weyl functional in terms of the Euler 4D

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

The paper derives an explicit algebraic formula for the Weyl tensor of any four-dimensional hypersurface immersed in a five-dimensional space form by using the special curvature decomposition available only in dimension four. This formula immediately produces a new characterization: the hypersurface is isoparametric precisely when the Weyl tensor takes a specific form determined by the second fundamental form. For closed minimal hypersurfaces the same description supplies sharp integral bounds on the Weyl functional that involve the Euler characteristic when the ambient sectional curvature is non-negative. Additional integral inequalities on derivatives of the second fundamental form then give rigidity conclusions under Bach-flatness or half-harmonic Weyl conditions, and the local results extend to locally conformally flat ambient five-manifolds.

Core claim

Exploiting the algebraic features special to four-dimensional Riemannian geometry, we obtain a complete pointwise expression for the Weyl tensor of a hypersurface in a five-dimensional space form; this expression characterizes isoparametric hypersurfaces, produces sharp topological bounds on the Weyl functional for closed minimal hypersurfaces that involve the Euler characteristic, and supplies integral inequalities that imply rigidity when the hypersurface satisfies constant scalar curvature or Bach-flatness.

What carries the argument

The explicit algebraic formula for the Weyl tensor of the hypersurface expressed in terms of its second fundamental form and the ambient curvature, which encodes the 4D curvature symmetries.

If this is right

  • Isoparametric hypersurfaces are exactly those whose Weyl tensor vanishes on the traceless part of the second fundamental form in a specific way.
  • Closed minimal hypersurfaces in space forms of non-negative curvature satisfy an inequality relating the integral of the squared Weyl tensor to the Euler characteristic.
  • Under constant scalar curvature and a cross-sectional area bound, the pointwise norm of the second fundamental form is controlled by the Euler characteristic.
  • Bach-flat or half-harmonic-Weyl minimal hypersurfaces are rigid, meaning they must be isoparametric or totally geodesic.

Where Pith is reading between the lines

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

  • The same Weyl-tensor formula could be used to produce a computational classification of all closed minimal hypersurfaces of low Euler characteristic in the five-sphere.
  • The topological bounds suggest that the possible diffeomorphism types of such minimal hypersurfaces are severely restricted, analogous to known restrictions for four-manifolds with positive scalar curvature.
  • Extensions of the rigidity statements to higher-dimensional hypersurfaces would require an entirely different algebraic approach because the four-dimensional curvature decomposition is no longer available.

Load-bearing premise

The derivations rely on the hypersurface being immersed in a five-dimensional space form and on the algebraic decomposition of curvature that holds only in dimension four.

What would settle it

A single explicit four-dimensional minimal hypersurface in the five-sphere whose computed Weyl tensor fails to match the stated algebraic expression would disprove the completeness of the description.

read the original abstract

Exploiting the special features of four-dimensional Riemannian geometry, we derive topological and rigidity results for hypersurfaces immersed in space forms of dimension 5. First, we provide a complete description of the Weyl tensor for four-dimensional hypersurfaces, by means of which we derive a new characterization result for isoparametric hypersurfaces; then, we prove sharp topological bounds on the Weyl functional for closed, minimal hypersurfaces, involving the Euler characteristic in the case of an ambient space with constant non-negative sectional curvature. Then, inspired by a famous conjecture by Chern and the so-called second pinching problem, we find estimates for the norm of the second fundamental form in terms of the Euler characteristic in the minimal, constant scalar curvature case, under a cross-sectional area assumption. Finally, we prove some rigidity results by means of integral inequalities on the derivatives of the second fundamental form, also dealing with special curvature conditions, such as half harmonic Weyl curvature and Bach-flatness. We also extend some of the local results to the case of a locally conformally flat 5-dimensional ambient space.

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 / 3 minor

Summary. The paper exploits four-dimensional curvature decompositions to give an explicit algebraic formula for the Weyl tensor of hypersurfaces in five-dimensional space forms. This formula yields a new characterization of isoparametric hypersurfaces. For closed minimal hypersurfaces the authors obtain sharp L² bounds on the Weyl tensor in terms of the Euler characteristic when the ambient sectional curvature is constant and non-negative. Under the additional assumption of constant scalar curvature they derive estimates for the norm of the second fundamental form controlled by the Euler characteristic and a cross-sectional area hypothesis. Rigidity theorems are proved via integral inequalities involving derivatives of the second fundamental form, covering the cases of half-harmonic Weyl curvature and Bach-flatness; some local identities are extended to locally conformally flat ambient five-manifolds.

Significance. If the algebraic identities and integral inequalities hold, the work supplies concrete topological controls and rigidity statements that are directly applicable to the study of minimal and isoparametric hypersurfaces in low dimensions. The reliance on the standard 4D Weyl–Ricci–scalar decomposition together with the Gauss–Bonnet theorem produces parameter-free bounds, which is a methodological strength. The extension to conformally flat ambients increases the range of applicability without introducing new free parameters.

major comments (2)
  1. [§3] §3 (Weyl-tensor description): the claimed complete algebraic expression for the Weyl tensor must be checked componentwise against the Gauss equation when the hypersurface is minimal; the manuscript should display the explicit 4×4 matrix or the independent components that survive after imposing minimality to confirm that no hidden trace terms remain.
  2. [§4] §4 (topological bound): the sharpness statement for the Weyl-functional inequality relies on equality cases in the integrated Gauss–Bonnet identity; the equality-attaining examples (standard sphere, Clifford hypersurfaces) should be verified explicitly by substituting their second-fundamental-form eigenvalues into the derived formula.
minor comments (3)
  1. Notation for the second fundamental form (h_{ij} versus A) is used interchangeably; adopt a single symbol throughout and update all subsequent equations.
  2. [§5] The cross-sectional area hypothesis in the constant-scalar-curvature estimates should be stated as a global or local condition with a precise integral formulation.
  3. A short table summarizing the various curvature conditions (half-harmonic Weyl, Bach-flat, etc.) and the corresponding rigidity conclusions would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the constructive comments, which will improve the clarity of our results. We address each major comment below and will incorporate the requested verifications into the revised manuscript.

read point-by-point responses

  1. Referee: [§3] the claimed complete algebraic expression for the Weyl tensor must be checked componentwise against the Gauss equation when the hypersurface is minimal; the manuscript should display the explicit 4×4 matrix or the independent components that survive after imposing minimality to confirm that no hidden trace terms remain.

    Authors: We thank the referee for this suggestion. Our derivation of the Weyl tensor formula already incorporates the Gauss equation and the standard 4D decomposition, and the expression remains valid under the minimality condition (vanishing trace of the second fundamental form) with no residual trace terms. In the revised version we will add an explicit componentwise check: we display the independent components of the Weyl tensor in a local orthonormal frame for a minimal hypersurface and present the resulting 4×4 matrix to confirm the formula. This addition will make the algebraic identity fully transparent. revision: yes

  2. Referee: [§4] the sharpness statement for the Weyl-functional inequality relies on equality cases in the integrated Gauss–Bonnet identity; the equality-attaining examples (standard sphere, Clifford hypersurfaces) should be verified explicitly by substituting their second-fundamental-form eigenvalues into the derived formula.

    Authors: We agree that explicit verification of the equality cases strengthens the sharpness claim. In the revised manuscript we will include a short computation verifying the bound for the standard 4-sphere (constant principal curvatures all equal) and for the Clifford hypersurfaces in the 5-sphere. Substituting the known constant eigenvalues of the second fundamental form into our expression for the Weyl functional recovers equality in the Gauss–Bonnet-derived inequality, confirming that the bound is attained. These calculations will be added as a remark following the statement of the theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity: derivations rest on standard Gauss equation and 4D curvature identities

full rationale

The paper's core steps—explicit Weyl tensor formula for 4D hypersurfaces via the Gauss equation in a 5D space form, followed by integration against the Gauss-Bonnet theorem to bound the Weyl functional by Euler characteristic under minimality—are direct algebraic and integral consequences of well-known 4D Riemannian curvature decomposition (Weyl + traceless Ricci + scalar) and constant ambient sectional curvature. These identities hold independently of the paper's conclusions and do not involve fitted parameters renamed as predictions, self-definitional loops, or load-bearing self-citations. The additional estimates and rigidity results under constant scalar curvature or Bach-flatness likewise follow from integral inequalities on the second fundamental form without reducing to the target statements by construction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms of Riemannian geometry and hypersurface theory; no new free parameters, ad-hoc constants, or invented geometric entities are introduced.

axioms (1)
  • standard math Standard properties of the Riemann curvature tensor, Weyl tensor, and second fundamental form for hypersurface immersions in space forms
    Invoked throughout the derivations of the Weyl-tensor formula and integral inequalities.

pith-pipeline@v0.9.0 · 5484 in / 1349 out tokens · 41031 ms · 2026-05-15T16:45:35.270587+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

77 extracted references · 77 canonical work pages · 2 internal anchors

  1. [1]

    Abbena, S

    E. Abbena, S. Garbiero, and S. Salamon. Bach-flat Lie groups in dimension 4.C. R. Math. Acad. Sci. Paris, 351(7-8):303–306, 2013

    work page 2013

  2. [2]

    L. J. Al´ ıas, P. Mastrolia, and M. Rigoli.Maximum principles and geometric applications. Springer Monographs in Mathematics. Springer, Cham, 2016

    work page 2016

  3. [3]

    A. Avez. Characteristic classes and Weyl tensor: Applications to general relativity.Proc. Nat. Acad. Sci. U.S.A., 66:265–268, 1970

    work page 1970

  4. [4]

    R. Bach. Zur Weylschen Relativit¨ atstheorie und der Weylschen Erweiterung des Kr¨ ummungstensorbegriffs.Math. Z., 9(1-2):110–135, 1921

    work page 1921

  5. [5]

    A. L. Besse.Einstein manifolds. Classics in Mathematics. Springer-Verlag, Berlin, 2008. Reprint of the 1987 edition

    work page 2008

  6. [6]

    Boubel and L

    C. Boubel and L. B´ erard Bergery. On pseudo-Riemannian manifolds whose Ricci tensor is parallel.Geom. Dedicata, 86(1-3):1–18, 2001

    work page 2001

  7. [7]

    Bour and G

    V. Bour and G. Carron. Optimal integral pinching results.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 48(1):41–70, 2015

    work page 2015

  8. [8]

    Branca, G

    L. Branca, G. Catino, D. Dameno, and P. Mastrolia. Rigidity of Einstein manifolds with positive Yamabe invariant.Ann. Global Anal. Geom., 67(4):Paper No. 21, 22, 2025

    work page 2025

  9. [9]

    T. P. Branson and A. R. Gover. Origins, applications and generalisations of the Q-curvature. Acta Applicandae Mathematicae, 102(2-3):131–146, 2008

    work page 2008

  10. [10]

    Calvi˜ no Louzao, M

    E. Calvi˜ no Louzao, M. Ferreiro-Subrido, E. Garcia-Rio, and R. V´ azquez-Lorenzo. Homoge- neous four-manifolds with half-harmonic Weyl curvature tensor.Forum Math., 34(6):1497– 1505, 2022

    work page 2022

  11. [11]

    H.-D. Cao, G. Catino, Q. Chen, C. Mantegazza, and L. Mazzieri. Bach-flat gradient steady Ricci solitons.Calc. Var. Partial Differential Equations, 49(1-2):125–138, 2014

    work page 2014

  12. [12]

    Cao and Q

    H.-D. Cao and Q. Chen. On Bach-flat gradient shrinking Ricci solitons.Duke Math. J., 162(6):1149–1169, 2013

    work page 2013

  13. [13]

    E. Cartan. Familles de surfaces isoparam´ etriques dans les espaces ` a courbure constante.Ann. Mat. Pura Appl., 17(1):177–191, 1938

    work page 1938

  14. [14]

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

    work page 1939

  15. [15]

    E. Cartan. Sur des familles d’hypersurfaces isoparam´ etriques des espaces sph´ eriques ` a 5 et ` a 9 dimensions.Univ. Nac. Tucum´ an. Revista A., 1:5–22, 1940

    work page 1940

  16. [16]

    J. S. Case, C. R. Graham, T.-M. Kuo, A. J. Tyrrell, and A. Waldron. A Gauss-Bonnet formula for the renormalized area of minimal submanifolds of Poincar´ e-Einstein manifolds. Comm. Math. Phys., 406(3):Paper No. 53, 49, 2025

    work page 2025

  17. [17]

    J. S. Case and A. J. Tyrrell. A sharp inequality for trace-free matrices with applications to hypersurfaces.Proc. Amer. Math. Soc., 152(2):823–828, 2024

    work page 2024

  18. [18]

    Catino, D

    G. Catino, D. Dameno, and P. Mastrolia. Rigidity results for Riemannian twistor spaces under vanishing curvature conditions.Ann. Global Anal. Geom., 63(2):Paper No. 13, 44, 2023

    work page 2023

  19. [19]

    Catino, D

    G. Catino, D. Dameno, and P. Mastrolia. Some canonical metricsviaAubin’s local deforma- tions.J. Math. Pures Appl. (9), 191:Paper No. 103624, 25, 2024

    work page 2024

  20. [20]

    Catino and P

    G. Catino and P. Mastrolia. Bochner-type formulas for the Weyl tensor on four-dimensional Einstein manifolds.Int. Math. Res. Not. IMRN, (12):3794–3823, 2020

    work page 2020

  21. [21]

    Catino and P

    G. Catino and P. Mastrolia.A perspective on canonical Riemannian metrics, volume 336 of Progress in Mathematics. Birkh¨ auser/Springer, Cham, [2020]©2020

    work page 2020

  22. [22]

    T. E. Cecil, Q.-S. Chi, and G. R. Jensen. Isoparametric hypersurfaces with four principal curvatures.Ann. of Math. (2), 166(1):1–76, 2007

    work page 2007

  23. [23]

    T. E. Cecil and P. J. Ryan. On the work of Cartan and M¨ unzner on isoparametric hypersur- faces.arXiv preprint

    work page

  24. [24]

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

    work page 1993

  25. [25]

    S. Chang. On minimal hypersurfaces with constant scalar curvatures inS 4.J. Differential Geom., 37(3):523–534, 1993. 46 FOUR DIMENSIONAL HYPERSURFACES IN SPACE FORMS

    work page 1993

  26. [26]

    S.-Y. A. Chang, M. Eastwood, B. Ørsted, and P. C. Yang. What isQ-curvature?Acta Appl. Math., 102(2-3):119–125, 2008

    work page 2008

  27. [27]

    S.-Y. A. Chang, M. J. Gursky, and P. C. Yang. An equation of Monge-Amp` ere type in confor- mal geometry, and four-manifolds of positive Ricci curvature.Ann. of Math. (2), 155(3):709– 787, 2002

    work page 2002

  28. [28]

    S.-Y. A. Chang, M. J. Gursky, and P. C. Yang. A conformally invariant sphere theorem in four dimensions.Publ. Math. Inst. Hautes ´Etudes Sci., (98):105–143, 2003

    work page 2003

  29. [29]

    S. Y. Cheng, P. Li, and S.-T. Yau. Heat equations on minimal submanifolds and their appli- cations.Amer. J. Math., 106(5):1033–1065, 1984

    work page 1984

  30. [30]

    S. S. Chern.Minimal submanifolds in a Riemannian manifold, volume 19 (New Series) of University of Kansas, Department of Mathematics Technical Report. University of Kansas, Lawrence, KS, 1968

    work page 1968

  31. [31]

    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

    work page 1968

  32. [32]

    Q.-S. Chi. The isoparametric story, a heritage of ´Elie Cartan. InProceedings of the Inter- national Consortium of Chinese Mathematicians 2018, pages 197–260, Boston, MA, [2020] ©2020. Int. Press

    work page 2018

  33. [33]

    Derdzi´ nski

    A. Derdzi´ nski. Self-dual K¨ ahler manifolds and Einstein manifolds of dimension four.Compo- sitio Math., 49(3):405–433, 1983

    work page 1983

  34. [34]

    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

    work page 2011

  35. [35]

    Do Carmo and M

    M. Do Carmo and M. Dajczer. Rotation hypersurfaces in spaces of constant curvature.Trans. Amer. Math. Soc., 277(2):685–709, 1983

    work page 1983

  36. [36]

    Do Carmo, M

    M. Do Carmo, M. Dajczer, and F. Mercuri. Compact conformally flat hypersurfaces.Trans. Amer. Math. Soc., 288(1):189–203, 1985

    work page 1985

  37. [37]

    L. P. Eisenhart. Symmetric tensors of the second order whose first covariant derivatives are zero.Trans. Amer. Math. Soc., 25(2):297–306, 1923

    work page 1923

  38. [38]

    Q-Curvature and Poincare Metrics

    C. Fefferman and C. R. Graham. Q-curvature and Poincar´ e metrics.arXiv preprint math/0110271, 2001

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  39. [39]

    Ferus, H

    D. Ferus, H. Karcher, and H. F. M¨ unzner. Cliffordalgebren und neue isoparametrische Hy- perfl¨ achen.Math. Z., 177(4):479–502, 1981

    work page 1981

  40. [40]

    A. Fialkow. Hypersurfaces of a space of constant curvature.Ann. of Math. (2), 39(4):762–785, 1938

    work page 1938

  41. [41]

    A. Fialkow. Conformal differential geometry of a subspace.Trans. Amer. Math. Soc., 56:309– 433, 1944

    work page 1944

  42. [42]

    Chern conjecture and isoparametric hypersurfaces

    J. Ge and Z. Tang. Chern conjecture and isoparametric hypersurfaces.arXiv preprint arXiv:1008.3683, 2010

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  43. [43]

    M. J. Gursky. The Weyl functional, de Rham cohomology, and K¨ ahler-Einstein metrics.Ann. of Math. (2), 148(1):315–337, 1998

    work page 1998

  44. [44]

    M. J. Gursky. Conformal vector fields on four–manifolds with negative scalar curvature.Math. Z., 232(2):265–273, Oct 1999

    work page 1999

  45. [45]

    M. J. Gursky. Four-manifolds withδW + = 0 and Einstein constants of the sphere.Math. Ann., 318(3):417–431, 2000

    work page 2000

  46. [46]

    M. J. Gursky and C. LeBrun. On Einstein manifolds of positive sectional curvature.Ann. Global Anal. Geom., 17(4):315–328, 1999

    work page 1999

  47. [47]

    Hirzebruch, T

    F. Hirzebruch, T. Berger, and R. Jung.Manifolds and modular forms, volume E20 ofAspects of Mathematics. Friedr. Vieweg & Sohn, Braunschweig, 1992. With appendices by Nils-Peter Skoruppa and by Paul Baum

    work page 1992

  48. [48]

    N. Hitchin. Compact four-dimensional Einstein manifolds.J. Differential Geometry, 9:435– 441, 1974

    work page 1974

  49. [49]

    G. Huisken. Ricci deformation of the metric on a Riemannian manifold.J. Differential Geom., 21(1):47–62, 1985

    work page 1985

  50. [50]

    N. H. Kuiper. On conformally-flat spaces in the large.Ann. of Math. (2), 50:916–924, 1949

    work page 1949

  51. [51]

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

    work page 1969

  52. [52]

    C. LeBrun. Bach-flat K¨ ahler surfaces.J. Geom. Anal., 30(3):2491–2514, 2020. FOUR DIMENSIONAL HYPERSURFACES IN SPACE FORMS 47

    work page 2020

  53. [53]

    C. LeBrun. Einstein manifolds, self-dual Weyl curvature, and conformally K¨ ahler geometry. Math. Res. Lett., 28(1):127–144, 2021

    work page 2021

  54. [54]

    J. M. Lee and T. H. Parker. The Yamabe problem.Bull. Amer. Math. Soc. (N.S.), 17(1):37– 91, 1987

    work page 1987

  55. [55]

    Levi-Civita.Famiglie di superficie isoparametriche nell’ordinario spazio euclideo

    T. Levi-Civita.Famiglie di superficie isoparametriche nell’ordinario spazio euclideo. Reale Accademia Nazionale, https://books.google.it/books?id=Sg21YgEACAAJ, 1937

    work page 1937

  56. [56]

    Li and N

    F. Li and N. Chen. An isoperimetric inequality of minimal hypersurfaces in spheres.Pacific J. Math., 324(1):143–156, 2023

    work page 2023

  57. [57]

    H. F. M¨ unzner. Isoparametrische Hyperfl¨ achen in Sph¨ aren. II. ¨ uber die Zerlegung der Sph¨ are in Ballb¨ undel.Math. Ann., 256(2):215–232, 1981

    work page 1981

  58. [58]

    Nishikawa and Y

    S. Nishikawa and Y. Maeda. Conformally flat hypersurfaces in a conformally flat Riemannian manifold.Tohoku Math. J. (2), 26:159–168, 1974

    work page 1974

  59. [59]

    K. Nomizu. Some results in E. Cartan’s theory of isoparametric families of hypersurfaces. Bull. Amer. Math. Soc., 79:1184–1188, 1973

    work page 1973

  60. [60]

    Nomizu and B

    K. Nomizu and B. Smyth. A formula of Simons’ type and hypersurfaces with constant mean curvature.J. Differential Geometry, 3:367–377, 1969

    work page 1969

  61. [61]

    Onti and T

    C.-R. Onti and T. Vlachos. Almost conformally flat hypersurfaces.Illinois J. Math., 61(1- 2):37–51, 2017

    work page 2017

  62. [62]

    T. ˆOtsuki. Minimal hypersurfaces in a Riemannian manifold of constant curvature.Amer. J. Math., 92:145–173, 1970

    work page 1970

  63. [63]

    Ozeki and M

    H. Ozeki and M. Takeuchi. On some types of isoparametric hypersurfaces in spheres. I.Tohoku Math. J. (2), 27(4):515–559, 1975

    work page 1975

  64. [64]

    Ozeki and M

    H. Ozeki and M. Takeuchi. On some types of isoparametric hypersurfaces in spheres. II. Tohoku Math. J. (2), 28(1):7–55, 1976

    work page 1976

  65. [65]

    Peng and C.-L

    C.-K. Peng and C.-L. Terng. Minimal hypersurfaces of spheres with constant scalar curvature. InSeminar on minimal submanifolds, volume 103 ofAnn. of Math. Stud., pages 177–198. Princeton Univ. Press, Princeton, NJ, 1983

    work page 1983

  66. [66]

    Peng and C.-L

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

    work page 1983

  67. [67]

    P. J. Ryan. Homogeneity and some curvature conditions for hypersurfaces.Tohoku Math. J. (2), 21:363–388, 1969

    work page 1969

  68. [68]

    Scherfner, S

    M. Scherfner, S. Weiss, and S. Yau. A review of the Chern conjecture for isoparametric hypersurfaces in spheres.ALM, 21:1–13, 2012

    work page 2012

  69. [69]

    B. Segre. Famiglie di ipersuperficie isoparametriche negli spazi euclidei ad un qualunque numero di dimensioni.Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., 2:203–207, 1938

    work page 1938

  70. [70]

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

    work page 1968

  71. [71]

    Spruck and L

    J. Spruck and L. Xiao. Closed minimal hypersurfaces inS 5 with constantSandA 3.arXiv preprint arXiv:2503.23194

    work page arXiv

  72. [72]

    H. Tran. On closed manifolds with harmonic Weyl curvature.Adv. Math., 322:861–891, 2017

    work page 2017

  73. [73]

    M. Umehara. Hypersurfaces with harmonic curvature.Tsukuba J. Math., 10(1):79–88, 1986

    work page 1986

  74. [74]

    B. Wang. Simons’ equation and minimal hypersurfaces in space forms.Proceedings of the American Mathematical Society, 146(1):369–383, 2018

    work page 2018

  75. [75]

    J.-Y. Wu, P. Wu, and W. Wylie. Gradient shrinking Ricci solitons of half harmonic Weyl curvature.Calc. Var. Partial Differential Equations, 57(5):Paper No. 141, 15, 2018

    work page 2018

  76. [76]

    P. Wu. Einstein four-manifolds with self-dual Weyl curvature of nonnegative determinant. Int. Math. Res. Not. IMRN, (2):1043–1054, 2021

    work page 2021

  77. [77]

    Yang and Q.-M

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

    work page 1998