[论文解读] From potential modularity to modularity for integral Galois representations and rigid Calabi-Yau threefolds

Luís Dieulefait|ArXiv.org|Sep 7, 2004

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

一句话总结

该论文通过结合兼容族存在性（Dieulefait）、潜在模性（Taylor）与正则性控制（Wiles），建立了具有有理系数、在ℓ处为晶体的、满足在3处迹条件的不可约、奇、二维ℓ-进伽罗瓦表示的模性。关键结果证明了在3处具有良好约化且满足3∤a₃的刚性卡勒-雅可比三倍体在ℚ上的模性，将模性判别准则扩展至此前要求在5或7处约化的限制之外。

ABSTRACT

We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w \}$ such that $2 w < \ell$ (and $\ell > 3$) and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p \}) = \Q $. This result applies in particular to any motivic compatible family of odd two-dimensional Galois representations of $\Gal(\bar{\Q}/\Q)$ if the motive has rational coefficients, good reduction at 3, and the "ordinarity at 3" condition is satisfied. As a corollary, this proves that all rigid Calabi-Yau threefolds defined over $\Q$ having good reduction at 3 and satisfying $ 3 mid a_3$ are modular.

研究动机与目标

• 建立具有有理系数、有限分歧的奇、不可约、二维ℓ-进伽罗瓦表示的模性。
• 在3处满足迹条件的前提下，证明在ℚ上定义的刚性卡勒-雅可比三倍体的模性。
• 将模性判别准则扩展至此前在5或7等素数处的要求之外，聚焦于条件3∤a₃。
• 通过Wiles的结果控制在3处的正则性，将潜在模性与完全模性相连接。
• 证明具有有理系数且在3处具有良好约化的动机兼容族，若满足3∤a₃，则为模形式。

提出的方法

• 利用Dieulefait（2004）建立的包含σₗ的伽罗瓦表示兼容族的存在性。
• 应用Taylor的潜在模性定理，证明在ℚ的完全实数域F中3完全分裂的扩张上，该族成为模形式。
• 使用Wiles对希尔伯特模形式中正则性的准则，将条件3∤a₃转化为族中3-进表示的正则性。
• 利用可解基变更，确保F中所有在3上方的素点处的正则性，可推出整个3-进表示的正则性。
• 应用Skinner-Wiles模性提升定理，推导出3-进表示的模性，从而通过相容性得出σₗ的模性。
• 利用模3剩余表示为模形式或可约的事实，结合正则性排除可约性，确保模性。

实验结果

研究问题

• RQ1 在何种条件下，具有有理系数、有限分歧的奇、不可约二维ℓ-进伽罗瓦表示是模形式？
• RQ2 能否仅通过在3处具有良好约化及3处的迹条件，建立在ℚ上定义的刚性卡勒-雅可比三倍体的模性？
• RQ3 条件3∤a₃如何与兼容族中3-进表示的正则性相关联？
• RQ4 能否将潜在模性结果与系数域控制及迹条件结合，推导出完全模性？
• RQ5 Wiles关于正则性的定理在从剩余表示提升模性方面起到何种作用？

主要发现

• 本文证明了任意不可约、奇、二维ℓ-进伽罗瓦表示，若具有有理系数、在ℓ处为晶体，且满足ℓ > 2w 与 3∤a₃，则为模形式。
• 条件3∤a₃意味着兼容族中3-进表示为正则，从而可应用模性提升定理。
• 在正则性与模3剩余表示模性条件下，通过Skinner-Wiles结果证明3-进表示为模形式。
• ℓ-进表示的模性由其与模形式3-进表示的相容性得出。
• 该结果适用于所有在ℚ上定义、在3处具有良好约化且满足3∤a₃的刚性卡勒-雅可比三倍体，证明其模性。
• 本文提出了一种新的刚性卡勒-雅可比三倍体模性判别准则，无需像以往结果那样要求在5或7处具有良好约化。