2025-11-24T09:04:18.006238

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

Cui

Via a new isoparametric foliation in $\mathbb{S}^n(1) \times \mathbb{S}^n(1)$, we find many new area-minimizing cones by applying Lawlor's curvature criterion, especially codimension-two area-minimizing cones in $\mathbb{R}^{2n+2}$ for $n\geq 63$. This new isoparametric foliation is a further restriction of the Ferus-Karcher-MÃ¼nzner isoparametric foliation to $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$, which can also be defined on general $\mathbb{S}^n(a) \times \mathbb{S}^n(b)(a>0,b>0)$, and it extends the recent classification results of F. Urbano for $n=2$.

academic

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

基本信息

论文ID: 2510.14650
标题: On FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$ and new area-minimizing cones
作者: Hongbin Cui (中国科学技术大学)
分类: math.DG (微分几何)
发表时间: 2025年10月16日
论文链接: https://arxiv.org/abs/2510.14650

摘要

通过在 $\mathbb{S}^n(1) \times \mathbb{S}^n(1)$ 中构造新的等参叶状结构，作者运用Lawlor的曲率判别准则发现了许多新的面积最小化锥面，特别是在 $\mathbb{R}^{2n+2}$ 中当 $n\geq 63$ 时的余维数为2的面积最小化锥面。这一新的等参叶状结构是Ferus-Karcher-Münzner(FKM)等参叶状结构在 $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$ 上的进一步限制，也可以定义在一般的 $\mathbb{S}^n(a) \times \mathbb{S}^n(b)$ 上，并推广了F. Urbano在 $n=2$ 情况下的分类结果。

研究背景与动机

问题背景

面积最小化锥面的重要性：作为Plateau问题的解，面积最小化曲面在每个内部奇点处都存在至少一个切锥作为blow-up极限，这些锥面本身也是面积最小化的。研究面积最小化锥面有助于理解面积最小化曲面奇点的结构。
现有结果的局限性：
- 正则面积最小化超曲面锥面主要来自齐次例子（如Simons锥面）和等参锥面
- 高余维情况下，除了复代数簇外，已知的余维数为2的面积最小化锥面非常有限
- Cheng和Lawlor的例子可能是唯一已知的非复代数簇的余维数为2面积最小化锥面
研究动机：寻找 $\mathbb{R}^{2n+2}$ 中新的余维数为2的最小锥面，特别是在Simons锥面 $C_n$ 内作为子锥面的情况。

核心贡献

构造了新的等参叶状结构：在 $\mathbb{S}^n \times \mathbb{S}^n$ 中定义了FKM等参超曲面，这是FKM等参多项式限制的结果
发现了大量新的面积最小化锥面：
- 当 $k=1$ （不可约情况）且 $\delta(m) \geq 64$ 时
- 当 $k \geq 2$ （可约情况）且 $k\delta(m) \geq 484$ 时
证明了等法向性质：证明了FKM等参超曲面在 $\mathbb{S}^n \times \mathbb{S}^n$ 中是等法向的（isonormal）
应用Lawlor判别准则：系统地计算了消失角和法向半径，验证了面积最小化条件
推广了Urbano的结果：将 $n=2$ 情况的分类推广到一般维数

方法详解

任务定义

寻找 $\mathbb{R}^{2n+2}$ 中新的余维数为2的面积最小化锥面，特别关注那些链接为 $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$ 中最小超曲面的锥面。

核心数学架构

1. FKM等参多项式的分裂形式

对于FKM等参多项式，作者定义了其在 $\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$

其中 $\{A_1, A_2, \ldots, A_{m-1}\}$ 是Clifford代数 $\text{Cl}_{m-1}$ 在 $\mathbb{R}^{k\delta(m)}$ 上的反对称表示族。

2. 等法向条件

定义等法向超曲面：对于 $\mathbb{S}^n \times \mathbb{S}^n$ 中的超曲面 $M$ ，如果Urbano的乘积角函数 $C = \langle PN, N \rangle \equiv 0$ ，则称 $M$ 为等法向的。

关键引理1.2：等法向最小超曲面在 $\mathbb{S}^n \times \mathbb{S}^n$ 中也是 $\mathbb{S}^{2n+1}(\sqrt{2})$ 中的最小超曲面。

3. 第二基本形式的计算公式

定理2.3：对于 $\mathbb{S}^n \times \mathbb{S}^n$ 中由函数 $F$ 的正则水平集给出的非平凡代数超曲面 $M$ ，其第二基本形式的模长平方为：

$||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]$

技术创新点

分裂技术：将高维FKM等参多项式分解为乘积空间上的双齐次多项式
等法向性质的利用：通过等法向条件确保子流形在更高维球面中仍保持最小性
Lawlor判别准则的系统应用：精确计算消失角和法向半径的估计

实验设置

理论验证框架

本文主要是理论性工作，"实验"体现在数学证明和计算验证上：

消失角的估计：使用Lawlor的表格和公式计算估计消失角
法向半径的计算：通过几何分析确定精确的法向半径
维数条件的验证：检查不同参数下的维数约束

关键计算步骤

第一步：第二基本形式分析

计算最小FKM等参超曲面 $\Sigma$ 的切片几何
证明形状算子的最大范数为 $\alpha^2 = 6(n-1)$
通过Lawlor表格得到消失角估计： $\theta \leq \arctan \frac{11}{n}$ （当 $n \geq 11$ ）

第二步：法向半径计算

利用Clifford代数的反对称表示性质，证明法向半径为： $N = \arctan\sqrt{\frac{c}{1-c}} = \arctan\sqrt{\frac{m-1}{n-m}}$ （除了特殊情况 $(m,n) = (9,15)$ ）

第三步：Lawlor条件验证

验证关键不等式 $2\theta \leq N$ ：

不可约情况 ( $k=1$ )：需要 $n \geq 63$
可约情况 ( $k \geq 2$ )：需要 $n \geq 483$

实验结果

主要定理

定理1.7：最小锥面 $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{ 且 } |x|=|y|\right\}$