[论文解读] Towards a classification of modular compactifications of the moduli space of curves

David Ishii Smyth|ArXiv.org|Feb 21, 2009

Algebraic Geometry and Number Theory参考文献 17被引用 12

一句话总结

本文对亏格 $g$ 的 $n$-点曲率模空间的所有稳定模紧化进行了分类，提供了对具有唯一极限性质的一参数光滑曲线族的形变开类的预稳定曲线的完整组合表征。关键结果通过模堆栈 $\mathcal{V}_{g,n}$ 的开闭子堆栈来识别此类紧化，其中稳定性定义为：其正规化中的每个有理分支必须至少有三个特殊点（标记点或奇点）。

ABSTRACT

The space of smooth curves admits a beautiful compactification by the moduli space of Deligne-Mumford stable curves. In this paper, we undertake a systematic investigation of alternate modular compactifications of the space of smooth curves.

研究动机与目标

• 对所有在形变下稳定且对一参数光滑曲线族具有唯一极限的 $n$-点亏格 $g$ 曲率模空间 $\mathcal{M}_{g,n}$ 的模紧化进行分类。
• 通过识别所有可推广标准 Deligne-Mumford 和伪稳定情形的稳定性条件，扩展经典 Deligne-Mumford 紧化。
• 为通过模堆栈 $\mathcal{V}_{g,n}$（包含 $\mathcal{M}_{g,n}$ 的唯一不可约分支）的开闭子堆栈系统地理解替代紧化提供一个框架。
• 基于曲线正规化中各有理分支上特殊点（标记或奇点）数量的组合分类，对这些紧化进行分类。

提出的方法

• 将 $\mathcal{U}_{g,n}$ 定义为所有 $n$-点、约化、连通、一维、正规的 $\text{Spec }\mathbb{Z}$-概形的模堆栈，并将 $\mathcal{V}_{g,n}$ 识别为包含 $\mathcal{M}_{g,n}$ 的 $\mathcal{U}_{g,n}$ 的唯一不可约分支。
• 引入 $\mathcal{Z}$-稳定性作为稳定性条件的推广：若曲线的正规化中每个有理分支至少有三个特殊点（标记或奇点），则称其为 $\mathcal{Z}$-稳定。
• 将 $\overline{\mathcal{M}}_{g,n}(\mathcal{Z})$ 构造为 $\mathcal{V}_{g,n}$ 的开闭子堆栈，参数化所有 $\mathcal{Z}$-稳定曲线，并证明其在 $\text{Spec }\mathbb{Z}$ 上是正规的。
• 利用上同调消去论证，特别是 $H^1(C, \mathscr{L}^m \otimes \mathfrak{m}_p^2)$ 上的消去，以控制线丛的次数和奇点曲线的嵌入维数。
• 应用投影公式，并对 $\delta(p)$（$\delta$-不变量）和 $r$（分支数）进行估计，证明当 $m$ 足够大时 $H^1$ 消去，从而实现有限型参数化。
• 通过希尔伯特概形和有限性结果，证明曲线的模堆栈 $\mathcal{U}_{g,n,d}$ 在 $\text{Spec }\mathbb{Z}$ 上是有限型的。

实验结果

研究问题

• RQ1 所有在形变下开且对一参数光滑曲线族具有唯一极限的预稳定曲线的类有哪些？
• RQ2 如何对所有在 $\text{Spec }\mathbb{Z}$ 上正规且包含 $\mathcal{M}_{g,n}$ 为稠密开子堆栈的 $\mathcal{M}_{g,n}$ 的模紧化进行分类？
• RQ3 对曲线正规化中各有理分支上特殊点数量的组合条件如何分类这些稳定紧化？
• RQ4 经典 Deligne-Mumford、伪稳定和加权稳定紧化能否统一于同一分类框架下？
• RQ5 不可约分支 $\mathcal{V}_{g,n}$ 在参数化可光滑化曲线及实现不可约紧化分类中起什么作用？

主要发现

• 所有 $\mathcal{M}_{g,n}$ 的稳定模紧化均由 $\mathcal{V}_{g,n}$ 的开闭子堆栈分类，且这些紧化满足 $\mathcal{Z}$-稳定性条件，即其正规化中每个有理分支至少有三个特殊点。
• 当 $g = 0$ 时，模堆栈 $\mathcal{U}_{0,n}$ 是不可约的，所有开闭子堆栈均被分类，从而实现了 $\mathcal{M}_{0,n}$ 的模紧化的完整分类。
• 当 $g \geq 1$ 时，分类限于 $\mathcal{V}_{g,n}$ 的开闭子堆栈，即 $\mathcal{U}_{g,n}$ 中包含 $\mathcal{M}_{g,n}$ 的唯一不可约分支，且满足 $\mathcal{Z}$-稳定性条件。
• 构造 $\overline{\mathcal{M}}_{g,n}(\mathcal{Z})$ 被证明在 $\text{Spec }\mathbb{Z}$ 上是正规的，确认其为模紧化。
• 已证明 $H^1(C, \mathscr{L}^m \otimes \mathfrak{m}_p^2)$ 的上同调消去，当 $m > 2g - 2 + 2\delta(p)r$ 时成立，其中 $\delta(p) \leq g + e - 1$ 且 $r \leq \delta(p) + 1$，从而确保有限型参数化。
• 推导出显式上界 $m(g,e) = 2g - 2 + 2(g+e)(g+e-1)$，使得上同调消去，从而可构造模堆栈的有限型覆盖。