[论文解读] 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

一句话总结

本文利用Mori理论、组合学和几何不变量理论，综述了模曲线模空间 $\overline{M}_{g,n}$ 的模紧化分类，并研究了这些空间的对数极小模型程序（log MMP）。文中识别出中间对数极小模型中出现的关键奇点——如 $A_k$-奇点和ribbons（肋状曲线）——并给出了这些奇点首次出现时的 $\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}$ 的模紧化进行分类。
• 理解 $\overline{M}_{g,n}$ 的有效锥的Mori墙分解及其对除子理论的影响。
• 通过对数极小模型程序（log MMP）确定 $\overline{M}_g(\alpha)$ 的双有理几何，特别是在关键 $\alpha$-值处的情形。
• 识别在中间对数极小模型中取代双曲丛的奇异曲线（如ribbons、$A_k$-奇点）。
• 推导出特定奇点首次出现在log MMP中的 $\alpha$-不变量的显式公式。

提出的方法

• 通过在 canonical divisor $K_{\overline{M}_g} + \alpha\delta$ 中变化 $\alpha$ 参数，使用对数极小模型程序（log MMP）构造并分类 $\overline{M}_g$ 的双有理模型 $\overline{M}_g(\alpha)$。
• 应用Hilbert-Mumford数值准则分析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$）的曲线退化为具有指定亏格和线丛次数的尾部的形式。
• 通过涉及 $\lambda$、$\delta_0$ 和 $\psi$ 类的公式，计算覆盖族的斜率，推导出稳定极限族的交数。
• 使用斜率公式 $s = 12 \cdot \frac{pq(p-1)(q-1) - 1}{(p-1)(q-1)(2pq - p - q - 1)}$ 预测 $A_k$-奇点在对数极小模型中的出现。
• 提出ribbons和 $A_k$-奇异曲线作为 $\alpha < \frac{3g+8}{8g+4}$ 时 $\overline{M}_g(\alpha)$ 中双曲曲线的替代候选。

实验结果

研究问题

• RQ1 在 $\overline{M}_g(\alpha)$ 的log MMP中，哪些奇异曲线作为极限出现？它们在何种 $\alpha$-值首次出现？
• RQ2 对于给定的 $A_k$-奇点（如 $x^p = y^q$），其 $\alpha$-不变量精确为何值时，会成为 $K_{\overline{M}_g} + \alpha\delta$ 的基点集的组成部分？
• RQ3 当 $\alpha < \frac{3g+8}{8g+4}$ 时，ribbons 或其他非约曲线能否作为 $\overline{M}_g(\alpha)$ 中双曲曲线的替代？
• RQ4 在 $\alpha \in [0,1]$ 范围内，是否仅有有限多个无限奇点族控制中间对数极小模型 $\overline{M}_g(\alpha)$？
• RQ5 哪些内在几何或代数性质可表征 $\alpha$-不变量非负的奇点？

主要发现

• 奇点 $x^p = y^q$（其中 $p,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$ 是一个 $qb$-边形亏格曲线，其亏格为 $g = \frac{pqb^2 - pb - qb - b + 2}{2}$，且 $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$。
• 当 $\alpha < \frac{3g+8}{8g+4}$ 时，ribbons 和具有 $A_{2g}$ 或 $A_{2g+1}$ 奇点的曲线是 $\overline{M}_g(\alpha)$ 中双曲曲线的合理替代，因为它们是典范嵌入光滑曲线的平坦极限。
• 本文提出，仅有限多个无限族的toric奇点（如 $x^p = y^q$）控制中间对数极小模型 $\overline{M}_g(\alpha)$，这意味着退化形式的分类是有限的。