[論文レビュー] The sixth power moment of Dirichlet L-functions

J. Brian Conrey, Henryk Iwaniec+1 more|arXiv (Cornell University)|Oct 26, 2007

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

ひとこと要約

本論文は、q を法とする原始的偶数ディリクレ指標の族について、ディリクレL関数の6次のモーメントに対する最初の漸近公式を確立し、コンレイ、ファーマー、キーティング、ルビンシュタイン、スナイスが予想した、log q における予想された次数9の多項式の支配的挙動を確認した。複数のディリクレ級数と複雑な留数計算を含む、スぺクトル的・乗法的技法のハイブリッド手法を用いて、期待される log q の9次多項式に一致する主要項が得られ、その係数は素数に関するオイラー積によって定まる。

ABSTRACT

We prove a formula, with power savings, for the sixth moment of Dirichlet L-functions averaged over moduli $q$, over primitive characters $χ$ modulo $q$, and over the critical line. Our formula agrees precisely with predictions motivated by random matrix theory. In particular, the constant 42 appears as a factor in the leading order term, exactly as is predicted for the sixth moment of the Riemann zeta-function.

研究の動機と目的

• q を法とする原始的偶数ディリクレ指標の族について、ディリクレL関数の6次モーメントの漸近公式を確立すること。
• コンレイ、ファーマー、キーティング、ルビンシュタイン、スナイスの予想する、6次モーメントの支配的漸近的挙動が正当化されることを確認すること。
• ゼータ関数のモーメントに対するランダム行列モデルのヒューリスティックを、ディリクレL関数の族に拡張すること。
• スぺクトル的および乗法的技法を用いて、L関数族における高次モーメントの構造を厳密に解析的フレームワークで提示すること。

提案手法

• q ≤ Q に局在化するため、滑らかな切り捨て関数 Ψ(q/Q) を含む、原始的偶数ディリクレ指標に関する重み付きスぺクトル和を用いる。
• 近似関数等式とヴォロノイ和公式を適用し、モーメントをクロスターマン和とベッセル関数の和に変換する。
• 得られた和を3つの部分に分解する：D（対角項）、S（非対角項）、G（幾何的項）、それぞれに異なる解析的手法を適用する。
• 複素解析を用いて、複数のディリクレ級数における contour のシフトと留数計算により、S 項とG 項から主要項を抽出する。
• 9つのパラメータの入れ替えに対応する詳細な留数計算により主要項を評価し、log q の9次多項式に対応する。
• p-進ゼータ関数およびL関数の Parseval 型恒等式を証明することで、各素数における局所因子が一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 q を法とする原始的偶数指標の族について、ディリクレL関数の6次モーメントは、ランダム行列モデルおよびコンレイ＝ファーマー＝キーティング＝ルビンシュタイン＝スナイスの予想する構造を示すか？
• RQ2 複数のディリクレ級数の文脈において、スぺクトル的および乗法的技法を用いて、6次モーメントの支配的漸近的挙動を厳密に確立できるか？
• RQ3 log q の9次多項式項における係数の正確な算術的構造は何か？
• RQ4 各素数 p における局所因子は、グローバルな漸近公式にどのように寄与するか？また、予想されたオイラー積構造と一致するか？
• RQ5 漸近展開における誤差項は、主要項（正しい算術的係数を含む）を十分に抽出できるほど制御可能か？

主な発見

• q を法とする原始的偶数指標の族について、ディリクレL関数の6次モーメントは、次の漸近公式を満たす：∑_{q≤Q} ∑_{χ mod q} ∫_{-∞}^{∞} |Λ(1/2 + it, χ)|⁶ dt ∼ 42a₃ ∑_{q≤Q} ∏_{p|q} (1−1/p)⁵ / (1+4/p+1/p²) ⋅ φ⁴(q) ⋅ (log Q)⁹ / 9! ここで a₃ = ∏_p (1−1/p)⁴(1+4/p+1/p²)。
• 主要項は、コンレイ、ファーマー、キーティング、ルビンシュタイン、スナイスの予想する支配的漸近的挙動と完全に一致し、log q の9次多項式に素数に関する無限積で与えられる係数を持つ構造が確認された。
• 漸近公式における誤差項は O(Q¹⁹/¹⁰+ε) であり、これは主要項を明確に分離でき、予想された係数構造を確認するのに十分小さい。
• 著者らは、オイラー積における各素数 p における局所因子が、期待される算術的因子と一致することを検証し、Parseval 恒等式および留数計算により、グローバルな予想との整合性を確認した。
• ハイブリッドなスぺクトル的・乗法的アプローチから、主要項を完全に抽出する手法が成功した。これは、同様の手法をより高次のモーメントへ拡張可能であることを示している。
• この結果は、L関数族のあらゆる族にわたる予想のモーメント公式の普遍性を強く支持するものであり、ランダム行列理論および複数のディリクレ級数モデルと整合的である。