[论文解读] Parallel calibrations and minimal submanifolds

Colleen Robles|ArXiv.org|Aug 15, 2008

Geometric Analysis and Curvature Flows参考文献 11被引用 3

一句话总结

本文证明了在黎曼流形上，若存在平行校准 $φ$，则任意具有非零临界值的 $φ$-临界子流形均为极小子流形。此外，本文进一步表明 $φ$-临界子流形恰好是光滑 $φ$-相关外微分系统 $π$ 的积分子流形，从而将校准子流形的特征刻画从微分形式系统的临界点推广至更一般的系统，并在平行性条件下建立了临界点与极小性之间的联系。

ABSTRACT

Given a parallel calibration $ϕ\in Ω^p(M)$ on a Riemannian manifold $M$, I prove that the $ϕ$--critical submanifolds with nonzero critical value are minimal submanifolds. I also show that the $ϕ$--critical submanifolds are precisely the integral manifolds of a $\mathscr{C}^\infty(M)$--linear subspace $\sP \subset Ω^p(M)$. In particular, the calibrated submanifolds are necessarily integral submanifolds of the system. (Examples of parallel calibrations include the special Lagrangian calibration on Calabi-Yau manifolds, (co)associative calibrations on $G_2$--manifolds, and the Cayley calibration on $ Spin(7)$--manifolds.)

研究动机与目标

• 刻画配备平行校准 $φ$ 的黎曼流形 $M$ 的 $φ$-临界子流形。
• 证明具有非零临界值的此类子流形为极小子流形，推广了关于局部极大值的已知结果。
• 证明 $φ$-临界子流形是光滑 $φ$-相关外微分系统 $π$ 的积分流形。
• 将校准子流形的特征刻画从 $φ$ 的临界点推广至微分形式系统。

提出的方法

• 将临界集 $C(φ)_x$ 定义为 $φ_x$ 达到临界值的 $p$-平面集合，推广校准平面 $\mathrm{Gr}(\varphi)_x$ 的概念。
• 构造 $π ⊂ Ω^p(M)$ 为子丛 $Φ_M ⊂ \bigwedge^p T^*M$ 的光滑截面，该子丛由李不变子空间 $Φ ⊂ \bigwedge^p V^*$ 的零化子定义。
• 证明 $p$-维子流形 $N$ 为 $φ$-临界子流形当且仅当 $N$ 是 $π$ 的积分流形，即 $\u03c0|_N = 0$。
• 利用 $φ$ 的平行性，确保 $π$ 中形式的系数在 $H$-标架下为常数，从而控制协变导数与外导数。
• 应用卡坦检验分析关联理想 $σ = \langle π \rangle$ 的对合性，表明当 $p > n/2$ 时该系统不满足对合性。
• 利用霍奇对偶 $∗\u03c6$ 将积分元的余维数与系统的非对合性联系起来。

实验结果

研究问题

• RQ1 在何种条件下，$φ$-临界子流形为极小子流形？
• RQ2 如何从代数与几何角度刻画 $φ$-临界子流形？
• RQ3 临界点 $φ$ 与微分系统 $π$ 的积分流形之间存在何种关系？
• RQ4 为何当 $p > n/2$ 时，外微分系统 $π$ 不满足对合性？
• RQ5 临界值 $φ_o$ 如何影响子流形的几何结构及系统中极化空间的性质？

主要发现

• 配备平行校准 $φ$ 的黎曼流形的 $φ$-临界子流形，恰好是通过李不变子空间 $Φ ⊂ \bigwedge^p V^*$ 的零化子定义的光滑 $π ⊂ Ω^p(M)$ 的积分子流形。
• 对任意 $φ$-临界子流形 $N$，有 $φ|_N = \varphi_o \cdot \mathrm{vol}_N$，其中 $\varphi_o$ 为常数临界值。
• 若临界值 $\varphi_o \neq 0$，则 $N$ 是 $M$ 的极小子流形，推广了 Unal 关于局部极大值的结果。
• 理想 $\sigma = \langle \u03c0 \rangle$ 是微分封闭的，即 $d\sigma \subset \sigma$，这是由于 $\u03c6$ 的平行性及 $\u03a6$ 关于 holonomy 群的不变性所致。
• 当 $p > n/2$ 时，系统 $\sigma$ 不满足对合性，如卡坦检验所示，有 $\mathrm{codim}_{E} \mathscr{V}_p(\sigma) \geq n-p$，且一般情况下等号不成立。
• 当 $\varphi_o = 0$ 时，向量积 $\rho$ 在临界平面上消失，意味着 $H(E_{p-1})$ 大于 $E$，系统不满足对合性。