[论文解读] 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 MMP）中临界值 $\alpha$ 的猜想公式，该公式基于 $\overline{H}_g$ 上的交点理论以及具有局部奇点 $y^2 = x^k$ 的曲线的GIT稳定性。研究证明，这些临界值恰好对应于对数 canonical 模空间 $\overline{H}_g(\alpha)$ 发生双有理变换的阈值，特别是边界除子 $\overline{B}_j$（对应椭圆尾部和桥接结构）被收缩的时刻，从而勾勒出双曲椭圆模空间对数 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.

研究动机与目标

• 推导双曲椭圆曲线模空间对数极小模型程序中，对数 canonical 模空间 $\overline{H}_g(\alpha)$ 发生变化的临界值 $\alpha_j$ 的猜想公式。
• 通过分析对应于椭圆尾部和桥接结构的边界除子 $\widetilde{B}_j$ 的收缩，理解对数 MMP 的推进机制。
• 利用希尔伯特-缪福德指标计算，将临界 $\alpha_j$ 值与具有局部同构于 $y^2 = x^k$ 的奇点的曲线的GIT稳定性阈值联系起来。
• 提供 $\overline{H}_g$ 的对数 MMP 的系统性概述，实现哈塞特-基尔原则：随着 $\alpha$ 减小，模紧化中出现的奇点逐渐恶化。

提出的方法

• 利用双曲椭圆曲线模空间上的交点理论，推导出 $\overline{H}_g$ 上的 $\mathbb{Q}$-除子 $L_\alpha$，以编码对数 canonical 除子 $K_{\overline{H}_g} + \alpha D_\alpha$。
• 通过在局部通用变形空间上的 1-PS 作用 $\rho$，计算具有奇点 $y^2 = x^k$ 的曲线的希尔伯特-缪福德指标，追踪不在首项理想中的单项式的权重。
• 应用公式 $\mu([C]_m, \rho) = \frac{1}{6}(m-1)(4b(b-1)m - 3b(b+1))$ 计算具有 $j$-重节点的曲线的归一化希尔伯特-缪福德指标，其中 $j = 2b+2$，并将其与 $\alpha$-值关联。
• 利用 $\alpha$ 与 $m$ 之间的关系，证明具有 $y^2 = x^k$ 奇点的曲线的GIT稳定性阈值与 $\widetilde{B}_j$ 被收缩的临界 $\alpha_j$ 值一致。
• 分析曲线 $C$ 在 $\rho$ 和 $\rho^{-1}$ 下的吸引 basin，以确定何时 $C$ 是GIT稳定的，表明在某些点（如 $a_1$）的光滑化是允许的，而在其他点（如 $a_0, a_2$）则不允许。
• 运用模性原理及 Alper、Fedorchuk 和 Smyth 的结果，将希尔伯特-缪福德指标重新表达为 $\lambda$ 和 $\lambda_2$ 线丛的形式，从而在无需显式参数化的情况下实现计算。

实验结果

研究问题

• RQ1 在哪些临界值 $\alpha_j$ 处，对数 canonical 模空间 $\overline{H}_g(\alpha)$ 发生双有理变换，导致边界除子 $\widetilde{B}_j$ 被收缩？
• RQ2 临界 $\alpha_j$ 值如何与具有局部同构于 $y^2 = x^k$ 的奇点的曲线的GIT稳定性相关联？
• RQ3 控制 $\overline{H}_g$ 上对数 MMP 的 $\mathbb{Q}$-除子 $L_\alpha$ 的精确公式是什么？
• RQ4 具有 $j$-重节点的曲线的希尔伯特-缪福德指标如何与对数 canonical 模空间发生变化的 $\alpha$-值相关联？
• RQ5 哈塞特-基尔原则——即随着 $\alpha$ 减小，模空间中出现的奇点逐渐恶化——在 $\overline{H}_g$ 的对数 MMP 中在多大程度上成立？

主要发现

• 对数 canonical 模空间 $\overline{H}_g(\alpha)$ 发生变化的临界 $\alpha_j$ 值被猜想为由希尔伯特-缪福德指标计算导出的公式 $\alpha_j = \frac{(j^2 - j - 2)(17\alpha - 8)}{2(7 - 10\alpha)^2}(\alpha - \alpha_j)$，该公式成立。
• 对 $\overline{H}_g$ 的对数 MMP 在临界 $\alpha_j$ 处精确收缩边界除子 $\widetilde{B}_j$，这对应于模空间中出现 $y^2 = x^j$ 奇点的时刻。
• 对于具有 $j$-重节点且 $j = 2b+2$ 的曲线，希尔伯特-缪福德指标为 $\mu([C]_m, \rho) = \frac{1}{6}(m-1)(4b(b-1)m - 3b(b+1))$，该值在 $\alpha = \alpha_j$ 处为零，表明达到稳定性阈值。
• 具有 $y^2 = x^k$ 奇点的曲线的GIT稳定性从不稳定转变为（半）稳定，其阈值与对数 MMP 预测的 $\alpha_j$ 值完全一致，验证了GIT理论与对数 canonical 模空间理论之间的一致性。
• 在 1-PS $\rho$ 作用下，曲线 $C$ 的吸引 basin 包含节点 $a_1$ 处的光滑化，但不包含 $a_0$ 或 $a_2$ 处的光滑化，该行为决定了稳定性阈值。
• 通过 $\overline{H}_g$ 上的交点理论导出的临界 $\alpha_j$ 值，与通过具有 $y^2 = x^k$ 奇点的曲线的GIT稳定性导出的值完全一致，验证了猜想的对数 MMP 结构。