[論文レビュー] 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

ひとこと要約

本稿は、複素空間形式（$C^4$、$C P^4$、$C H^4$ を含む）における特別ラグランジュ4次元多様体について、第二基本形式に $SO(2)\rtimes S_3$-対称性をもつ場合の完全分類を提供する。対称な3次形式を分析し、この対称性の下でガウス・コダジの式を解くことにより、特定のPDE系を満たす関数 $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$）へ拡張すること。
• Ionelの分類における欠落していた部分ケースを、$SO(2)\rtimes S_3$ 群作用の下での第二基本形式の対称的構造を分析することによって解消すること。
• 関数 $k_1, k_2, k_3, k_4$ を含むPDE系の解を用いて、このような部分多様体の明示的パラメトリック構成を導出すること。

提案手法

• 本稿は、複素空間形式におけるラグランジュ部分多様体のガウスおよびコダジの式を用い、第二基本形式における可積分性条件を導出する。
• 3次形式 $C(X,Y,Z) = g(A(X,Y),Z)$ に $SO(2)\rtimes S_3$-対称性を仮定することで、正規直交基底における $(1,2)$-テンソル $A$ の特定の代数的形が得られる。
• 対称性の制約により、関数 $k_1, k_2, k_3, k_4$ 及びその微分を含むPDE系にシステムが簡略化され、$a_3^2(0)$ の値に応じて異なるケースに分かれる。
• 複素構造を導入し、それによって得られる正則関数 $\gamma_{1+}, \gamma_{1-}, a_{1\pm}, b_{1\pm}$ を $k_i$ 関数の言いかえで分析することにより、ガウス方程式を解く。
• 分類は3つのケースに分けられる：$a_3^2(0) < 1$、$a_3^2(0) > 1$、$a_3^2(0) > 1$ かつ $z^2 = -1$。各ケースは異なるPDE系をもつ。
• これらのPDEの解、特に系 (64)、(65)、(66) は、局所等長変換を除いてすべてのこのような特別ラグランジュ部分多様体を生成することが示される。

実験結果

リサーチクエスチョン

• RQ1 第二基本形式に $SO(2)\rtimes S_3$-対称性をもつ複素空間形式における特別ラグランジュ4次元多様体の完全分類は何か？
• RQ2 なぜ以前の $\mathbb{C}^4$ におけるこのような部分多様体の分類は不完全であったのか？どの部分ケースが欠落していたのか？
• RQ3 PDE系 (64)、(65)、(66) はどのようにして対称性の制約とガウス・コダジの式から導かれるか？
• RQ4 関数 $k_1, k_2, k_3, k_4$ は部分多様体のパラメトリゼーションにおいて果たす役割は何か？また、対称性のケースごとにどのように異なるか？
• RQ5 分類を $\mathbb{C}^4$ から $\mathbb{C}P^4$ および $\mathbb{C}H^4$ へ、非ゼロ曲率をもつ場合にまで拡張可能か？

主な発見

• 本稿は、Ionel (2010) において不完全であった $\mathbb{C}^4$ における特別ラグランジュ4次元多様体の $SO(2)\rtimes S_3$-対称性に関する分類を、すべての欠落していた部分ケースを解消することで完全化する。
• $a_3^2(0) < 1$ の場合、部分多様体はPDE系 (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$ を含む非線形な結合PDE系となる。
• $a_3^2(0) > 1$ かつ $z^2 = -1$ の場合、システムはさらに $k_1$ と $k_2$ のみの2関数PDE系 (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$-対称性が、明示的な幾何的構成（調和型PDEに類似）をもつ、豊富で完全に分類された特別ラグランジュ4次元多様体の族をもたらすことが示された。