[論文レビュー] Alternate Compactifications of Moduli Spaces of Curves

Maksym Fedorchuk, David Ishii Smyth|arXiv (Cornell University)|Dec 1, 2010

Algebraic Geometry and Number Theory参考文献 79被引用数 31

ひとこと要約

本稿は、モリ理論、組合せ論、幾何的不変量理論を用いて、モジュライ空間 $​\overline{M}_{g,n}$ のモジュラー compactification の分類を調査し、これらの空間における対数最小モデルプログラム（log MMP）を検討する。中間の対数 canonical モデルに現れる主要な特異点（例：$A_k$-特異点やリボン）を特定し、それらが現れる $​\alpha$-不変量の明示的公式を提示する。これにより、$​\overline{M}_g(\alpha)$ の双有理幾何を支配する、有限個の無限族の特異点が存在する可能性が示唆される。

ABSTRACT

We give an informal survey, emphasizing examples and open problems, of two interconnected research programs in moduli of curves: the systematic classification of modular compactifications of $M_{g,n}$, and the study of Mori chamber decompositions of $\M_{g,n}$.

研究の動機と目的

• 双有理幾何と安定性条件を用いて、$M_{g,n}$ のモジュラー compactification を体系的に分類すること。
• 有効なコーンのモリ・チャネル分解 $\overline{M}_{g,n}$ とその除数論への影響を理解すること。
• 特に臨界的な $\alpha$-値において、対数最小モデルプログラムを用いて $\overline{M}_g(\alpha)$ の双有理幾何を同定すること。
• 中間の対数 canonical モデルにおいてハイパーガロア部分集合に置き換わる特異曲線（例：リボン、$A_k$-特異点）を特定すること。
• 特定の特異点が log MMP の中で最初に現れる $​\alpha$-不変量の明示的公式を導出すること。

提案手法

• canonical 切断 $K_{\overline{M}_g} + \alpha\delta$ の $\alpha$-パrameter を変化させることで、$\overline{M}_g$ の双有理モデル $\overline{M}_g(\alpha)$ を構成・分類するため、対数最小モデルプログラム（log MMP）を用いる。
• GIT 商における曲線の安定性を分析するため、ヒルベルト＝ムーディー数的基準を適用する。例：$|\mathcal{O}_{\mathbb{P}^1\times\mathbb{P}^1}(3,3)|^{ss}//(SL(2)\times SL(2))\rtimes \mathbb{Z}_2$。
• 安定極限の概念を用いて、$A_k$-特異点（例：$x^p = y^q$）を持つ曲線の退化を、指定された genus とラインバンドル次数を持つテールに記述する。
• $\lambda$、$\delta_0$、$\psi$ クラスを含む公式を用いて、安定極限の族の交差数を導出し、カバー族のスロープを計算する。
• 公式 $s = 12 \cdot \frac{pq(p-1)(q-1) - 1}{(p-1)(q-1)(2pq - p - q - 1)}$ を用いて、$A_k$-特異点が対数 canonical モデルに現れるのを予測する。
• リボンや $A_k$-特異点を持つ曲線を、$\alpha < \frac{3g+8}{8g+4}$ のとき $\overline{M}_g(\alpha)$ のハイパーガロア部分集合の置き換え候補として提案する。

実験結果

リサーチクエスチョン

• RQ1 log MMP における $\overline{M}_g(\alpha)$ の極限として現れる特異曲線は何か？ そして、それらが最初に現れる $\alpha$-値は何か？
• RQ2 $x^p = y^q$ のような与えられた $A_k$-特異点が、$K_{\overline{M}_g} + \alpha\delta$ の基底集合に最初に現れる正確な $\alpha$-不変量は何か？
• RQ3 $\alpha < \frac{3g+8}{8g+4}$ のとき、リボンやその他の非還元的曲線が $\overline{M}_g(\alpha)$ のハイパーガロア曲線の置き換えとして機能できるか？
• RQ4 区間 $[0,1]$ 内の $\alpha$ に対して、中間の対数 canonical モデル $\overline{M}_g(\alpha)$ を支配する特異点の無限族は、有限個に限られるか？
• RQ5 非負の $\alpha$-不変量を持つ特異点を特徴づける、内在的な幾何的または代数的性質は何か？

主な発見

• 互いに素な $p,q$ を持つ特異点 $x^p = y^q$ が基底集合に最初に現れる $\alpha$-不変量は、$\alpha = \frac{(p-1)(q-1)(-2pq + 13p + 13q + 13) - 24}{12(pq(p-1)(q-1) - 1)}$ で与えられる。
• $A_k$-特異点 $x^p = y^q$ のタイプに対して、安定極限のカバー族のスロープは $s = 12 \cdot \frac{pq(p-1)(q-1) - 1}{(p-1)(q-1)(2pq - p - q - 1)}$ であり、これが臨界的な $\alpha$-値を決定する。
• 曲線に $x^p = y^q$ 特異点を持つ安定極限の多様体は、$\tilde{X} \cup T$ の形の和集合であり、ここで $T$ は genus $g = \frac{pqb^2 - pb - qb - b + 2}{2}$ の $qb$-ギャップ曲線で、$K_T = (pqb - p - q - 1)(p_1 + \cdots + p_b)$ を満たす。
• テールの族の交差数は、$\lambda = \frac{b}{12}((pqb - p - q)^2 + pq(pqb^2 - pb - qb + 1) - 1)$、$\delta_0 = pqb(pqb^2 - pb - qb + 1)$、$\psi = b$ で与えられる。
• リボンや $A_{2g}$、$A_{2g+1}$ 特異点を持つ曲線は、$\alpha < \frac{3g+8}{8g+4}$ のとき $\overline{M}_g(\alpha)$ のハイパーガロア曲線の置き換えとして妥当であり、それらは正規に埋め込まれた滑らかな曲線の平坦極限として現れる。
• 本稿は、中間の対数 canonical モデル $\overline{M}_g(\alpha)$ を支配する、トロピカル特異点（例：$x^p = y^q$）の無限族が有限個であると示唆しており、退化の有限分類を示唆する。