[論文レビュー] Explicit Gromov-Hausdorff compactifications of moduli spaces of Kähler-Einstein Fano manifolds

Cristiano Spotti, Song Sun|arXiv (Cornell University)|Apr 30, 2017

Geometry and complex manifolds参考文献 42被引用数 9

ひとこと要約

本稿は、2より大きい複素次元におけるケーラー・エインシュタインFano多様体のモジュライ空間の、初めての明示的Gromov-Hausdorffコンパクト化を構成し、4次デル・ペッツォ多様体の場合は、GHコンパクト化が古典的GIT商と一致することを示している。この結果は、代数幾何的技法によるメトリック接錐と特異点の解析に依拠しており、この文脈においてKEとK安定Fano多様体が正確に一致することを確立している。

ABSTRACT

We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of Kähler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are based on recent progress about the geometry of metric tangent cones and on related ideas about the algebro-geometric study of singularities of K-stable Fano varieties.

研究の動機と目的

• 2より大きい複素次元におけるケーラー・エインシュタインFano多様体のモジュライ空間のGromov-Hausdorffコンパクト化を明示的に構成すること。
• 4次デル・ペッツォ多様体に関して、Gromov-Hausdorffコンパクト化と代数幾何的GITコンパクト化が正確に一致することを確立すること。
• 最近のメトリック接錐理論とK安定性の進展を用いて、Fano多様体上のKE計量のGH極限における特異点の性質を理解すること。
• K安定Fano多様体の文脈において、メトリック的特異点と代数的特異点の関係を調査すること。
• GIT多様体的安定Fano多様体が、標準的またはGorenstein標準的特異点を持つかどうかを検討し、KEとGITモジュライの同値性に影響を与えること。

提案手法

• 極限空間の構造としてのCheeger-Colding理論およびCheeger-Colding-Tian構造を用いて、KE計量のGromov-Hausdorff極限を分析する。
• メトリック接錐の2段階的構成法を適用する：特異的局所芽から重み付き代数的接錐を経て、最終的にメトリック接錐を得る。
• K安定Fano多様体の最近の体積評価（Liu [41]）を用いて、GH極限における可能な特異点を制約する。
• 軽微な特異点を持つFano多様体の分類結果（Fujita [29]）と安定性の比較議論を組み合わせ、GH極限が必ずGIT多様体的安定であることを示す。
• KE極限におけるメトリック的特異点と代数的特異点の一致を用いて、コンパクト化の構造を同定する。
• 2次超曲面の完全交差や3次超曲面の具体例を分析し、KEとGITモジュライの対応関係を検証する。

実験結果

リサーチクエスチョン

• RQ1 Gromov-Hausdorffコンパクト化としての4次デル・ペッツォ多様体のモジュライ空間は、古典的GIT商と一致するか？
• RQ2 Fano多様体上のKE計量のGromov-Hausdorff極限に現れる特異点の種類は何か？そしてそれらは代数的特異点とどのように関係するか？
• RQ3 射影空間内のすべてのGIT多様体的安定3次超曲面は、必然的にGorenstein標準的特異点を持ち、正規特異点を持つのか？
• RQ4 体積が有界で特異点が制御可能なKE計量のGH極限を含むように、Fano 3-多様体の分類を拡張できるか？
• RQ5 Fano 3-多様体に関して、KEモジュライ空間とGITモジュライ空間が一致する条件は何か？

主な発見

• 次元 $ n \geq 2 $ における4次デル・ペッツォ多様体のモジュライ空間のGromov-Hausdorffコンパクト化は、自然に古典的GIT商 $ \overline{M}_{dP_4^n}^{GIT} $ と同一視され、$ \overline{M}_{dP_4^n}^{GIT} \cong \overline{\mathcal{K}M}_{dP_4^n} $ が成り立つ。
• $ \mathbb{P}^{n+2} $ 内の2次超曲面の完全交差のKE計量のすべてのGH極限がGIT多様体的安定であることが示され、したがってコンパクト化は明示的にGIT商として記述可能である。
• 本稿は、おそらく特異点をもつ2次超曲面の完全交差がKE計量をもつものについて、滑らかさの場合は既知の結果を拡張して完全な分類を与える。
• GH極限におけるKE3次超曲面の特異点はGorenstein標準的であることが示され、$ \mathbb{Q} $-線束 $ L_Z $ に対して $ K_Z^{-1} = L_Z^2 $ が成り立つ。
• Conjecture 5.4を仮定すれば、体積 $ \geq 20 $ である滑らかなKEFano 3-多様体のGH極限はGorensteinで標準的特異点を持つ。その仮定なしでは、体積 $ \geq 22 $ の場合、Gorenstein指数は最大2である。
• $ \mathbb{P}^4 $ 内の4次超曲面に関しては、GHモジュライコンパクト化はGIT商と一致しない。非還元的二重円錐の点での吹き上げが必要であり、これは2次デル・ペッツォの場合と同様の構造である。