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

K. Soundararajan|ArXiv.org|Jul 7, 2005

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

ひとこと要約

この論文は、臨界線におけるディリクレ $L$-関数の4次モーメントについて、漸近公式を確立する。ヘイズ・ブラウンの以前の結果における制限を解消し、$q$ が多くの素因数を持つ場合でも小さなまま保たれる一様な誤差項を提供する。スペクトル分解と特徴和推定を用いて、主項は $\varphi^*(q)(\log q)^4$ に比例し、相対誤差が $O(\omega(q)/\log q \cdot \sqrt{q/\varphi(q)})$ で抑えられ、$\log\log q \to \infty$ のとき0に近づく。これにより、すべての大きな $q$ に対して真の漸近公式が得られる。この結果は、ディリクレ $L$-関数の $q$-側面におけるインガムの古典的モーメント公式の拡張である。

ABSTRACT

Extending a result of Heath-Brown, we establish an asymptotic formula for the fourth moment of central values of Dirichlet $L$-functions attached to primitive characters $\pmod q$.

研究の動機と目的

• ディリクレ $L$-関数の $q$-側面におけるヘイズ・ブラウンの4次モーメント公式を、$\omega(q)$ が $\log\log q$ よりも著しく大きいような多くの素因数を持つ $q$ を含めたすべての大きな $q$ にまで拡張すること。
• ヘイズ・ブラウンの誤差項 $O(2^{\omega(q)}q(\log q)^3)$ が $\omega(q) \geq (\log\log q)/\log 2$ のとき主項を上回るという問題を解消すること。
• 相対誤差項が $\log\log q \to \infty$ のとき0に近づく一様な漸近公式を確立し、すべての大きな $q$ に対して成り立つようにすること。
• リーマンゼータ関数のインガムの古典的4次モーメントの $q$-アナログを、$q$-側面で有効とする公式を提供すること。

提案手法

• $L$-関数のモーメントを2つの部分に分解する：$B(\chi)$ は $ab \leq Z = q/2^{\omega(q)}$ の和、$C(\chi)$ は $ab > Z$ の和。ガンマ関数のバーンズ積分表現から導かれる滑らかな重み関数 $W_{\mathfrak{a}}(x)$ を用いる。
• 関数等式と近似関数等式を用いて、$|L(1/2, \chi)|^2 = 2A(\chi)$ と表し、ここで $A(\chi)$ は $\chi(a)\overline{\chi}(b)$ に関する双線形形式である。
• ディリクレ特徴の直交性を用いて、$\sum_{\chi \text{ prim.}} |B(\chi)|^2$ を $ac \equiv \pm bd \pmod{q}$ の和として計算し、乗法的数論と特徴和の評価を用いて得られた和を推定する。
• dyadic 分解と特徴和技術を用いて $C(\chi)$ の寄与を推定し、$\sum_{\chi} |C(\chi)|^2 \ll q(\varphi(q)/q)^5 (\omega(q)\log q)^2 + q(\log q)^3$ を示す。
• コーシー・シュバルツの不等式を用いて、$\sum_{\chi} B(\chi)\overline{C(\chi)}$ の交差項を制御し、$B$ と $C$ の境界を組み合わせて漸近公式を完成させる。
• モービウスの反転と特徴和の恒等式を用いて主項を評価し、$\varphi^*(q)$ の乗法的構造と $p \mid q$ におけるオイラー積を活用する。

実験結果

リサーチクエスチョン

• RQ1 ヘイズ・ブラウンの $L(1/2, \chi)$ の $q$-側面における4次モーメント公式は、$\omega(q) \gg \log\log q$ となるようなすべての大きな $q$ にまで拡張可能か？
• RQ2 ディリクレ $L$-関数の $q$-側面における4次モーメントの最良誤差項は何か？ そして、これは一様に $o(\text{主項})$ とできるか？
• RQ3 すべての大きな $q$ に対して、$\omega(q)$ が素因数の数にかかわらず成り立つ一様な漸近公式 $\sum_{\chi \text{ prim.}} |L(1/2, \chi)|^4$ は存在するか？
• RQ4 $q$ が非常に合成的である場合、ヘイズ・ブラウンの公式における元の誤差項が主項を上回るが、そのときの4次モーメントの振る舞いは？

主な発見

• 本論文は、一様な漸近公式を確立した：$\sum_{\chi \text{ prim.}} |L(1/2, \chi)|^4 = \frac{\varphi^*(q)}{2\pi^2} \prod_{p \mid q} \frac{(1-p^{-1})^3}{(1+p^{-1})} (\log q)^4 \left(1 + O\left(\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}}\right)\right) + O(q(\log q)^{7/2})$。
• 相対誤差項 $O\left(\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}}\right)$ は $\log\log q \to \infty$ のとき $o(1)$ に近づくため、$\omega(q)$ が大きくても、すべての大きな $q$ に対して公式が真の漸近的であることが保証される。
• 主項は $\asymp q (\varphi(q)/q)^6 (\log q)^4$ に比例し、$q$-アナログにおけるインガムのゼータ関数モーメントの期待される大きさと一致する。
• 誤差項 $O(q(\log q)^{7/2})$ は大きな $q$ に対して主項より小さい。$C(\chi)$ 項からの2次誤差は、dyadic 分解と特徴和推定により制御されている。
• $\frac{\omega(q)}{\log q} \sqrt{\frac{q}{\varphi(q)}} \ll \frac{1}{\sqrt{\log\log q}}$ という評価により、相対誤差が0に近づくことが確認され、公式の漸近的性質が裏付けられる。
• 本結果は、長年の未解決問題を解決し、$\text{主項}$ よりも小さい誤差 $o(\text{主項})$ を持つ $q$-側面の漸近公式が可能であることを示した。ヘイズ・ブラウンの元の境界を改善した。