[論文レビュー] The moduli space of Fano manifolds with Kähler-Ricci solitons

Eiji Inoue|arXiv (Cornell University)|Feb 22, 2018

Geometry and complex manifolds参考文献 88被引用数 5

ひとこと要約

本稿は、ケーラー–リッチソリトンを許容するファノ多様体のための正規化されたハウスドルフ複素解析的モジュライ空間を構成し、ケーラー–アインシュタイン計量を備えたファノ多様体のモジュライ空間を拡張する。ケーラー–リッチソリトンのためのモーメント写像の枠組みを導入し、グロモフ–ハウスドルフ収束を用いた微分幾何的技法により、局所チャートの正則的グルーピングを確立し、病理的であるとされる単純なファノ多様体のモジュライ空間の欠険を解消する、良好に振る舞うモジュライ空間を構成する。

ABSTRACT

We construct a canonical Hausdorff complex analytic moduli space of Fano manifolds with Kähler-Ricci solitons. This naturally enlarges the moduli space of Fano manifolds with Kähler-Einstein metrics, which was constructed by Odaka and Li-Wang-Xu. We discover a moment map picture for Kähler-Ricci solitons, and give complex analytic charts on the topological space consisting of Kähler-Ricci solitons, by studying differential geometric aspects of this infinite dimensional moment map. Some stacky words and arguments on Gromov-Hausdorff convergence help to glue them together in the holomorphic manner.

研究の動機と目的

• ナチュラルなモジュライ空間の病理的性質を克服し、ケーラー–リッチソリトンを備えたファノ多様体の良好に振る舞う複素解析的モジュライ空間を構築すること。
• ケーラー–アインシュタイン計量を備えたファノ多様体のモジュライ空間を、より一般の標準計量であるケーラー–リッチソリトンを備えたものに拡張すること。
• 微分幾何的技法による局所チャートの構成を可能にするために、ケーラー–リッチソリトンのためのモーメント写像の枠組みを確立すること。
• グロモフ–ハウスドルフ収束とスタック理論的技法を用いて、局所複素解析的構造をグローバルにハウスドルフなモジュライ空間へとグルーピングすること。
• ファノ多様体のモジュライの統一的解析的枠組みを提供すること。これは、カルビ–ヤウ多様体および標準的偏極多様体のモジュライに関して、フジキ–シューマッハの構成に類似するものである。

提案手法

• ドナルドソン–フジキの設定をファノ設定に適応することで、ケーラー–リッチソリトンのためのモーメント写像の枠組みを導入する。
• implicit function theorem とケーラー–リッチソリトン方程式の線形化を用いて、局所複素解析的チャートを構成する。
• 完成化技法を用いて、局所モジュライ空間が正しく定義され、ハウスドルフであることを保証する。
• グロモフ–ハウスドルフ収束の議論を適用して、退化を制御し、局所チャートの適切なグルーピングを保証する。
• スタック理論的言語を用いてモジュライスタック $\mathbfcal{K}_{T,\chi}$ を定義し、降下理論を用いてそれが $\mathds{C}\mathbf{an}$-スタックであることを証明する。
• モルフィズムに関する有効的降下と層の条件のチェックにより、グローバルモジュライ空間の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ナチュラルなモジュライ空間の失敗を考慮しても、ケーラー–リッチソリトンを備えたファノ多様体のための正規化された複素解析的モジュライ空間を構築できるか？
• RQ2 ケーラー–リッチソリトンのためのモーメント写像の枠組みは、モジュライ空間における局所チャートの構成にどのように寄与するか？
• RQ3 グロモフ–ハウスドルフ収束は、モジュライ空間のハウスドルフ性および正則的構造を保証するために果たす役割は何か？
• RQ4 ケーラー–リッチソリトンのモジュライ空間は、ケーラー–アインシュタインファノ多様体のモジュライ空間とどのように関係するか？
• RQ5 スタック理論的枠組み $\mathbfcal{K}_{T,\chi}$ を用いて、モジュライ空間が複素解析的空間であることを証明できるか？

主な発見

• ケーラー–リッチソリトンを備えたファノ多様体のモジュライ空間は、正規化されたハウスドルフ複素解析的空間として存在し、ナチュラルなモジュライ空間の病理的性質を解消する。
• ケーラー–リッチソリトンのためのモーメント写像の枠組みが確立され、モジュライ構成における微分幾何的技法の適用を可能にする。
• ケーラー–リッチソリトン方程式に implicit function theorem を適用することで、局所複素解析的チャートが構成される。
• グローバルモジュライ空間は、グロモフ–ハウスドルフ収束と降下理論を用いて局所チャートをグルーピングすることで得られ、正則的整合性が保証される。
• モジュライスタック $\mathbfcal{K}_{T,\chi}$ が $\mathds{C}\mathbf{an}$-スタックであることが証明され、その幾何的整合性が確認される。
• この構成は、ケーラー–アインシュタインファノ多様体のモジュライ空間を一般化し、ケーラー–アインシュタインでないがK-安定なファノ多様体（例えば、オダカ–オカダ予想の反例であるデルクロワの例）を含む。