[论文解读] Rigid Calabi-Yau Threefolds over Q Are Modular

Fernando Q. Gouvêa, Noriko Yui|arXiv (Cornell University)|Feb 9, 2009

Algebraic Geometry and Number Theory参考文献 5被引用 9

一句话总结

本文证明了所有定义在ℚ上的刚性 Calabi-Yau 三复形都是模形式的，即其第三 étale 上同调给出一个权为4、水平为N的模形式。利用 Serre 的互反性定理以及奇的、绝对不可约的二维 Galois 表示的模形式性，作者证明了相关 Galois 表示源自 S₄(Γ₀(N)) 中的新形式，从而完成了数域上 Calabi-Yau 三复形模形式性程序中的一个关键情形。

ABSTRACT

The proof of Serre's conjecture on Galois representations over finite fields allows us to show, using a method due to Serre himself, that all rigid Calabi-Yau threefolds defined over Q are modular.

研究动机与目标

• 建立定义在ℚ上的刚性 Calabi-Yau 三复形的模形式性。
• 将 Serre 的互反性定理应用于此类三复形第三 étale 上同调所导出的 Galois 表示。
• 证明相关 Galois 表示源自权为4、水平为N的模形式。
• 解决数域上 Calabi-Yau 三复形模形式性猜想的特殊情形。
• 对 Serre–Khare–Wintenberger 模形式性定理在代数几何中的简洁应用。

提出的方法

• 使用 Serre 的方法，将有限域上绝对不可约、奇的二维 Galois 表示与模形式联系起来。
• 应用 Serre–Khare–Wintenberger 定理，该定理建立了有限域上奇的、绝对不可约 Galois 表示的模形式性。
• 识别由定义在ℚ上的刚性 Calabi-Yau 三复形 X 的第三 étale 上同调群 H³(X, ℚℓ) 所导出的 Galois 表示。
• 从表示中确定 Serre 参数 (N, k, ε)：N 是 Galois 表示 Artin 范数中与ℓ互素的部分，k 是由ℓ处的惯性子群像确定的权，ε 是狄利克雷特征。
• 利用表示是二维且不可约的这一事实，证明其源自 Γ₀(N) 上权为4、水平为N的新形式。
• 利用刚性 Calabi-Yau 三复形具有二维第三上同调这一事实，使得 Galois 表示自然为二维，从而适用于 Serre 的模形式提升理论。

实验结果

研究问题

• RQ1 每个定义在ℚ上的刚性 Calabi-Yau 三复形是否通过其在 H³ 上的 Galois 表示，都给出一个权为4、水平为N的模形式？
• RQ2 Serre 的互反性定理是否可用于证明来自 Calabi-Yau 三复形的几何 Galois 表示的模形式性？
• RQ3 关联模形式的水平N是否是ℚ上三复形的一个算术不变量，其与在素数处的坏约化有何关系？
• RQ4 能否在ℚ(√d)上构造刚性 Calabi-Yau 三复形的 Galois 扭转，并使其对应于关联模形式的扭转？
• RQ5 每个定义在ℚ上的权为4、水平为N的有理新形式是否都源自一个刚性 Calabi-Yau 三复形，如 Mazur 问题所提出？

主要发现

• 所有定义在ℚ上的刚性 Calabi-Yau 三复形都是模形式的：其第三 étale 上同调给出的 Galois 表示源自 Γ₀(N) 上权为4、水平为N的新形式。
• 模形式性结果直接源于 Serre–Khare–Wintenberger 定理的应用，该定理作用于 H³(X, ℚℓ) 上的二维、奇的、绝对不可约 Galois 表示。
• 水平N是 Galois 表示 Artin 范数中与ℓ互素的部分，且仅被 X 的坏约化素数整除。
• 对于 Schoen 的五次型，通过在ℚ(√d)上构造 Galois 扭转，可得到一个新的刚性 Calabi-Yau 三复形，其关联的 Galois 表示是原始表示的扭转，与模形式的扭转相匹配。
• 此类扭转的存在性与如下猜想一致：在双有理等价意义下，ℂ 上仅有有限多个刚性 Calabi-Yau 三复形。
• 本文确认，ℚ 上刚性 Calabi-Yau 三复形的模形式性是 Serre 互反性的直接推论，因此在精神与结构上可视为对 Serre 的‘脚注’。