Cubic fourfolds containing highly singular hyperplane sections

技术摘要：包含高度奇异超平面截面的三次四维流形

问题陈述
本文研究了光滑复三次四维流形模空间 $\mathcal{C}$ 中的除子分类。研究 $\mathcal{C}$ 的一个核心主题是区分“特殊”三次四维流形（即包含非完全交截同调面的那些，由 Hassett 除子参数化）与“非特殊”三次四维流形。虽然 Hassert 除子已被深入理解并与有理性构造相关联，但对于非 Hassett 除子的显式方程仍缺乏已知实例。作者旨在构造 $\mathcal{C}$ 中新的不可约除子，这些除子参数化了包含具有特定高度奇异构型（具体为总 Tjurina 数为 6 的奇异性）的超平面截面的光滑三次四维流形，并证明这些除子不是 Hassett 除子。这为识别显式的非有理三次四维流形做出了贡献，这类流形的存在性由非特殊四维流形的 Hodge 原子理论所保证。

方法论
作者结合了代数几何、奇异性理论和计算数论的方法：

1. 几何构造与变形理论：

   • 作者定义了集合 $D_K \subset \mathcal{C}$，用于参数化包含具有特定奇异类型 $K$ 的超平面截面 $Y$ 的三次四维流形（其中 $K$ 代表 ADE 奇异性的组合或 $T_{333}$ 奇异性）。
   • 他们利用三次三维流形（超平面截面）的奇异性分类，来识别总 Tjurina 数 $\tau(Y) = 6$ 的组合。
   • 为了证明这些集合是除子（余维数为 1），他们分析了奇异超平面截面 $Y$ 在其环境四维流形 $X$ 中的变形理论。具体而言，他们检查了全局到局部的映射 $\phi: H^0(Y, \mathcal{O}(1)) \to \bigoplus_{p \in \text{Sing}(Y)} T^1_{Y_p}$。
   • 通过使用通过计算机代数系统 MAGMA 构建的显式示例，他们证明了对于这些集合中的一般成员，映射 $\phi$ 是单射的。这种单射性意味着，该集合中的一般三次四维流形仅包含有限个此类超平面截面，从而确认了这些集合确实是除子（对于 $T_{333}$ 情况则为余维数 2）。

2. 非特殊性的计算验证（Addington–Auel 方法）：

   • 为了证明所构造的除子是“非特殊”的（即这些四维流形不是特殊的），作者应用了 Addington 和 Auel 开发的计算方法。
   • 该方法依赖于 van Luijk 对 K3 曲面的工作。它涉及选择一个在 $\mathbb{Q}$ 上定义的特定三次四维流形 $X$ 位于除子内，将其对素数（具体为 $p=2$）进行约化，并计算在有限域 $\mathbb{F}_{2^m}$ 上的点数。
   • 利用 Lefschetz 迹公式，他们计算了 Frobenius 作用在原始 étale 上同调 $H^4_{\text{ét, prim}}$ 上的特征多项式 $\chi(t)$。
   • 根据推论 4.3，如果 $\chi(t)$ 在 $\mathbb{Q}$ 上是不可约的且并非所有系数都是整数，则该三次四维流形是非特殊的。作者通过使用 CubicLib.m 库来实现这一点，以验证这些显式代表元的这一条件。

主要贡献与结果

• 构造新除子： 本文构造了五个 $\mathcal{C}$ 中的不可约除子：
  • $D_{E6}$ 和 $D_{D6}$：分别参数化具有 $E_6$ 和 $D_6$ 奇异性超平面截面的四维流形。
  • $D_{D5+A1}$ 和 $D_{D4+A2}$：参数化具有 $D_5+A_1$ 和 $D_4+A_2$ 奇异性超平面截面的四维流形。
  • $D_{D4+2A1}$：该集合分裂为两个不可约分量，即 $D^0_{D4+2A1}$ 和 $D^1_{D4+2A1}$，通过奇异超平面截面 $Y$ 的缺陷 $\sigma(Y)$ 进行区分。
• 余维数结果： 集合 $D_{T333}$（参数化具有 $T_{333}$ 奇异性——一种亏格为 3 且 Tjurina 数为 8 的 unimodular 奇异性——的四维流形）被证明是 $\mathcal{C}$ 中余维数为 2 的不可约子簇。
• 非 Hassett 分类：
  • 作者证明了 $D_{E6}, D_{D6}, D_{D5+A1}, D_{D4+A2}$ 以及 $D^0_{D4+2A1}$ 不是 Hassett 除子。
  • 他们表明 $D^1_{D4+2A1}$ 与已知的 Hassett 除子 $C_8$（参数化包含平面的四维流形）一致。
  • 余维数为 2 的集合 $D_{T333}$ 被证明不包含在任何 Hassett 除子中。
• 显式方程： 本文为每个除子的代表元提供了显式多项式方程，这些方程可用于生成非有理三次四维流形的示例。

意义

本文声称其意义主要在于扩展了三次四维流形模空间中已知非 Hassett 除子的版图。在此工作之前，仅已知少数非 Hassent 除子的显式实例（例如由 Ranestad–Voisin, Addington–Auel, 以及 Costa–Harvey–Kedlaya 构造的）。通过通过计算方法识别出五个新的不可约除子并证明其非特殊性，作者为非有理三次四维流形提供了新的显式来源。

此外，这些结果对于研究紧致化中间雅可比纤维化具有意义。作者指出，Druel 和 Mauri [DM26] 最近的工作将 hyperkähler 紧致化的构造扩展到了“非常好的”三次四维流形——即那些不包含平面、三次滚动面或具有亏格为 3 的超平面截面的四维流形。作者的结果意味着，任何属于 $\mathcal{C} \setminus (C_8 \cup C_{12} \cup D_{T333})$ 的三次四维流形都是“非常好的”，从而保证了对于这些四维流形存在一个具有 Lagrangian 纤维化的光滑射影 hyperkähler 流形（OG10 型）。本文并未对超出这些直接几何后果的未来应用进行推测。