[论文解读] Modular compactifications of M_{1,n}

David Ishii Smyth|ArXiv.org|Aug 1, 2008

Algebraic Geometry and Number Theory参考文献 11被引用 9

一句话总结

本文通过定义 $m$-稳定曲线——即具有 Gorenstein 性质、 genus-one 奇点（椭圆 $m$-重点）并排除椭圆尾部的全局稳定性条件的曲线——引入了一类新的模空间 $̅{\mathcal{M}}_{1,n}$ 的模形式紧化，记为 $̅{\mathcal{M}}_{1,\mathcal{A}}(m)$。作者证明这些模问题可由合适的、不可约的 Deligne-Mumford 堆栈表示，通过系统性地在局部奇点与全局稳定性之间权衡，推广了 Deligne-Mumford 和 Schubert 的伪稳定紧化。

ABSTRACT

We introduce a sequence of isolated curve singularities, the elliptic m-fold points, and an associated sequence of stability conditions, generalizing the usual definition of Deligne-Mumford stability. For every pair of integers 0

研究动机与目标

• 通过使用一类新的奇点推广 Deligne-Mumford 稳定性，构造模空间 $\mathcal{M}_{1,n}$ 的新一族紧化。
• 识别并分类 Gorenstein、genus-one、$m$-分支奇点（即椭圆 $m$-重点），作为此类紧化的自然局部条件。
• 定义一个排除椭圆尾部的全局稳定性条件，以平衡 cusp 类奇点的包含。
• 证明 $m$-稳定 $n$-点 genus-one 曲线的模问题可由合适的、不可约的 Deligne-Mumford 堆栈 $\overline{\mathcal{M}}_{1,n}(m)$ 表示。
• 将构造推广至加权稳定性条件，得到堆栈 $\overline{\mathcal{M}}_{1,\mathcal{A}}(m)$，为 $̅{M}_{1,n}$ 的对数极小模型程序提供未来应用。

提出的方法

• 将椭圆 $m$-重点定义为具有 $m$ 个分支、算术亏格为一的 Gorenstein、非奇异、孤立的曲线奇点。
• 利用变形理论与稳定化过程，分析光滑 genus-one 曲线的一族退化极限，其极限为这类奇点。
• 通过局部条件（仅允许椭圆 $m$-重点）与全局条件（对偶线丛的全局截面消失且对偶线丛为充分正）定义 $m$-稳定性。
• 通过赋值准则证明 $m$-稳定极限的存在性与唯一性，使用显式局部环计算与 Gorenstein 条件。
• 通过稳定曲线的代数几何与变形理论，构造模堆栈 $\overline{\mathcal{M}}_{1,n}(m)$，证明其为合适的、不可约的 Deligne-Mumford 堆栈。
• 通过为标记点分配权重 $̅{\mathcal{A}}$，将构造推广至加权稳定性，定义 $̅{\mathcal{M}}_{1,\mathcal{A}}(m)$ 为具有类似性质的模形式紧化。

实验结果

研究问题

• RQ1 能否通过允许一类新的孤立奇点（超越节点或尖点）来构造 $̅{\mathcal{M}}_{1,n}$ 的合适模形式紧化？
• RQ2 何种奇点条件是保证带有此类奇点的 $n$-点 genus-one 曲线模空间为分离的必要且充分条件？
• RQ3 genus-one 奇点（即椭圆 $m$-重点）的引入如何与全局稳定性条件相互作用，以防止退化为椭圆尾部？
• RQ4 是否 $m$-稳定 $n$-点 genus-one 曲线的模问题可由合适的 Deligne-Mumford 堆栈表示？
• RQ5 能否将加权稳定性条件纳入此类紧化中？它们是否产生行为良好的模堆栈？

主要发现

• 对任意整数对 $1 \leq m < n$，算术亏格为一的 $n$-点 $m$-稳定曲线的模问题可由合适的、不可约的 Deligne-Mumford 堆栈 $\u0305{\mathcal{M}}_{1,n}(m)$ 表示。
• 存在唯一的 Gorenstein、非奇异、孤立的曲线奇点，具有 $m$ 个分支且亏格为一，称为椭圆 $m$-重点，作为 $m$-稳定性的局部模型。
• $m$-稳定性的全局稳定性条件要求 $H^0(C, \Omega_C^\vee) = 0$ 且 $\omega_C$ 充分正，以确保无椭圆尾部。
• 该构造满足赋值准则的合适性，证明在一维参数族中 $m$-稳定极限的存在性与唯一性。
• 加权紧化 $̅{\mathcal{M}}_{1,\mathcal{A}}(m)$ 以类似方式构造，具有相同的可表示性与合适性性质。
• 这些结果为后续工作中 $̅{M}_{1,n}$ 的对数极小模型程序提供了完整描述的基础，这些堆栈作为关键构建模块。