[論文レビュー] On sums of Fourier coefficients of cusp forms

Aleksandar Ivić|ArXiv.org|Nov 25, 2003

Analytic Number Theory Research参考文献 6被引用数 38

ひとこと要約

この論文は、マースカス形式および正則カスプ形式のフーリエ係数の平方における和関数について鋭い上界を確立し、$\sum_{n \leq x} t_j(n^2) \ll \alpha_j^{-1}x \exp\left(-A\log^{3/5}x (\log\log x)^{-1/5}\right)$ を示しており、正則形式に対しても同様の減衰が成り立つ。この結果は、素数定理の誤差項とヘッケ固有値の乗法的性質に依存している。

ABSTRACT

The summatory function of $t_j(n^2)$ is estimated, where $H_j(s) = \sum_{n=1}^\infty t_j(n)n^{-s}$ is the Hecke series of a non-holomorphic cusp form. The analogous problem of holomorphic cusp forms is also treated.

研究の動機と目的

• Maass形式または正則カスプ形式の $n$ 番目のフーリエ係数 $f(n)$ に対して、$\sum_{n \leq x} f(n^2)$ の漸近的上界を導出すること。
• ヘッケ固有値の振動的性質により、このような和に主要項が存在しないという点を扱うこと。
• ランキン＝セルバーグ法とモービウス反転を用いて、$\sum t_j^2(n)$ および $\sum \tilde{a}^2(n)$ に関する先行研究を統合・拡張すること。
• スペクトルパラメータ $\kappa_j$ およびラマヌジャン指数 $\alpha$ に依存する関係を明確にすること。
• ゼータ関数 $\zeta(s)$ のより良い零除去領域が、より強い上界をもたらす可能性があることを示し、自動形式とリーマン予想を結びつけること。

提案手法

• 乗法的恒等式 $t_j(n^2) = \sum_{d|n} \mu(d) t_j^2(n/d)$ を用いて、$mn \leq x$ を満たす $m,n$ に関する二重和に和を書き換え、$m \leq \sqrt{x}$ と $n \leq \sqrt{x}$ に分割すること。
• ランキン＝セルバーグ理論から得られる、$\kappa_j \leq x^c$ に対して一様に成り立つ漸近的評価 $\sum_{n \leq x} t_j^2(n) = \frac{12x}{\pi^2 \alpha_j} + O(x^\beta)$（$\beta < 1$）を適用すること。
• 主和 $\sum_1$ の推定にあたり、素数定理の誤差項を活用して $\sum_{m \leq \sqrt{x}} \mu(m)/m \ll \exp(-C \log^{3/5}x (\log\log x)^{-1/5})$ を得ること。
• 補助和 $\sum_2$ の評価に、同様の指数的減衰と $t_j^2(n)$ の成長率を用い、$O(\alpha_j^{-1}x \exp(-C\eta(x)))$ であることを示すこと。
• モービウス反転と正規化されたヘッケ固有値 $\tilde{a}(n) = a(n)n^{-(\kappa-1)/2}$ を用いて、正則カスプ形式への結果の拡張を行うこと。
• 部分和公式を適用し、$\sum \tilde{a}(n^2)$ における境界を $\sum a(n^2)$ に移すことで、$x^\kappa$-重み付きの減衰を得ること。

実験結果

リサーチクエスチョン

• RQ1 マースカスプ形式のヘッケ固有値 $t_j(n)$ に対して、$\sum_{n \leq x} t_j(n^2)$ の最良の可能な上界は何か？
• RQ2 スペクトルパラメータ $\kappa_j$ は、$t_j(n^2)$ の和関数の誤差項にどのように影響するか？
• RQ3 $t_j(n)$ の振動的性質を活用して、主要項が存在しない状況でも打ち消しが生じるか。その場合、和はどの程度の速さで減衰するか？
• RQ4 ラマヌジャン＝ピーターソン予想（$\alpha = 0$）が成り立つと、境界の有効範囲がどの程度改善されるか？
• RQ5 正則カスプ形式の境界とマース形式の境界はどのように比較できるか。また、重み $\kappa$ は果たす役割は何か？

主な発見

• マースカスプ形式に対して、$\sum_{n \leq x} t_j(n^2) \ll \alpha_j^{-1}x \exp\left(-A\log^{3/5}x (\log\log x)^{-1/5}\right)$ は、$\kappa_j \leq x^c$ に対して一様に成り立ち、$0 < c < \min\left(\frac{3+6\alpha}{2+20\alpha}, 1-\alpha\right)$ を満たす。
• $\alpha \leq \frac{5}{28}$ のとき、$c < \frac{57}{78}$ の範囲で境界が成り立つようになり、$\kappa_j$ 依存性の範囲が改善される。
• ラマヌジャン＝ピーターソン予想が成り立つ（$\alpha = 0$）場合、境界は任意の $0 < c < 1$ に対して $\kappa_j \leq x^c$ で成り立つため、最適なスペクトル範囲が得られる。
• 重み $\kappa$ の正則カスプ形式に対しては、$\sum_{n \leq x} a(n^2) \ll x^\kappa \exp\left(-C(\log x)^{3/5}(\log\log x)^{-1/5}\right)$（$C > 0$）が、$\tilde{a}(n^2)$ に対する境界を部分和公式で移すことで得られる。
• 指数的減衰因子は、素数定理における最も鋭い既知の誤差項に起因し、自動形式とゼータ関数 $\zeta(s)$ の零除去領域を結びつける。
• 和に主要項がないのは、$t_j(n)$ の振動的性質に起因する。これは、$d(n^2)$ のような除数型算術関数とは対照的であり、後者は主要項を持つ。