[论文解读] Some problems in analytic number theory for polynomials over a finite field

Zeév Rudnick|arXiv (Cornell University)|Jan 8, 2015

Analytic Number Theory Research参考文献 24被引用 5

一句话总结

本文在有限域上的函数域设定下，研究了分析数论中的经典问题——如短区间内素数分布、Chowla猜想以及加法除数问题。通过利用Frobenius矩阵的等分布性，并结合多项式循环结构与置换统计量之间的联系，推导出渐近公式与方差估计，表明短区间内Möbius函数的方差渐近等于区间长度，从而证实了整数情形下猜想的函数域类比。

ABSTRACT

The lecture, given at the ICM 2014 in Seoul, explores several problems of analytic number theory in the context of function fields over a finite field, where they can be approached by methods different than those of traditional analytic number theory. The resulting theorems can be used to check existing conjectures over the integers, and to generate new ones. Among the problems discussed are: Counting primes in short intervals and in arithmetic progressions; Chowla's conjecture on the autocorrelation of the Mobius function; and the additive divisor problem.

研究动机与目标

• 在有限域上的函数域设定下研究经典解析数论问题——如素数分布与相关函数——其中可应用新工具。
• 利用多项式因式分解与置换循环类型之间的类比，推导出在大有限域极限（$q \to \infty$）下的渐近结果。
• 通过证明Chowla猜想与加法除数问题等深层猜想的函数域类比，测试并生成整数情形下的猜想。
• 为$\mathbb{F}_q[x]$中算术函数（如Möbius函数）在短区间上的和的方差建立精确的渐近公式。
• 通过单位化Frobenius矩阵在$PU(N)$中的等分布性，将函数域中的算术统计与随机矩阵理论联系起来。

提出的方法

• 利用多项式素数定理及首一多项式与置换之间循环结构的对应关系，对$\mathbb{F}_q[x]$中的统计行为进行建模。
• 通过反转映射$\theta_n(f) = x^n f(1/x)$，将次数为$n$的首一多项式短区间与模$x^{n-h}$的算术级数联系起来。
• 利用正交关系，将Möbius函数在短区间上的和表示为模$x^{n-h}$的偶本原Dirichlet特征标上的和。
• 将生成函数$\sum_n \mathcal{M}(n;\mu\chi) u^n = 1/\mathcal{L}(u,\chi)$表示，其中$\mathcal{L}(u,\chi)$是与特征标$\chi$相关的L-函数。
• 将$\mathcal{M}(n;\mu\chi)$表示为对称幂迹$\operatorname{tr} \operatorname{Sym}^n \Theta_\chi$的和，其中$\Theta_\chi$是$\chi$的单位化Frobenius矩阵。
• 应用Katz的等分布定理，表明当$q \to \infty$时，$\Theta_\chi$在$PU(n-h-2)$中趋于均匀分布，从而可通过矩阵积分计算方差。

实验结果

研究问题

• RQ1 在$\mathbb{F}_q[x]$中，Möbius函数在短区间上的和的方差的渐近行为是什么？
• RQ2 在函数域设定下，短区间内不可约多项式的分布与算术级数中的分布相比如何？
• RQ3 Chowla猜想中关于Möbius函数自相关性的结论是否可在函数域背景下成立？
• RQ4 加法除数问题的函数域类比是什么，其渐近行为如何？
• RQ5 多项式在$\mathbb{F}_q[x]$上的统计性质在多大程度上与整数的性质相一致，这又如何为$\mathbb{Z}$上的猜想提供启示？

主要发现

• 在$\mathbb{F}_q[x]$中，长度为$H = q^h$的短区间内，Möbius函数和的方差渐近为$H$，即$\operatorname{Var}(\mathcal{N}_\mu(\bullet;h)) \sim q^{h+1}$。
• 当$q \to \infty$时，归一化方差的极限等于积分$\int_{PU(n-h-2)} |\operatorname{tr} \operatorname{Sym}^n U|^2 dU = 1$，从而确认渐近方差为$q^{h+1}$。
• 当$q \to \infty$时，随机首一多项式（次数为$n$）的循环结构在分布上收敛于$S_n$中的随机置换，其概率$p(\lambda)$由Cauchy公式给出。
• 对于模$x^{N+2}$的本原偶Dirichlet特征标，当$q \to \infty$时，单位化Frobenius矩阵$\Theta_\chi$在$PU(N)$中趋于均匀分布。
• 生成函数$\mathcal{M}(n;\mu\chi) = \sum_{f \in \mathcal{M}_n} \mu(f)\chi(f)$为$1/\mathcal{L}(u,\chi)$，且$\mathcal{M}(n;\mu\chi)$可表示为$\Theta_\chi$的对称幂迹的和。
• 该方法成功地通过反转映射$\theta_n$将短区间问题转化为算术级数问题，从而可应用特征标和技巧与等分布性。