[論文レビュー] 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$ 上の射影直線のアーティン・シュライエル被覆におけるゼータ関数の零点の分布を研究する。指数和とブルリング・セルバーグ多項式を用いて、 genus が増大する際、固定された部分区間 $\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$ 上の射影直線 $\mathbb{P}^1$ のアーティン・シュライエル被覆におけるゼータ関数の零点の統計的分布を理解すること。
• genus $g$ が無限大に近づく際、これらの零点のグローバルおよびメソスコピックなスケールにおける挙動を分析すること。
• 指定された角度区間 $\mathcal{I} \subset [-\pi, \pi)$ 内の零点数に対する中心極限定理を確立すること。
• 正規化された零点数が標準ガウス分布に分布収束することを示すこと。
• $p$, $d$, および $|\mathcal{I}|$ の観点から、分布の分散を定量すること。

提案手法

• 各アーティン・シュライエル被覆 $Y^p - Y = f(X)$ に関連する $L$-関数 $L(u,f,\psi)$ の明示的因数分解を利用する。
• 与えられた角度区間 $\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 genus が増大する際、アーティン・シュライエル被覆のゼータ関数の零点の角度はどのように分布するか？
• RQ2 固定された角度区間 $\mathcal{I}$ 内の零点数は、genus が非常に大きくなる極限でガウス的フラクチュエーションを示すか？
• RQ3 このような区間内での零点数の漸近的分散は何か？ また、$p$, $d$, および $|\mathcal{I}|$ に依存するか？
• RQ4 区間 $|\mathcal{I}|$ が小さくなるが $d|\mathcal{I}|$ が大きくなるメソスコピックなスケールは、グローバルスケールと同様の手法で解析可能か？
• RQ5 区間 $|\mathcal{I}|$ が小さい場合でも、部分区間内の零点数に対する中心極限定理は成立するか？

主な発見

• genus $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$）の両方で成り立つ。