[論文レビュー] 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

ひとこと要約

本稿は、有限体上の関数体 setting において、素数の分布、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.

研究の動機と目的

• 整数論の古典的問題（例えば、素数の分布や相関関数）を、新たな手法が適用可能な有限体上の関数体 setting で調査すること。
• 多項式の因数分解と置換の巡回型との類似性を用いて、大規模な有限体極限（$q \to \infty$）における漸近的結果を導出すること。
• Chowla の予想や加法的除数問題といった深い予想の関数体版を証明することで、整数論における予想を検証・生成すること。
• 関数体 $\mathbb{F}_q[x]$ における短い区間における算術関数（例：Möbius 関数）の和の分散に対して、明確な漸近公式を確立すること。
• 関数体における算術統計を、ユニタリ化された Frobenius 行列の $PU(N)$ における等分布性を通じて、ランダム行列理論と結びつけること。

提案手法

• 単monic 多項式と置換の巡回構造の対応関係を用い、$\mathbb{F}_q[x]$ における統計的挙動をモデル化するため、素多項式定理を利用する。
• 次数 $n$ の単monic 多項式の短い区間を、反転写像 $\theta_n(f) = x^n f(1/x)$ を通じて $x^{n-h}$ を法とする算術級数に関連付ける。
• 正規直交関係を用いて、短い区間における Möbius 関数の和を、$x^{n-h}$ を法とする偶数の原始的ディリクレ指標に関する和に表現する。
• 生成関数 $\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)$ を、$\Theta_\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 関数体 setting において、短い区間における素因数多項式の分布は、算術級数における分布とどのように比較できるか？
• RQ3 Möbius 関数の自己相関に関する Chowla の予想は、関数体の文脈で確立可能か？
• RQ4 加法的除数問題の関数体版とは何か？ そしてその漸近的挙動はいかなるものか？
• RQ5 有限体 $\mathbb{F}_q[x]$ 上の多項式の統計的性質は、整数 $\mathbb{Z}$ のものとどの程度類似しているか？ そして、これにより $\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}$ であることを確認する。
• 有限体 $\mathbb{F}_q$ 上の次数 $n$ のランダムな単monic 多項式の巡回構造は、$q \to \infty$ のとき、対称群 $S_n$ のランダムな置換の巡回構造に分布収束し、確率 $p(\lambda)$ はカウチの公式で与えられる。
• $x^{N+2}$ を法とする原始的偶数ディリクレ指標に対して、ユニタリ化された Frobenius 行列 $\Theta_\chi$ は $q \to \infty$ のとき $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$ を通じて、短い区間の問題を算術級数に変換する手法が成功し、指標和の技法と等分布性の応用が可能になる。