[論文レビュー] The Fifth Moment of modular L-functions

Eren Mehmet Kıral, Matthew P. Young|arXiv (Cornell University)|Jan 25, 2017

Analytic Number Theory Research参考文献 26被引用数 7

ひとこと要約

本稿は、固定された小さな重みと素数レベル $ q $ の正則ヘッケ固有形式の中心的 $ L $-値の第五モーメントに対して鋭い上界を確立する。スペクトル理論とブリュッガーマン＝クズネツォフ公式を用いて、ディルーリング関数とクロールスターマン和を含む多変数和におけるキャンセルレーションを扱う。主な結果は $ \sum_{f\in H_{\kappa}(q)} L(1/2,f)^5 \ll q^{1+\theta+\varepsilon} $ であり、ここで $ \theta = 7/64 $ はラマヌジャン＝ピーターソン予想への最良の進展である。これは以前の部分凸界を改善する。

ABSTRACT

We prove a sharp bound on the fifth moment of modular L-functions of fixed small weight, and large prime level.

研究の動機と目的

• 固定された小さな重みと大きな素数レベルにおける正則ヘッケ固有形式の中心的 $ L $-値の第五モーメントに対する鋭い上界を確立すること。
• ディルーリング関数とクロールスターマン和を含む多変数和における顕著なキャンセルレーションに対処すること。
• シフトされた畳み込み問題を解くのを避け、以前の増幅またはモリフィード第四モーメントの研究とは異なる道筋を取ること。
• スペクトル分解における「偽の主項」が適切な重み関数の選択のもとで十分にキャンセルされることを示し、非自明な境界を得ることを可能にすること。

提案手法

• ブリュッガーマン＝クズネツォフ公式を適用して、第五モーメントを $ \mathrm{GL}_2 $ 定形式の $ L $-関数のねじれ第四モーメントを含むスペクトル和に変換する。
• クズネツォフ／本多型双対性を用いて、元のモーメント問題を別の $ L $-関数族における双対モーメント問題に関連付ける。
• 複数変数の振動的積分変換を制御できるように、制御された停留位相挙動を示す重み関数の族を用いる。
• $ \Gamma_0(q) $ のアトキン＝レナー尖点における関連するクロールスターマン和を、「正しい」スケーリング行列を用いて、乗法性を保つように同定・分析する。
• 連続スペクトルを、ディリクレ $ L $-関数の極を越えて積分路をシフトすることで取り扱い、非主キャラクターからの節約を丁寧に追跡する。
• 二重区間におけるユニタリ分割を用いて変数の和をとる。特に $ G(1/2) = 0 $ を利用して発散する和を回避し、絶対収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 固定された小さな重みと素数レベルにおける正則カスプ形式の族において、中心的 $ L $-値の第五モーメントに対して鋭い境界を確立できるか？
• RQ2 ディルーリング関数とクロールスターマン和を含む多変数和におけるキャンセルレーションを、自明な境界を避けるために効果的に活用できるか？
• RQ3 スペクトル展開に現れる「偽の主項」は果たしてどのような役割を果たし、明示的なキャンセルレーションなしに制御可能か？
• RQ4 以前の第四モーメントに関する研究とは異なり、この方法はシフトされた畳み込み問題をどれだけ回避できるか？
• RQ5 近似関数方程式における重み関数の選択が、スペクトル解析における不正な主項の挙動にどのように影響するか？

主な発見

• $ q \to \infty $ を素数を経由して進めるとき、 $ \sum_{f\in H_{\kappa}(q)} L(1/2,f)^5 \ll q^{1+\theta+\varepsilon} $ が成り立ち、ここで $ \theta = 7/64 $ はキムとサルナックによるもの。
• この境界は部分凸界 $ L(1/2,f) \ll_{\varepsilon} q^{(1+\theta)/5 + \varepsilon} $ を含意し、以前の最良の結果を改善する。
• この方法はシフトされた畳み込み問題を回避し、代わりにスペクトル理論と重み関数を用いた注意深い積分路のシフトに依存する。
• 適切な積分路のシフトと二重区間への和をとることで、連続スペクトルの寄与は $ O(q^{\varepsilon}) $ であることが示される。
• 「偽の主項」の解析は、それらの合計寄与が主境界と一貫するように重み関数を選択することによって解決される。
• 最終的な境界は鋭く、第四モーメントを超えた「障壁」を越えたモーメント（ここでは第五モーメント）が自己増幅を介して部分凸界をもたらすという予想と整合的である。