[论文解读] Elliptic Curves over Real Quadratic Fields are Modular

Nuno Freitas, Bao V. Le Hung+1 more|arXiv (Cornell University)|Oct 26, 2013

Algebraic Geometry and Number Theory参考文献 57被引用 6

一句话总结

本文证明了所有定义在实二次域上的椭圆曲线都是模形式的，将模形式定理从有理数域推广到了更大的完全实域。通过使用模形式提升定理、Langlands–Tunnell 定理、3–5 模形式切换，以及对模曲线上的实二次点进行显式计算，作者将问题约化为有限多个情形，并通过在亏格1曲线上的有理点与二次点枚举方法验证了这些情形。

ABSTRACT

We prove that all elliptic curves defined over real quadratic fields are modular.

研究动机与目标

• 建立所有定义在实二次域上的椭圆曲线的模形式性，将模形式定理由 Q 推广至更大的完全实域。
• 通过分析模曲线上的有理点与二次点，克服在模 p 伽罗瓦表示图像较小时证明模形式性的挑战。
• 通过高级模形式提升定理与几何技巧，将 Wiles 和 Taylor–Wiles 的策略推广至完全实域。
• 为丢番图应用提供基础结果，特别是求解实二次域上的费马型方程。
• 证明 Q(√5) 上椭圆曲线的模形式性可通过筛法与点查找方法推广至所有实二次域上的椭圆曲线。

提出的方法

• 应用模形式提升定理（定理2），该定理保证：若模 p 伽罗瓦表示是模形式的，且其在 K(ζp) 上的像为绝对不可约，则曲线为模形式的。
• 使用 Langlands–Tunnell 定理，在模3表示不可约时建立 p=3 时的模形式性。
• 实施 3–5 模形式切换，将模形式性从 p=3 推广至 p=5，假设不可约性与适当的图像条件成立。
• 将问题约化为在特定模曲线 X(Γ) 上寻找 K-有理点，特别是亏格为1的曲线。
• 构建模曲线如 X(d7)、X(e7)、X(b3,b5) 与 X(s3,b5) 的模型，并通过有理点枚举与扭变换方法计算其 K-点。
• 在纤维积的对称平方上使用筛法，以排除非模形式点，并验证剩余的 K-点确实对应于模形式椭圆曲线。

实验结果

研究问题

• RQ1 尽管在此情形下缺乏完整的模形式提升定理，是否仍可使用与 Q 上相同策略证明实二次域上椭圆曲线的模形式性？
• RQ2 在实二次域上，椭圆曲线的模 p 伽罗瓦表示在 K(ζp) 上的像为绝对不可约的条件是什么？这些条件如何用于证明模形式性？
• RQ3 哪些模曲线具有参数化非模形式椭圆曲线的实二次点？能否系统性地排除这些点？
• RQ4 在多大程度上，给定完全实域上椭圆曲线的模形式性可约化为在模曲线上计算有理点与二次点？
• RQ5 能否将 Q(√5) 上所用方法推广，通过模曲线上的有限筛法，证明所有实二次域上椭圆曲线的模形式性？

主要发现

• 所有定义在实二次域上的椭圆曲线都是模形式的，证明了定理1：每条此类曲线均可由平行权2、具有有理 Hecke 特征值的 Hilbert 模形式构造。
• 通过证明模曲线 X(d7)、X(e7)、X(b3,b7) 与 X(s3,b7) 上所有相关 K-点均为模形式的，建立了 Q(√5) 上椭圆曲线的模形式性，方法包括有理点枚举或扭与商空间论证。
• 证明了曲线 X(s3,b7) 上不存在非尖点的 K-点，这些点既非有理点，也非对应于 Q-曲线，因此所有此类点均为模形式的。
• 对于任意完全实域 K，若存在在 p=5 或 p=7 处非分歧的素点，且半稳定椭圆曲线的模 p 表示不可约，则模形式性由其在 K(ζp) 上的伽罗瓦图像的绝对不可约性保证。
• 该方法给出了费马方程 x^p + y^p = z^p 在实二次域上解的有效界：当 d ≡ 3 mod 8 或 d ≡ 6,10 mod 16 时，存在有效可计算的 B_d，使得当 p > B_d 时，所有解满足 xyz = 0。
• 本文确认，模形式性唯一可能的例外来自在 p=3 和 p=5 处图像较小的椭圆曲线，而这些例外通过在亏格1模曲线上进行穷尽点查找已被完全消除。