pith. sign in

arxiv: 2604.23207 · v1 · submitted 2026-04-25 · 🧮 math.DG

Normal-Yang-Mills and Tangent-Yang-Mills submanifolds

Jianquan Ge , Lixin Xiao , Wenjin Zhang This is my paper

Pith reviewed 2026-05-08 07:24 UTC · model grok-4.3

classification 🧮 math.DG
keywords Normal-Yang-Mills submanifoldsTangent-Yang-Mills submanifoldsOT-FKM isoparametric hypersurfacesfocal submanifoldscurvature tensorssecond fundamental formvariational problems
0
0 comments X

The pith

Focal submanifolds of OT-FKM isoparametric hypersurfaces supply infinitely many examples of Normal-Yang-Mills and Tangent-Yang-Mills submanifolds whose curvature tensors do not obey the classical Yang-Mills equations.

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

The paper defines Normal-Yang-Mills and Tangent-Yang-Mills submanifolds as the critical points, under normal variations, of the L2-norms of the normal and tangent curvature tensors for submanifolds immersed in the unit sphere. It derives the Euler-Lagrange equations for these functionals explicitly in terms of the second fundamental form. Using the focal submanifolds of OT-FKM isoparametric hypersurfaces, the authors produce infinitely many concrete, non-trivial examples of each type. These examples satisfy the new critical-point conditions but their curvature tensors generally fail to satisfy the classical Yang-Mills equations. The construction therefore separates the variational problems for the normal and tangent curvature components from the standard Yang-Mills functional.

Core claim

The focal submanifolds of OT-FKM isoparametric hypersurfaces are both Normal-Yang-Mills and Tangent-Yang-Mills submanifolds: they satisfy the Euler-Lagrange equations for the L2-norms of the normal and tangent curvature tensors under normal variations, yet their curvature tensors do not in general solve the classical Yang-Mills equations.

What carries the argument

Normal-Yang-Mills and Tangent-Yang-Mills conditions, the Euler-Lagrange equations obtained by varying the L2-norms of the normal and tangent curvature tensors under normal variations of the immersion, expressed in terms of the second fundamental form.

Load-bearing premise

The focal submanifolds of OT-FKM isoparametric hypersurfaces must satisfy the Euler-Lagrange equations that arise from the new variational problems for the normal and tangent curvature tensors.

What would settle it

Take a concrete low-dimensional OT-FKM focal submanifold, compute its second fundamental form explicitly, substitute into the derived Normal-Yang-Mills or Tangent-Yang-Mills equation, and check whether the identity holds; failure on any example would refute the claim that all such submanifolds are examples.

read the original abstract

This paper investigates the variational problems associated with the $L^2$-norms of the normal and tangent curvature tensors for submanifolds immersed in a unit sphere. We define the critical points of these functionals under normal variations as Normal-Yang-Mills and Tangent-Yang-Mills submanifolds, for which we explicitly establish the Euler-Lagrange equations in terms of the second fundamental form. Furthermore, by investigating the focal submanifolds of OT-FKM isoparametric hypersurfaces, we construct infinitely many non-trivial examples of both Normal-Yang-Mills and Tangent-Yang-Mills submanifolds. Notably, the curvature tensors of these examples generally do not satisfy the classical Yang-Mills equations.

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

Summary. The manuscript defines Normal-Yang-Mills and Tangent-Yang-Mills submanifolds as the critical points of the L²-norms of the normal and tangent curvature tensors for submanifolds immersed in the unit sphere, under normal variations. It derives the associated Euler-Lagrange equations explicitly in terms of the second fundamental form. Using the focal submanifolds of OT-FKM isoparametric hypersurfaces, it constructs infinitely many non-trivial examples of both types and notes that their curvature tensors generally fail to satisfy the classical Yang-Mills equations.

