[論文レビュー] The fourth moment of quadratic Dirichlet $L$-functions

Quanli Shen|arXiv (Cornell University)|Jul 2, 2019

Analytic Number Theory Research参考文献 19被引用数 8

ひとこと要約

本稿は、一般化されたリーマン予想（GRH）の下で、奇数の平方自由な $d$ に対する $\chi_{8d}$ の $s = \frac{1}{2}$ における二次的ディリクレ $L$-関数の4次モーメントについて、漸近公式を確立する。これはアンドレイドとキーティングの $k=4$ のための予想を確認するものであり、サウンドララジャンとヤングの手法を拡張し、複数の複素積分における高次極の寄与を評価するという鍵となる革新を含む。さらに、予想された主要項と一致する、条件なしの下界も得られる。

ABSTRACT

We study the fourth moment of quadratic Dirichlet $L$-functions at $s= \frac{1}{2}$. We show an asymptotic formula under the generalized Riemann hypothesis, and obtain a precise lower bound unconditionally. The proofs of these results follow closely arguments of Soundararajan and Young [19] and Soundararajan [17].

研究の動機と目的

• 奇数の平方自由な $d \leq X$ に対する $L(\frac{1}{2}, \chi_{8d})$ の4次モーメントについて、アンドレイドとキーティングの $k=4$ に対する予想を確認する漸近公式を確立すること。
• サウンドララジャンとヤングの手法を拡張し、特に主要項に寄与する非対角項の寄与を扱うことで、4次モーメントを解析すること。
• 予想された漸近公式の主要項と一致する、条件なしの下界を4次モーメントに対して提供すること。
• $L$-関数のモーメントとその中心点における非ゼロ性の関係、チャウラの予想に関連する、$L$-関数のモーメントに関するより広範な理解に貢献すること。

提案手法

• サウンドララジャン（2000年）およびサウンドララジャン–ヤング（2010年）のスペクトル法と複素積分技術を応用し、$L(\frac{1}{2}, \chi_{8d})$ の4次モーメントを解析する。
• 非対角項を複数の複素積分を用いて評価し、高次極の取り扱いに注意を払い、これにより、以前の研究で誤差項であったものが、本稿では主要項として寄与することを明確にする。
• 一般化されたリーマン予想（GRH）を用いて零点の存在しない領域を制御し、$L$-関数の平均を推定することで、精密な漸近的解析を可能にする。
• $L$-値の分布を扱うモーメント法の技術を適用し、特に $\mathcal{N}(V; z_1, z_2, X)$ という関数を用いて、$|L(\frac{1}{2}+z_1, \chi_d)L(\frac{1}{2}+z_2, \chi_d)|$ が大きい $d$ の個数をモデル化する。
• 対数 $L$-関数値の分散 $\mathcal{V}(z_1, z_2, X)$ と平均 $\mathcal{M}(z_1, z_2, X)$ に対する評価を用いて、モーメントの積分表現を制御する。
• 確率論的および解析的技術を組み合わせ、$\mathcal{N}(V; z_1, z_2, X)$ の尾部推定を用いて、主要な漸近的および下界の結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 奇数の平方自由な $d \leq X$ に対する $L(\frac{1}{2}, \chi_{8d})$ の4次モーメントは、アンドレイドとキーティングの $k=4$ に対する予想された漸近公式を満たすか？
• RQ2 4次モーメントにおける非対角項の寄与が、誤差項ではなく主要項に寄与することが示せるか？ これは、以前の研究とは対照的である。
• RQ3 予想された漸近公式の主要項と一致する、4次モーメントに対する最良の条件なしの下界は何か？
• RQ4 サウンドララジャンとヤングの手法が、非対角項が無視できない場合の4次モーメントにどのように拡張できるか？
• RQ5 このクラスの $L$-関数に対して、ランダム行列モデルによるモーメントの予測が、GRHの下でどれほど厳密に確認できるか？

主な発見

• GRHの下で、\sum_{\substack{0<d\leq X \\ (d,2)=1}} L(\frac{1}{2}, \chi_{8d})^4 = \frac{a_4}{2^6 \cdot 3^3 \cdot 5^2 \cdot 7 \cdot \pi^2} X (\log X)^{10} + O\left(X (\log X)^{9.75+\varepsilon}\right) が成り立ち、アンドレイドとキーティングの $k=4$ に対する予想が確認される。
• 主要項は、モーメント展開における非対角項の寄与に起因しており、これは、以前の研究で誤差項とされていたものが、本稿では主要項として寄与するという、本稿の主要な特徴である。
• 条件なしの下界が確立された：\sum_{\substack{0<d\leq X \\ (d,2)=1}} L(\frac{1}{2}, \chi_{8d})^4 \geq \left(\frac{a_4}{2^6 \cdot 3^3 \cdot 5^2 \cdot 7 \cdot \pi^2} + o(1)\right) X (\log X)^{10} であり、予想された漸近公式の主要項と一致する。
• 定数 $a_4$ は、奇数の素数に関するオイラー積として明示的に定義され、バーンズ $G$-関数と $L$-関数モーメントに関連する局所因子を含む。
• 証明は、高次極を伴う多重複素積分の新しい評価に依拠しており、これが主要項を捉えるために中心的な技術的革新である。
• この結果は、アイゼンスタイン級数に対するサウンドララジャン–ヤングの定理1.2のバージョンと解釈され、スペクトル理論がモーメント問題において果たす役割を強調する。