[論文レビュー] Log minimal model program for the moduli space of stable curves: The second flip

Jarod Alper, Maksym Fedorchuk+2 more|arXiv (Cornell University)|Aug 6, 2013

Algebraic Geometry and Number Theory参考文献 34被引用数 11

ひとこと要約

本稿では、非分離な代数的スタックの良いモジュライ空間の一般存在定理を確立し、安定曲線のモジュライ空間におけるログ最小モデルプログラム（LMMP）の第二のフラップを構成する。$\alpha$-安定性と局所的VGIT技法を用いて、$\overline{M}_{g,n}$ のLMMPの最初の三つの段階を一様に構成し、$\overline{M}_{g,n}(\alpha)$ のログ canonical モデルが良いモジュライ空間を介したモジュラー解釈を有することを証明する。

ABSTRACT

We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the first three steps of the log minimal model program for the moduli spaces of stable pointed curves.

研究の動機と目的

• 分離性が成り立たない場合の良いモジュライ空間の一般存在定理を構築し、Keel-Mori定理を非分離スタックへ拡張する。
• Hassett-Keelプログラムにおけるログ canonical モデル$\overline{M}_{g,n}(\alpha)$にモジュラー解釈を与えること、特に$\alpha > 2/3 - \epsilon$のとき。
• $\overline{M}_g$のLMMPにおける第二のフラップを、一様な手法により構成し、ウェイエルシュトラウス型の genus 2 テイルをラムフォイド・カスプに置き換えること。
• 高次のLMMP段階において、粗モジュライ空間が失敗する問題を、それらを良いモジュライ空間に置き換えることによって克服すること。

提案手法

• $\alpha$-安定性を半安定性の一般化として導入し、$\alpha$-安定曲線をパラメトライズする新しいモジュライスタック$\overline{\mathcal{M}}_{g,n}(\alpha)$を定義する。
• 局所的VGIT（幾何的不変理論の変動）を用いて、$\alpha_c$-閉曲線の変形理論を解析し、局所的商表現を用いてフラップ集合を記述する。
• スタックが非分離であっても、有限の安定化群をもつ代数的スタックの良いモジュライ空間の一般存在定理（定理4.1）を証明する。
• 標準線分束$K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$が、良いモジュライ空間$\overline{\mathbb{M}}_{g,n}(\alpha)$上にアーマー線分束に下りることを示す。
• 退化と同時正規化を用いて、下りた線分束の正定性を証明することで、良いモジュライ空間の射影的性を確立する。
• すべての$\alpha > 2/3 - \epsilon$に対して、この構成を一様に適用し、LMMPの最初の三つの段階を自己完結的に構成する。

実験結果

リサーチクエスチョン

• RQ1 ログ最小モデルプログラムにおける$\overline{M}_g$の非分離なモジュライスタックに対して、良いモジュライ空間を構成できるか？
• RQ2 $\overline{M}_g$のLMMPにおける第二のフラップは、$\alpha$-安定性と良いモジュライ空間を介してモジュラー解釈をもつか？
• RQ3 GITに依存せずに、$\overline{M}_{g,n}$ のLMMPの最初の三つの段階を一様に構成できるか？
• RQ4 $\alpha$-安定性は、高次のLMMP段階で粗モジュライ空間の存在を妨げる無限大の自己同型群の問題をどのように解決するか？
• RQ5 フラップの正確な局所的構造は何か？また、局所的VGITのチャネルと変形理論を用いてどのように記述できるか？

主な発見

• 著者らは、非分離な代数的スタックに有限の安定化群をもつ良いモジュライ空間の一般存在定理（定理4.1）を証明し、Keel-Mori定理を拡張した。
• $\alpha > 2/3 - \epsilon$ に対して、$\alpha$-安定曲線のモジュライスタック$\overline{\mathcal{M}}_{g,n}(\alpha)$が構成され、ログ canonical モデルにモジュラー解釈を与えた。
• 良いモジュライ空間$\overline{\mathbb{M}}_{g,n}(\alpha)$は、$K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$ の切断環のProjとして構成され、$\overline{M}_{g,n}(\alpha)$ に同型であることが示された。
• 線分束$K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$ が、$\overline{\mathbb{M}}_{g,n}(\alpha)$ 上にアーマー線分束に下りることを証明し、その射影的性を示した。
• $\overline{M}_g$ のLMMPにおける第二のフラップは、$\alpha = 7/10$ から $\alpha = 2/3 - \epsilon$ への移行として実現され、ウェイエルシュトラウス型の genus 2 テイルがラムフォイド・カスプに置き換えられる。
• この構成は、$\overline{M}_g$ および $\overline{M}_{g,n}$ の両方に対して一様かつ自己完結的であり、LMMPのさらなる段階へのフレームワークを提供する。