Significance. If the verification that the OT-FKM focal submanifolds satisfy the new Euler-Lagrange equations holds, the work supplies a concrete, infinite family of examples for two new variational problems in submanifold geometry. This extends the Yang-Mills paradigm to the normal and tangent curvature tensors and demonstrates that the resulting critical points are distinct from classical Yang-Mills critical points, providing a setting in which further questions of stability, index, or rigidity can be studied using the well-understood curvature data of OT-FKM hypersurfaces.

major comments (2)
  1. [Examples section] Examples section (construction via focal submanifolds of OT-FKM hypersurfaces): The assertion that these focal submanifolds are Normal-Yang-Mills and Tangent-Yang-Mills submanifolds is load-bearing for the central claim of infinitely many examples. The paper must show, by direct substitution of the second fundamental form (or its known algebraic properties) into the Euler-Lagrange equations derived earlier, that the critical-point condition is satisfied; the isoparametric and curvature properties of OT-FKM hypersurfaces do not automatically imply this new condition.
  2. [Examples section] Examples section (distinction from classical Yang-Mills): The claim that the curvature tensors of these examples 'generally do not satisfy the classical Yang-Mills equations' requires an explicit check or reference showing that the second fundamental form fails the classical Euler-Lagrange equation for the Yang-Mills functional; without this, the distinction between the new functionals and the classical one remains unverified for the constructed family.
minor comments (2)
  1. [Preliminaries] The definitions of the normal curvature tensor and tangent curvature tensor should be stated with explicit formulas (including index conventions) immediately after the preliminaries on submanifolds in the sphere.
  2. [Euler-Lagrange equations] A brief comparison table or paragraph relating the new Euler-Lagrange equations to the classical Yang-Mills equation would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the examples section can be strengthened. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Examples section] Examples section (construction via focal submanifolds of OT-FKM hypersurfaces): The assertion that these focal submanifolds are Normal-Yang-Mills and Tangent-Yang-Mills submanifolds is load-bearing for the central claim of infinitely many examples. The paper must show, by direct substitution of the second fundamental form (or its known algebraic properties) into the Euler-Lagrange equations derived earlier, that the critical-point condition is satisfied; the isoparametric and curvature properties of OT-FKM hypersurfaces do not automatically imply this new condition.

    Authors: We agree that an explicit verification strengthens the claim. While the manuscript invokes the algebraic properties of the second fundamental form of OT-FKM focal submanifolds (which are known to satisfy specific relations derived from the isoparametric condition), we acknowledge that a direct substitution into the derived Euler-Lagrange equations was not written out in full detail. In the revised version we will add a short subsection performing this substitution, showing that the relevant contractions involving the second fundamental form and its covariant derivatives vanish identically for these examples. revision: yes

  2. Referee: [Examples section] Examples section (distinction from classical Yang-Mills): The claim that the curvature tensors of these examples 'generally do not satisfy the classical Yang-Mills equations' requires an explicit check or reference showing that the second fundamental form fails the classical Euler-Lagrange equation for the Yang-Mills functional; without this, the distinction between the new functionals and the classical one remains unverified for the constructed family.

    Authors: We agree that an explicit verification of the distinction is desirable. The classical Yang-Mills Euler-Lagrange equation involves a different contraction of the curvature tensor and its derivatives than the equations we derive for the normal and tangent curvature tensors. For the OT-FKM focal submanifolds the second fundamental form satisfies the new equations but not the classical one; this can be seen by direct comparison of the two operators on the known algebraic data. We will insert a brief paragraph (with the relevant comparison) in the Examples section of the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity; verification uses independent prior results

full rationale

The paper derives the Euler-Lagrange equations for the new Normal-Yang-Mills and Tangent-Yang-Mills functionals explicitly in terms of the second fundamental form. It then applies these conditions to the focal submanifolds of OT-FKM isoparametric hypersurfaces, whose curvature and isoparametric properties are taken from established external literature. This is a direct verification step rather than a reduction of the claim to a self-definition, fitted parameter, or self-citation chain. No load-bearing self-citations, ansatzes smuggled via citation, or renaming of known results occur in the derivation chain. The construction of examples therefore rests on independent geometric facts.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper introduces no free parameters, no new invented entities, and relies only on standard background assumptions of Riemannian geometry and submanifold theory.

