[论文解读] The Kodaira dimensions of $\overline{\mathcal{M}}_{22}$ and $\overline{\mathcal{M}}_{23}$

Gavril Farkas, David Jensen+1 more|arXiv (Cornell University)|May 1, 2020

Algebraic Geometry and Number Theory参考文献 58被引用 10

一句话总结

本文通过构造斜率小于 $\frac{13}{2}$ 的有效除子（即 canonical divisor 的斜率），证明了亏格 22 和 23 的稳定曲线模空间 $\overline{\mathcal{M}}_{22}$ 和 $\overline{\mathcal{M}}_{23}$ 属于一般型。作者利用秩为 6 的线丛系列中的虚拟除子类（带有二次关系），并发展了新的热带技术，证明这些类是有效的，从而解决了 $\overline{\mathcal{M}}_g$ 的 Kodaira 亏格分类中长期悬而未决的开问题。关键结果确认了 $\overline{\mathcal{M}}_{22}$ 和 $\overline{\mathcal{M}}_{23}$ 属于一般型，扩展了此前对 $g \geq 24$ 的结果，并解决了模形式理论中的一个重大开放问题。

ABSTRACT

We prove that the moduli spaces of curves of genus 22 and 23 are of general type. To do this, we calculate certain virtual divisor classes of small slope associated to linear series of rank 6 with quadric relations. We then develop new tropical methods for studying linear series and independence of quadrics and show that these virtual classes are represented by effective divisors.

研究动机与目标

• 为解决模曲线空间分类中长期未决的 $\overline{\mathcal{M}}_{22}$ 和 $\overline{\mathcal{M}}_{23}$ 的 Kodaira 亏格问题。
• 在 $\overline{\mathcal{M}}_{22}$ 和 $\overline{\mathcal{M}}_{23}$ 上构造小斜率的有效除子，以证明其属于一般型。
• 将具有二次关系的线丛系列中更高余维数子簇的虚拟除子类方法推广至更高余维数的簇，克服交比理论与横截性方面的挑战。
• 发展新的热带技术，用于分析链状环上的线丛系列及二次型的独立性，从而证明虚拟类的有效性。
• 验证虚拟退化点集类的像在 $\overline{\mathcal{M}}_g$ 上是有效除子，且其斜率小于 $\frac{13}{2}$，从而确认其属于一般型。

提出的方法

• 通过线丛 $L \in W^6_{g+3}(X)$ 的乘法映射 $\phi_L: \mathrm{Sym}^2 H^0(X,L) \to H^0(X,L^{\otimes 2})$ 的退化点集构造虚拟除子类。
• 利用退化点集在 $[X,L]$ 对的参数空间中预期的余维数 $g - 20$，预测其在 $\overline{\mathcal{M}}_g$ 中的余维数 1 的像。
• 应用热带几何研究链状环上的线丛系列，利用斜率序列与允许函数验证二次型的独立性。
• 开发一种模板化算法，为环与桥分配允许函数，确保 $\mathcal{B} = \{\varphi_{i,j} \mid 0 \leq i \leq j \leq 6\}$ 中全部 28 个基函数均被覆盖。
• 证明退化点集 $Z$ 在其像上是通用有限的，从而推出虚拟类可被有效推前。
• 利用 $h^0(X,L) = 7$，$h^1(X,L) = 3$，以及 $\dim \mathrm{Sym}^2 H^0(X,L) = 28$ 计算预期余维数与虚拟除子的斜率。

实验结果

研究问题

• RQ1 模空间 $\overline{\mathcal{M}}_{22}$ 和 $\overline{\mathcal{M}}_{23}$ 是否属于一般型，从而解决 $\overline{\mathcal{M}}_g$ 的 Kodaira 亏格分类中的长期开放问题？
• RQ2 能否证明来自线丛系列空间中更高余维数子簇的虚拟除子类在 $\overline{\mathcal{M}}_g$ 中是有效的？
• RQ3 能否使用热带方法验证具有秩 6 特殊线丛系列的曲线上，二次型的独立性？
• RQ4 对于 $g = 22$ 和 $g = 23$，由乘法映射 $\phi_L$ 的退化点集构造的虚拟除子类的斜率是多少？
• RQ5 虚拟退化点集类的像是否为斜率小于 $\frac{13}{2}$ 的有效除子，从而确认其属于一般型？

主要发现

• 模空间 $\overline{\mathcal{M}}_{22}$ 和 $\overline{\mathcal{M}}_{23}$ 属于一般型，解决了 $\overline{\mathcal{M}}_g$ 的 Kodaira 亏格分类中长期悬而未决的开问题。
• 与乘法映射 $\phi_L$ 的退化点集相关的虚拟除子类的斜率小于 $\frac{13}{2}$（即 canonical divisor 的斜率），从而确认其属于一般型。
• 通过一种新颖的热带算法，成功证明了 28 个基函数在二次型空间中的独立性，从而确认虚拟类的有效性。
• 该构造推广了早期对斜率猜想的反例，将小斜率除子序列扩展至 $g = 22$ 和 $g = 23$。
• 该方法通过热带技术验证退化点集在 $\overline{\mathcal{M}}_g$ 中的像为通用有限映射，从而克服了横截性与交比理论中的挑战。
• 证明了具有度 $g+3$ 映射到 $\mathbb{P}^6$ 且其像位于一个二次曲面中的曲线的模空间，构成 $\overline{\mathcal{M}}_{22}$ 和 $\overline{\mathcal{M}}_{23}$ 上的一个有效小斜率除子。