[论文解读] Riemannian Submanifolds: A Survey

Bang‐Yen Chen|arXiv (Cornell University)|Jul 7, 2013

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

一句话总结

本篇由陈邦彦撰写的全面综述系统地概述了黎曼子流形，涵盖基础定理、关键几何类（极小、有限型、平行、拉格朗日、斜、CR 和凯勒子流形）及其曲率与谱性质。核心贡献在于对实空间形式与复空间形式中子流形几何的系统性研究，给出了极小与有限型子流形在球面、复射影空间及卡莱伊平面中的精确特征值不等式与分类结果。

ABSTRACT

Submanifold theory is a very active vast research field which plays an important role in the development of modern differential geometry. This branch of differential geometry is still so far from being exhausted; only a small portion of an exceedingly fruitful field has been cultivated, much more remains to be discovered. In this article, the author provides a broad review of Riemannian submanifolds in differential geometry.

研究动机与目标

• 提供黎曼子流形理论的统一、深入综述，整合经典与现代成果。
• 解决子流形几何中的基本问题，包括极小性、有限型性以及拉普拉斯算子的谱性质。
• 通过特征值不等式与曲率约束，对实空间形式与复空间形式中的极小与有限型子流形进行分类。
• 在球面、复四元数射影空间与卡莱伊平面中，建立子流形的精确谱与几何不等式。
• 探讨曲率、平均曲率与全纯结构在通过内在与外在不变量分类子流形中的作用。

提出的方法

• 利用子流形几何的基本方程（包括高斯、Codazzi 与 Ricci 方程），推导曲率与形状算子之间的关系。
• 应用谱理论与变分方法，研究紧致极小子流形上拉普拉斯算子的特征值。
• 采用有限型浸入的概念，通过恒等算子的谱分解定义，按其谱阶对子流形进行分类。
• 通过曲率钳制与外在几何，推导出精确的特征值不等式，例如在 $ S^m(1) $、$ \mathbb{C}P^m(4) $ 与 $ \mathbb{H}P^m(4) $ 中的不等式 $ \frac{m}{2(m+1)}\lambda_1\lambda_2 \geq n(\lambda_1 + \lambda_2 - 2n - c) $。
• 应用共形不变性与总绝对曲率技术，研究紧致与正则浸入。
• 利用欧拉-拉格朗日方程 $ \Delta H^{n-1} + H^{n-1}(nH^2 - S) = 0 $，刻画常平均曲率超曲面及其在欧氏空间与球面上的解。

实验结果

研究问题

• RQ1 在实与复空间形式中，紧致极小子流形上拉普拉斯算子的精确特征值不等式是什么？
• RQ2 在 $ \mathbb{R}P^m(1) $、$ \mathbb{C}P^m(4) $ 与 $ \mathbb{H}P^m(4) $ 中，哪些紧致极小子流形在特征值不等式中取等号？
• RQ3 有限型与浸入阶的概念如何约束子流形的谱与几何性质？
• RQ4 子流形为 1-型或实现极值特征值的必要与充分条件是什么？
• RQ5 哪些超曲面满足欧拉-拉格朗日方程 $ \Delta H^{n-1} + H^{n-1}(nH^2 - S) = 0 $？它们在奇数维与偶数维中如何不同？

主要发现

• 对于紧致极小子流形 $ M $ 在 $ \mathbb{R}P^m(1) $ 中，第一与第二非零特征值满足不等式 $ \frac{m}{2(m+1)}\lambda_1\lambda_2 \geq n(\lambda_1 + \lambda_2 - 2n - 2) $，且等号成立当且仅当 $ M $ 是全测地的 $ \mathbb{R}P^n(1) $。
• 在 $ \mathbb{C}P^m(4) $ 中，特征值不等式取等号当且仅当 $ M $ 是如 $ \mathbb{C}P^k(4) $、$ SO(2+k)/SO(2)\times SO(k) $ 或 $ E_6/\text{Spin}(10)\times T $ 这类全纯对称空间，对应特定的 $ m $ 值。
• 对于紧致极小子流形在 $ \mathbb{H}P^m(4) $ 中，不等式 $ \frac{m}{2(m+1)}\lambda_1\lambda_2 \geq n(\lambda_1 + \lambda_2 - 2n - 8) $ 取等号当且仅当 $ M $ 是全测地的四元数子流形且 $ n = 4m $。
• 对于卡莱伊平面 $ \mathcal{O}P^2(4) $ 中的紧致极小子流形，有 $ \lambda_1 \leq 4n $，而根据 Dimitrić 的结果，该界可改进为 $ \lambda_1 < 676/15 \approx 45.06 $。
• 欧拉-拉格朗日方程 $ \Delta H^{n-1} + H^{n-1}(nH^2 - S) = 0 $ 在偶数 $ n $ 时存在非球面对解，包括旋转环面与 $ S^3 $ 中极小曲面的立体投影。
• 对于紧致极小子流形在 $ \mathbb{C}P^m(4) $ 中，有 $ \lambda_1 \leq 2(n+2) $，且等号成立当且仅当 $ M $ 作为全测地复子流形，全纯等距于 $ \mathbb{C}P^{n/2}(4) $。