[论文解读] The equidistribution of L-functions of twists by Witt vector Dirichlet characters over function fields

Will Sawin|arXiv (Cornell University)|May 11, 2018

Advanced Algebra and Geometry参考文献 3被引用 6

一句话总结

本文在函数域上建立了与伽罗瓦表示（或自守形式）通过魏特定理狄利克雷特征扭化所得L函数的等分布性，证明了随着有限域大小的增长，这些扭化L函数的弗罗贝尼乌斯共轭类在酉群中趋于等分布。关键结果是：对任意连续共轭不变函数在单值矩阵上的平均值收敛至其在行列式条件子集上的平均值，从而表明不同扭化之间分布的独立性。

ABSTRACT

Katz showed that the L-functions of all Dirichlet characters of F_q(t), with conductor a fixed power of a degree one prime, are equidistributed in the limit as q goes to infinity. We generalize this statement to the L-functions of twists of an arbitrary Galois representation by Dirichlet characters, including independence of the L-functions of twists of different representations by the same Dirichlet character. A similar generalization, without the independence statement, for characters with squarefree conductor, was proven by Hall, Keating, and Roditty-Gershon.

研究动机与目标

• 将凯茨关于狄利克雷L函数的等分布结果推广至任意伽罗瓦表示通过魏特定理狄利克雷特征的扭化。
• 建立在相同扭化下，由不同伽罗瓦表示产生的L函数分布之间的独立性。
• 通过朗兰兹对应，将等分布框架扩展至层与自守形式。
• 证明当有限域大小 $ q \to \infty $ 时，扭化L函数的弗罗贝尼乌斯共轭类在酉群中趋于等分布。
• 在层论方法的背景下，对函数方程常数与单值群提供统一处理。

提出的方法

• 利用魏特定理特征 $ W_{d,q} $ 与 $ \bbF_q(x) $ 的导子为 $ \infty^{d+1} $ 的射类群之间的同构关系，定义扭化特征。
• 通过层论技巧与单值群分析，将问题约化为中间扩张层。
• 通过分析 $ \prod GL_{N_i} $ 的不可约表示所关联的 $ \ell $-进层上弗罗贝尼乌斯的迹，应用德利涅的等分布定理。
• 利用扭化层 $ \mathcal{F}_i \otimes \mathcal{L}_\Lambda $ 的单值表示，构造仿射直线去掉一点上的 $ \ell $-进层 $ \mathcal{V} $。
• 应用Lefschetz不动点公式，对 $ \bbF_q $-有理点上的迹和进行有界，证明其为 $ O(q^{d - 1/2 + \sum e_i(w_i+1)/2}) $。
• 利用纯性与上同调的消失性，确保所有上同调项均被控制在所需误差率内，从而证明等分布性。

实验结果

研究问题

• RQ1 当 $ q \to \infty $ 时，固定伽罗瓦表示通过魏特定理狄利克雷特征扭化所得L函数是否在酉群中趋于等分布？
• RQ2 在相同扭化下，不同伽罗瓦表示的弗罗贝尼乌斯共轭类分布是否相互独立？
• RQ3 等分布结果能否从狄利克雷L函数推广至一般伽罗瓦表示或自守形式？
• RQ4 函数方程中的行列式起什么作用？它如何控制等分布性？
• RQ5 扭化层的单值群与相关L函数的等分布性有何关系？

主要发现

• 当 $ d \geq 4 $ 时，扭化L函数 $ L(s, \rho_i \otimes \Lambda) $ 的弗罗贝尼乌斯共轭类 $ \varphi_{\Lambda,i} $ 随 $ q \to \infty $ 在 $ U(N_i) $ 中趋于等分布。
• 任意连续共轭不变函数 $ f $ 在 $ r $-元组 $ (\varphi_{\Lambda,1}, \dots, \varphi_{\Lambda,r}) $ 上的平均值收敛至其在行列式条件子集上的平均值，即 $ \langle f \rangle(\det \varphi_{\Lambda,1}, \dots, \det \varphi_{\Lambda,r}) $。
• 满足L函数具有酉单值性的特征 $ \Lambda \in W_{d,q} $ 的集合 $ S_q $ 的大小为 $ (1 - O(1/q))q^d $。
• 迹和 $ \sum_{x \in U(\bbF_q)} \operatorname{tr}(\operatorname{Frob}_q, \mathcal{V}_x) $ 被有界为 $ O(q^{d - 1/2 + \sum e_i(w_i+1)/2}) $，这蕴含了等分布性。
• 上同调群 $ H^{2d}_c(U_{\overline{\bbF}_{q_0}}, \mathcal{V}) $ 由于表示 $ V $ 的不可约性与非行列式性而消失，从而确保无不变子空间。
• 该结果对所有 $ r $-元组的几何不可约、非同构层均一致成立，且不同表示之间的等分布性相互独立。