On FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$ and new area-minimizing cones

Basic Information

• Paper ID: 2510.14650
• Title: On FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$ and new area-minimizing cones
• Author: Hongbin Cui (University of Science and Technology of China)
• Classification: math.DG (Differential Geometry)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.14650

Abstract

By constructing new isoparametric foliations in $\mathbb{S}^n(1) \times \mathbb{S}^n(1)$, the author applies Lawlor's curvature discriminant criterion to discover numerous new area-minimizing cones, particularly codimension-2 area-minimizing cones in $\mathbb{R}^{2n+2}$ for $n \geq 63$. This new isoparametric foliation arises from a further restriction of the Ferus-Karcher-Münzner (FKM) isoparametric foliation on $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$, can also be defined on general $\mathbb{S}^n(a) \times \mathbb{S}^n(b)$, and generalizes the classification results of F. Urbano for the case $n=2$.

Research Background and Motivation

Problem Background

1. Significance of area-minimizing cones: As solutions to the Plateau problem, area-minimizing surfaces possess at least one tangent cone at each interior singularity as a blow-up limit, and these cones themselves are area-minimizing. Studying area-minimizing cones helps understand the structure of singularities in area-minimizing surfaces.
2. Limitations of existing results:
   • Regular area-minimizing hypersurface cones primarily come from homogeneous examples (such as Simons cones) and isoparametric cones
   • In high codimension cases, known codimension-2 area-minimizing cones are extremely limited outside of complex algebraic varieties
   • The examples of Cheng and Lawlor may be the only known codimension-2 area-minimizing cones that are not complex algebraic varieties
3. Research motivation: To find new codimension-2 minimal cones in $\mathbb{R}^{2n+2}$, particularly those appearing as subcones within the Simons cone $C_n$.

Core Contributions

1. Construction of new isoparametric foliations: Defined FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$, which arise from restrictions of FKM isoparametric polynomials
2. Discovery of numerous new area-minimizing cones:
   • For the irreducible case $k=1$ with $\delta(m) \geq 64$
   • For the reducible case $k \geq 2$ with $k\delta(m) \geq 484$
3. Proof of isonormality: Established that FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$ are isonormal
4. Application of Lawlor's discriminant criterion: Systematically computed vanishing angles and normal radii, verifying area-minimizing conditions
5. Generalization of Urbano's results: Extended the classification for $n=2$ to general dimensions

Detailed Methodology

Problem Formulation

To find new codimension-2 area-minimizing cones in $\mathbb{R}^{2n+2}$, with particular focus on cones whose links are minimal hypersurfaces in $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$.

Core Mathematical Framework

1. Split Form of FKM Isoparametric Polynomials

For FKM isoparametric polynomials, the author defines their split form on $\mathbb{R}^{n+1} \times \mathbb{R}^{n+1}$:

$F(x,y) = \langle x,y \rangle^2 + \sum_{q=1}^{m-1} \langle A_q x, y \rangle^2$

where $\{A_1, A_2, \ldots, A_{m-1}\}$ is a family of antisymmetric representations of the Clifford algebra $\text{Cl}_{m-1}$ on $\mathbb{R}^{k\delta(m)}$.

2. Isonormality Condition

Definition of isonormal hypersurface: For a hypersurface $M$ in $\mathbb{S}^n \times \mathbb{S}^n$, if Urbano's product angle function $C = \langle PN, N \rangle \equiv 0$, then $M$ is called isonormal.

Key Lemma 1.2: An isonormal minimal hypersurface in $\mathbb{S}^n \times \mathbb{S}^n$ is also a minimal hypersurface in $\mathbb{S}^{2n+1}(\sqrt{2})$.

3. Computation Formula for Second Fundamental Form

Theorem 2.3: For a non-trivial algebraic hypersurface $M$ in $\mathbb{S}^n \times \mathbb{S}^n$ given by regular level sets of a function $F$, the squared norm of its second fundamental form is:

$||B||^2 = \frac{1}{|\bar{\nabla}F|^2}\left[\frac{1}{2}\bar{\Delta}|\bar{\nabla}F|^2 - \langle\bar{\nabla}F, \bar{\nabla}\bar{\Delta}F\rangle - (n-1)|\bar{\nabla}F|^2 - \frac{|\bar{\nabla}|\bar{\nabla}F|^2|^2}{2|\bar{\nabla}F|^2} + \frac{\langle\bar{\nabla}|\bar{\nabla}F|^2, \bar{\nabla}F\rangle^2}{4|\bar{\nabla}F|^4}\right]$

Technical Innovations

1. Splitting technique: Decomposing high-dimensional FKM isoparametric polynomials into bihomogeneous polynomials on product spaces
2. Exploitation of isonormality: Using the isonormality condition to ensure that submanifolds remain minimal in higher-dimensional spheres
3. Systematic application of Lawlor's discriminant criterion: Precise computation of vanishing angle and normal radius estimates

Experimental Framework

Theoretical Verification Framework

This is primarily a theoretical work, with "experiments" manifested in mathematical proofs and computational verification:

1. Vanishing angle estimation: Using Lawlor's tables and formulas to compute vanishing angle estimates
2. Normal radius calculation: Determining precise normal radii through geometric analysis
3. Verification of dimensional constraints: Checking dimensional constraints under different parameters

