pith. sign in

arxiv: 2604.09802 · v1 · submitted 2026-04-10 · 🧮 math.DG

The index of cubic focal manifolds

Niklas Rauchenberger , Uwe Semmelmann This is my paper

Pith reviewed 2026-05-10 16:17 UTC · model grok-4.3

classification 🧮 math.DG
keywords isoparametric hypersurfacesfocal manifoldsMorse indexnullityVeronese embeddingsminimal submanifoldsspheresstability
0
0 comments X

The pith

The index of the three orientable focal manifolds equals the dimension of the ambient Euclidean space.

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

The paper computes the Morse index and nullity of the focal manifolds that arise from isoparametric hypersurfaces in spheres having exactly three distinct principal curvatures. These focal manifolds sit in the sphere as minimal submanifolds and are the sets where one of the curvature distributions vanishes. The calculation shows that the index is always equal to the dimension of the Euclidean space containing the sphere, while the nullity is fixed by the normal projections of the ambient sphere's Killing vector fields. This places examples such as the Veronese embeddings of the projective planes at the boundary of possible stability among non-totally-geodesic submanifolds.

Core claim

We calculate the index and nullity of the three orientable focal manifolds of isoparametric hypersurfaces in spheres with three distinct principal curvatures. It turns out that the index is equal to the dimension of the ambient Euclidean space and the nullity is completely determined by the normal part of Killing vector fields of the ambient sphere. In that sense, the Veronese embeddings of the projective planes are as stable as possible for non totally geodesic submanifolds of the sphere.

What carries the argument

The second-variation operator (Jacobi operator) of the volume functional on the focal submanifolds, whose negative spectrum determines the index.

If this is right

  • Every such focal manifold has Morse index exactly equal to the dimension of the ambient Euclidean space.
  • Nullity arises only from the normal components of Killing vector fields on the ambient sphere.
  • The Veronese embeddings achieve the lowest possible index attainable by any non-totally-geodesic minimal submanifold in the sphere.
  • Stability properties are identical for all three orientable focal manifolds of any g=3 isoparametric hypersurface.

Where Pith is reading between the lines

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

  • The result supplies a uniform stability bound that may serve as a comparison tool for other minimal submanifolds obtained from homogeneous or algebraic constructions.
  • Relaxing orientability might allow the same index formula to cover the remaining focal manifolds.
  • The explicit dependence on ambient Killing fields suggests a possible link to the representation theory of the isometry group of the sphere.
  • The same index calculation could be tested on known explicit examples such as the Cartan hypersurface or its focal sets.

Load-bearing premise

The hypersurfaces are isoparametric with precisely three distinct principal curvatures and the focal manifolds under consideration are orientable.

What would settle it

Direct computation of the index for the Veronese embedding of RP^2 in S^4; the claim fails if the index differs from 5.

read the original abstract

We calculate the index and nullity of the three orientable focal manifolds of isoparametric hypersurfaces in spheres with three distinct principal curvatures. It turns out that the index is equal to the dimension of the ambient Euclidean space and the nullity is completely determined by the normal part of Killing vector fields of the ambient sphere. In that sense, the Veronese embeddings of the projective planes are as stable as possible for non totally geodesic submanifolds of the sphere.

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

0 major / 2 minor

Summary. The manuscript computes the Morse index and nullity of the volume functional (via the Jacobi operator) on the three orientable focal manifolds of isoparametric hypersurfaces with exactly three distinct principal curvatures in spheres. The central claim is that the index equals the dimension of the ambient Euclidean space while the nullity is spanned by the normal projections of the Killing vector fields of the ambient sphere; this is used to conclude that the Veronese embeddings of the projective planes are as stable as possible among non-totally geodesic examples.

Significance. If the derivation holds, the result supplies a sharp, explicit stability statement for a classical family of minimal submanifolds, directly tying the index to ambient dimension and the nullity to ambient isometries. This furnishes a concrete benchmark in the study of second-variation operators for isoparametric geometry and minimal hypersurface theory in spheres, confirming that these cubic focal manifolds achieve the maximal index permitted by the ambient symmetries.

