[论文解读] Log minimal model program for the moduli space of stable curves of genus three

Donghoon Hyeon, Yongnam Lee|ArXiv.org|Mar 3, 2007

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

一句话总结

本论文通过构造并模块化解释所有对数卡坦诺夫模型为双 canonical 曲线的 GIT 商，完成了对三行亏格稳定曲线模空间的对数极小模型程序。关键贡献在于将除一个之外的所有模型与已知紧化形式相联系——同时通过 h-稳定曲线引入了 $M_3$ 的一种新模块化紧化形式，这些曲线具有节点、尖点和切点，并满足特定稳定性条件。

ABSTRACT

In this paper, we completely work out the log minimal model program for the moduli space of stable curves of genus three. We employ a rational multiple $αδ$ of the divisor $δ$ of singular curves as the boundary divisor, construct the log canonical model for the pair $(\bar{\mathcal M}_3, αδ)$ using geometric invariant theory as we vary $α$ from one to zero, and give a modular interpretation of each log canonical model and the birational maps between them. By using the modular description, we are able to identify all but one log canonical models with existing compactifications of $M_3$, some new and others classical, while the exception gives a new modular compactification of $M_3$.

研究动机与目标

• 完成对 $\overline{\mathcal{M}}_3$，即三行亏格稳定曲线模空间的对数极小模型程序。
• 构造并模块化解释所有对数卡坦诺夫模型 $\overline{M}_3(\alpha)$，其中 $\alpha$ 从 1 变化到 0。
• 利用几何不变性理论（GIT）将对数卡坦诺夫模型与现有或新紧化形式关联起来。
• 为三行亏格的双 canonical 曲线定义并研究新的稳定性条件——h-稳定性与 c-稳定性。
• 通过 h-稳定曲线建立 $M_3$ 的新模块化紧化形式，该形式与任何已知紧化形式均不双全同构。

提出的方法

• 从 $\alpha=1$ 到 $\alpha=0$ 变化边界除子 $\alpha\delta$，其中 $\delta$ 为奇异曲线的除子，并构造对数卡坦诺夫模型 $\overline{M}_3(\alpha)$。
• 利用几何不变性理论（GIT）将 $\overline{M}_3(\alpha)$ 实现为在 $SL(6)$ 作用下，对 $Hilb_{3,2}$ 和 $Chow_{3,2}$ 的希尔伯特概形与 Chow 概形的商。
• 将 h-稳定曲线定义为具有节点、尖点、切点且 canonical 线丛为 ample 的曲线，且其一维子曲线与其余部分至少在两点相交。
• 将 c-稳定曲线定义为满足额外条件的 h-稳定曲线，即排除椭圆桥（两个在两个节点处相交的椭圆曲线）。
• 建立模型之间的双有理映射：在 $\alpha=9/11$ 处为小收缩，在 $\alpha=7/10$ 处为翻转，在 $\alpha=17/28$ 处为除子收缩。
• 利用 K3 曲面的周期域与 Baily-Borel 紧化，将 Kondo 的模空间 $\overline{\mathcal{K}}$ 与 $\overline{M}_3(7/10)$ 关联起来。

实验结果

研究问题

• RQ1 对 $\alpha \in (0,1]$，对数卡坦诺夫模型 $\overline{M}_3(\alpha)$ 是什么？它们如何通过双有理映射相互关联？
• RQ2 这些模型中哪些对应于 $M_3$ 的已知紧化形式，哪些是新的？
• RQ3 对数卡坦诺夫模型能否作为双 canonical 曲线的 Hilbert 或 Chow 概形的 GIT 商实现？
• RQ4 精确的稳定性条件（h-稳定、c-稳定）是什么，它们如何对这些模型所参数化的曲线进行分类？
• RQ5 具有伪稳定平面曲线的 K3 曲面模空间如何与 $\overline{M}_3$ 的对数卡坦诺夫模型相关联？

主要发现

• 对数卡坦诺夫模型 $\overline{M}_3(7/10)$ 同构于 GIT 商 $Chow_{3,2}//SL(6)$，该商参数化 c-稳定曲线。
• 模型 $\overline{M}_3(17/28)$ 同构于紧化模空间 $\overline{Q} = \mathbb{P}(\Gamma(\mathcal{O}_{\mathbb{P}^2}(4)))///SL(3)$，该空间参数化平面四次曲线。
• 模型 $\overline{M}_3^{hs} = \overline{M}_3(\alpha)$ 对于 $17/28 < \alpha < 7/10$ 同构于 GIT 商 $Hilb_{3,2}//SL(6)$，该商参数化 h-稳定曲线。
• 对数卡坦诺夫模型 $\overline{M}_3(7/10)$ 同构于 Kondo 的紧化模空间 $\overline{\mathcal{K}}$，通过一个同构将 $\overline{\mathcal{K}} \setminus \{q\}$ 与 $\overline{M}_3^{cs} \setminus \{\text{严格半稳定点}\}$ 关联起来。
• $M_3$ 的 h-稳定曲线模空间 $\overline{M}_3^{hs}$ 是 $M_3$ 的一种新紧化形式，与任何已知紧化形式均不双全同构。
• 在 $Chow_{3,2}//SL(6)$ 中的所有严格半稳定曲线在模空间中被识别，这一识别构成了与 $\overline{Q}$ 同构的基础。