[论文解读] Kodaira dimension of moduli of special cubic fourfolds

Sho Tanimoto, Anthony Várilly‐Alvarado|arXiv (Cornell University)|Sep 4, 2015

Algebraic Geometry and Number Theory被引用 5

一句话总结

该论文利用 Gritsenko、Hulek 和 Sankaran 提出的低权尖点形式技巧，确定了特殊立方四次超曲面模空间 $\mathcal{C}_d$ 的 Kodaira 维数。研究发现，当 $d = 6n+2$ 且 $n > 18$ 且 $n \notin \{20,21,25\}$ 时，$\mathcal{C}_d$ 为一般型；当 $d = 6n$ 且 $n > 18$ 且 $n \notin \{20,22,23,25,30,32\}$ 时，$\mathcal{C}_d$ 也为一般型，从而将未知情况的数量显著减少至仅 20 个 $d$ 值。研究结果深化了对这些模空间双有理几何性质的理解，并揭示了其与 K3 曲面及算术几何之间的联系。

ABSTRACT

A special cubic fourfold is a smooth hypersurface of degree three and dimension four that contains a surface not homologous to a complete intersection. Special cubic fourfolds give rise to a countable family of Noether-Lefschetz divisors C_d in the moduli space C of smooth cubic fourfolds. These divisors are irreducible 19-dimensional varieties birational to certain orthogonal modular varieties. We use the "low-weight cusp form trick" of Gritsenko, Hulek, and Sankaran to obtain information about the Kodaira dimension of C_d. For example, if d = 6n + 2, then we show that C_d is of general type for n > 18, n not in {20,21,25}, it has nonnegative Kodaira dimension if n > 13 and if n is not equal to 15. In combination with prior work of Hassett, Lai, and Nuer, our investigation leaves only 20 values of d for which no information on the Kodaira dimension of C_d is known. We discuss some questions pertaining to the arithmetic of K3 surfaces raised by our results.

研究动机与目标

• 确定大判别式 $d$ 下特殊立方四次超曲面模空间 $\mathcal{C}_d$ 的 Kodaira 维数。
• 应用 Gritsenko、Hulek 和 Sankaran 提出的低权尖点形式技巧，研究 $\mathcal{C}_d$ 的双有理几何性质。
• 在 Hassett、Lai 和 Nuer 之前工作的基础上，将 $\mathcal{C}_d$ 的 Kodaira 维数未知情况减少至仅 20 个 $d$ 值。
• 探讨 $\mathcal{C}_d$ 为一般型时对 K3 曲面的算术意义，特别是有理点与 Brauer 群挠子群的性质。

提出的方法

• 利用低权尖点形式技巧，借助正交群上的模形式来探测 $\mathcal{C}_d$ 的双有理类型。
• 构造格 L \hookrightarrow L_{2,26} 的嵌入，将 $\mathcal{C}_d$ 实现为与正交群相关的模形式空间。
• 分析 Borcherds 模形式的拟拉回，以确定其在反射除子上的消去阶，从而推断 Kodaira 维数。
• 应用 Eichler 判别准则与判别群分析，对负范数的本原向量进行 $\widetilde{O}(L)$-轨道分类。
• 使用 Magma 计算验证正交补中的根系结构，确认模形式在分支除子上的消去性。
• 结合 Gritsenko、Hulek 和 Sankaran 关于 $\mathcal{K}_d$（极化 K3 曲面模空间）的一般型性质的研究结果，以及当 $d \equiv 2 \bmod 6$ 时 $\mathcal{C}_d$ 与 $\mathcal{K}_d$ 的双有理等价性。

实验结果

研究问题

• RQ1 对于哪些判别式 $d$，模空间 $\mathcal{C}_d$ 为一般型？
• RQ2 在结合本研究与先前结果后，尚不知晓 Kodaira 维数的 $d$ 值有多少个？
• RQ3 $\mathcal{C}_d$ 为一般型的算术意义是什么，特别是对有理点与 Brauer 群挠子群的影响？
• RQ4 Borcherds 形式在 $\mathcal{D}_L$ 中的反射除子上，其拟拉回在何种条件下消失？
• RQ5 几何与算术性质上，$\mathcal{C}_d$ 与极化 K3 曲面模空间 $\mathcal{K}_d$ 之间有何关联？

主要发现

• 当 $d = 6n+2$ 且 $n > 18$ 且 $n \notin \{20,21,25\}$ 时，$\mathcal{C}_d$ 为一般型。
• 当 $d = 6n$ 且 $n > 18$ 且 $n \notin \{20,22,23,25,30,32\}$ 时，$\mathcal{C}_d$ 为一般型。
• 当 $d = 6n+2$ 且 $n > 13$ 且 $n \neq 15$ 时，$\mathcal{C}_d$ 具有非负 Kodaira 维数。
• 当 $d = 6n$ 且 $n > 16$ 且 $n \notin \{18,20,22,30\}$ 时，$\mathcal{C}_d$ 具有非负 Kodaira 维数。
• 目前尚不知 $\mathcal{C}_d$ 的 Kodaira 维数的 $d$ 值数量已减少至恰好 20 个。
• 结果表明，对所有素数 $p \geq 11$，有 $\mathcal{C}_{2p^2}$ 为一般型，暗示在 Bombieri-Lang 猜想下有理点稀疏。