[論文レビュー] Ample divisors on moduli spaces of weighted pointed rational curves, with applications to log MMP for $\bar{M}_{0,n}$

Maksym Fedorchuk, David Ishii Smyth|arXiv (Cornell University)|Oct 9, 2008

Algebraic Geometry and Number Theory参考文献 4被引用数 10

ひとこと要約

本稿は、幾何的不変理論や正性定理に依存せずに、交差論的技法を用いて、有理的曲線の重み付き安定モジュライ空間 $\overline{M}_{0,\mathcal{A}}$ が $\overline{M}_{0,n}$ のロジカル・カノニカル・モデルであることを、特徴に依存しない、条件のない証明を提供する。主な結果は、1パラメータ族における明示的な正性議論を通じて、ハッセットのロジカル・ミニマル・モデル・プログラム（log MMP）が完全に実現されることである。

ABSTRACT

We introduce a new technique for proving positivity of certain divisor classes on $\bar{M}_{0,n}$ and its weighted variants. Our methods give an unconditional description of the spaces of symmetric weighted pointed rational curves as log canonical models of $\bar{M}_{0,n}$.

研究の動機と目的

• $\overline{M}_{0,n}$ におけるロジカル・ミニマル・モデル・プログラム（log MMP）の条件のない証明を提供し、$S_n$-同変 F 猜定を仮定せずにハッセットのプログラムを完了すること。
• すべての重みデータ $\mathcal{A}$ に対して $\overline{M}_{0,\mathcal{A}}$ のプロジェクトーリティを、従来の方法が失敗した場合を含めて確立すること。
• $R(\overline{M}_{0,n}, K_{\overline{M}_{0,n}} + \alpha\Delta)$ のロジカル・カノニカル・セクション環の有限生成性を、条件のない形で証明すること。
• $\overline{M}_{0,\mathcal{A}}$ 上の除数類の正性を確認する一般化された手法を構築することであり、その空間のプロジェクトーリティやスキーム構造を事前に知る必要がないこと。

提案手法

• 1パラメータ族と帰納的ブLOW-ダウン列を用いて、$\overline{M}_{0,\mathcal{A}}$ 上のタウトロジカル除数の線形結合の正性を検証する新しい手法を導入する。
• 家族の曲線のブロー・ダウン鎖上で定義される関数 $G_c(i)$ を導入し、交差数を追跡することで、正則性をこの関数の単調性に還元する。
• 二乗和関数を用いて、未重み付きから重み付きモジュライ空間 $\overline{M}_{0,\mathcal{A}}$ への正性議論の一般化を図り、境界除数の帰納的構造を活用する。
• スキーム構造を仮定しない代数的空間上でクライマンの基準を適用するため、すべての部分多様体が適切に交わるある有効コシエール除数と交わることを確認することで、正則性の証明を可能にする。
• $\overline{M}_{0,\mathcal{A}}$ 上に除数類 $D_k(c)$ を構成し、$n$ に関する帰納法を用いてその正則性を証明する。摂動とブロー・アップ公式を用いる。
• $c > \frac{k+1}{2k}$ のとき $D_k(c)$ がネフであることを示し、小さな摂動が正性を保つことから、ネフコーンの内部で正則性が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\overline{M}_{0,n}$ 上で、除数 $c\psi - \Delta$ がネフとなる $c$ の値は何か？ また、いつ正則となるか？
• RQ2 すべての $\alpha \in (\frac{2}{k+2}, \frac{2}{k+1}]$ に対して、ロジカル・カノニカル・モデル $\overline{M}_{0,n}(\alpha)$ が $\overline{M}_{0,\mathcal{A}}$ として条件のない形で実現可能か？
• RQ3 $S_n$-同変 F 猜定を仮定せず、あるいは GIT を用いずに、$\overline{M}_{0,\mathcal{A}}$ のプロジェクトーリティを確立できるか？
• RQ4 本手法は $\overline{M}_{1,n}(m)$ のような他のモジュライ空間へも拡張可能か？ また、それらがロジカル・カノニカル・モデルとして実現可能か？
• RQ5 スキーム構造を仮定しない代数的空間に対し、クライマンの基準を適用可能か？ どのような条件下で成立するか？

主な発見

• $c > \frac{k+1}{2k}$ のとき、除数 $D_k(c)$ は $\overline{M}_{0,\mathcal{A}}$ 上で正則であり、$S_n$-同変 F 猜定に依存しない条件のない形で証明されている。
• 重みデータ $\mathcal{A} = \{1/k, \dots, 1/k\}$ を持つ空間 $\overline{M}_{0,\mathcal{A}}$ は、すべての $k$ に対して $\overline{M}_{0,n}$ のロジカル・カノニカル・モデルであることが示され、ハッセットのロジカル・MMP プログラムが完全に完了された。
• $D_k(c)$ の正則性のおかげで、空間がスキームであるかどうかの事前知識がなくても、$\overline{M}_{0,\mathcal{A}}$ のプロジェクトーリティが条件のない形で確立された。
• $\alpha \in (\frac{2}{k+2}, \frac{2}{k+1}]$ のすべての値に対して、ロジカル・カノニカル・セクション環 $R(\overline{M}_{0,n}, K_{\overline{M}_{0,n}} + \alpha\Delta)$ の有限生成性が条件のない形で証明された。
• 交差論的技法を用いて、代数的空間上での正則性の新しい基準を確立した。具体的には、すべての部分多様体が適切に交わるある有効コシエール除数と交わるならば、クライマンの基準が成立することが示された。
• 本手法は他のモジュライ空間へも一般化可能である。特に、今後の研究で同様の技法を用いて、$\overline{M}_{1,n}(m)$ のプロジェクトーリティおよびロジカル・カノニカル・モデル構造の証明が期待される。