axioms (1)
  • standard math The ambient space is the unit sphere equipped with its standard Riemannian metric, and submanifolds are smoothly immersed with well-defined second fundamental form and curvature tensors.
    This background is invoked to define the normal and tangent curvature tensors and to set up the variational problems.

pith-pipeline@v0.9.0 · 5419 in / 1472 out tokens · 83670 ms · 2026-05-08T07:24:33.267649+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

17 extracted references · 17 canonical work pages

  1. [1]

    J. P. Bourguignon, H. B. Lawson,Stability and isolation phenomena for Yang-Mills fields, Comm. Math. Physics,79(2)(1981), 189-230

    work page 1981

  2. [2]

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

    work page 2015

  3. [3]

    Q. Chen, Z. R. Zhou,On gap properties and instabilities of p-Yang-Mills fields, Canad. J. Math., 59(6)(2007), 1245-1259

    work page 2007

  4. [4]

    S. S. Chern,Topics in differential geometry: selected&lectures of Shiing-Shen Chern, (2016). NORMAL-YANG-MILLS AND TANGENT-YANG-MILLS SUBMANIFOLDS 31

    work page 2016

  5. [5]

    Q. S. Chi,The Isoparametric Story, a Heritage of ´Elie Cartan, Proceedings of the International Consortium of Chinese Mathematicians, (2018), 197-260, International Press of Boston, (2020)

    work page 2018

  6. [6]

    Ferus, H

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

    work page 1981

  7. [7]

    D. S. Freed, K. K. Uhlenbeck,Instantons and four-manifolds, Springer Science & Business Media, (2012)

    work page 2012

  8. [8]

    J. Q. Ge, C. Qian, Z. Z. Tang, W. J. Yan,An overview of the development of isoparametric theory (in Chinese), Sci. Sin. Math.,55(2025), 145–168

    work page 2025

  9. [9]

    J. Q. Ge, Y. Zhou,Austere matrices, austere submanifolds and Dupin hypersurfaces, Adv. Math., 482(2025), 110645

    work page 2025

  10. [10]

    G. Y. Jia, Z. R. Zhou,Gaps of F-Yang-Mills fields on submanifolds, Tsukuba J. Math., 36(1)(2012), 121-134

    work page 2012

  11. [11]

    Rudolph, M

    G. Rudolph, M. Schmidt, M. Schmidt,Differential geometry and mathematical physics, Berlin: Springer, (2012)

    work page 2012

  12. [12]

    Sakamoto,Variational problems of normal curvature tensor and concircular scalar fields, To- hoku Math

    K. Sakamoto,Variational problems of normal curvature tensor and concircular scalar fields, To- hoku Math. J., Second Series,55(2)(2003), 207-254

    work page 2003

  13. [13]

    Z. Z. Tang, W. J. Yan,Isoparametric foliation and a problem of Besse on generalizations of Einstein condition, Adv. Math.,285(2015), 1970-2000

    work page 2015

  14. [14]

    Z. Z. Tang, W. J. Yan,New examples of Willmore submanifolds in the unit sphere via isoparametric functions, Ann. Glob. Anal. Geom.,42(3)(2012), 403-410

    work page 2012

  15. [15]

    Tian,Gauge theory and calibrated geometry, I, Annals of Math.,151(1)(2000), 193-268

    G. Tian,Gauge theory and calibrated geometry, I, Annals of Math.,151(1)(2000), 193-268

    work page 2000

  16. [16]

    C. P. Wang,Moebius geometry of submanifolds inS n, Manuscripta Math.,96(4)(1998), 517-534

    work page 1998

  17. [17]

    Y. Q. Xie,Willmore submanifolds in the unit sphere via isoparametric functions, Acta Math. Sinica, English Series,31(12)(2015), 1963-1969. School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, Beijing Normal University, Beijing 100875, P.R. CHINA. Email address:jqge@bnu.edu.cn School of Mathematical Sciences, Laboratory of Mathem...

    work page 2015