minor comments (2)
  1. §2, after the definition of the focal manifolds: the reduction of the Jacobi operator to the normal bundle of the focal submanifold is stated without an explicit reference to the standard formula for the second variation on minimal submanifolds in space forms; adding a one-line citation to the relevant index formula would improve readability.
  2. §4, the statement of the main theorem: the phrase 'completely determined by the normal part of Killing vector fields' is slightly informal; a precise description of the dimension of this space (in terms of the multiplicities m1, m2) would make the nullity claim fully quantitative.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and recommendation of minor revision. The report accurately summarizes our computation of the Morse index and nullity for the three orientable focal manifolds, confirming that the index equals the ambient Euclidean dimension and the nullity is spanned by normal projections of Killing fields.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper computes the Morse index and nullity of the volume functional on orientable focal manifolds of isoparametric hypersurfaces with g=3 via the Jacobi operator and the normal components of ambient Killing fields. This is a direct spectral calculation on the stability operator, using only the standard minimality of focal submanifolds and the known geometry of such hypersurfaces in spheres. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the central equality (index = ambient Euclidean dimension) emerges from the explicit eigenvalue analysis rather than from renaming or importing prior results of the authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the established theory of isoparametric hypersurfaces in spheres and the standard Morse index formula for submanifolds; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard results on the geometry of isoparametric hypersurfaces with three principal curvatures in spheres
    The paper invokes the known classification and focal manifold structure of such hypersurfaces.
  • standard math The Morse index formula for submanifolds of spheres applies directly to the focal manifolds
    Index and nullity are computed using this formula together with Killing fields.

