[论文解读] Isoparametric foliation and Yau conjecture on the first eigenvalue

Zizhou Tang, Wenjiao Yan|arXiv (Cornell University)|Jan 3, 2012

Geometric Analysis and Curvature Flows参考文献 16被引用 4

一句话总结

本文证明了关于单位球面 $ S^{n+1}(1) $ 中闭合极小等分布超曲面的第一特征值的丘成桐猜想，表明第一特征值等于该超曲面的维数。通过谱分析与拓扑方法，本文建立：对于具有四个不同主曲率且重数为 $ m_1, m_2 \geq 2 $ 的等分布超曲面，有 $ \lambda_1 = n $，并进一步证明在非稳定范围内，等分布超曲面的焦点子流形的第一特征值等于其维数。

ABSTRACT

A well known conjecture of Yau states that the first eigenvalue of every closed minimal hypersurface $M^n$ in the unit sphere $S^{n+1}(1)$ is just its dimension $n$. The present paper shows that Yau conjecture is true for minimal isoparametric hypersurfaces. Moreover, the more fascinating result of this paper is that the first eigenvalues of the focal submanifolds are equal to their dimensions in the non-stable range.

研究动机与目标

• 证明丘成桐猜想：单位球面 $ S^{n+1}(1) $ 中每个闭合极小超曲面的第一特征值等于其维数 $ n $，且限定于等分布超曲面。
• 将先前关于齐次极小超曲面的结果推广至非齐次情形，特别是针对具有四个不同主曲率的等分布超曲面。
• 证明当 $ g=4 $ 且 $ m_1, m_2 \geq 2 $ 时，等分布超曲面的焦点子流形的第一特征值等于其各自维数。
• 通过特征值不等式与几何分析，提供非稳定范围内焦点子流形的谱刻画。
• 通过涵盖先前关于齐次或 OT-FKM 型超曲面未解决的剩余情形，完成对所有等分布极小超曲面丘成桐猜想的证明。

提出的方法

• 利用紧致黎曼流形上拉普拉斯-贝尔特拉米算子的谱理论，重点关注第一特征值 $ \lambda_1(M) $。
• 应用门茨纳对等分布超曲面的分类，该分类限制了不同主曲率的个数 $ g $ 为 1、2、3、4 或 6。
• 采用拓扑方法分析等分布叶状结构及焦点子流形的几何性质。
• 通过比较球面 $ S^{n+1}(1) $ 与焦点子流形 $ M_1 $、$ M_2 $ 的谱，利用瑞利商与 $ L^2 $-范数推导特征值不等式。
• 对具有 $ g=4 $ 的等分布超曲面使用 OT-FKM 型构造，特别分析 $ (m_1, m_2) = (1,k) $ 的情形，并构造一个微分同胚于 $ S^1(1) \times S^{k+1}(1) / \sim $ 的商空间以计算特征值。
• 建立焦点子流形 $ M_1 $ 的第一特征值等于其维数的充分条件 $ m_2 \geq \frac{1}{2}(m_1 + 3) $。

实验结果

研究问题

• RQ1 丘成桐猜想是否对所有单位球面 $ S^{n+1}(1) $ 中的闭合极小等分布超曲面成立，特别是非齐次情形？
• RQ2 具有四个不同主曲率且 $ m_1, m_2 \geq 2 $ 的等分布超曲面的焦点子流形的第一特征值是多少？
• RQ3 能否通过谱方法与几何方法证明极小等分布超曲面的第一特征值等于其维数？
• RQ4 球面 $ S^{n+1}(1) $ 与焦点子流形 $ M_1 $、$ M_2 $ 之间的特征值不等式如何帮助证明主要结果？
• RQ5 在何种重数 $ m_1, m_2 $ 条件下，焦点子流形 $ M_1 $ 的第一特征值等于其维数？

主要发现

• 单位球面 $ S^{n+1}(1) $ 中每个闭合极小等分布超曲面 $ M^n $ 的第一特征值等于其维数 $ n $，从而在该类中证实了丘成桐猜想。
• 对于具有 $ g=4 $ 且 $ m_1, m_2 \geq 2 $ 的等分布超曲面，第一特征值 $ \lambda_1(M^n) = n $，扩展了先前仅限于 $ (m_1, m_2) = (1,k) $ 或 $ (2,2) $ 的结果。
• 当 $ m_2 \geq \frac{1}{2}(m_1 + 3) $ 时，焦点子流形 $ M_1 $ 与 $ M_2 $ 的第一特征值等于其各自维数，尤其在非稳定范围内成立。
• OT-FKM 型的焦点子流形 $ M_2 $，其中 $ (m_1, m_2) = (1,k) $，其第一特征值为 $ \lambda_1(M_2) = \min\{4, 2+k\} $，当 $ k \geq 2 $ 时等于其维数。
• 导出了不等式 $ \lambda_{n+3}(M_1) \geq \frac{2(n+2)(m_2 - 1)}{m_1 + m_2} $，并用于建立 $ M_1 $ 的第一特征值的下界，从而在给定重数条件下得出 $ \lambda_1(M_1) = \dim M_1 $ 的结论。
• 通过结合齐次情形（$ g=1,2,3,6 $）与非齐次情形（$ g=4 $）的结果，利用等分布超曲面的分类与谱比较技术，完成了证明。