[論文レビュー] Harmonic Analysis on the Positive Rationals II: Multiplicative Functions and Maass Forms

P. D. T. A. Elliott, Jonathan Kish|arXiv (Cornell University)|May 28, 2014

Analytic Number Theory Research参考文献 14被引用数 11

ひとこと要約

本稿は、マースカス形式および正則新形式に関連する乗法的数論的関数の中心極限定理を確立し、ラマヌジャンの $\tau$-関数の予想を拡張する。正有理数上の調和解析、自動形式理論、スペクトル法を用いて、適切な正規化のもとで弱収束が標準正規分布に至ることを証明し、明示的な誤差項とレベルおよび字数に関する一様性を示す。

ABSTRACT

This is the second of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression and to the Fourier coefficients of automorphic cusp forms.

研究の動機と目的

• ラマヌジャンの $\tau$-関数の中心極限定理の予想を一般のマースカス形式および正則新形式へ拡張すること。
• 非ゼロ性と乗法的構造を考慮に入れた、正規化された係数の弱収束を標準正規分布へと確立すること。
• $L$-関数論とフラーゲン・リンデルーフの原理を用いて、レベル $D$ およびディリクレ指標のモジュラスに関して一様な境界を得ること。
• 複素乗法の存在が係数分布に与える影響を扱い、中心極限定理のスケーリングをそれに応じて修正すること。
• アデール表現論とヘッケ固有形式を用いて、正則および非正則自動形式の取り扱いを統一すること。

提案手法

• 正有理数の乗法的群 $\mathbb{Q}^*$ 上の調和解析を適用し、自動形式の係数の分布を研究する。
• $L^2(\Gamma_0(N)\backslash SL(2,\mathbb{R}))$ のスペクトル論を用いて、係数をヘッケ作用素の固有関数として解釈する。
• オイラー積とサタケパラメータを用いて、マース形式に関連する $L$-関数、特にその対数微分を分析する。
• $\operatorname{Re}(s) \geq 3/4$ に対して $f(s)/f(s_0)$ にボレル＝カラテオドリの不等式を適用し、$D$ に関して一様な境界を得る。
• チホタレフの密度定理と $\ell$-進表現を用いて、非ゼロ係数の密度を推定する。
• 誤差項の制御のため、指数和 $\sum_{D < p \leq x} a_p^2 \chi(p) p^{-1-it}$ の漸近的境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 マースカス形式の正規化された係数分布は、弱収束によって標準正規分布に収束するか？
• RQ2 複素乗法の存在が、自動形式係数の中心極限定理におけるスケーリングおよび漸近分散に与える影響は何か？
• RQ3 中心極限定理における誤差項に関して、レベル $D$ および指標モジュラスに関して一様な境界を確立できるか？
• RQ4 係数 $a_n$ が正の密度の集合でゼロとなる場合、係数分布の正しい正規化因子は何か？
• RQ5 サトウ＝タイト予想およびその誤差推定をどれほど活用して、正則新形式の中心極限定理を精緻化できるか？

主な発見

• 複素乗法をもたない正則新形式に対しては、正規化された係数 $|a_n|n^{-(k-1)/2}$ は、非ゼロ係数の密度 $\rho$ に対応するスケーリング $\rho x$ の下で、分散 $\delta^2 = \pi^2/12 + 1/2$ の中心極限定理を満たす。
• マースカス形式に対しては、係数分布 $|a_n|n^{-(k-1)/2}$ は、$a_n \neq 0$ である集合の密度が $Ax(\log x)^{-1/2}$ であるとき、分散 $\lambda^2 = \pi^2/24$ の正規分布に弱収束する。
• サトウ＝タイト推定における誤差 $\sum_{p \leq x} |a_p|^2 p^{-k} (\log |a_p|p^{-(k-1)/2})^2$ を $o(x(\log x)^{-3})$ まで改善することで、一般の中心極限定理を完全に確立できる。
• $D$ に関して一様な境界は、$f(s)/f(s_0)$ にボレル＝カラテオドリの不等式を適用することで達成され、$1 < \sigma_1 \leq \sigma_2$ に対して $|f(\sigma_1 + it)/f(\sigma_2 + it)| \ll (D(2+|s|))^{c_1(\sigma_2 - \sigma_1)}$ が得られる。
• 非ゼロ係数の密度 $\rho$ は、適切な仮定の下で $\rho \geq (1/16)L_2 - \log L_2 + O(1)$ を満たし、ここで $L_2 = \log(\log x / \log D)$ である。
• 本手法は、シュミラ＝ゲルバールのリフトを用いて $L$-関数のディリクレ捩じれへ拡張可能であり、原始的指標に関して $D$ に関して一様性が確立される。