pith-pipeline@v0.9.0 · 5360 in / 1416 out tokens · 39852 ms · 2026-05-10T16:17:07.723151+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    G. Ball, J. Madnick, and U. Semmelmann,The Morse index of quartic minimal hypersurfaces, arXiv:2310.19404 (2023)

    work page arXiv 2023

  2. [2]

    Berndt, S

    J. Berndt, S. Console, and C. E. Olmos,Submanifolds and holonomy, Second edition, Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL (2016)

    work page 2016

  3. [3]

    Cartan,Familles de surfaces isoparam´ etriques dans les espaces ` a courbure constante, Ann

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

    work page 1938

  4. [4]

    Cartan,Sur des familles remarquables d’hypersurfaces isoparam´ etriques dans les espaces sph´ eriques, Math

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

    work page 1939

  5. [5]

    T. E. Cecil and P. J. Ryan,Geometry of hypersurfaces, Springer Monographs in Mathematics, Springer, New York (2015)

    work page 2015

  6. [6]

    Chi,The isoparametric story, a heritage of ´Elie Cartan, Proceedings of the International Consortium of Chinese Mathematicians 2018, 197–260, Int

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

    work page 2018

  7. [7]

    Console and C

    S. Console and C. Olmos,Clifford systems, algebraically constant second fundamental form and isoparametric hypersurfaces, Manuscripta Math.97(1998), no. 3, 335–342

    work page 1998

  8. [8]

    El Soufi,Applications harmoniques, immersions minimales et transformations conformes de la sph` ere, Compositio Math.85(1993), no

    A. El Soufi,Applications harmoniques, immersions minimales et transformations conformes de la sph` ere, Compositio Math.85(1993), no. 3, 281–298

    work page 1993

  9. [9]

    Ferus, H

    D. Ferus, H. Karcher, and H. F. M”unzner,Cliffordalgebren und neue isoparametrische Hy- perfl”achen, Math. Z.177(1981), no. 4, 479–502. 14 NIKLAS RAUCHENBERGER, UWE SEMMELMANN

    work page 1981

  10. [10]

    Freudenthal and H

    H. Freudenthal and H. de Vries,Linear Lie groups, Pure and Applied Mathematics, Vol. 35, Aca- demic Press, New York-London (1969)

    work page 1969

  11. [11]

    Ge and Z

    J. Ge and Z. Tang,Isoparametric functions and exotic spheres, J. Reine Angew. Math.683(2013), 161–180

    work page 2013

  12. [12]

    Ge and Z

    J. Ge and Z. Tang,Geometry of isoparametric hypersurfaces in Riemannian manifolds, Asian J. Math.18(2014), no. 1, 117–125

    work page 2014

  13. [13]

    Grove, B

    K. Grove, B. Wilking, and W. Ziller,Positively curved cohomogeneity one manifolds and 3-Sasakian geometry, J. Differential Geom.78(2008), no. 1, 33–111

    work page 2008

  14. [14]

    Hsiang and H

    W.-y. Hsiang and H. B. Lawson, Jr.,Minimal submanifolds of low cohomogeneity, J. Differential Geometry5(1971), 1–38

    work page 1971

  15. [15]

    Ikeda and Y

    A. Ikeda and Y. Taniguchi,Spectra and eigenforms of the Laplacian on Sn and Pn(C), Osaka Math. J.15(1978), no. 3, 515–546

    work page 1978

  16. [16]

    Kimura,Stability of certain reflective submanifolds in compact symmetric spaces, Tsukuba J

    T. Kimura,Stability of certain reflective submanifolds in compact symmetric spaces, Tsukuba J. Math.32(2008), no. 2, 361–382

    work page 2008

  17. [17]

    A. W. Knapp,Lie groups beyond an introduction, Second edition, Progress in Mathematics, Vol. 140, Birkh¨ auser Boston, Inc., Boston, MA (2002)

    work page 2002

  18. [18]

    Li,Clifford systems, Cartan hypersurfaces and Riemannian submersions, J

    Q. Li,Clifford systems, Cartan hypersurfaces and Riemannian submersions, J. Geom.107(2016), no. 3, 557–565

    work page 2016

  19. [19]

    Li and W

    Q. Li and W. Yan,On Ricci tensor of focal submanifolds of isoparametric hypersurfaces, Sci. China Math.58(2015), no. 8, 1723–1736

    work page 2015

  20. [20]

    Li and L

    Q. Li and L. Zhang,On focal submanifolds of isoparametric hypersurfaces and Simons formula, Results Math.70(2016), no. 1-2, 183–195

    work page 2016

  21. [21]

    Mashimo,Spectra of the Laplacian on the Cayley projective plane, Tsukuba J

    K. Mashimo,Spectra of the Laplacian on the Cayley projective plane, Tsukuba J. Math.21(1997), no. 2, 367–396

    work page 1997

  22. [22]

    Milhorat,A Remark on the First Eigenvalue of the Laplace Operator on 1-forms for Compact Inner Symmetric Spaces, arXiv:2204.02806 (2023)

    J.-L. Milhorat,A Remark on the First Eigenvalue of the Laplace Operator on 1-forms for Compact Inner Symmetric Spaces, arXiv:2204.02806 (2023)

    work page arXiv 2023

  23. [23]

    Montiel and F

    S. Montiel and F. Urbano,Second variation of superminimal surfaces into self-dual Einstein four- manifolds, Trans. Amer. Math. Soc.349(1997), no. 6, 2253–2269

    work page 1997

  24. [24]

    Moroianu and U

    A. Moroianu and U. Semmelmann,The Hermitian Laplace operator on nearly K¨ ahler manifolds, Comm. Math. Phys.294(2010), no. 1, 251-272

    work page 2010

  25. [25]

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

    work page 1980

  26. [26]

    Ohnita,On stability of minimal submanifolds in compact symmetric spaces, Compositio Math

    Y. Ohnita,On stability of minimal submanifolds in compact symmetric spaces, Compositio Math. 64(1987), no. 2, 157–189

    work page 1987

  27. [27]

    Semmelmann and G

    U. Semmelmann and G. Weingart,The standard Laplace operator, Manuscripta Math.158(2019), no. 1-2, 273–293

    work page 2019

  28. [28]

    Siffert,Classification of isoparametric hypersurfaces in spheres with(g, m) = (6,1), Proc

    A. Siffert,Classification of isoparametric hypersurfaces in spheres with(g, m) = (6,1), Proc. Amer. Math. Soc.144(2016), no. 5, 2217–2230

    work page 2016

  29. [29]

    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

  30. [30]

    Solomon,The harmonic analysis of cubic isoparametric minimal hypersurfaces

    B. Solomon,The harmonic analysis of cubic isoparametric minimal hypersurfaces. I. Dimensions 3and6, Amer. J. Math.112(1990), no. 2, 157–203

    work page 1990

  31. [31]

    Tang and W

    Z. Tang and W. Yan,Isoparametric foliation and Yau conjecture on the first eigenvalue, J. Differ- ential Geom.94(2013), no. 3, 521–540

    work page 2013

  32. [32]

    Torralbo and F

    F. Torralbo and F. Urbano,Index of compact minimal submanifolds of the Berger spheres, Calc. Var. Partial Differential Equations61(2022), no. 3, Paper No. 104, 35 pp

    work page 2022

  33. [33]

    Tsukamoto,Spectra of Laplace-Beltrami Operators on SO(n+2)/SO(2)SO(n) and Sp(n+1)/Sp(1)Sp(n), Tsukuba J

    C. Tsukamoto,Spectra of Laplace-Beltrami Operators on SO(n+2)/SO(2)SO(n) and Sp(n+1)/Sp(1)Sp(n), Tsukuba J. Math.18(1981), no. 1, 407–426. THE INDEX OF CUBIC FOCAL MANIFOLDS 15 Niklas Rauchenberger, Institut f ¨ur Geometrie und Topologie, F achbereich Mathe- matik, Universit ¨at Stuttgart, Pfaffenwaldring 57, 70569 Stuttgart, Germany Email address:niklas....

    work page 1981