[論文レビュー] Collapsing Ricci-flat metrics on elliptic K3 surfaces

Gao Chen, Jeff Viaclovsky+1 more|arXiv (Cornell University)|Oct 24, 2019

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

ひとこと要約

本稿は、任意の楕円的K3表面に対して、特異ファイバー近辺の曲率崩壊を精密に記述する、崩壊するリッチ平坦ケーラー計量の族を構成し、Gromov-Hausdorff収束が基底 $\mathbb{P}^1$ に、McLean計量を伴って成り立つことを示している。特異ファイバーの近傍における曲率の崩壊の性質を明確にし、リスケーリング極限が、ファイバーの型に応じてALG、ALF、またはALEのハイパーケーラー計量をもたらすことを明らかにした。これは、非一般的配置におけるバブル極限を理解する長年の欠落を埋めたものである。

ABSTRACT

For any elliptic K3 surface $\mathfrak{F}: \mathcal{K} ightarrow \mathbb{P}^1$, we construct a family of collapsing Ricci-flat Kähler metrics such that curvatures are uniformly bounded away from singular fibers, and which Gromov-Hausdorff limit to $\mathbb{P}^1$ equipped with the McLean metric. There are well-known examples of this type of collapsing, but the key point of our construction is that we can additionally give a precise description of the metric degeneration near each type of singular fiber, without any restriction on the types of singular fibers.

研究の動機と目的

• 楕円的K3表面における崩壊するリッチ平坦ケーラー計量の特異ファイバー近辺における計量崩壊の正確な性質を記述すること。
• 従来の結果（24個の型$I_1$ファイバーに限る一般的配置での有効性）を、任意の特異ファイバー型を持つ任意の楕円的K3表面へと拡張すること。
• 特異ファイバー近辺でのリスケーリングから生じる標準的バブル極限（漸近的モデル）を同定すること、これにはALG、ALF、ALEのハイパーケーラー4次元多様体が含まれる。
• 構成された計量が、Kähler錐内に20次元の開集合を占めることを示し、K3表面のモジュライ空間次元と一致することを確立すること。

提案手法

• 正則部における半フラット計量と特異ファイバー近辺のモデル計量を組み合わせるグリューニング法により、近似解を構成する。
• ジャコビアンK3表面における半フラット計量を出発点とし、変形論的議論を用いて一般の楕円的K3表面へと拡張する。
• 複素Monge-Ampère方程式を近似解から解くための摂動スキームを用い、正確なリッチ平坦計量を生成する。
• 特異ファイバー近辺でのリスケーリング極限を解析し、漸近的モデルを同定する：有限モノドロミーの場合はALG計量、$I_\nu$ の場合は$\nu$ 個のTaub-NUT計量、$I_\nu^*$ の場合は$\nu$ 個のTaub-NUT計量と4個のEguchi-Hanson計量。
• リーマンの定理と正則性推移を用いて曲率を制御し、Gromov-Hausdorff位相での収束を保証する。
• ALG、ALF、ALEモデルの変形空間の次元を解析することで、モジュライ空間におけるパrameter数を数え、Kähler類写像の像が20次元であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のKodaira型を持つ楕円的K3表面の特異ファイバー近辺で、崩壊するリッチ平坦計量をリスケーリングしたときに生じる標準的バブル極限は何か？
• RQ2 有限モノドロミーと無限モノドロミーを持つ特異ファイバーの近辺で、計量崩壊の様子はどのように異なるか？
• RQ3 24個の$I_1$ファイバーからなる一般的ケースにとどまらず、K3表面に可能なすべての特異ファイバー配置を含むように、この構成を拡張可能か？
• RQ4 このような崩壊計量のモジュライ空間の次元は何か？ また、K3表面のKähler錐とどのように関係しているか？
• RQ5 異なるグリューニングデータやモノポール配置から、多重量Taub-NUTやALF-$D_k$などの代替的バブル極限が生じる可能性はあるか？

主な発見

• 任意の楕円的K3表面におけるリッチ平坦ケーラー計量の族$g_\delta$ は、$\delta \to 0$ のとき、直径を1に正規化し、体積が$\sim \delta^2$ となるように、$\mathbb{P}^1$ にMcLean計量を伴ってGromov-Hausdorff収束する。
• 特異ファイバーから離れた領域では曲率が一様に有界であるが、特異ファイバーの任意の近傍では曲率が無限大に発散するため、特異領域では非崩壊的であることが確認された。
• 有限モノドロミーを有する特異ファイバー近辺では、計量のリスケーリング極限が、少なくとも2次のALGハイパーケーラー計量に収束する。
• $I_\nu$ ファイバー（$\nu \geq 1$）近辺では、リスケーリング極限が$\nu$ 個のTaub-NUT計量からなる。
• $I_\nu^*$ ファイバー（$\nu \geq 1$）近辺では、リスケーリング極限が$\nu$ 個のTaub-NUT計量と4個のEguchi-Hanson計量からなる。
• 構成された計量のパrameter空間の次元は20であり、K3表面のKähler錐の次元と一致しており、計量がモジュライ空間内の開集合を占めていると考えられる。