[论文解读] A Compactification of the Space of Plane Curves

Paul Hacking|ArXiv.org|Apr 19, 2001

Algebraic Geometry and Number Theory参考文献 15被引用 13

一句话总结

本文通过定义稳定对 $(X,D)$ 的模堆栈 $\mathcal{M}_d$，其中 $X$ 是一个半对数 canonical 的 del Pezzo 曲面且满足 $dK_X + 3D \sim 0$，构建了次数 $d \geq 4$ 的光滑平面曲线模空间的几何可计算紧化。关键贡献在于对稳定对中出现的退化曲面 $X$ 进行了完整分类，特别针对 $d=4,5,6$ 给出了明确结果，并证明了 $\mathcal{M}_d$ 是一个紧致、分离的 Deligne–Mumford 堆栈，当 $3 \nmid d$ 时为光滑堆栈。该紧化通过 $\mathbb{Q}$-Gorenstein 变形理论与 $\alpha \to 3/d^+$ 时的极限构造实现，避免了原始 $\mathcal{M}_d^\alpha$ 方法中的技术问题。

ABSTRACT

We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor, and allow both the surface and the curve to degenerate. For plane curves of degree d at least 4, we obtain a compactification M_d which is a moduli space of stable pairs (X,D) using the log minimal model program. A stable pair (X,D) consists of a surface X such that -K_X is ample and a divisor D in a given linear system on X with specified singularities. Note that X may be non-normal, and K_X is Q-Cartier but not Cartier in general. We give a rough classification of stable pairs of arbitrary degree, a complete classification in degrees 4 and 5, and a partial classification in degree 6. The compactification is particularly simple if d is not a multiple of 3 - in particular the surface X has at most 2 components. We give a characterisation of these surfaces in terms of the singularities and the Picard numbers of the components. Moreover, we show that M_d is smooth in this case.

研究动机与目标

• 构建次数 $d \geq 4$ 的光滑平面曲线模空间 $V_d$ 的几何且可显式计算的紧化。
• 定义稳定对 $(X,D)$ 的模堆栈 $\u005Cmathcal{M}_d$，使得 $K_X + D$ 是半对数 canonical 且 ample，推广 Kollár–Shepherd-Barron 的模空间理论。
• 对在度数为 $d$ 的稳定对中可能出现的所有退化曲面 $X$ 进行分类，特别区分类型 A、B、C、D，并排除类型 B*。
• 利用相对极小模型程序与 $\mathbb{Q}$-Gorenstein 变形理论，证明 $\mathcal{M}_d$ 是紧致、分离的 Deligne–Mumford 堆栈。
• 当 $3 \nmid d$ 时，利用 $K_X$ 的阶的显式估计与变形理论技术，证明 $\mathcal{M}_d$ 是光滑的。

提出的方法

• 将度数为 $d$ 的稳定对 $(X,D)$ 定义为：$X$ 是一个半对数 canonical 的 del Pezzo 曲面，且满足 $dK_X + 3D \sim 0$，同时对足够小的 $\epsilon > 0$，有 $K_X + (3/d + \epsilon)D$ 是半对数 canonical。
• 将模堆栈 $\mathcal{M}_d$ 构造为当 $\alpha \to 3/d^+$ 时 $\mathcal{M}_d^\alpha$-紧化族的极限，从而避开原始 $\alpha$-变形框架中的技术问题。
• 利用第 10 节中发展的对 slc 曲面的 $\mathbb{Q}$-Gorenstein 变形理论，确保 $K_{\mathcal{X}/S}$ 与 $\mathcal{D}$ 是 $\mathbb{Q}$-Cartier，从而实现对变形的控制。
• 应用相对极小模型程序（MMP）证明 $\mathcal{M}_d$ 是分离且紧致的，使用赋值准则并利用相对 MMP 的存在性。
• 将退化曲面 $X$ 分为四类：A（正规）、B（非正规且含两个分量）、C 与 D（非正规且含退化尖点），并证明类型 B* 不会出现，因其不可光滑化。
• 利用条件 $dK_X + 3D \sim 0$ 控制 $\operatorname{Cl}X$ 中 $K_X$ 的阶，表明当 $3 \nmid d$ 时，$X$ 必为 Manetti 曲面或类型 B，从而实现显式分类。

实验结果

研究问题

• RQ1 在度数为 $d$ 的稳定对 $(X,D)$ 中，可能出现的退化曲面 $X$ 有哪些？
• RQ2 为何类型 B* 曲面（一个具有折叠双曲线的不可约 slc 曲面）在任何稳定对中均不出现？
• RQ3 当 $3 \nmid d$ 时，条件 $dK_X + 3D \sim 0$ 如何约束 $X$ 的几何与奇点结构？
• RQ4 若去掉相对光滑化条件，为何模堆栈 $\u005Cmathcal{M}_d$ 不是代数堆栈？
• RQ5 当 $X$ 含有不可光滑化分量时，稳定对 $(X,D)$ 的变形空间结构如何？这对 $\u005Cmathcal{M}_d$ 的局部结构有何影响？

主要发现

• 模堆栈 $\u005Cmathcal{M}_d$ 是一个紧致、分离的 Deligne–Mumford 堆栈，为次数 $d \geq 4$ 的光滑平面曲线模空间 $V_d$ 提供了几何紧化。
• 类型 B* 曲面虽在形式上可能，但不会出现在任何稳定对中，因其无法光滑化为 $\mathbb{P}^2$，如第 6 节所示。
• 当 $3 \nmid d$ 时，堆栈 $\u005Cmathcal{M}_d$ 是光滑的，原因在于 $K_X$ 在 $\operatorname{Cl}X$ 中的 3-整除性，这使得 $X$ 必为 Manetti 曲面或类型 B。
• 对于 $d=4,5$，退化曲面 $X$ 的分类是完整的，且 $X$ 上 $D$ 的可能奇点也已完全确定。
• 对于 $d=6$，存在含多达 18 个分量的曲面 $X$（如例 16.5），并给出了类型 C 与 D 的候选列表，但其光滑化性尚未确定。
• 当 $3 \mid d$ 时，堆栈 $\u005Cmathcal{M}_d$ 不是光滑的，如例 16.6 所示，原因在于变形空间中存在不可光滑化分量。