Key Computational Steps

Step One: Second Fundamental Form Analysis

• Computing the slice geometry of minimal FKM isoparametric hypersurfaces $\Sigma$
• Proving that the maximum norm of the shape operator is $\alpha^2 = 6(n-1)$
• Obtaining vanishing angle estimates from Lawlor's table: $\theta \leq \arctan \frac{11}{n}$ (when $n \geq 11$)

Step Two: Normal Radius Calculation

Using properties of antisymmetric representations of Clifford algebras, proving that the normal radius is: $N = \arctan\sqrt{\frac{c}{1-c}} = \arctan\sqrt{\frac{m-1}{n-m}}$ (except for the special case $(m,n) = (9,15)$)

Step Three: Verification of Lawlor Condition

Verifying the critical inequality $2\theta \leq N$:

• Irreducible case ($k=1$): Requires $n \geq 63$
• Reducible case ($k \geq 2$): Requires $n \geq 483$

Experimental Results

Main Theorems

Theorem 1.7: The minimal cone $C(\Sigma) \subset C_{k\delta(m)-1}$$C(\Sigma) = \left\{(x,y) \in \mathbb{R}^{k\delta(m)} \times \mathbb{R}^{k\delta(m)} : \langle x,y\rangle^2 + \sum_{q=1}^{m-1}\langle A_q x, y\rangle^2 = \frac{m-1}{n-1}|x|^2|y|^2 \text{ and } |x|=|y|\right\}$

is area-minimizing under the following conditions:

• (i) Irreducible case $k=1$, $\delta(m) \geq 64$
• (ii) Reducible case $k \geq 2$, $k\delta(m) \geq 484$

Theorem 1.8: The minimal product cone is area-minimizing when $\dim C \geq 21$.

Concrete Application Examples

Using the Clifford algebra dimension table:

• For $m=11$, $\delta(11)=64$, yielding the first example at $n=63$
• For $m=2, k=242$, $k\delta(2)=484$, yielding an example at $n=483$

Important Findings

1. Numerous new examples: First construction of non-homogeneous codimension-2 area-minimizing cones for $n \geq 63$
2. Unified framework: Provides a systematic method for constructing and verifying area-minimizing cones
3. Dimensional lower bounds: Provides concrete dimensional lower bounds, though possibly not optimal

Related Work

Historical Development

1. Simons cones: The first class of regular area-minimizing cones, discovered in solving the Bernstein problem
2. Lawson's calibration method: Proved that many homogeneous minimal hypersurfaces produce area-minimizing cones
3. Isoparametric cones: Complete classification of isoparametric area-minimizing cones by Wang and others
4. High codimension cases: Examples of Cheng and Lawlor for codimension-2

Innovations of This Work

Compared to existing work, this paper:

• First constructs codimension-2 area-minimizing cones in a non-homogeneous setting
• Extends FKM theory to product spaces
• Provides a systematic construction method

Conclusions and Discussion

Main Conclusions

1. Successfully constructed numerous new codimension-2 area-minimizing cones
2. Established the framework of FKM isoparametric theory in product spaces
3. Verified the validity of Lawlor's discriminant criterion in the new setting

Limitations

1. Dimensional constraints: Requires substantially large dimensions ($n \geq 63$ or $n \geq 483$)
2. Optimality of bounds: The given dimensional lower bounds may not be optimal
3. Computational complexity: Involves complex Clifford algebra computations

Future Directions

1. Improved dimensional bounds: More refined numerical computations may reduce dimensional requirements
2. Generalization to other spaces: Consider more general product manifolds
3. Classification problems: Complete classification of isoparametric hypersurfaces in product spaces

In-Depth Evaluation

Strengths

1. Theoretical depth: Organically combines multiple profound geometric theories (FKM theory, Lawlor's discriminant criterion, isoparametric geometry)
2. Computational rigor: Detailed calculations and estimates, particularly precise analysis of vanishing angles and normal radii
3. Important results: First construction of non-homogeneous codimension-2 area-minimizing cones in high dimensions
4. Methodological innovation: Clever application of splitting techniques and isonormality conditions

Weaknesses

1. High dimensional requirements: Practical applications limited by high-dimensional constraints
2. Technical threshold: Requires deep background in differential geometry and algebra
3. Computational complexity: Involves extensive technical computations with potential room for improvement

Impact

1. Theoretical contribution: Provides new construction methods for area-minimizing cone theory
2. Methodological value: Isonormality techniques may apply to other geometric problems
3. Generalization potential: Opens new directions for research in related fields

Applicable Scenarios

• Research in minimal surface theory in differential geometry
• Geometric variational problems
• Applications of Clifford algebras in geometry
• Development of isoparametric geometry theory

References

The paper cites extensive relevant literature, including:

• Pioneering work of Lawlor on area-minimizing cones
• Classical literature on FKM isoparametric theory
• Recent advances by Urbano and others in product space geometry
• Foundational literature on area-minimizing theory

This paper possesses significant theoretical value in the field of differential geometry, solving a difficult geometric problem through clever mathematical construction and making substantial contributions to the development of the field.