[論文レビュー] Compact moduli space of Kahler-Einstein Fano varieties

Yuji Odaka|arXiv (Cornell University)|Dec 9, 2014

Geometry and complex manifolds参考文献 25被引用数 8

ひとこと要約

本稿は、Gromov-Hausdorff極限をK-polystable Q-Fano多様体として実現することにより、K-polystable Fano多様体のモジュライ空間の標準的代数的コンパクト化を構成する。この際、GIT安定性とQ-Gorenstein滑らかさを用いる。主な結果は、コンパクト化されたモジュライ空間がK-polystable Q-Fano多様体をパラメトライズする代数的空間であり、CM線束を介して予想される射影的コンパクト化を有することである。

ABSTRACT

We construct a geometrically compactified moduli algebraic space of Kahler-Einstein Fano manifolds.

研究の動機と目的

• Kähler-Einstein Fano多様体のモジュライ空間の幾何的に意味のあるコンパクト化を構築すること。
• Q-Fano多様体の変形空間において、Kähler-Einstein計量の存在とGIT多様体の多様体安定性の間の対応を確立すること。
• コンパクト化されたモジュライ空間が、特異的（kawamata-log-terminal）な場合を含むK-polystable Q-Fano多様体をパラメトライズすることを証明すること。
• canonical modelのKSBA理論を、多様体が正規かつ既約であるFanoの場合に拡張すること。
• CM線束とWeil-Petersson計量を用いて、モジュライ空間の射影性を確立する基盤を提供すること。

提案手法

• CDS/TianおよびDonaldsonの研究によって確立された、Fano多様体上でのKähler-Einstein計量とK-polystabilityの等価性を用いる。
• 局所Q-Gorenstein変形空間における自己同型群作用のGIT多様体安定性を適用し、Kähler-Einstein計量を特徴付ける。
• Q-Gorenstein滑らかさ条件を用いて、KE Fano多様体の退化をK-polystable Q-Fano多様体に結びつける。
• WをQ-Gorenstein滑らかに可能なK-semistable Q-Fano多様体の集合とするとき、モジュライスタックを商スタック [W/PGL] として構成する。
• [LWX]、[SSY]、[CDS]の結果に依拠し、KE計量とGIT多様体安定性の間の変形論的同値性を確立する。
• Q-Fano多様体のHilbertスキームパラメトライゼーションを用い、KE領域をGIT半安定領域と同一視することでモジュライ空間を定義する。

実験結果

リサーチクエスチョン

• RQ1 Kähler-Einstein Fano多様体のGromov-Hausdorff極限を純粋に代数的言語で記述できるか？
• RQ2 K-polystable Q-Fano多様体のモジュライ空間は射影的であり、CM線束を用いてこれを示せるか？
• RQ3 K-moduli構成をQ-Gorenstein滑らかでないQ-Fano多様体に拡張できるか？
• RQ4 Fanoの場合に、Gromov-Hausdorffコンパクト化とK-polystabilityコンパクト化の関係はいかなるものか？
• RQ5 Q-Gorenstein滑らかさを仮定せずに、代数的にモジュライ空間を構成できるか？

主な発見

• コンパクト化されたモジュライ空間 M̄ は、K-polystable Q-Fano多様体をパラメトライズする代数的空間であり、境界はこうした特異的Q-Fano多様体からなる。
• Q-Fano多様体にKähler-Einstein計量が存在することは、その局所Q-Gorenstein変形空間におけるAut(X)-作用のGIT多様体安定性に同値である。
• モジュライスタック M̄ は、WをQ-Gorenstein滑らかに可能なK-semistable Q-Fano多様体の開集合とするとき、商スタック [W/PGL] と同型である。この構成は埋め込み次数mに依存しない。
• コarseモジュライ空間 M̄ は、Fujiki-SchumacherおよびWeil-Petersson計量理論に基づき、CM線束を介して射影的であると予想される。
• 本稿で構成されたモジュライ空間は、[LWX]の第二版におけるモジュライ空間の減少部分スキームの半正規化であるため、洗練された構造を示している。
• この構成は、2次元のdel Pezzo表面のケースを一般化し、正規かつ既約で、klt特異点を持つFano設定へのKSBA理論の拡張を実現している。