[論文レビュー] Low-lying Zeros of Cuspidal Maass Forms

Nadine Amersi, Geoffrey Iyer+3 more|arXiv (Cornell University)|Nov 28, 2011

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

ひとこと要約

この論文は、$\ mathrm{SL}_2(\mathbb{Z})$ 上のレベル1のカスプ的マース形式の低エネルギー零点が、直交行列の固有値と同様の分布的挙動を示すことを確立し、この $\ mathrm{GL}_2$ $L$-関数族に対してカッツ＝サルナック密度予想を確認した。明示的公式と滑らかな重み関数を用いたクズネツォフのトレース公式を用いて、クローストマン和の評価と特殊関数の境界を用いてベッセル＝クローストマン項を制御し、適切なテスト関数に対して1レベル密度が直交系に収束することを示した。

ABSTRACT

The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomorphic cusp forms agree with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions. We prove a similar result for level 1 cuspidal Maass forms, the other natural family of ${ m GL}_2$ $L$-functions. We use the explicit formula to relate sums of our test function at scaled zeros to sums of the Fourier transform at the primes weighted by the $L$-function coefficients, and then use the Kuznetsov trace formula to average the Fourier coefficients over the family. There are numerous technical obstructions in handling the terms in the trace formula, which are surmounted through the use of smooth weight functions for the Maass eigenvalues and results on Kloosterman sums and Bessel and hyperbolic functions.

研究の動機と目的

• ホロモーフィックカスプ形式とは補完的である自然な $\ mathrm{GL}_2$ $L$-関数族であるレベル1のカスプ的マース形式の家族に対して、カッツ＝サルナック密度予想を検証すること。
• ホロモーフィックカスプ形式の1レベル密度に関する既知の結果を、明示的公式とトレース公式の技術を用いてマース形式へと拡張すること。
• マース形式のクズネツォフのトレース公式に由来するベッセル＝クローストマン項とスペクトル和を取り扱う技術的課題を克服すること。
• この家族における低エネルギー零点の1レベル密度が、適切なテスト関数に対して直交系に収束することを確立し、対称性型が直交型であることを確認すること。

提案手法

• テスト関数をスケーリングされた零点で評価した和を、マース形式のフーリエ係数に重み付けされた素数の和に結びつけるために明示的公式を適用する。
• レベル1のカスプ的マース形式の家族全体でフーリエ係数を平均化するためにクズネツォフのトレース公式を用いる。
• スペクトル和を制御し、複素積分の輪環シフトにおける極を回避するために、マース固有値に滑らかな重み関数を導入する。
• $c \geq T^{2013}$ における衰減、ガンマ関数の性質、双曲的およびベッセル関数の推定値を用いて、ベッセル＝クローストマン項を評価する。
• 複素積分の輪環をシフトして指数的衰減を達成し、極を避けるために $k=3/4$ を用い、$c$-依存性を強化する。
• フーリエ逆変換と部分積分を用いて、スペクトル和における重み関数の台と衰減を制御する。

実験結果

リサーチクエスチョン

• RQ1 レベル1のカスプ的マース形式の低エネルギー零点は、中央点付近で直交行列の固有値と同様の分布的挙動を示すか、カッツ＝サルナック密度予想が予測するように振る舞うか？
• RQ2 マース形式にはピーターソン型の公式がないにもかかわらず、この家族の1レベル密度が適切なテスト関数に対して直交系に収束することを示せるか？
• RQ3 マース形式のクズネツォフのトレース公式におけるベッセル＝クローストマン和の解析において、どのような技術的課題が生じ、それらはどのように克服できるか？
• RQ4 マース形式のスペクトル和は平均化の下でどのように振る舞うか？滑らかな重み関数は誤差項の制御において果たす役割は何か？
• RQ5 1レベル密度展開における主要項の漸近的挙動は何か？そしてそれは直交予想と一致するか？

主な発見

• レベル1のカスプ的マース形式の低エネルギー零点の1レベル密度は、導手が無限大に近づくにつれて直交系に収束し、この家族におけるカッツ＝サルナック密度予想が確認された。
• 1レベル密度展開における主要項は直交予想と一致し、誤差項は $O\left(\frac{(mn)^{3/8}L^2T^{\frac{3}{2}(1-η)}}{c^{3/4}}\right)$ で有界である（$c \geq T^{2013}$ のとき）。
• クズネツォフのトレース公式におけるベッセル＝クローストマン項は、$c^{-3/4}$ 要因による強い $c$-衰減と $T$-依存の境界のおかげで、1レベル密度にほとんど寄与しない。
• 滑らかな重み関数と複素平面における輪環シフトの使用により、スペクトル和の制御が可能になり、極を回避でき、主要項の導出が可能になった。
• 解析により、レベル1のカスプ的マース形式の家族の対称性型が直交型であることが確認され、カッツ＝サルナック枠組みと整合的である。
• この結果により、密度予想が成り立つ $\ mathrm{GL}_2$ $L$-関数族のクラスが拡張され、ホロモーフィック形式とマース形式の両方の図を完成させた。