[論文レビュー] Sums of Hecke eigenvalues over quadratic polynomials

Valentin Blomer|ArXiv.org|Mar 30, 2008

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

ひとこと要約

本稿は、2次多項式 $ q(n) = n^2 + sn + t $ におけるヘッケ固有値 $ a(q(n)) $ の和について、漸近公式を確立する。$ \sum_{n \leq X} a(q(n)) = cX + O_{f,q,\varepsilon}(X^{6/7+\varepsilon}) $ が成り立ち、定数 $ c $ は $ k $ が偶数であるか、判別式 $ \Delta > 0 $ である場合には消える。この結果は、符号が異なるクロスターマン和を含む、半整数重みにおける新しいクズネツォフ公式に依拠しており、モジュラー形式におけるスパarsな列のスペクトル解析を可能にする。

ABSTRACT

Let f(z) = sum_n a(n) n^{(k-1)/2} e(nz) be a cusp form for Gamma_0(N), character chi and weight k geq 4. Let q(x) = x^2 + sx + t be a polynomial with integral coefficients. It is shown that sum_{n \leq X} a(q(n)) = cX + O(X^{6/7+eps}) for some constant c depending on f and q. The constant vanishes in many cases, for example if k is even. On the way a Kuznetsov formula for half-integral weight and entries having different sign is derived.

研究の動機と目的

• 2次多項式 $ q(n) = n^2 + sn + t $ の値におけるヘッケ固有値 $ a(q(n)) $ の和について、除数型和の既知の結果を尖点形式へ拡張する漸近公式を確立すること。
• モジュラー形式におけるスパarsな列の課題を克服するため、符号が異なる項を含む半整数重みのクズネツォフ公式を構築すること。
• 主要項の定数 $ c = c(f,q) $ の明確な構造を特定すること、特に $ c $ が消えるか非ゼロとなる条件を特定し、ピオンカーレ系列のスペクトルデータに基づく明示的公式を提供すること。
• スペクトル法をシフトされた畳み込み和や2次多項式を含む関連する算術問題へ拡張すること。

提案手法

• 符号が異なるクロスターマン和を含む半整数重みモジュラー形式のための新しいクズネツォフ公式を導出することで、自動形式 $ L $-関数のスペクトル分解を可能にする。
• 滑らかなコンパクト台付き関数 $ w $ を用いた滑らか化和 $ \sum_n a(q(n)) w(n) $ にクズネツォフ公式を適用し、スペクトル項と算術項を関連付ける。
• アンフォールディング技術と積分変換（例：コントロビッチ＝レベデフ逆変換）を用いて、ベッセル関数とクロスターマン和を含むスペクトル側と算術側の式を等式で結ぶ。
• ワイエルのクロスターマン和への評価とベッセル関数の推定を用いて誤差項を制御し、$ O(X^{6/7+\varepsilon}) $ の評価を達成する。
• $ k $ が偶数であるか $ \Delta > 0 $ である場合には主要項 $ c $ が消えることを確立し、$ f $ がピオンカーレ系列で $ \Delta < 0 $ の場合に $ c $ の明示的公式を、ヘッケ固有値とチェビシェフ多項式 $ T_{k-1}(h/(2\sqrt{m})) $ を用いて与える。
• 主定理の滑らか化版を応用し、シフトされた畳み込み和 $ \sum_n a(n)a(n+h)w(n) \ll X^{1/2+\theta+\varepsilon} $ の最良の可能評価を回復する。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ固有値 $ a(n) $ と2次多項式 $ q(n) $ に対して、$ \sum_{n \leq X} a(q(n)) $ の漸近的挙動は何か？
• RQ2 主要項定数 $ c(f,q) $ が消える条件は何か？非ゼロの場合はその明示的構造は？
• RQ3 符号が異なるクロスターマン和を扱える半整数重みのクズネツォフ公式を構築できるか？これによりスパarsな列のスペクトル解析が可能になるか？
• RQ4 半整数重み形式のスペクトル理論は、2次多項式の値に関する算術的情報をどのように特定するか？
• RQ5 このような和に対して達成可能な最良の誤差項は何か？$ X^{6/7+\varepsilon} $ よりも改善可能か？

主な発見

• 任意の $ \varepsilon > 0 $ に対して、和 $ \sum_{n \leq X} a(q(n)) $ は $ \sum_{n \leq X} a(q(n)) = cX + O_{f,q,\varepsilon}(X^{6/7+\varepsilon}) $ を満たし、誤差項の定数は $ f $, $ q $, $ \varepsilon $ に依存する。
• 主要項定数 $ c $ は $ k $ が偶数であるか $ \Delta = s^2 - 4t > 0 $ である場合には消え、$ k $ が奇数で $ \Delta < 0 $ である特定の状況では非ゼロとなる。
• $ f = P_m $（$ m $ が平方でなく $ k $ が奇数のピオンカーレ系列）の場合、定数 $ c $ は $ a_j(|\Delta|) $, $ \bar{a}_j(4m - h^2) $, およびチェビシェフ多項式 $ T_{k-1}(h/(2\sqrt{m})) $ を含むスペクトル和として明示的に与えられる。
• 本稿は、符号が異なるクロスターマン和を含む半整数重みにおける新しいクズネツォフ公式を導出し、スペクトル解析と誤差項制御に不可欠である。
• この手法により、シフトされた畳み込み和に対する最良の可能評価 $ \sum_n a(n)a(n+h)w(n) \ll_{h,f,P,\varepsilon} X^{1/2+\theta+\varepsilon} $ が回復され、ここで $ \theta \geq 7/64 $ はセルバール固有値予想の下界である。
• クズネツォフ公式のスペクトル側は、半整数重みラプラシアンの例外的固有値、特に $ \lambda = i/4 $ と深いつながりがあり、これが和の算術的構造に影響を与える。