[論文レビュー] An outline of the log minimal model program for the moduli space of curves

Donghoon Hyeon|arXiv (Cornell University)|Jun 6, 2010

Algebraic Geometry and Number Theory参考文献 15被引用数 5

ひとこと要約

本稿は、双曲的曲線のモジュライ空間における log 最小モデルプログラム (log MMP) の臨界値 $\alpha$ の推測的公式を、$̅{H}_g$ 上の交線論と特異点 $y^2 = x^k$ を持つ曲線の GIT 穩定性を用いて提案する。これらの臨界値が、log canonical モデル $̅{H}_g(\alpha)$ が双有理変換を受ける閾値と一致することを示し、具体的には楕円テイルおよびブリッジに対応する境界除集合 $̅{B}_j$ の収縮に一致する。これにより、双曲的モジュライ空間における log MMP の構造が明確に描かれる。

ABSTRACT

Hassett and Keel predicted that there is a descending sequence of critical $α$ values where the log canonical model for the moduli space of stable curves with respect to $αδ$ changes. We derive a conjectural formula for the critical values in two different ways, by working out the intersection theory of the moduli space of hyperelliptic curves and by computing the GIT stability of certain curves with tails and bridges. The results give a rough outline of how the log minimal model program would proceed, telling us when the log canonical model changes and which curves are to be discarded and acquired at the critical steps.

研究の動機と目的

• 双曲的曲線のモジュライ空間における log 最小モデルプログラムの過程で、log canonical モデル $\overline{H}_g(\alpha)$ が変化する臨界値 $\alpha_j$ の推測的公式を導出すること。
• 楕円テイルおよびブリッジに対応する境界除集合 $\widetilde{B}_j$ の収縮を分析することにより、log MMP がどのように進行するかを理解すること。
• 特異点が局所的に $y^2 = x^k$ と同型となる曲線の GIT 穏定性閾値と臨界 $\alpha_j$ 値を、Hilbert-Mumford 指数の計算を用いて結びつけること。
• Hassett-Keel の原理を実現する、$\overline{H}_g$ における log MMP の体系的アウトラインを提示すること：$\alpha$ が減少するにつれて、モジュライコンactification に徐々に悪い特異点が現れる。

提案手法

• 交線論を用いて、双曲的曲線のモジュライ空間上に $\mathbb{Q}$-除集合 $L_\alpha$ を導出し、log canonical 除集合 $K_{\overline{H}_g} + \alpha D\_\alpha$ を符号化する。
• 局所的標準変形空間上での 1-PS アクション $\rho$ を用いて、特異点 $y^2 = x^k$ を持つ曲線の Hilbert-Mumford 指数を計算し、初期イデアルに属さない単項式の重みを追跡する。
• 公式 $\mu([C]_m, \rho) = \frac{1}{6}(m-1)(4b(b-1)m - 3b(b+1))$ を用いて、$j$-重ノードを持つ曲線の正規化された Hilbert-Mumford 指数を計算し、$\alpha$-値と関連付ける。
• $\alpha$ と $m$ の関係を用いて、$y^2 = x^k$ 特異点を持つ曲線の GIT 穏定性閾値が、$\widetilde{B}_j$ が収縮する臨界 $\alpha_j$ 値と一致することを示す。
• 曲線 $C$ に対する $\rho$ および $\rho^{-1}$ の吸引域を分析し、特定の点（例：$a_1$）での滑らか化が許可されるが、他の点（例：$a_0, a_2$）では許可されないことを示し、これにより安定性閾値を特定する。
• モジュラリティ原理および Alper, Fedorchuk, Smyth の結果を用いて、Hilbert-Mumford 指数を $\lambda$ および $\lambda_2$ ラインバンドルの言語に再表現し、明示的パラメータ化なしで計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 log canonical モデル $\overline{H}_g(\alpha)$ が双有理変換を受ける臨界値 $\alpha_j$ は何か？ これは境界除集合 $\widetilde{B}_j$ の収縮に対応する。
• RQ2 臨界 $\alpha_j$ 値は、局所的に $y^2 = x^k$ と同型となる特異点を持つ曲線の GIT 穏定性とどのように関係するか？
• RQ3 log MMP が $\overline{H}_g$ 上で支配する $\mathbb{Q}$-除集合 $L_\alpha$ の正確な公式は何か？
• RQ4 $j$-重ノードを持つ曲線の Hilbert-Mumford 指数は、log canonical モデルが変化する $\alpha$-値とどのように関連するか？
• RQ5 $\alpha$ が減少するにつれて、徐々に悪い特異点が現れるという Hassett-Keel の原理は、$\overline{H}_g$ における log MMP においてどの程度成立するか？

主な発見

• log canonical モデル $\overline{H}_g(\alpha)$ が変化する臨界 $\alpha_j$ 値は、Hilbert-Mumford 指数の計算から得られる公式 $\alpha_j = \frac{(j^2 - j - 2)(17\alpha - 8)}{2(7 - 10\alpha)^2}(\alpha - \alpha_j)$ によって推測される。
• $\overline{H}_g$ における log MMP は、境界除集合 $\widetilde{B}_j$ を正確に $\alpha_j$ で収縮し、これはモジュライ空間に特異点 $y^2 = x^j$ が現れるときに対応する。
• ノードが $j = 2b+2$ 重の曲線に対して、Hilbert-Mumford 指数は $\mu([C]_m, \rho) = \frac{1}{6}(m-1)(4b(b-1)m - 3b(b+1))$ で与えられ、$\alpha = \alpha_j$ で消失し、安定性閾値を示す。
• $y^2 = x^k$ 特異点を持つ曲線の GIT 穏定性は、log MMP が予測する臨界 $\alpha_j$ 値で不安定から（半）安定に遷移する。これにより、GIT 理論と log canonical モデル理論との一貫性が確認される。
• 1-PS $\rho$ に対する曲線 $C$ の吸引域は、ノード $a_1$ での滑らか化を含むが、$a_0$ や $a_2$ での滑らか化は含まず、この性質が安定性閾値を決定する。
• 交線論を用いて $\overline{H}_g$ 上で得られた臨界 $\alpha_j$ 値は、$y^2 = x^k$ 特異点を持つ曲線の GIT 穏定性から得られる値と完全に一致し、推測的な log MMP 構造の妥当性が裏付けられる。