[论文解读] Weakly proper moduli stacks of curves

Jarod Alper, David Ishii Smyth+1 more|arXiv (Cornell University)|Dec 2, 2010

Algebraic Geometry and Number Theory参考文献 4被引用 18

一句话总结

本文引入了弱正则代数堆栈的概念，以在不依赖几何不变量理论（GIT）的前提下，构造曲线模空间的模紧化。它定义并证明了参数化具有 $A_k^-$、$A_k$ 和 $A_k^+$ 奇点（即节点、尖点、切点和菱形尖点）的曲线的模堆栈的弱正则性，为通过良好模空间构造 $̅{M}_g$ 的对数极小模型奠定了基础。

ABSTRACT

This is the first in a projected series of three papers in which we construct the second flip in the log minimal model program for $\bar{M}_g$. We introduce the notion of a weakly proper algebraic stack, which may be considered as an abstract characterization of those mildly non-separated moduli problems encountered in the context of Geometric Invariant Theory (GIT), and develop techniques for proving that a stack is weakly proper without the usual semistability analysis of GIT. We define a sequence of moduli stacks of curves involving nodes, cusps, tacnodes, and ramphoid cusps, and use the aforementioned techniques to show that these stacks are weakly proper. This will be the key ingredient in forthcoming work, in which we will prove that these moduli stacks have projective good moduli spaces which are log canonical models for $\bar{M}_g$.

研究动机与目标

• 定义并研究弱正则代数堆栈，作为处理具有轻微非分离性（在GIT中常见）的模问题的框架。
• 构造参数化具有日益严重 $A_k$-奇点的曲线的模堆栈 $\overline{\mathcal{M}}_{g,n}(A_k^-)$、$\overline{\mathcal{M}}_{g,n}(A_k)$ 和 $\overline{\mathcal{M}}_{g,n}(A_k^+)$。
• 证明这些堆栈是弱正则的，从而在后续工作中能够构造射影良好的模空间。
• 为 Hassett-Keel 对数极小模型程序中的 $̅{M}_g$ 提供一种无需GIT的方法，特别是针对第二次翻转。
• 将对数极小模型的模解释扩展到 $\overline{M}_{g,n}$ 的情形，其中 $n > 0$。

提出的方法

• 引入弱正则性的概念，作为对具有轻微非分离性但仍能拥有正则模空间的模堆栈的抽象刻画。
• 利用变形理论和GIT的局部变化分析在穿孔圆盘上族的 $A_k$-奇点曲线的行为。
• 应用良好模空间理论（来自 Alper [2008]）证明弱正则堆栈可拥有射影良好的模空间。
• 使用基变换和笛卡尔图将曲线族提升至中心纤维，证明极限的存在性与唯一性。
• 利用弱分离性与平态态射建立在基变换下闭的 $A_k^+$-稳定极限的唯一性。
• 利用 $A_k$-奇点（节点、尖点、切点、菱形尖点）的结构，定义 $A_k^-$、$A_k$ 和 $A_k^+$-稳定性条件。

实验结果

研究问题

• RQ1 弱正则代数堆栈能否作为构造具有可控奇点的曲线模空间的GIT可行替代方案？
• RQ2 参数化具有 $A_k^-$、$A_k$ 和 $A_k^+$ 奇点的模堆栈是否能在不依赖半稳定性分析的前提下满足弱正则性？
• RQ3 Hassett-Keel 对数极小模型程序中 $̅{M}_g$ 的第二次翻转能否通过弱正则堆栈与良好模空间实现？
• RQ4 是否存在一种不使用GIT的对数极小模型 $̅{M}_g(\alpha)$ 的模解释？
• RQ5 该构造能否扩展至 $\overline{M}_{g,n}$ 且 $n > 0$ 的情形？

主要发现

• 证明了当 $k \in \{2,3,4\}$ 时，模堆栈 $\overline{\mathcal{M}}_{g,n}(A_k^-)$、$\overline{\mathcal{M}}_{g,n}(A_k)$ 和 $\overline{\mathcal{M}}_{g,n}(A_k^+)$ 是弱正则的，且在基变换下满足极限的存在性与唯一性。
• 通过专门化论证和堆栈 $\overline{\mathcal{M}}_{g,n}(A_k)$ 中的弱分离性，确立了闭的 $A_k^+$-稳定极限的唯一性。
• 后续工作中将证明这些堆栈的良好模空间的构造是可能的，其依赖于弱正则性与良好模空间理论。
• 证明了堆栈 $\overline{\mathcal{M}}_{g,n}(A_k)$ 是弱分离的，这是证明极限唯一性的关键要素。
• 该框架实现了 $̅{M}_g$ 的对数极小模型的GIT无关构造，最终目标是实现Hassett-Keel程序中的第二次翻转。
• 这些结果为将模紧化扩展至 $\overline{M}_{g,n}$ 且 $n > 0$ 的情形奠定了基础。