MathLabs

解法:对称幂的潜在自守性证明萨托–泰特猜想(2011年)

第 8/8 步:结论:萨托–泰特测度及其推论
通俗地说

如今塞尔判据的解析假设已对每个 n≥1n \ge 1 得到满足,第2步开启的归约链条得以闭合:对有理数域上每一条非 CM 椭圆曲线,角度 θp\theta_p 确实按萨托–泰特测度均匀分布。

这个证明的蓝图——在一族几何图形中实现一个困难的对象,从该族的某个特殊成员借来自守性,再把它转移回去——从此成为朗兰兹纲领中的一件标准工具,理查德·泰勒也因这项及相关工作获得了2015年数学突破奖。

θp∼2πsin⁡2θ dθ on [0,π](Sato–Tate conjecture proved)\theta_p \sim \frac{2}{\pi}\sin^2\theta \, d\theta \text{ on } [0,\pi] \qquad \text{(Sato–Tate conjecture proved)}
详细分析

综合第1–7步:对每一条非 CM 椭圆曲线 E/QE/\mathbb{Q},对称幂 LL 函数 L(SymnE,s)L(\mathrm{Sym}^n E, s) 对每个 n≥1n \ge 1 都在 Re(s)≥1\mathrm{Re}(s) \ge 1 上全纯且不为零(第4–7步),于是根据塞尔判据(第2步),角度 θp\theta_p 按测度 2πsin⁡2θ dθ\frac{2}{\pi}\sin^2\theta\,d\theta 在 [0,π][0,\pi] 上均匀分布,从而确立了萨托–泰特猜想(克洛泽尔–哈里斯–谢泼德-巴伦–泰勒 2008;巴内特-拉姆–格拉蒂–哈里斯–泰勒 2011)。

这套方法——通过辅助卡拉比–丘族获得潜在自守性,再结合自守提升定理——被证明远比萨托–泰特问题本身适用范围更广:巴内特-拉姆、吉、格拉蒂将其推广到全实域上的希尔伯特模形式,而巴内特-拉姆、吉、格拉蒂与泰勒(2014年)给出的一般潜在自守性定理,如今支撑着朗兰兹纲领中众多结果。

由卡茨与萨尔纳克的随机矩阵模型(使用更大的紧群如 USp(2n)\mathrm{USp}(2n))所预言的、更高亏格曲线的萨托–泰特猜想及其他推广,仍然悬而未决,标志着这一研究方向当前的前沿。

本步骤中的术语
随机矩阵模型(卡茨–萨尔纳克)
尼克·卡茨与彼得·萨尔纳克提出的一个框架,猜想代数簇族中 Frobenius 型数据的分布,与某个紧李群(例如椭圆曲线对应的 SU(2)\mathrm{SU}(2),或更高亏格曲线对应的 USp(2n)\mathrm{USp}(2n))中随机矩阵的特征值分布相匹配。
本步骤用到的知识