[论文解读] Stability of genus five canonical curves

Maksym Fedorchuk, David Ishii Smyth|arXiv (Cornell University)|Feb 20, 2013

Algebraic Geometry and Number Theory参考文献 17被引用 5

一句话总结

本文证明了GIT商 $\overline{M}^G := \mathbb{G}(3,15)^{ss}//SL(5)$，即在 $\mathbb{P}^4$ 中参数化半稳定二次型三元组的商，构成了 $\overline{M}_5$ 的对数极小模型程序的最后一步。该文通过曲线的奇点分类了五阶亏格的canonical曲线的GIT稳定性，并表明自然的有理映射 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ 收缩了关键的除子性闭链，从而确认 $\overline{M}^G$ 是 $\overline{M}_5$ 的一个典范有理模型。其主要贡献在于对半稳定三元组及其关联曲线奇点的完整刻画，其中映射 $f$ 将 $\Delta_1$、$\Delta_2$ 和三对多除子收缩至 $\overline{M}^G$ 中的特定闭链。该映射被证明为有理收缩，且通过测试族与除子类理论计算了超平面丛的拉回。

ABSTRACT

We analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to projective equivalence. Since a general net of quadrics defines a canonically embedded smooth curve of genus five, the resulting GIT quotient gives a birational model of the moduli space of genus 5 curves. We study the geometry of the associated contraction and prove that the constructed GIT quotient is the final step of the log minimal model program for the moduli space of genus 5 curves.

研究动机与目标

• 确定在 $\mathbb{P}^4$ 中定义五阶亏格canonical曲线的二次型三元组的GIT稳定性条件。
• 刻画由半稳定三元组产生的曲线的奇点，特别是其几何与模形式性质之间的关系。
• 通过分析其对关键除子性闭链的收缩行为，确立有理映射 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ 是 $\overline{M}_5$ 的对数极小模型程序的最后一步。
• 通过测试族与除子类理论，计算 $\overline{M}^G$ 上超平面丛的拉回，从而确认该映射的有理收缩结构。

提出的方法

• 作者对 $\mathbb{P}^4$ 中的二次型三元组进行了详细的GIT稳定性分析，重点研究 $SL(5)$ 在格拉斯曼簇 $\mathbb{G}(3,15)$ 上的作用，并通过其关联曲线对半稳定三元组进行分类。
• 他们定义并分析了与三元组相关的判别五次曲线，表明 $SL(3)$-稳定性不能决定三元组的 $SL(5)$-稳定性，因此需要采用新方法。
• 该文构造了三组测试族 $T_1$、$T_2$ 和 $T_3$，分别对应椭圆尾部、非魏尔斯特拉斯点处的二阶尾部以及三对多曲线，用于计算 $\overline{M}^G$ 上超平面丛的拉回。
• 他们利用除子类理论，包括theta特征除子与布里尔-诺伊曼理论，验证了 $f^*\mathcal{O}(1)$ 与 $33\lambda - 4\delta_0 - 15\delta_1 - 21\delta_2$ 成比例，从而确认了映射的有理收缩行为。
• 他们通过分析单参数子群作用下的轨道闭包，证明了某些理想（如 $I_T$）位于半稳定区域的闭包中，从而确立了关键退化情形的像。
• 他们证明了 $f$ 将 $\Delta_1$、$\Delta_2$ 和三对多除子 $\operatorname{Trig}_5$ 分别收缩至 $\overline{M}^G$ 中的特定闭链，包括 $A_2$-闭链与 $A_5^{\{1\}}$-闭链。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^4$ 中定义五阶亏格canonical曲线的二次型三元组的完整GIT稳定性条件是什么？
• RQ2 $\overline{M}^G$ 中曲线的奇点如何与 $\overline{M}_5$ 中对应曲线的模形式性质相关联？
• RQ3 有理映射 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ 是否是 $\overline{M}_5$ 的对数极小模型程序的最后一步？
• RQ4 $\overline{M}^G$ 上超平面丛的拉回是什么？该结果如何确认映射的有理收缩结构？
• RQ5 $\overline{M}_5$ 中哪些除子性闭链被 $f$ 收缩？它们被映射到 $\overline{M}^G$ 中的哪些闭链？

主要发现

• 在 $\mathbb{P}^4$ 中的一个二次型三元组是半稳定的，当且仅当它定义了一个局部平面化的五阶亏格曲线，并满足特定奇点条件，包括排除某些配置（如椭圆四次曲线与 $A_1$ 和 $A_5$ 奇点的并，或在双曲对合交换奇点上方点的 $D_5$ 奇点曲线）。
• 映射 $f: \overline{M}_5 \dashrightarrow \overline{M}^G$ 是一个有理收缩，它将除子 $\Delta_1$ 收缩至 $\overline{M}^G$ 中的 $A_2$-闭链，将除子 $\Delta_2$ 收缩至 $A_5^{\{1\}}$-闭链。
• 三对多除子 $\operatorname{Trig}_5$ 被收缩至单一点，该点对应理想 $(ad-bc, ae+bd-c^2, be-cd)$，该理想定义了一个具有两条直线的半稳定三重圆锥。
• $\overline{M}^G$ 上超平面丛的拉回被计算为 $f^*\mathcal{O}(1) \sim 33\lambda - 4\delta_0 - 15\delta_1 - 21\delta_2$，从而确认了映射的有理收缩性质，并在 $\overline{M}_5$ 的内森-塞弗雷群中给出了一个精确类。
• 除子 $f^{-1}\mathcal{D}$（其中 $\mathcal{D}$ 是包含一个秩3二次型的三元组的除子）被识别为具有消失theta零点的五阶亏格曲线的除子，其类与 $4(33\lambda - 4\delta_0 - 15\delta_1 - 21\delta_2)$ 成比例。
• 该映射 $f$ 被证明是 $\overline{M}_5$ 的对数极小模型程序的最后一步，因为其典范除子 $K_{\overline{\mathcal{M}}_5} + \frac{14}{33}\delta$ 是半正则的，且对应于 $f$，因此不可能再进行任何翻转或除子性收缩。