The equations of general Hassett maximal cubic fourfolds

技术摘要：一般 Hassett 极大三次超曲面的方程

问题陈述
由于复杂的霍奇理论以及未解决的有理性问题，三次超曲面在现代代数几何中占据核心地位。若三次超曲面 $X \subset \mathbb{P}^5$ 的代数上同调格 $A(X)$ 的秩至少为 2，则称其为“特殊”的。Hassett 证明，特殊三次超曲面的轨迹构成了不可约除子 $C_d$ 的并集，这些除子由属于 Hassett 子集 $\mathcal{H} = \{n \in \mathbb{N}_{\ge 8} : n \equiv 0, 2 \pmod 6\}$ 的判别式 $d$ 索引。

所有此类 Hassett 除子的交集，记为 $Z = \bigcap_{d \in \mathcal{H}} C_d$，代表了具有最丰富几何结构的三次超曲面， termed "Hassett 极大”。在 prior work 中，作者（Gal 和 Nuer）确立了 $Z$ 的维数为 16，并且 $Z$ 的任何不可约分量都对应于 $M$-可极化四次超曲面的模空间 $C_M$，其中 $M$ 是 primitively 表示 $\mathcal{H}$ 的最小秩（秩为 4）正定格。然而，格 $M$ 与这些超曲面定义方程之间的显式几何关系尚不明确。本注记的主要目标是构造一个三次多项式的显式族，其零点集构成 $Z$ 的一个 16 维不可约分量，从而为一般 Hassett 极大三次超曲面提供具体的几何描述。

方法论
作者结合了几何构造、格理论和算术方法来实现其目标：

1. 通过平面排列的几何构造：
   利用 Voisin 关于三次超曲面中平面相交的基础性结果，作者定义了一个特殊的三次超曲面族 $\mathcal{N}$，其中包含四个平面（$P_1, P_2, P_3, P_4$），具有特定的相交构型：

   • $P_1 \cap P_2$ 和 $P_1 \cap P_3$ 是直线。
   • $P_2 \cap P_3$ 是一个点。
   • $P_1 \cap P_4 = \emptyset$。

   利用这些相交关系，作者用线性形式推导出了这些平面的定义理想。通过分析这些理想的交集，他们构造了一族特定的三次多项式 $F$，使其在所有四个平面上消失。这导出了 $F$ 的显式代数形式，涉及参数 $a, b \in \mathbb{C}$。

2. 维数分析：
   作者分析了模去 $PGL(6, \mathbb{C})$ 作用的此类平面排列的参数空间。通过计算平面排列与三次超曲面之间的相交对应关系的维数，他们证明了所得族 $\mathcal{N}$ 的维数为 16，与已知的 Hassett 极大轨迹 $Z$ 的维数相匹配。

3. 通过 ADC 形式进行的算术验证：
   为了证明构造的族 $\mathcal{N}$ 确实覆盖了整个 Hassett 极大轨迹（即关联格的原始像张成了整个 Hassett 子集 $\mathcal{H}$），作者分析了关联的秩 4 格 $L(M)$。他们将问题简化为证明一个特定的正定二次型 $F$ 能够 primitively 表示 $\mathcal{H}$ 中的每一个整数。

   这需要证明形式 $F$（及相关三元形式）具有ADC 性质（任何由有理向量表示的整数也能由整数向量表示）。作者：

   • 确立了三元形式 $Q_3(x, y, z) = x^2 + y^2 + 3z^2$ 和 $G(x, y, z) = x^2 + 3y^2 + 3z^2$ 是 ADC 形式。
   • 利用广义几何下降论证（通过环面划分扩展 Davenport-Cassels 方法）来确认非欧几里得形式的 ADC 性质。
   • 利用 Hasse-Minkowski 定理和局部 - 全局原理，证明该形式的像覆盖了模特定整数的所有必要剩余类，从而确保 $\mathcal{H}$ 中的每个元素都被 primitively 表示。

主要贡献与结果

• 显式方程： 本文提供了 Hassett 极大三次超曲面族的第一个显式构造。该族的一般成员同构于属于四个特定理想之交的齐次三次多项式 $F$ 的零点集：
  $$F \in (x, y, z) \cap (x, y, u) \cap (x, z, v) \cap (v - by, u - az, w)$$
  其中 $x, y, z, u, v, w$ 是线性形式，$a, b \in \mathbb{C}$ 是常数。
• 维数确认： 作者证明了由这些方程定义的轨迹 $\mathcal{N}$ 的维数为 16，确认其构成了 Hassett 极大轨迹 $Z$ 的一个不可约分量。
• 格极大性： 通过证明关联二次形式的 ADC 性质，作者证明了与这些超曲面关联的格 $L(M)$ 的原始像恰好是 Hassett 子集 $\mathcal{H}$。这证实了构造的族确实是"Hassett 极大”的，意味着这些超曲面位于所有 Hassett 除子 $C_d$ 的交集中。
• 算术工具： 本文贡献了一个改进的几何下降论证（附录 A），以确认特定非欧几里得三元形式的 ADC 性质，这是一个技术结果，用于弥合格构造与 Hassett 子集算术性质之间的差距。

意义
本文声称解决了抽象格 $M$ 与 Hassett 极大三次超曲面的具体几何之间“不透明”的关系。通过提供显式多项式方程，作者将这些极大对象的研究从纯粹的理论存在性结果推进到具体、可计算的框架。这项工作证实，由特定平面理想之交定义的 16 维三次超曲面族不仅具有正确的维数，而且在 Hassett 子集方面具有算术完备性，从而完全刻画了 Hassett 极大轨迹的一个一般分量。