解法:对称幂的潜在自守性证明萨托–泰特猜想(2011年)
通俗地说
如今塞尔判据的解析假设已对每个 得到满足,第2步开启的归约链条得以闭合:对有理数域上每一条非 CM 椭圆曲线,角度 确实按萨托–泰特测度均匀分布。
这个证明的蓝图——在一族几何图形中实现一个困难的对象,从该族的某个特殊成员借来自守性,再把它转移回去——从此成为朗兰兹纲领中的一件标准工具,理查德·泰勒也因这项及相关工作获得了2015年数学突破奖。
详细分析
综合第1–7步:对每一条非 CM 椭圆曲线 ,对称幂 函数 对每个 都在 上全纯且不为零(第4–7步),于是根据塞尔判据(第2步),角度 按测度 在 上均匀分布,从而确立了萨托–泰特猜想(克洛泽尔–哈里斯–谢泼德-巴伦–泰勒 2008;巴内特-拉姆–格拉蒂–哈里斯–泰勒 2011)。
这套方法——通过辅助卡拉比–丘族获得潜在自守性,再结合自守提升定理——被证明远比萨托–泰特问题本身适用范围更广:巴内特-拉姆、吉、格拉蒂将其推广到全实域上的希尔伯特模形式,而巴内特-拉姆、吉、格拉蒂与泰勒(2014年)给出的一般潜在自守性定理,如今支撑着朗兰兹纲领中众多结果。
由卡茨与萨尔纳克的随机矩阵模型(使用更大的紧群如 )所预言的、更高亏格曲线的萨托–泰特猜想及其他推广,仍然悬而未决,标志着这一研究方向当前的前沿。
- 随机矩阵模型(卡茨–萨尔纳克)
- 尼克·卡茨与彼得·萨尔纳克提出的一个框架,猜想代数簇族中 Frobenius 型数据的分布,与某个紧李群(例如椭圆曲线对应的 ,或更高亏格曲线对应的 )中随机矩阵的特征值分布相匹配。