[论文解读] Totally geodesic submanifolds of symmetric spaces, III

Bang‐Yen Chen, Pui-Fai Leung+1 more|arXiv (Cornell University)|Jul 28, 2013

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

一句话总结

本文提出一种基于表示理论的方法，用于确定对称空间中全测地子流形的稳定性，利用卡西米尔算子分析雅可比算子的特征值。该文建立了凯勒对称空间中极小全实子流形的稳定性定理，并证明了实格拉斯曼流形 $G^\mathbb{R}(p,q)$ 在复格拉斯曼流形 $G^\mathbb{C}(p,q)$ 中不稳定，通过曲率与调和形式分析扩展了极小子流形稳定性结果。

ABSTRACT

One purpose of this article is to establish a general method to determine stability of totally geodesic submanifolds of symmetric spaces. The method is used to determine the stability of the basic totally geodesic submanifolds $M_+,M_-$ introduced and studied by Chen and Nagano in [Totally geodesic submanifolds of symmetric spaces, II, Duke Math. J. 45 (1978), 405--425] as minimal submanifolds. The other purpose is to establish a stability theorem for minimal totally real submanifolds of Kählerian manifolds.

研究动机与目标

• 开发一种通用方法，通过群作用与表示理论确定对称空间中全测地子流形的稳定性。
• 将此方法应用于确定该系列第二部分中引入的基本子流形 $M_{+}$ 和 $M_{-}$ 的稳定性。
• 建立凯勒对称空间中极小全实子流形的稳定性定理。
• 通过雅可比算子分析体积的二阶变分，并将其与曲率及调和形式关联。

提出的方法

• 利用与群作用相关的卡西米尔算子，简化雅可比算子 $L$ 在法丛上的谱分析。
• 通过利用法丛的 $G_N$-不变性以及 $\mathfrak{g}_N$ 在 $\mathfrak{g}_M$ 中的正交补 $\mathcal{P}$，将稳定性问题归约为表示论数据。
• 应用二阶变分公式 $\mathcal{V}''(\xi) = \int_N \langle L\xi, \xi \rangle \, d\text{vol}$，其中 $L = -\Delta^D - \hat{A} - Q$。
• 使用恒等式 $\int_N \left( ||\nabla u||^2 + R^N(u,u) \right) \, d\text{vol} = \int_N \left( \frac{1}{2}||d\alpha||^2 + ||\delta u||^2 \right) \, d\text{vol}$，适用于与李代数场对偶的1-形式。
• 通过比较 $\mathfrak{g}_N$ 和 $\mathcal{P}$ 的表示中卡西米尔算子的特征值，确定算子 $L$ 的最小特征值的符号。
• 应用由二阶变分与调和1-形式导出的公式 $i(f) \geq \beta_1(N)$，用于拉格朗日极小子流形的指标。

实验结果

研究问题

• RQ1 在何种条件下，对称空间 $M$ 中的全测地子流形 $N$ 是稳定的？
• RQ2 如何利用表示理论与群作用确定 $M_{+}$ 和 $M_{-}$ 的稳定性？
• RQ3 在凯勒对称空间中，何种条件可确保极小全实子流形的稳定性或不稳定性？
• RQ4 能否用其第一贝蒂数下界控制极小拉格朗日子流形的指标？

主要发现

• 若 $\mathcal{P}$ 上卡西米尔特征值非负，则子流形 $M_{+}$ 和 $M_{-}$ 稳定，该结论通过表示论比较得以验证。
• 极小全实子流形 $G^\mathbb{R}(p,q)$ 在 $G^\mathbb{C}(p,q)$ 中不稳定，因为 $c(P) > c(\tilde{\omega}_2)$，表明雅可比算子存在负特征值。
• 若 $R^M > 0$ 且 $H^1(N; \mathbb{R}) \neq 0$，则 $N$ 不稳定，通过选取与李代数场对偶的调和1-形式可得证。
• 若 $R^M \leq 0$，则 $N$ 恒稳定，因二阶变分中曲率项非正。
• 紧致拉格朗日极小子流形 $f: N \to M$ 的指标满足 $i(f) \geq \beta_1(N)$，在附加条件下等号可能成立。
• 全测地子流形的零化度与李零化度可通过涉及 $m(\lambda)$、$d_\lambda$ 与 $\dim \mathfrak{g}_i^\perp$ 的表示论公式计算。