[论文解读] Construction and examples of higher-dimensional modular Calabi-Yau manifolds

Sławomir Cynk, Klaus Hulek|ArXiv.org|Sep 19, 2005

Geometry and complex manifolds参考文献 12被引用 16

一句话总结

本文通过广义Kummer构造和ℤ₃ⁿ与ℤ₄ⁿ作用于具有复乘法的椭圆曲线积的商构造，构建了高维Calabi-Yau流形。通过证明其L-系列与权4和6的尖点形式匹配，证明了其中间上同调的模形式性，提供了高维大于三的模Calabi-Yau流形的首个系统性例子。

ABSTRACT

We construct several examples of higher-dimensional Calabi-Yau manifolds and prove their modularity.

研究动机与目标

• 填补已知高维Calabi-Yau流形，特别是模流形的实例空白。
• 将Kummer构造推广至高维，利用Calabi-Yau流形积上的ℤ₂ⁿ作用生成新的Calabi-Yau概形。
• 通过在具有复乘法的椭圆曲线积上使用ℤ₃ⁿ和ℤ₄ⁿ作用，改进构造方法，获得具有2维中间上同调或超越格的Calabi-Yau流形。
• 通过将L-系列与权4和6的尖点形式对应，证明这些流形的L-系列的模形式性。
• 将Ahlgren的5重叠空间实现为具有b₅ = 2的光滑Calabi-Yau流形，其L-系列与权6的尖点形式η(q²)¹²匹配。

提出的方法

• 将Kummer构造推广，通过ℤ₂ⁿ作用在Calabi-Yau概形积上的商的创痕解析解消，生成Calabi-Yau流形。
• 利用在具有平凡canonical束的流形中沿光滑除子的双重覆盖，构造初始Calabi-Yau概形。
• 通过沿余维数≥2子概形的迭代爆破，解决商流形中的奇点，通过适定爆破确保创痕解析解消。
• 根据重数奇偶性，将爆破后的分支locus定义为严格提升像或严格提升像加例外除子，确保新除子为偶数且无重数。
• 将最终的Calabi-Yau流形构造为在解析解消空间上的双重覆盖，新分支locus满足所需的邻接条件。
• 利用结果流形的中间上同调或超越格为低维上同调的张量积这一事实，其可分解为2维模形式部分。

实验结果

研究问题

• RQ1 能否系统性地构造具有模L-系列的高维Calabi-Yau流形？
• RQ2 使用ℤ₃ⁿ和ℤ₄ⁿ作用于CM椭圆曲线积的商构造，是否能产生具有2维中间上同调的光滑Calabi-Yau流形？
• RQ3 此类流形的中间上同调L-系列是否为模形式？若是，其对应于哪一尖点形式？
• RQ4 Ahlgren的5维空间双重覆盖能否实现为具有已知模形式性的光滑Calabi-Yau流形？
• RQ5 何种条件可确保通过迭代爆破实现的奇点解消为创痕解析解消并保持Calabi-Yau性质？

主要发现

• 本文通过广义Kummer构造和商构造，在所有奇数维数≥5及偶数维数≥4中，构造了高维Calabi-Yau流形的显式例子。
• 对于由CM椭圆曲线积的ℤ₃ⁿ和ℤ₄ⁿ商构造所得的流形，若维数为奇数，则其中间上同调为2维且模形式性，对应于权4的尖点形式。
• 由Ahlgren双重覆盖构造的5维Calabi-Yau流形具有Hodge数b₁ = b₃ = 0且b₅ = 2，其L-系列与权6、水平4的尖点形式g₆(q) = η(q²)¹²匹配。
• 通过沿最小非共线束分量的迭代适定爆破，实现奇点解消，得到保持Calabi-Yau条件的创痕解析解消。
• 证明了所构造Calabi-Yau流形的中间上同调同构于低维上同调的张量积，其半简化为与模形式相关的2维伽罗华表示。
• 通过证明中间上同调上的伽罗华表示源自预期权和水平的模形式，确立了L-系列的模形式性，证实了高维情形下的Fontaine-Mazur型期望。