Compact Moduli Spaces of Marked Cubic Plane Curves

技术摘要：带标记三次平面曲线的紧致模空间

问题陈述
本研究旨在构建并分类带 $n$ 个标记点（在射影等价意义下）的平面三次曲线的紧致化空间。虽然亏格 $g \geq 0$ 且带有 $n$ 个标记点的光滑曲线的模空间（如 Deligne-Mumford 和 Hasselt 紧致化）已通过对偶图和权重等组合结构得到了充分理解，但带点的平面曲线这一特定情形需要不同的方法。作者专注于利用几何不变理论（VGIT）的变化来构建这些紧致化，特别是针对次数 $d=3$ 的情况。其目标是提供参数空间内充足锥（ample cone）内 GIT 壁（walls）与室（chambers）的完整描述，并根据曲线的奇异性以及标记点的位置来刻画壁越迁（wall-crossing）现象。

方法论
本文采用几何不变理论（GIT）来构建准射影簇 $C^{gen}_{n,d}/SL(3)$ 的紧致化，其中 $C^{gen}_{n,d}$ 代表具有 $n$ 个通用标记点的次数为 $d$ 的平面曲线的参数空间。研究方法通过以下步骤进行：

1. 参数空间与线性化： 参数空间 $C_{n,d}$ 被定义为由相交关系切出的 $\mathbb{P}(\Gamma(\mathbb{P}^2, \mathcal{O}(d))) \times (\mathbb{P}^2)^n$ 的子簇。作者构造了该空间上的一族 $SL(3)$-线性化的线丛$L$，由非负整数元组$(\gamma, w_1, \dots, w_n)$参数化，其中$\gamma$作为曲线的权重，$w_i$作为标记点$p_i$ 的权重。
2. 数值判据： 带标记曲线的稳定性由 Hilbert-Mumford 数值判据确定。作者将该判据简化为 $SL(3)$ 最大托拉斯（maximal torus）中归一化一参数子群的判据。这涉及基于单项式在托拉斯作用下的“支撑”（support）并利用 Mukai 序来计算数值函数 $\mu_L(x, \lambda)$。
3. 充足锥的确定： 论文首先刻画了 $SL(3)$-充足锥$\Lambda(C_{n,d})$，识别出权重$(\gamma, w_1, \dots, w_n)$ 使得半稳定标记曲线的局部非空的区域。这是通过分析足够一般的（光滑）曲线的稳定性来实现的。
4. 三次曲线的壁分析（$d=3$）： 针对三次曲线的具体情况，作者识别了充足锥内的“内壁”。这些壁对应于存在严格半稳定曲线的线丛。根据引理 4.1，这些严格半稳定曲线必须具有正维度的 $SL(3)$ 稳定子。作者分类了所有具有正维度稳定子的还原平面三次曲线（引理 2.18），并确定了使这些曲线变为严格半稳定的特定标记点配置。
5. 壁越迁描述： 论文分析了跨越这些壁时稳定性的转变，识别了壁两侧的通用稳定曲线及其共同的退化形式（即壁上的严格半稳定曲线）。

主要贡献与结果

• 充足锥的刻画（定理 3.2）： 论文为任何次数 $d$ 提供了 $SL(3)$-充足锥$\Lambda(C_{n,d})$的显式描述。该锥由涉及总点权重$W = \sum w_i$、单个权重$w_i$以及曲线权重$\gamma$的线性不等式系统定义。这推广了以往关于$d=2$（Giansiracusa 和 Simpson）及 $n=1$（Jensen）的结果。
• 三次曲线 GIT 壁的分类（定理 5.1）： 对于次数 $d=3$，论文识别了四种不同类型的内 GIT 壁，每种壁都与三次曲线的一种特定退化以及标记点的特定配置相关联：
  1. $3A_1$（三条不共线的直线）： 与点在节点处重合相关。
  2. $A_2$（尖点曲线）： 与点在尖点处重合相关。
  3. $A_3$（圆锥曲线与切线）： 与点在捏点（tacnode）及在线性分量上相关。
  4. $D_4$（三点的锥面）： 与点在奇异点及在线性分量上相关。
     定理 5.1 提供了每种壁类型的显式超平面方程和边界条件。
• 壁越迁行为（定理 5.2）： 论文详细说明了跨越这些壁时的几何变化。它描述了壁两侧的通用稳定曲线 $S(T, I, \pm)$ 及其共同退化 $S(T, I, 0)$。例如，跨越与 $3A_1$ 奇异性相关的壁，会将模空间从包含不可约节点曲线的空间转变为包含一条圆锥曲线与一条横截线的空间的。
• 对其他模空间的应用：
  • 三次曲面（推论 6.3）： 对于 $n=2$，论文建立了带标记三次曲线的特定 GIT 商与包含一个标记 Eckardt 点的三次曲面模空间（同构于加权射影空间 $\mathbb{P}(1, 2, 2, 3)$）之间的同构关系。这将其工作与 Radu Laza 先前的构造联系起来。
  • 带标记椭圆曲线（推论 6.5）： 论文构造了一个参数化带 $n$ 个点及一个额外标记拐点的平面三次曲线的空间。它表明该空间的 GIT 商紧致化了带标记椭圆曲线的模空间 $M_{1, n+1}$。

意义与主张
论文声称提供了带标记平面三次曲线的 GIT 壁与室的“完整描述”，由于缺乏高次数曲线退化的分类，这一任务被认为对于任意次数都是难以实现的。这项工作推广了现有的关于亏格为零曲线及特定低次数情形的结果。

其意义在于对这些模空间的边界进行了显式的组合与几何描述。通过将 GIT 壁直接与曲线的奇异性（节点、尖点、捏点、$D_4$ 奇异性）以及标记点的碰撞联系起来，论文提供了一种理解随着线性化变化而导致模空间变化的具体方式。作者指出，壁越迁态射（wall-crossing morphisms）是关于例外层（exceptional loci）的加权射影空间丛，这为这些紧致化的双有理几何提供了结构性理解。这些结果为理解 $M_{1,n}$ 与所构造的 GIT 商之间的双有理映射奠定了基础，而后者被确定为正在进行的工作重点。