[论文解读] Log canonical models and variation of GIT for genus four canonical curves

Sebastian Casalaina‐Martin, David Jensen+1 more|arXiv (Cornell University)|Mar 22, 2012

Algebraic Geometry and Number Theory参考文献 23被引用 7

一句话总结

本文通过在单参数空间 $\mathbb{P}E$ 上进行 VGIT（变体几何不变理论）分析，完成了对四阶曲线的 Hassett–Keel 程序的最后步骤，该空间参数化 $\mathbb{P}^3$ 中一个二次曲面与一个三次曲面的完全交。对于 $\alpha \leq \frac{5}{9}$，作者构建了对数极小模型 $\overline{M}_4(\alpha)$，并解决了幅超平面锥外线性化稳定性条件的问题，证明了通过连续的双有理变换族，所有中间对数极小模型均可由这些 GIT 商空间实现。

ABSTRACT

We discuss GIT for canonically embedded genus four curves and the connection to the Hassett-Keel program. A canonical genus four curve is a complete intersection of a quadric and a cubic, and, in contrast to the genus three case, there is a family of GIT quotients that depend on a choice of linearization. We discuss the corresponding VGIT problem and show that the resulting spaces give the final steps in the Hassett-Keel program for genus four curves.

研究动机与目标

• 通过构造 $\alpha \leq \frac{5}{9}$ 时的对数极小模型 $\overline{M}_4(\alpha)$，完成四阶曲线的 Hassett–Keel 程序。
• 分析典范嵌入的四阶曲线的 GIT 稳定性，这些曲线是 $\mathbb{P}^3$ 中一个二次曲面与一个三次曲面的完全交。
• 将这些曲线的所有 GIT 商空间统一为一个在空间 $\mathbb{P}E$ 上的单一 VGIT 问题。
• 解决在 VGIT 框架下分析幅超平面锥外线性化稳定性这一技术难题。
• 建立 GIT 商空间 $\mathbb{P}E/\!/_{t}\mathrm{SL}(4)$ 与对数极小模型 $\overline{M}_4(\alpha)$ 之间的精确双有理对应关系。

提出的方法

• 使用空间 $\mathbb{P}E$，即 $\mathbb{P}^3$ 中型为 $(2,3)$ 的完全交的 Hilbert 模的光滑、初等、双有理模型，作为 VGIT 问题的参数空间。
• 对 $\mathbb{P}E$ 上 $\mathrm{SL}(4)$ 的作用进行 VGIT 分析，通过变化线性化参数 $t$，获得不同的 GIT 商空间。
• 通过仔细的几何与上同调分析，绕过 Mumford 数值准则在幅超平面锥外的模糊性，处理幅超平面锥外的线性化。
• 通过线丛的拉回关系将 GIT 商空间与对数极小模型联系起来：$\varphi^*(4s\eta + 4h) = (34s - 33)\lambda - (4s - 4)\delta_0 - (14s - 15)\delta_1 - (18s - 21)\delta_2$。
• 利用 $\delta_1$ 和 $\delta_2$ 是 $\varphi$-例外除子的事实，简化上同调环，并建立与 $\overline{M}_4(\alpha)$ 的同构关系。
• 借助 [CMJL12] 和 [Fed12] 中已知的极值情形结果，将构造推广至 $\alpha$ 的中间值。

实验结果

研究问题

• RQ1 如何将 $\alpha \leq \frac{5}{9}$ 时的对数极小模型 $\overline{M}_4(\alpha)$ 实现为典范嵌入的四阶曲线的 GIT 商空间？
• RQ2 能否通过一个在空间 $\mathbb{P}E$ 上的单一 VGIT 问题，统一 $\mathbb{P}^3$ 中型为 $(2,3)$ 的完全交的所有 GIT 商空间？
• RQ3 在 Hassett–Keel 程序中，线性化参数 $t$ 与对数极小模型参数 $\alpha$ 之间的确切关系是什么？
• RQ4 在 VGIT 框架下，如何分析位于幅超平面锥外的线性化的稳定性？
• RQ5 所得 GIT 商空间的双有理几何结构如何？它们与 Hassett–Keel 程序中的除子性与小收缩有何关系？

主要发现

• 对 $\alpha \leq \frac{5}{9}$ 的对数极小模型 $\overline{M}_4(\alpha)$ 与 GIT 商空间 $\mathbb{P}E/\!/_{t}\mathrm{SL}(4)$ 同构，其中 $t = \frac{34\alpha - 16}{33\alpha - 14}$。
• 整个四阶曲线的对数极小模型族均通过 $\mathbb{P}E$ 上的单一 VGIT 问题实现，统一了此前分离的构造。
• 本文通过证明数值准则在此类情形下依然保持良好定义且有效，解决了在幅超平面锥外分析稳定性这一技术难题。
• $\varphi: \overline{M}_4 \dashrightarrow \mathbb{P}E/\!/_{t}\mathrm{SL}(4)$ 在所有 $t \in (0, \frac{2}{3}]$ 上是双有理收缩，且线丛 $4s\eta + 4h$ 的拉回匹配 canonical 除子 $K_{\overline{M}_4} + \alpha\delta$。
• 拉回除子的系数被显式计算为：$a = 34s - 33$，$b_0 = 4s - 4$，$b_1 = 14s - 15$，$b_2 = 18s - 21$，其中 $s = \frac{1}{t}$。
• 该构造完成了四阶曲线的 Hassett–Keel 程序，填补了小范围内的最后空白，为 $\overline{M}_4$ 的对数极小模型程序提供了最终步骤。