[論文レビュー] U(1)-invariant special Lagrangian 3-folds in C^3 and special Lagrangian fibrations

Dominic Joyce|ArXiv.org|Jun 3, 2002

Geometry and complex manifolds参考文献 6被引用数 14

ひとこと要約

本稿では、Calabi–Yau 3-foldにおける特異な特別ラグランジュ線形ファイブレーションの明示的局所モデルの構築を目的とし、関数 u と v に対する非線形コーシー–リーマン型系を用いて、ℂ³におけるU(1)-不変特別ラグランジュ3次元部分多様体を研究している。解の存在と一意性は、退化する楕円型偏微分方程式を満たすポテンシャル関数 f を通じて示され、主たる貢献は、特異点が孤立しており、特徴的な特異点を持つ、codimension-1の特異軌跡を持つ、修正版のSYZ予想を支持する局所モデルの構築である。

ABSTRACT

This is a survey of the author's series of three papers math.DG/0111324, math.DG/0111326, math.DG/0204343 using analysis to investigate special Lagrangian 3-folds (SL 3-folds) in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, and their sequel math.DG/0011179 on special Lagrangian fibrations and the SYZ Conjecture. We briefly present the main results of these four long papers, giving some explanation and motivation, but no proofs. The aim is to make the results and ideas accessible to String Theorists and others who have an interest in special Lagrangian 3-folds and fibrations, but have no desire to read pages of technical analysis. Let N be an SL 3-fold in C^3 invariant under the U(1)-action above. Then |z_1|^2-|z_2|^2=2a on N for some real number a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy. When a=0 the equations may have singular points where u,v are not differentiable, which leads to analytic difficulties. We prove existence and uniqueness results for solutions u,v on domains S in R^2 with boundary conditions, including singular solutions. We study their singularities, giving a rough classification by multiplicity and type. We prove the existence of large families of fibrations of open subsets of C^3 by U(1)-invariant SL 3-folds, including singular fibres. Finally, we use these fibrations as local models to draw conclusions about the SYZ Conjecture on Mirror Symmetry of Calabi-Yau 3-folds.

研究の動機と目的

• 計量幾何学に基づく偏微分方程式系を用いて、ℂ³におけるU(1)-不変特別ラグランジュ3次元部分多様体を分析すること。
• U(1)-作用のパラメータ a = 0 のとき、偏微分方程式が退化する状況における特異解の構造を理解すること。
• 特異点が孤立している特別ラグランジュファイブレーションの明示的局所モデルを構築し、SYZ予想に応用すること。
• これらのモデルが、ほぼCalabi–Yau 3-foldの一般的な特別ラグランジュファイブレーションにおける特異軌跡の期待される構造をどのように示唆するかを調査すること。

提案手法

• z₃ の実部と虚部、および z₁z₂ の実部と虚部を用いて、ℂ³におけるU(1)-不変SL 3次元部分多様体をパラメトライズし、u と v に対する偏微分方程式系に帰着させる。
• ∂u/∂x = ∂v/∂y および ∂v/∂x = -2(v² + y² + a²)^{1/2} ∂u/∂y という系を導出し、非線形コーシー–リーマン方程式に類似した形をとることを示す。
• ∂f/∂x = v および ∂f/∂y = u を満たすポテンシャル関数 f を導入し、次式の退化楕円型偏微分方程式が得られる: (v² + y² + a²)^{-1/2} ∂²f/∂x² + 2 ∂²f/∂y² = 0。
• 凸領域上でこの偏微分方程式のディリクレ問題の解の存在と一意性を証明し、境界条件を満たす well-defined なSL 3次元部分多様体が得られることを示す。
• 解 (u₁,v₁) と (u₂,v₂) の差の零点集合を解析し、それらが正の整数重複度をもつ孤立した零点を持つという、正則関数と同様の性質を示す。
• これらの結果を用いて、a = 0 の場合の特異挙動を分類し、軸対称特異点と重複度2の孤立特異点（2種類のタイプ）を区別する。

実験結果

リサーチクエスチョン

• RQ1 U(1)-作用パラメータ a = 0 のとき、ℂ³におけるU(1)-不変特別ラグランジュ3次元部分多様体の構造はどのように変化し、偏微分方程式系が退化するか？
• RQ2 Calabi–Yau 3-foldにおける特別ラグランジュファイブレーションの特異点は、局所的にどのように生じるか？また、U(1)-不変構成を用いてモデル化可能か？
• RQ3 一般的な特別ラグランジュファイブレーションにおける特異軌跡の性質は何か？また、Gross や Ruan が研究した滑らかなラグランジュファイブレーションとはどのように異なるか？
• RQ4 特異特別ラグランジュファイブレーションの局所的挙動は、重複度と対称性によって分類可能か？また、これとミラー対称性の関係は何か？
• RQ5 これらの局所モデルは、特異ファイバーの位置とコドメイン数がどうなるかという、元のSYZ予想を支持するか、あるいは反証するか？

主な発見

• a ≠ 0 のとき、偏微分方程式系は楕円型であり、解 u と v は実解析的であり、対応するSL 3次元部分多様体は非特異である。
• a = 0 のとき、v(x,0) = 0 かつ y = 0 となる点で偏微分方程式が退化し、u や v が微分可能でない特異SL 3次元部分多様体が許容される。
• 偏微分方程式系の解は (x,y) 平面上で正則関数と同様に振る舞い、解の差の零点集合は正の整数重複度をもつ孤立した零点を持つ。
• a = 0 のとき、特異点は、x軸に沿って全体的に対称（u は偶関数、v は奇関数）であるか、または重複度2の孤立特異点（2種類のタイプ）である。
• ポテンシャル関数 f のディリクレ問題は凸領域上で一意解をもち、境界条件が与えられた U(1)-不変SL 3次元部分多様体の存在が保証される。
• ほぼCalabi–Yau 3-foldの一般的な特別ラグランジュファイブレーションでは、特異軌跡はコドメイン1と予想され、特異ファイバーは孤立点で特異的である。これは、元のSYZ予想がコドメイン2の特異ファイバーを仮定しているのと矛盾する。