[论文解读] Distribution of zeta zeroes of Artin--Schreier curves

Alina Bucur, Chantal David+3 more|arXiv (Cornell University)|Nov 20, 2011

Algebraic Geometry and Number Theory参考文献 7被引用 5

一句话总结

本文研究了在固定有限域 $\mathbb{F}_q$ 上，射影直线的 Artin-Schreier 覆盖的 zeta 函数零点的分布。利用指数和与 Beurling-Selberg 多项式，证明了当亏格增大时，固定子区间 $\mathcal{I}$ 内角度的零点数量收敛于高斯分布，其方差渐近等价于 $\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)$，在全局和中观尺度下均建立了这些零点的中心极限定理。

ABSTRACT

We study the distribution of the zeroes of the zeta functions of the family of Artin-Schreier covers of the projective line over $\mathbb{F}_q$ when $q$ is fixed and the genus goes to infinity. We consider both the global and the mesoscopic regimes, proving that when the genus goes to infinity, the number of zeroes with angles in a prescribed non-trivial subinterval of $[-π,π)$ has a standard Gaussian distribution (when properly normalized).

研究动机与目标

• 理解在固定有限域 $\mathbb{F}_q$ 上，射影直线的 Artin-Schreier 覆盖的 zeta 函数零点的统计分布。
• 分析当亏格 $g$ 趋于无穷时，这些零点在全局和中观尺度下的行为。
• 为指定角度区间 $\mathcal{I} \subset [-\pi, \pi)$ 内的零点数量建立中心极限定理。
• 证明归一化的此类零点数量收敛于标准高斯分布。
• 以 $p$、$d$ 和 $|\mathcal{I}|$ 表示分布的方差。

提出的方法

• 使用每个 Artin-Schreier 覆盖 $Y^p - Y = f(X)$ 对应的 $L$-函数 $L(u,f,\psi)$ 的显式因式分解。
• 应用 Beurling-Selberg 多项式逼近来界定给定角度区间 $\mathcal{I}$ 内的零点数量。
• 利用显式公式（引理 3.1）将零点数量与 $\mathbb{F}_q$ 上的指数和联系起来。
• 通过随机矩阵理论结果和特征和估计，分析归一化和 $S^{\pm}(K,C_f)$ 的矩。
• 利用方差估计 $\left\langle S^{\pm}(K,C_f)^2 \right\rangle \sim \frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)$ 推导出高斯极限。
• 证明归一化计数 $N_{\mathcal{I}}(C_f)$ 与归一化和 $S^{\pm}(K,C_f)$ 之间的均方收敛，从而推出依分布收敛。

实验结果

研究问题

• RQ1 随着亏格增加，Artin-Schreier 覆盖的 zeta 函数零点的角度如何分布？
• RQ2 在大亏格极限下，固定角度区间 $\mathcal{I}$ 内的零点数量是否表现出高斯波动？
• RQ3 此类区间内零点数量的渐近方差是多少？其与 $p$、$d$ 和 $|\mathcal{I}|$ 的依赖关系如何？
• RQ4 是否能用与全局尺度相同的工具分析中观尺度——即当 $|\mathcal{I}|$ 缩小但 $d|\mathcal{I}|$ 增大时？
• RQ5 即使 $|\mathcal{I}|$ 很小，子区间内零点数量是否仍存在中心极限定理？

主要发现

• 当 $g \to \infty$ 时，非平凡子区间 $\mathcal{I} \subset [-1/2, 1/2)$ 内角度的零点数量渐近为 $2g|\mathcal{I}|$。
• 此类零点数量的方差渐近等价于 $\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)$。
• 归一化后的零点数量收敛于标准高斯分布，其矩与高斯分布的矩在所有阶上一致。
• 归一化计数 $\frac{N_{\mathcal{I}}(C_f) - 2g|\mathcal{I}|}{\sqrt{\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)}}$ 依均方收敛于 $\frac{S^{\pm}(K,C_f)}{\sqrt{\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)}}$。
• 归一化和的矩满足：当 $n=2\ell$ 为偶数时，$\lim_{d\to\infty} \frac{< S^{\pm}(K,C_f)^{2\ell} >}{\left(\sqrt{\frac{2(p-1)}{\pi^2}\log(d|\mathcal{I}|)}\right)^{2\ell}} = \frac{(2\ell)!}{\ell! 2^\ell}$，当 $n$ 为奇数时为零。
• 该结果在全局尺度（$|\mathcal{I}|$ 固定）和中观尺度（$|\mathcal{I}| \to 0$，$d|\mathcal{I}| \to \infty$）下均成立。