[論文レビュー] Singularities with G_m-action and the log minimal model program for $\bar{M}_g$

Jarod Alper, Maksym Fedorchuk+1 more|arXiv (Cornell University)|Oct 18, 2010

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

ひとこと要約

本稿では、特異曲線が $
\overline{M}_g(\alpha)$ に現れる臨界 $\alpha$-値を予測するための2つの手法——$\mathbb{G}_m$-作用に関する多様体の正則形式への作用の特性理論と、安定極限における交線論——を考案・比較した。著者らは、ADE、トーリック、一枝Gorenstein、リボン特異点に対して、両手法が同一の予測をもたらすことを示し、$\overline{M}_g$ における対数最小モデルプログラムの推測的枠組みを提供した。主な貢献は、対数MMPにおけるモジュラー退化を統一的に予測するメカニズムの確立である。

ABSTRACT

We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a singularity or complete curve with G_m-action arises in the modular interpretations of log canonical models of $\bar{M}_g$. The first method involves a new invariant of curve singularities with G_m-action, constructed via the characters of the induced G_m-action on spaces of pluricanonical forms. The second method involves intersection theory on the variety of stable limits of a singular curve. We compute the expected alpha-values for large classes of singular curves, including curves with ADE, toric, and monomial unibranch Gorenstein singularities, as well as for ribbons, and show that the two methods yield identical predictions. We use these results to give a conjectural outline of the log MMP for $\bar{M}_g$.

研究の動機と目的

• 対数正則モデル $\overline{M}_g(\alpha)$ がスタック $\overline{\mathcal{M}}_g(\alpha)$ の良いモジュライ空間であるというモジュラー性原理を定式化し、検証すること。
• モジュラー解釈において、$\mathbb{G}_m$-作用をもつ特異曲線が $\overline{M}_g(\alpha)$ に現れる正確な $\alpha$-値を特定すること。
• これらの $\alpha$-値を予測する2つの独立した手法——特性理論と交線論——を比較し、その整合性を検証すること。
• 特異曲線の予測に基づいて、$\overline{M}_g$ における対数最小モデルプログラムの推測的アウトラインを提示すること。

提案手法

• 正則形式の空間における $\mathbb{G}_m$-作用の特性を計算することで、線束が $\overline{M}_g(\alpha)$ に下方に降下する $\alpha$-値を特定する。
• Hilbert-Mumfordの基準を用いて、$\mathbb{G}_m$-作用をもつ $n$-標準埋め込み曲線の Hilbert 及び Chow 点の GIT 指標を計算する。
• 特異曲線の安定極限の多様体における交線論を用い、$(K_{\overline{\mathcal{M}}_g} + \alpha\delta)$-負曲線を検出することで、対数MMPにおけるフラップの兆候を特定する。
• ADE、トーリック、一枝Gorenstein、リボン特異点をもつ曲線について、特性理論と交線論による予測を比較する。
• $\chi_\lambda$ および $\chi_\delta$ を用いて、$\mu^{\overline{\operatorname{Hilb}}_{g,n}^{\,m}}([C],\widetilde{\eta})$ および $\mu^{\overline{\operatorname{Chow}}_{g,n}}([C],\widetilde{\eta})$ の明示的公式を導出する。
• 特性理論的および交線論的予測の間の一般的関係を示す定理（定理 5.2）を確立する。

実験結果

リサーチクエスチョン

• RQ1 特異曲線が $\mathbb{G}_m$-作用をもつ場合、その曲線がモジュラーコンパクト化 $\overline{M}_g(\alpha)$ に最初に現れる $\alpha$-値は何か？
• RQ2 正則形式への $\mathbb{G}_m$-作用の特性理論的不変量は、交線論的手法によって得られる $\alpha$-値を正確に予測できるか？
• RQ3 ADE、トーリック、一枝Gorenstein、リボン特異点をもつ曲線に対して、特性理論と交線論の予測は一致するか？
• RQ4 $n$-標準埋め込み曲線の Hilbert 及び Chow 点の安定性と、対数MMPにおける $\alpha$-値の関係は何か？
• RQ5 モジュラー性原理を用いて、$\overline{M}_g$ における推測的対数MMPをどのように構成できるか？

主な発見

• ADE、トーリック、一枝Gorenstein特異点をもつ曲線に対して、特性理論と交線論による $\alpha$-値の予測は同一である。
• リボン $C_\ell$ で $\ell = (g-1)/2$ の場合、標準埋め込みの $m$-番目の Hilbert 点は $\mathbb{G}_m$-作用に関して厳密に半安定であるため、$\alpha = 1$ が $\overline{M}_g(\alpha)$ に現れる閾値であることが示唆される。
• $g$ が偶数の場合、すべての $\mathbb{G}_m$-作用をもつ標準的埋め込みリボンは Hilbert 不安定であるため、$\alpha < 1$ の場合、$\overline{M}_g(\alpha)$ には現れないことが確認された。
• リボン $C_\ell$ の $m$-番目の Hilbert 点の Hilbert-Mumford 指標は $\mu^{\overline{\operatorname{Hilb}}_{g,1}^{\,m}}([C],\rho) = g(g + m - gm)(\ell - \frac{g-1}{2})$ であり、$\ell = (g-1)/2$ のときに限り消える。
• 特性理論的手法が交線論的手法と一致する $\alpha$-値を予測することを確認し、両手法が対数MMPにおける一貫したツールであることが裏付けられた。
• 本稿では定理 5.2 を用いて、2つの手法の一般的関係を確立した。$K_{\overline{\mathcal{M}}_g} + \alpha\delta$ が $\mathbb{G}_m$-作用で特性が消えることと、安定極限多様体内に $(K_{\overline{\mathcal{M}}_g} + \alpha\delta)$-負曲線が存在することは同値であることが示された。