[论文解读] Modularity of rigid Calabi-Yau threefolds over Q

Luís Dieulefait, Jayanta Manoharmayum|ArXiv.org|Apr 27, 2003

Algebraic Geometry and Number Theory参考文献 10被引用 34

一句话总结

该论文通过证明在3和7处具有良好约化，或在5和满足 t₃(p) 不被5整除的素数 p ≡ ±2 mod 5 处具有良好约化的刚性 Calabi-Yau 三复数簇模性，从而证明了 ℚ 上一大类刚性 Calabi-Yau 三复数簇的模性。该结果依赖于伽罗瓦表示理论和模性提升定理，确认了除一个例外（水平为9）外所有已知例子的模性猜想。

ABSTRACT

We prove modularity for a huge class of rigid Calabi-Yau threefolds over $\Q$. In particular we prove that every rigid Calabi-Yau threefold with good reduction at 3 and 7 is modular.

研究动机与目标

• 建立 ℚ 上一大类刚性 Calabi-Yau 三复数簇的模性，将已知的模性结果从孤立例子扩展至更广泛的情形。
• 证明在特定约化行为和某些素数处 Frobenius 作用迹的局部条件下，模性成立。
• 将模性提升定理应用于这些三复数簇的 étale 上同调所关联的伽罗瓦表示。
• 验证刚性 Calabi-Yau 三复数簇的模性猜想对所有已知例子（除一个例外，水平为9）均成立。

提出的方法

• 使用与 ℚ 上刚性 Calabi-Yau 三复数簇 X 的 étale 上同调 H³ét(X̄, ℚℓ) 相关联的伽罗瓦表示 ρX,ℓ。
• 应用 Skinner 和 Wiles 的模性提升定理，从模 ℓ 的剩余表示推导出 ρX,ℓ 的模性。
• 利用 ℓ 处的晶体条件及 Hodge-Tate 权重 {0,3}，确保与权为4的模形式相容。
• 采用基底扩张技巧和可解扩张论证，处理剩余表示不可约的情形。
• 通过模 p 的点计数计算 Frobenius 的迹 t₃(p) = tr(ρX,ℓ(Frobₚ))，验证在 p ≡ ±2 mod 5 的素数处非零条件。
• 依赖于：若模 ℓ 的剩余表示模性成立，且满足平凡性和晶体性条件，则 ℓ-进表示 ρX,ℓ 的模性可被推出。

实验结果

研究问题

• RQ1 在何种约化行为和 Frobenius 迹的局部条件下，可保证 ℚ 上的刚性 Calabi-Yau 三复数簇是模的？
• RQ2 模性提升定理能否应用于具有 Hodge-Tate 权重 {0,3} 的刚性 Calabi-Yau 三复数簇的 ℓ-进伽罗瓦表示？
• RQ3 模性猜想的假设在已知的 ℚ 上刚性 Calabi-Yau 三复数簇例子中在多大程度上成立？
• RQ4 在晶体性和平凡性条件下，ρX,ℓ 的模性是否由其模 ℓ 剩余表示的模性所蕴含？
• RQ5 当 Frobenius 迹在 p ≡ ±2 mod 5 的素数处模5非零时，如何利用其建立模性？

主要发现

• 所有在3和7处具有良好约化的 ℚ 上刚性 Calabi-Yau 三复数簇都是模的。
• 所有在5处具有良好约化，并在某个满足 t₃(p) 不被5整除的素数 p ≡ ±2 mod 5 处具有良好约化的 ℚ 上刚性 Calabi-Yau 三复数簇都是模的。
• 该模性结果适用于所有已知的 ℚ 上刚性 Calabi-Yau 三复数簇例子，除水平为9的唯一例外。
• 证明通过证明其模 ℓ 剩余表示的模性并应用模性提升定理，确立了 ℓ-进伽罗瓦表示 ρX,ℓ 的模性。
• 对于 ℓ = 5 或 7，当 ℓ 处满足晶体条件及指定的无 ramification 和迹条件时，ρX,ℓ 的模性得到确认。
• 该结果通过伽罗瓦表示技术，确认了该类刚性 Calabi-Yau 三复数簇的 Fontaine-Mazur 模性猜想。