[论文解读] Periods of double octic Calabi--Yau manifolds

Sławomir Cynk, Duco van Straten|arXiv (Cornell University)|Sep 27, 2017

Advanced Algebra and Geometry参考文献 5被引用 3

一句话总结

本文计算了十一组由八个有理平面排列定义的刚性双八次型 Calabi–Yau 三流形的周期积分的数值近似值，通过证明其周期与相应权四尖点形式的周期具有共轭性，从而确认了其模形式性。结果支持了这些 Calabi–Yau 流形与 Kuga–Sato 模形式三流形之间通过 L-函数相等性和周期格比例性所预期的对应关系。

ABSTRACT

We compute numerical approximations of the period integrals for eleven rigid double octic Calabi--Yau threefolds and compare them with the periods of corresponding weight our cusp forms and find, as to be expected, commensurabilities. These give information on character of the correspondences of these varieties with the associated Kuga-Sato modular threefolds.

研究动机与目标

• 通过计算其周期积分，数值验证刚性双八次型 Calabi–Yau 三流形的模形式猜想。
• 通过周期格比较，研究这些 Calabi–Yau 流形与 Kuga–Sato 模形式三流形之间的几何与算术对应关系。
• 确定多面体3-循环是否能生成整同调群 $ H_3(\tilde{X}, \bbZ) $，这对于理解完整的同调结构至关重要。
• 探索在排列的胞覆分解背景下，多面体循环之间交点数的组合确定方法。

提出的方法

• 将双八次型 Calabi–Yau 三流形构造为以八个有理平面并集为分支的 $ \bbP^3 $ 的双重覆盖。
• 通过一系列的爆破操作来解析奇点，从而得到光滑的 Calabi–Yau 流形 $ \tilde{X} $，其去奇异化的分支除子为 $ \tilde{D} $。
• 从平面排列在 $ \bbP^3(\bbR) $ 上诱导的胞覆分解中定义多面体3-循环。
• 将周期积分表示为这些多面体胞腔上的多重积分之和，随后进行数值求值。
• 将所得的数值周期与 $ \text{Re}(\text{form } f \text{ 的周期}) $ 和 $ \text{Im}(\text{form } f \text{ 的周期}) $ 进行比较，特别地，检验 $ \text{Re}(\text{周期}) \times \text{常数} \times \text{L}(f,2) $ 与 $ \text{Im}(\text{周期}) \times \text{常数} \times \text{L}(f,1) $ 的共轭性。
• 利用由两个非比例周期生成的格子，计算中间雅可比簇的 $ j $-不变量和 Weierstrass 方程。

实验结果

研究问题

• RQ1 这十一组刚性双八次型 Calabi–Yau 三流形的周期积分是否与模形式猜想所预测的相应权四尖点形式的周期具有共轭性？
• RQ2 由平面排列实胞覆分解导出的多面体3-循环是否能生成完整的整同调群 $ H_3(\tilde{X}, \bbZ) $？
• RQ3 在排列的相对位置背景下，计算两个多面体3-循环之间交点数的组合规则是什么？
• RQ4 数值周期值是否与 $ \text{常数} \times \text{L}(f,1) $ 和 $ \text{常数} \times \text{L}(f,2) $ 一致，如模形式猜想所预期？
• RQ5 为何该方法在 $ \bbQ(\root 3 \to{-3}) $ 和 $ \bbQ(\root 5 \to{5}) $ 系数的双八次型中无法获得可靠的周期近似值？

主要发现

• 十一组刚性双八次型 Calabi–Yau 三流形的数值周期积分显示出与 $ \text{Re}(\text{周期}) \times \text{常数} \times \text{L}(f,2) $ 和 $ \text{Im}(\text{周期}) \times \text{常数} \times \text{L}(f,1) $ 的明显比例关系，确认了其与对应权四尖点形式周期的共轭性。
• 临界 $ L $-值 $ \text{L}(f,1) $ 和 $ \text{L}(f,2) $ 被数值计算，其中 $ \text{L}(f,1) $ 的范围约为 0.2216 至 2.0341，$ \text{L}(f,2) $ 的范围约为 0.5097 至 1.6478。
• 对于形式 6/1，排列 240 和 245 的周期分别与 $ 20\tau^2 \text{L}(f,1) $ 和 $ 18\tau \text{L}(f,2) $ 成比例，其中 $ \tau = \text{常数} $，确认了预期的缩放关系。
• 形式 8/1 出现在六个不同的排列中（1, 32, 69, 93, 238, 241），其周期一致地与 $ 16\tau^2 \text{L}(f,1) $ 和 $ 16\tau \text{L}(f,2) $ 成比例，表明存在共享的模形式结构。
• 对于形式 32/2（排列 3），周期积分与 $ 4\tau^2 \text{L}(f,1) $ 和 $ 8\tau \text{L}(f,2) $ 匹配，确认了与 $ L $-值的预期比例关系。
• 该方法在 $ \bbQ(\root 3 \to{-3}) $ 和 $ \bbQ(\root 5 \to{5}) $ 系数的双八次型中未能产生可靠的近似值，表明在非有理排列下的数值积分存在局限性。