Effective homology and periods of complex projective hypersurfaces

技术摘要：复射影超曲面的有效同调与周期

问题陈述
本文解决了计算光滑复射影超曲面 $X \subset \mathbb{P}^n(\mathbb{C})$ 周期矩阵的计算挑战。周期矩阵代表了奇异同调 $H_k(X)$ 与代数 De Rham 上同调 $H^k_{DR}(X)$ 通过积分进行的配对。虽然数值计算周期是恢复代数不变量（如 Néron–Severi 群、Picard 秩和自同态环）的一种强大工具，但现有的算法面临着显著障碍。具体而言，缺乏高效的方法来为高维簇计算显式同调基。以往的方法（例如 Sertöz 在 2019 年针对光滑超曲面的研究）依赖于向 Fermat 超曲面的全局形变，这导致 Picard–Fuchs 微分方程在规模和复杂度上往往难以承受。此外，在高维循环上进行直接数值积分会导致随维度呈指数级增长的复杂度。

方法论
作者提出了一种将显式同调基的计算与周期的数值评估相结合的新算法。该方法基于 Picard–Lefschetz 理论，并通过对超曲面维度的归纳进行。

1. Lefschetz 纤维化设置： 算法考虑一个与超曲面 $X$ 相交的平凡超平面系 $\{H_t\}_{t \in \mathbb{P}^1}$。这诱导了一个 Lefschetz 纤维化 $f: Y \to \mathbb{P}^1$，其中 $Y$ 是沿基处（base locus）对 $X$ 进行吹胀后的空间。纤维 $X_t = X \cap H_t$ 是 $n-1$ 维的超曲面。
2. 单值性作用（Monodromy Action）： 同调重构的核心在于计算基本群 $\pi_1(\mathbb{P}^1 \setminus \Sigma)$（其中 $\Sigma$ 是临界值集合）在平凡纤维 $H_{n-1}(X_b)$ 上的单值性作用。该作用通过 Picard–Lefschetz 公式 进行计算，该公式将单值性作用与消失循环（vanishing cycles）联系起来。
3. 对偶与微分系统： 算法并非直接在同调上计算单值性，而是通过与 De Rham 上同调的对偶进行计算。它利用 Gauss–Manin 联络 推导出由纤维 $X_b$ 的周期所满足的线性微分方程组（Picard–Fuchs 方程）。
4. 数值解析延拓： 算法采用 数值解析延拓 技术处理微分有限函数（使用 SageMath 中的 ore_algebra 包）来计算单值矩阵，并带有严格的误差界限。这一步允许通过与纤维相关联的收缩盘（Lefschetz thimbles/Lefschetz thimbles）来重构 $X$ 的同调基。
5. 周期积分： 为了计算 $X$ 的周期，算法沿着基 $\mathbb{P}^1$ 中的路径对纤维 $X_t$ 的变化周期进行积分。通过将被积函数表示为 Gauss–Manin 联络解的有理倍数，积分过程使用微分有限函数的算法完成。这种方法实现了相对于精度位数呈 拟线性复杂度 的提升，这比标准求积方法的多项式复杂度有了显著改进。
6. 格重构： 对于曲面（$n=2$），该方法扩展到计算 $H_2(X)$ 上的交积，并识别由吹胀产生的例外除子，从而实现对 Néron–Severi 格的严格计算。

主要贡献

• 显式同调基： 本文引入了首个能够为任意维度的光滑射影超曲面计算显式奇异同调基的算法，这是周期计算的前提条件，而此前这一直是一个主要的障碍。
• 高效算法： 提出的方法比全局形变方法（Sertöz, 2019）更高效，因为与向 Fermat 超曲面进行全局形变相关的 Picard–Fuchs 方程通常要小得多。
• 严格误差界限： 使用数值解析延拓为计算出的周期提供了严格的误差界限，确保精度足以恢复精确的整数关系。
• SageMath 实现： 作者提供了完整的 SageMath 实现（软件包 lefschetz-family），使这些计算变得触手可及。

结果与实验
作者通过广泛的实验验证了其算法：

• 性能： 在一台标准笔记本电脑上，该算法计算一个光滑四次曲面（一种 K3 曲面）的周期，在 约一小时内达到了 300 位小数的精度。这与以往的方法形成了鲜明对比，以往的方法在处理类似任务时经常无法在合理的时间或内存限制内完成（例如超过 500 GB RAM）。
• 精度缩放： 其复杂度相对于精度是拟线性的；增加一倍的位数大约会使计算时间也增加一倍。
• 对不变量的应用：
  • Picard 秩： 算法成功计算了各种四次曲面族的生成 Picard 秩，验证了 Bouyer (2018) 的理论结果，并对对称多项式族的新生成秩提出了猜想。
  • 同构验证： 该方法被用于数值验证两个特定的光滑四次曲面（已知在抽象簇意义下同构，但在 Cremona 等价意义下不同构）在其同调格之间存在 Hodge 等距（Hodge isometry）。
  • 新实例： 作者提供了具有 Picard 秩为 2, 3 和 5 的光滑四次 K3 曲面的显式定义方程，填补了现有文献中的空白。
  • 物理应用： 该方法论被改编用于计算源自“Tardigrade”费曼图的一类奇异四次曲面的周期，展示了处理非光滑簇和椭圆纤维化的潜力。

意义与主张
本文声称其主要贡献是通过解决“显式同调”问题，实现了对光滑射影超曲面周期的 有效计算。作者强调，其方法是 内在的（intrinsic），依赖于超曲面自身的几何性质，而非依赖于向已知情形的特定形变。这种内在性质表明，该方法论有潜力扩展到光滑射影超曲面之外的其他簇，例如所提供的奇异 K3 曲面示例。

作者对于研究范围保持了谦逊的态度，指出虽然目前的实现针对光滑超曲面，但其底层原理（Picard–Lefatz 理论和有效同调重构）足够稳健，可以通过针对性的调整来处理更复杂的情况，如节点曲面（nodal surfaces）。这项工作架起了理论代数几何与实验数学之间的桥梁，使得此前无法获取的高精度数值研究代数不变量成为可能。