A Finiteness Theorem for Quartic K3-Fibred Calabi--Yau Threefolds in Scrolls

技术摘要：关于卷轴中四次 K3 纤维化 Calabi–Yau 三维流形的有限性定理

问题陈述
本文探讨了关于代数极小 Calabi–Yau 三维流形的一个受限形式的 Gross 有限性问题。虽然对于纤维化 Calabi–Yau 三维流形的广义有界性结果已经建立（特别是 Engel 等人 [5]），但这些结果并未针对特定族群提供显式的权重向量、奇异性类型或 Hodge 数的分类。本研究专注于由四次 K3 曲面 ($S_4 \subset \mathbb{P}^3$) 纤维化的三维流形，这些曲面被实现为在 $\mathbb{P}^1$ 上的“卷轴”（scrolls）中的反正则超曲面。本研究不仅限于先前已知的“直卷轴”（straight-scroll）族（即其环境空间为非奇异 $\mathbb{P}^3$-丛），还扩展到了形式为 $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$ 的“轨道叠层卷轴”（orbifold scrolls）。主要目标是确定哪些此类轨道构造能产生具有至多正则奇异性（canonical singularities）的 Calabi–Yau 三维流形，并显式地对生成的形变族进行分类。

方法论
分类依赖于对权重向量的组合分析以及对 Reid–Shepherd-Barron–Tai (RSBT) 正则奇异性判据的应用。

1. 几何构造：

   • 直卷轴 ($n=1$)： 环境空间是一个非奇异丛 $F = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(a_2) \oplus \mathcal{O}_{\mathbb{P}^1}(a_3) \oplus \mathcal{O}_{\mathbb{P}^1}(a_4))$。Calabi–Yau 三维流形 $X$ 是 $F$ 中一个一般的反正则超曲面。
   • 轨道卷轴 ($n \ge 2$)： 环境空间是商空间 $F^m_n = (\mathbb{P}^1 \times \mathbb{P}^3)/\mathbb{Z}_n$，其中 $\mathbb{Z}_n$ 对纤维坐标 $[x_j]$ 以权重 $m = (m_1, \dots, m_4)$ 进行对角作用，并对基底作用平凡。Calabi–Yau 条件要求存在一个 $\mathbb{Z}_n$-不变的四次多项式，这施加了一个关于权重的同余条件。

2. 奇异性与 RSBT 判据：

   • 本文对 $\mathbb{Z}_n$ 作用的固定点集（特别是截面 $C_j = \mathbb{P}^1 \times \{x_j=0\}$）应用 RSBT 判据。
   • 为了使环境轨道具有正则奇异性，群作用在固定点处的“年龄”（age）必须 $\ge 1$。为了使超曲面限制保持正则，这一条件需进一步加强一个单位。
   • 这导致了关于权重 $m_i$ 和阶数 $n$ 的算术条件系统：
     $$m_2 + m_3 + m_4 \equiv \beta \pmod n$$
     $$m_2 + m_3 + m_4 \ge n + 1$$
     其中 $\beta$ 是不变四次项的权重。

3. 良构性（Well-Formedness）：

   • 一个关键约束是“良构性”，它排除了三个或更多权重模 $n$ 同余的情况。此类情况对应于群作用中的拟反射（quasi-reflections），它们固定了一个除子（余维数为 1）而非曲线，从而导致非正则奇异性或 Calabi–Yau 条件的失效（负 Kodaira 维度）。

4. Hodge 数计算：

   • 对于光滑情况，$h^{1,1}$ 由 Lefschetz 超平面定理确定。
   • 对于轨道情况，$h^{2,1}$ 通过计算适当次数的不变多项式的空间维度（相对于环境空间的自同构）来计算。
   • $h^{1,1}$ 通过“扭曲扇区”（fixed curves）的贡献进行修正，这些扇区的 age $\le 1$，对应于 创正则解析（crepant resolution）中的 exceptional 除子。

核心贡献与结果

1. 有限性定理： 本文证明了对于任何固定的阶数 $n$，产生正则四次 K3 纤维化 Calabi–Yau 三维流形的容许权重向量集合 $C_n$ 是有限的。

2. $n=1, 2, 3$ 的完整分类：

   • $n=1$ (直卷轴)： 重新确认了存在恰好 10 个族（如文献 [12, 13, 14] 所述），列于表 1 中。
   • $n=2$： 确定了恰好 1 个具有权重向量 $(1, 1, 1) \pmod 2$ 的族，对应于由 $x_j \mapsto -x_j$ 定义的 $X(2,4)$ 的商。
   • $n=3$： 在 4 个候选者中确定了 3 个有效的族。候选者 $(0, 2, 2, 2)$ 因缺乏良构性（权重三重重合）而被剔除。有效的族对应于权重 $(0, 0, 2, 2)$、$(0, 1, 1, 2)$ 和 $(0, 1, 2, 2)$。
   • 总计： 本研究得到了 14 个不同的正则四次 K3 纤维化 Calabi–Yau 三维流形的形变族。

3. 显式 Hodge 数据：

   • 本文计算了所有 14 个族的完整 Hodge 数 $(h^{1,1}, h^{2,1})$。
   • 对于 $n=3$ 的族，结果为：
     • 族 1 $(0,0,2,2)$: $(5, 23)$
     • 族 2 $(0,1,1,2)$: $(6, 34)$
     • 族 3 $(0,1,2,2)$: $(4, 34)$
   • 论文指出，虽然族 2 与某些完全交集 Calabi–Yau (CICY) 流形共享 Hodge 数，但其构造是不同的（奇异堆栈中的超曲面 vs. 光滑完全交集），且 Hodge 数的匹配仅是数值上的巧合，而非同构的证据。

意义
本文提供了这一特定类 Calabi–Yau 三维流形的第一个显式、有效的分类。虽然广义的有界性定理（如 [5]）保证了纤维化 Calabi–Yau 三维流形的不变量存在界限，但它们并未提供具体的权重向量、奇异性类型或 Hodge 数据。本工作填补了对于四次 K3 纤维化三维流形（在轨道卷轴中）的这一空白。

其意义在于从抽象的有界性向具体的枚举转变。通过利用 $\mathbb{P}^1$ 基底的刚性以及 RSBT 判据的组合性质，作者将一个复杂的几何问题简化为一个可解的算术不等式系统。研究结果解决了这些特定轨道构造的存在性问题，并提供了一个包含 14 个族及其奇异结构和拓扑不变量的完整数据集，为进一步研究低阶 K3 纤维化 Calabi–Yau 流形提供了基础参考。

开放问题
论文明确指出，它并未确定阶数 $n$ 本身在所有可能的构造中是否是有界的；它仅证明了对于任何 固定的 $n$，族的数量是有限的。将分类扩展到 $n > 3$ 以及解决 $n$ 的有界性仍然是开放的问题。