[论文解读] Equidistribution, L-functions, and Sato-Tate groups

Francesc Fité|arXiv (Cornell University)|May 20, 2014

Advanced Algebra and Geometry参考文献 12被引用 4

一句话总结

本综述论文通过塞尔对萨托-塔特定理的推广，提出了一套统一的框架，以理解算术几何中的等分布性，将L-函数、紧致群与萨托-塔特定理群联系起来。该研究证明了在维数g ≤ 3的阿贝尔簇中，萨托-塔特定理群与伽罗瓦自同态类型彼此唯一确定，其中g=2时有52种可能的萨托-塔特定理群，而定义在Q上的情况有34种，且确认了在关键情形（包括非CM新形式以及费马曲线和克莱因曲线的雅可比簇）中存在等分布性。

ABSTRACT

In this expository note, we present an approach to the generalization of Serre of the Sato-Tate Conjecture. Most of its content is taken from Serre's original references. However, we provide a few new examples and supply references to recent progress developed in the area.

研究动机与目标

• 通过塞尔对萨托-塔特定理的推广，为算术几何中的等分布性结果提供一个统一的框架。
• 阐明阿贝尔簇中萨托-塔特定理群、芒福德-塔特定理群与伽罗瓦自同态类型之间的关系。
• 对具有有理系数、固定权重与霍奇数的自对偶动机进行萨托-塔特定理群的分类，尤其关注维数g ≤ 3的阿贝尔簇。
• 展示弗罗贝尼乌斯特征值等分布性的最新进展与新例子，包括非CM新形式以及费马曲线和克莱因曲线的雅可比簇。
• 建立定义在数域上的阿贝尔曲面的萨托-塔特定理群与伽罗瓦自同态类型之间的等价性，并给出明确的分类结果。

提出的方法

• 利用紧致李群通过共轭类表述等分布性陈述。
• 应用如下判别准则：若与紧致群的非平凡不可约表示相关的L-函数在s=1处全纯且非零，则等分布性成立。
• 将这些L-函数与自守形式的L-函数进行比较，后者在s=1处的全纯性与非零性已知。
• 将萨托-塔特定理群定义为平滑射影概形的塔特定理模上伽罗瓦表示像的扎里斯基闭包。
• 使用芒福德-塔特定理群作为相关代数群，以理解其霍奇理论与伽罗瓦理论结构。
• 通过希姆ura与里贝特关于自同态代数与塔特定理模的结果，实现对萨托-塔特定理群的有效分类。

实验结果

研究问题

• RQ1 如何通过基于紧致群与L-函数的一般框架，统一理解数论中的等分布性结果？
• RQ2 萨托-塔特定理群与阿贝尔簇的伽罗瓦自同态类型之间的确切关系是什么？
• RQ3 在数域上定义的阿贝尔曲面可能产生哪些萨托-塔特定理群？它们与基域有何关系？
• RQ4 在哪些情况下广义萨托-塔特定理猜想已被证明，特别是对于非GL₂型阿贝尔簇？
• RQ5 定义在Q上的阿贝尔簇在维数g=2与g=3时，萨托-塔特定理群的完整列表是什么？它们与自同态代数有何关联？

主要发现

• 对于定义在Q上的椭圆曲线，仅出现两种萨托-塔特定理群：SU(2)与N_SU(2)(U(1))，分别对应CM与非CM情形。
• 对于定义在Q上的阿贝尔曲面，萨托-塔特定理群被限制在34种可能类型内，且所有类型均由特定的雅可比簇实现。
• 在数域上定义的阿贝尔曲面中，共有恰好52种可能的萨托-塔特定理群，每种均对应唯一的伽罗瓦自同态类型。
• 在数域上定义的阿贝尔曲面中，萨托-塔特定理群与伽罗瓦自同态类型彼此唯一确定。
• 萨托-塔特定理猜想已对费马曲线的扭（48种分布）与克莱因曲线的扭（22种分布）的雅可比簇得到证明，所有情形的亏格均为3。
• 在Q上的18种GL₂型情形中，等分布性在15种情形下成立；在34种萨托-塔特定理群中，其连通分支为U(1)的情形有18种成立，包括y² = x⁵ − x与y² = x⁶ + 1的雅可比簇。