[論文レビュー] Large Complex Structure Limits of K3 Surfaces

Mark Gross, P. Μ. H. Wilson|arXiv (Cornell University)|Aug 2, 2000

Geometry and complex manifolds被引用数 8

ひとこと要約

本稿は、楕円曲線ファイブレーションの崩壊を分析することにより、K3多様体上のリッチ平坦計量が大複素構造極限点付近でどのように振る舞うかを調査する。ハイパーカähler回転を用いて問題を固定された複素構造と収縮するファイバー面積を持つケーラー的崩壊問題に還元し、計量が適切な正規化のもとで、ファイブレーションの底空間上のMcLean計量に収束することを示した。これにより、ストロミンジャー＝ヤウ＝ザスロー予想の主要予測が裏付けられた。

ABSTRACT

Motivated by the picture of mirror symmetry suggested by Strominger, Yau and Zaslow, we made a conjecture concerning the Gromov-Hausdorff limits of Calabi-Yau n-folds (with Ricci-flat Kähler metric) as one approaches a large complex structure limit point in moduli; a similar conjecture was made independently by Kontsevich, Soibelman and Todorov. Roughly stated, the conjecture says that, if the metrics are normalized to have constant diameter, then this limit is the base of the conjectural special lagrangian torus fibration associated with the large complex structure limit, namely an n-sphere, and that the metric on this S^n is induced from a standard (singular) Riemannian metric on the base, the singularities of the metric corresponding to the discriminant locus of the fibration. This conjecture is trivially true for elliptic curves; in this paper we prove it in the case of K3 surfaces. Using the standard description of mirror symmetry for K3 surfaces and the hyperkähler rotation trick, we reduce the problem to that of studying Kähler degenerations of elliptic K3 surfaces, with the Kähler class approaching the wall of the Kähler cone corresponding to the fibration and the volume normalized to be one. Here we are able to write down a remarkably accurate approximation to the Ricci-flat metric -- if the elliptic fibres are of area $ε>0$, then the error is $O(e^{-C/ε})$ for some constant $C>0$. This metric is obtained by gluing together a semi-flat metric on the smooth part of the fibration with suitable Ooguri-Vafa metrics near the singular fibres. For small $ε$, this is a sufficiently good approximation that the above conjecture is then an easy consequence.

研究の動機と目的

• 複素構造が大複素構造極限点に近づく際のK3多様体上のリッチ平坦計量の漸近的挙動を理解すること。
• 体積正規化のもとでの特別ラグランジュファイブレーションの崩壊を分析することで、ストロミンジャー＝ヤウ＝ザスロー予想を検証すること。
• 体積正規化された崩壊の下で、K3多様体がGromov–Hausdorffの意味で底空間にMcLean計量を備えた楕円ファイブレーションの底空間に収束することを確立すること。
• 特に半平坦近似と特異ファイバーの状況において、極限計量構造を明確に幾何学的に記述すること。
• 高次元のカラビ–ヤウ多様体における特別ラグランジュファイブレーションを理解する基盤を、K3の場合を分析することで築くこと。

提案手法

• 特別ラグランジュファイブレーションの問題を、固定された複素構造と収縮するファイバー面積を持つケーラー的崩壊問題に還元するために、ハイパーカähler回転を適用する。
• 特異ファイバーの補集合上で、ファイバー上で平坦で、周期を用いて定義される半平坦リッチ平坦計量を最初の近似として用いる。
• 体積が有界のまま保たれるようにパrameter $\epsilon_i \to 0$ でスケーリングすることで計量を正規化し、Gromov–Hausdorffの意味での収束を分析する。
• 経路長の推定と半平坦モデルへの計量の$C^0$-近さを用いて、K3多様体上の距離と底空間$B$上の距離を比較する。
• 特異ファイバー付近での計量挙動を制御するため、$B$-場と複素構造を含む局所モデルを用い、一様な有界性を保証する。
• 各ファイバーの直径が$\epsilon_i g_i$のもとで$C\epsilon_i$で有界であり、$\epsilon_i \to 0$のとき0に収束することを用いて、距離歪みを制御する。

実験結果

リサーチクエスチョン

• RQ1 複素構造が大複素構造極限点に近づく際、K3多様体上のリッチ平坦計量はどのように振る舞うか？
• RQ2 計量正規化のもとで、楕円ファイブレーションの底空間がK3多様体のGromov–Hausdorff極限として現れるか？
• RQ3 McLeanの計量が、K3多様体上のリッチ平坦計量の極限として、どの程度まで現れるか？
• RQ4 特異ファイバーは計量の崩壊にどのように寄与するのか。その影響はどのように制御できるか？
• RQ5 計量の正規化は、K3多様体上の点とその底空間への像の間の距離の収束にどのように影響するか？

主な発見

• 体積正規化の下で$\epsilon_i \to 0$のとき、楕円ファイブレーションの底空間$B$にMcLean計量を備えたK3多様体はGromov–Hausdorffの意味で極限に収束する。
• 十分に小さな$\epsilon_i$に対して、K3多様体上の任意の2点間の距離は、それらの底空間$B$への像の間の距離と$\delta$以内に収まる。これはすべての点に対して一様に成り立つ。
• $\epsilon_i g_i$のもとでの各ファイバーの直径は$C\epsilon_i$で有界であり、$\epsilon_i \to 0$のとき0に収束する。
• $f^{-1}(U)$上の計量は$C^0$の意味で半平坦計量に収束し、底空間計量はファイバー上の正規化された計量の引き戻しによって近似される。
• 距離の収束は一様であり、点の選び方に依存せず、誤差は$\delta$および$C(\epsilon_i) \to 0$（$\epsilon_i \to 0$のとき）で制御される。
• 極限計量は、判別式の分岐集合に沿って特異的であり、予想されるようにコドメイン2であると予想される。これは、特別ラグランジュファイブレーションの予想と整合的である。