Enumerative geometry and modularity in two-modulus K3-fibered Calabi-Yau threefolds

标题： 双模数 K3 纤维化 Calabi-Yau 三重折叠中的枚举几何与模性

问题陈述
本文探讨了由 K3 曲面纤维化的 Calabi-Yau (CY) 三重折叠的构造及其枚举几何。虽然在通过乘积射影空间中的完全交集 (CICY) 或环面簇中的超曲面对 CY 三重折叠进行分类方面已经取得了显著进展，但完整的分类仍然难以实现，因为大多数此类几何体可能并不属于这些范畴。具体而言，作者专注于构建一个系统的两参数 CY 镜像对 $(X, Y)$，其中 $Y$ 是由 $M_m$-极化 K3 曲面（Picard 数秩为 19）纤维化的，而 $X$ 是其镜像。其目标是验证新的非环面情形下的 Doran-Harder-Thompson (DHT) 镜像猜想，并计算拓扑弦自由能和枚举不变量（Gopakumar-Vafa 和 Donaldson-Thomas），以研究它们在同余子群 $\Gamma_0(m)^+$ 下的模性质。

方法论
作者采用了结合 B 模型（复结构）和 A 模型（Kähler 结构）构造的对偶方法，并通过镜像对称性和 DHT 猜想将两者联系起来。

1. B 模型构造 ($Y$)：

   • 作者构造了一个由 $M_m$-极化 K3 曲面纤维化的 CY 三重折叠族 $Y^{[i,j]}_{m,s}$。
   • 该纤维化通过一个广义泛函不变量映射 $\Lambda: \mathbb{P}^1 \to X_0(m)^+$ 来定义，其中 $X_0(m)^+$ 是与同余子群 $\Gamma_0(m)^+$ 相关的模曲线。
   • 该映射由整数 $(m, i, j, s)$ 参数化，其中 $m \leq 11$，且 $s$ 控制分歧剖面。复结构模 $z_1, z_2$ 决定了全空间。
   • 周期通过 K3 纤维的基本周期的轮廓积分来计算，从而导出 Picard-Fuchs 微分算子。

2. A 模型构造 ($X$)：

   • 镜像 $X^{[i,j]}_{m,s}$ 被构造为 Fano 四重折叠 $V^{[i,j]}_m$（其 Picard 数秩为 1）之上的射影丛内的完全交集。
   • 对于 $m \leq 4$，这些几何体被实现为 CICY 或环面簇中的超曲面。对于 $m \geq 5$，它们本质上是非环面的，实现为 Grassmannian 丛中的完全交集或 Fano 三重折叠的双层覆盖。
   • 该构造利用了 DHT 猜想：$X$ 具有一个 Tyurin 退化，退化为一个度数为 $m$ 的 Fano 三重折叠对，这两个三维折叠在反正则 K3 曲面上相交。对于 $s=0$，$X$ 本身具有 K3 纤维化。

3. 枚举与模性分析：

   • 作者计算了在大基底极限 ($S \to i\infty$) 下的亏格 0 和亏格 1 拓扑自由能 ($F^{(0)}$ 和 $F^{(1)}$)。
   • 他们利用 Gopakumar-Vafa (GV) 不变量与 Noether-Lefschetz (NL) 不变量之间的关系。NL 不变量的生成级数预期在 $\Gamma_0(m)^+$ 下作为向量值模形式（或斜全纯 Jacobi 型）进行变换。
   • 通过从自由能中提取 GV 不变量，他们验证了预期的模性质。
   • 对于非零基底度数，他们构造了基底度数为 1 和 2 的生成级数，检查了它们在单值群下的变换性质。

主要贡献

• 统一构造 39 对镜像对： 本文引入了一个由整数四元组 $(m, i, j, s)$ 标记的 39 个 CY 镜像对族。这包括 26 个 $s=0$ 的模型，在这些模型中 A 模型几何 $X$ 本身是 K3 纤维化的。
• 非环面实现： 作者为 $m \geq 5$ 的模型提供了显式的几何构造，这些模型无法实现为环面环境空间中的完全交集。它们是通过在 Fano 四重折叠上的射影丛中作为完全交集，或通过从环面模型进行的共形退化（conifold transitions）来构造的。
• 验证 DHT 猜想： 该工作提供了许多新的例子来支持 DHT 猜想，明确地将 A 模型的 Tyurin 退化与 B 模型的 K3 纤维化联系起来。
• 模形式识别： 作者推导出了靠近 Tyurin 退化处的拓扑自由能的统一公式。他们证明了所得的 GV 和 NL 不变量的生成函数表现为 $\Gamma_0(m)^+$ 下的斜全纯 Jacobi 型。
• 更高基底度数不变量： 作者计算了固定非零基底度数（特别是度数 1 和 2）的 GV 不变量的生成级数，并展示了它们的模性质，扩展了以往仅限于垂直不变量的结果。

结果

• 拓扑不变量： 作者为构造的族提供了 Hodge 数、交截数和第二 Chern 类的显式公式。
• 自由能： 在大基底极限下得到了亏格 0 和 1 自由能的统一表达式。亏格 0 自由能被证明与权重为 $-4$ 的全纯 Eichler 积分相关，而亏格 1 自由能涉及模形式和 eta 乘积的对数项。
• 模性： 垂直 GV 不变量的生成级数被证实对应于指数为 $m$ 的斜全纯 Jacobi 型。亏格 0 自由能的五阶导数被证明是 $\Gamma_0(m)^+$ 下的亏格型模形式（meromorphic modular form），其权重为 6。
• 共形退化（Conifold Transitions）： 文中详细描述了将两参数模型连接到一参数 Hypergeometric 模型（以及非环面类似物）的共形退化过程，验证了拓扑不变量在这些转换下的行为是一致的。
• 特定情形： 该构造涵盖了 $m \in \{1, \dots, 9, 11\}$。值得注意的是，$m=11$ 的情形涉及一个由特定 Fano 三重折叠的锥构成的指数为 2 的 Fano 四重折叠，导致了对 Fano 三重折叠 $A_{22}$ 的双层覆盖。

意义
该论文声称在以下几个领域具有重要意义：

1. 扩展景观： 它系统地构造了一大类两参数 K3 纤维化 CY 三重折叠，包括本质上的非环面例子，从而将已知的 CY 几何景观扩展到了 CICY 和环面超曲面之外。
2. 测试镜像对称性： 它为 DHT 镜像猜想提供了一个严格的测试平台，确认了其对 Hodge 数和几何退化的预测，尤其是在复杂的非环面设置中。
3. 模性与对偶性： 其结果支持了物理学上的预期，即 K3 纤维化 CY 的枚举不变量受模形式支配。这与异质/II 型对偶（heterotic/type II duality）相关联，其中不变量的生成级数对应于异质侧的“新超对称指数”。对垂直和非垂直不变量（在低基底度数下）$\Gamma_0(m)^+$ 模性的验证，为这些对偶性预测提供了数学证据。
4. 计算框架： 作者提供了显式公式和 Mathematica Notebook 以复现结果，促进了对弦理论中枚举几何和模形式的进一步研究。

作者谦虚地指出，虽然他们已经确定了基底度数为 1 和 2 的模生成级数，但更高基底度数和更高亏格不变量的性质更为复杂，仍有待未来的研究。他们也承认，其构造并未涵盖所有已知的 Picard 数秩为 2 的 K3 纤维化 CY，特别是那些其镜像不是 K3 纤维化的情形。