[論文レビュー] Compact Moduli Spaces of Del Pezzo Surfaces and Kähler-Einstein metrics

Yuji Odaka, Cristiano Spotti+1 more|arXiv (Cornell University)|Oct 2, 2012

Geometry and complex manifolds参考文献 48被引用数 32

ひとこと要約

本稿は、ケーラー＝エインシュタイン・デル・ペッツォ表面のモジュライ空間のグロモフ＝ハウスドルフコンパクト化と、明示的な代数幾何的モジュライ空間の間のホメオモルフィズムを確立する。微分幾何学（ケーラー＝エインシュタイン計量、グロモフ＝ハウスドルフ極限）と代数幾何学（GIT、Q-ゴレンシュタイン歪み、K安定性）を組み合わせることで、コンパクト化されたモジュライ空間が、退化を含むケーラー＝エインシュタイン計量をもつ表面を正確にパラメトライズすることを証明し、 Tian の存在定理を系として得る。

ABSTRACT

We prove that the Gromov-Hausdorff compactification of the moduli space of Kahler-Einstein Del Pezzo surfaces in each degree agrees with certain algebro-geometric compactification. In particular, this recovers Tian's theorem on the existence of Kahler-Einstein metrics on smooth Del Pezzo surfaces and classifies the degenerations of such metrics. The proof is based on a combination of both algebraic and differential geometric techniques.

研究の動機と目的

• ケーラー＝エインシュタイン・デル・ペッツォ表面の微分幾何的グロモフ＝ハウスドルフコンパクト化と代数幾何的モジュライ空間の間の標準的ブリッジを確立すること。
• 次数 $d \in \{1,2,3,4\}$ のデル・ペッツォ表面におけるケーラー＝エインシュタイン計量のすべての退化を分類すること、これは以前の未解決問題として提起されていた。
• グロモフ＝ハウスドルフ極限空間 $M_d^{GH}$ が、$\ mathbb{Q}$-ゴレンシュタイン歪み可能な対数デル・ペッツォ表面の射影的モジュライ空間 $M_d$ にホメオモルフィックであることを証明すること。
• Fano多様体におけるケーラー＝エインシュタイン計量の研究において、微分幾何学と代数幾何学の手法を統合すること、特に低次数において。
• K-多様体的 $\ mathbb{Q}$-ファノ多様体のモジュライに関する一般予想の土台を提供すること。

提案手法

• 次数 3 および 4 については GIT（幾何的不変理論）を用いて代数的モジュライ空間 $M_d$ を構成し、次数 2 および 1 については Shah の方法と吹き上げを用いる。
• 各極限が同型な対数デル・ペッツォ表面に写される、グロモフ＝ハウスドルフ極限空間から代数的モジュライ空間への連続写像 $\Phi: M_d^{GH} \to M_d$ を定義する。
• Bando-Mabuchi の一意性定理およびその軌道多様体への拡張を用いて $\Phi$ の単射性を証明し、ケーラー＝エインシュタイン計量がその基礎となる複素構造によって一意に決定されることを保証する。
• 陰関数定理による像の開性と連続性による像の閉性を示すことにより、$\Phi$ の全射性を確立し、$\Phi$ がホメオモルフィズムであることを示す。
• $M_d^{GH}$ がコンパクトで $M_d$ がハウスドルフであることを用いて、$\Phi$ がホメオモルフィズムであることを結論づけ、定理 1.1 の証明を完了する。
• K安定性および特異点に関する結果を活用：ケーラー＝エインシュタイン Fano 多様体のグロモフ＝ハウスドルフ極限は $\ mathbb{Q}$-ファノで、対数終等特異点を持ち、K-多様体的である。

実験結果

リサーチクエスチョン

• RQ1 ケーラー＝エインシュタイン・デル・ペッツォ表面のモジュライ空間のグロモフ＝ハウスドルフコンパクト化は、対数デル・ペッツォ表面の自然な代数幾何的モジュライ空間と一致するか？
• RQ2 次数が 4 から 1 に減少するに従い、ケーラー＝エインシュタイン・デル・ペッツォ表面の退化における正確な特異点および幾何的構造は何か？
• RQ3 微分幾何的極限（グロモフ＝ハウスドルフ収束）を、Q-ゴレンシュタイン歪みおよび GIT を通じた代数幾何的モジュライに体系的に一致させることは可能か？
• RQ4 滑らかなデル・ペッツォ表面におけるケーラー＝エインシュタイン計量の存在は、統一されたモジュライ的枠組みを通じて、特異極限にまで回復・拡張可能か？
• RQ5 Gromov-Hausdorff 極限と代数的モジュライを統合する一般のモジュライスタックが、K-多様体的 $\ mathbb{Q}$-ファノ多様体に対して存在するか。その自然な CM 線分束を持つか？

主な発見

• 定理 1.1 で述べられるように、次数 $d \in \{1,2,3,4\}$ のケーラー＝エインシュタイン・デル・ペッツォ表面のモジュライ空間のグロモフ＝ハウスドルフコンパクト化 $M_d^{GH}$ は、$\ mathbb{Q}$-ゴレンシュタイン歪み可能な対数デル・ペッツォ表面の射影的モジュライ空間 $M_d$ にホメオモルフィックである。
• ホメオモルフィズム $\Phi: M_d^{GH} \to M_d$ は同型類を保存する。つまり、各グロモフ＝ハウスドルフ極限は、代数的モジュライ空間内の一意な対数デル・ペッツォ表面に対応する。
• 次数 4 では、Mabuchi-Mukai の先行研究が回復されるが、次数 1～3 については Shah の方法とさらなる修正を用いた新しいモジュライ空間が構成される。
• モジュライ空間 $M_d$ は、次数 $d$ の滑らかなデル・ペッツォ表面をパラメトライズするザリスキ開稠密部分集合を含み、境界 $M_d \setminus M_d^{\rm sm}$ は特異なケーラー＝エインシュタイン対数デル・ペッツォ表面をパラメトライズする。
• この構成により、ケーラー＝エインシュタイン Fano 多様体のグロモフ＝ハウスドルフ極限が $\ mathbb{Q}$-ファノで、対数終等特異点を持ち、K-多様体的であることが確認され、分野における既知の結果と整合する。
• 本稿は、一般予想に対する強い証拠を提供する：K-多様体的 $\ mathbb{Q}$-ファノ多様体のモジュライスタックは、あるカテゴリカルなモジュライ空間 $M_h$ を持ち、それはアーモニックな CM 線分束を持つ射影的代数多様体であり、グロモフ＝ハウスドルフコンパクト化 $M_h^{GH}$ にホメオモルフィックである。