[论文解读] Special Lagrangian 4-folds with $SO(2)\ times S_3$-Symmetry in Complex Space Forms

Franki Dillen, Christine Scharlach+2 more|arXiv (Cornell University)|Jul 5, 2011

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

一句话总结

本文对复空间形式（包括 $\mathbb{C}^4$、$\mathbb{C}P^4$ 和 $\mathbb{C}H^4$）中具有 $SO(2)\rtimes S_3$-对称性的特殊拉格朗日子流形 4-流形进行了完整分类。通过分析对称三次形式并在此对称性下求解高斯-Codazzi 方程，作者利用满足特定偏微分方程组的函数 $k_1, k_2, k_3, k_4$ 得到了显式参数构造，解决了先前工作中不完整的分类问题。

ABSTRACT

In this article we obtain a classification of special Lagrangian submanifolds in complex space forms subject to an $SO(2)\ times S_3$-symmetry on the second fundamental form. The algebraic structure of this form has been obtained by Marianty Ionel. However, the classification of special Lagrangian submanifolds in $\\mathbb{C}^4$ having this $SO(2)\ times S_3$ symmetry in that paper is incomplete. In the present paper we give a complete classification of such submanifolds, and extend the classification to special Lagrangian submanifolds of arbitrary complex space forms with $SO(2)\ times S_3$-symmetry.

研究动机与目标

• 完成对复空间形式中具有 $SO(2)\rtimes S_3$-对称性的特殊拉格朗日子流形 4-流形的分类，该分类在先前工作中不完整。
• 将分类从 $\mathbb{C}^4$ 扩展至所有常全纯截面曲率为 $4\epsilon$ 的复空间形式（$\mathbb{C}^4$、$\mathbb{C}P^4$、$\mathbb{C}H^4$）。
• 通过分析在 $SO(2)\rtimes S_3$ 群作用下第二基本形式的对称结构，解决伊卡内尔分类中缺失的子情况。
• 通过求解涉及函数 $k_1, k_2, k_3, k_4$ 的偏微分方程组，推导出此类子流形的显式参数构造。

提出的方法

• 本文利用复空间形式中拉格朗日子流形的高斯方程与Codazzi方程，推导出第二基本形式的可积性条件。
• 假设三次形式 $C(X,Y,Z) = g(A(X,Y),Z)$ 具有 $SO(2)\rtimes S_3$-对称性，从而在标准正交标架下得到张量 $A$ 的特定代数形式。
• 对称性约束将系统简化为涉及函数 $k_1, k_2, k_3, k_4$ 及其导数的偏微分方程组，不同情况取决于 $a_3^2(0)$ 的取值。
• 作者通过引入复结构并分析由此产生的全纯函数 $\gamma_{1+}, \gamma_{1-}, a_{1\pm}, b_{1\pm}$（以 $k_i$ 表示），求解高斯方程。
• 分类分为三种情况：$a_3^2(0) < 1$、$a_3^2(0) > 1$，以及 $a_3^2(0) > 1$ 且 $z^2 = -1$，每种情况对应不同的偏微分方程组。
• 证明了这些偏微分方程组的解——特别是系统 (64)、(65) 和 (66)——在局部等距意义下可生成所有此类特殊拉格朗日子流形。

实验结果

研究问题

• RQ1 在复空间形式中，具有 $SO(2)\rtimes S_3$-对称性的特殊拉格朗日子流形 4-流形的完整分类是什么？
• RQ2 为何先前对 $\mathbb{C}^4$ 中此类子流形的分类不完整？缺失了哪些子情况？
• RQ3 偏微分方程组 (64)、(65) 和 (66) 如何从对称性约束与高斯-Codazzi 方程中导出？
• RQ4 函数 $k_1, k_2, k_3, k_4$ 在参数化子流形中起什么作用？它们在不同对称性情况下有何差异？
• RQ5 该分类能否从 $\mathbb{C}^4$ 扩展到包含 $\mathbb{C}P^4$ 和 $\mathbb{C}H^4$ 的非零曲率空间？

主要发现

• 本文完成了对 $\mathbb{C}^4$ 中具有 $SO(2)\rtimes S_3$-对称性的特殊拉格朗日子流形 4-流形的分类，解决了伊卡内尔（2010）工作中未完成的全部缺失子情况。
• 当 $a_3^2(0) < 1$ 时，子流形由满足偏微分方程组 (64) 的函数 $k_1, k_2, k_3, k_4$ 参数化，该系统包含 $\sinh(2k_1)$、$\cosh(2s)$ 以及 $k_i$ 的导数项。
• 当 $a_3^2(0) > 1$ 时，系统简化为 (65)，一个耦合的偏微分方程组，涉及 $\partial k_1 / \partial u$、$\partial k_1 / \partial v$ 与 $\partial k_2 / \partial u$、$\partial k_2 / \partial v$，并含有 $k_1$ 和 $k_2$ 的非线性项。
• 在 $a_3^2(0) > 1$ 且 $z^2 = -1$ 的情况下，系统进一步简化为仅含 $k_1$ 和 $k_2$ 的双函数偏微分方程组 (66)，其中 $\Delta k_1$ 和 $\Delta k_2$ 以 $e^{-\frac{2}{5}(2k_1 + k_2)}$ 的形式表达。
• 所构造的子流形在局部等距意义下唯一，且该参数化对所有满足 $\epsilon = 0, 1, -1$ 的复空间形式均有效，分别对应 $\mathbb{C}^4$、$\mathbb{C}P^4$ 和 $\mathbb{C}H^4$。
• 结果表明，$SO(2)\rtimes S_3$-对称性导致了一个丰富但完全分类的特殊拉格朗日子流形 4-流形族，其几何构造通过类似调和函数的偏微分方程显式实现。