[論文レビュー] Subconvexity for symmetric square $L$-functions

Ritabrata Munshi|arXiv (Cornell University)|Sep 17, 2017

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

ひとこと要約

本稿は、素数レベル $ p $ かつ自明なネーベンティプスをもつ正則モジュラー形式 $ f $ に関連する対称平方 $ L $-関数 $ L(1/2, \mathrm{Sym}^2 f) $ に対して、部分凸界を確立する。ピーターソンのトレース公式に基づく新規なスペクトル的アプローチを用い、調和和における導手の低下を利用する。著者は、$ \delta > 0 $ が計算可能であるように、$ L(1/2, \mathrm{Sym}^2 f) \ll p^{1/2 - \delta} $ を得る。この定数の係数は $ \delta $ と $ f $ の重みにのみ依存する。これは、3次 $ L $-関数におけるレベルの側面における部分凸界問題において、画期的な進展である。

ABSTRACT

Let $f$ be a holomorphic modular form of prime level $p$ and trivial nebentypus. We show that there exists a computable $δ>0$, such that $$ L\left( frac{1}{2},\mathrm{Sym}^2 f ight)\ll p^{ frac{1}{2}-δ}, $$ with the implied constant depending only on $δ$ and the weight of $f$.

研究の動機と目的

• 正則モジュラー形式 $ f $ が素数レベルかつ自明なネーベンティプスをもつ場合の、レベルの側面における対称平方 $ L $-関数 $ L(s, \mathrm{Sym}^2 f) $ の非自明な部分凸界を確立すること。
• 対称平方設定において、従来の増幅法を妨げる『導手の低下』現象の困難を克服すること。
• 導手の大きさを保ちつつ、キャンセルを可能にするように注意深く選択された調和関数のクラスを用いた、ピーターソンのトレース公式に基づく新規なスペクトル的アプローチを開発すること。
• 通常の凸性境界 $ p^{1/2 + \varepsilon} $ よりも良い、具体的には $ p^{1/2 - \delta} $ の保存を得ること、ここで $ \delta > 0 $ は計算可能である。

提案手法

• 導手の低下を活用する調和関数のクラスを用いて、ピーターソンのトレース公式を適用し、Kroneckerのデルタをスペクトル展開で表現する。
• $ \Lambda(s, \mathrm{Sym}^2 f) $ の関数等式と解析接続を用い、中心値をベッセル関数とフーリエ係数の和に結びつける。
• $ r $-和に対してポアソン和公式を適用し、特に $ p \nmid m - v $ の場合に、非対角項におけるキャンセルを抽出する。文字和とラマヌジャン和を活用する。
• ベッセル関数の推定、$ h $-関数の平均的大きさ、および除数の境界を用いて、得られた積分と指数和を評価する。
• $ N, Q, \ell, C, J $ のようなパラメータの最適化を用いて、対角項と非対角項の寄与を慎重に制御する。
• 文字和に対してワイエルの境界を用い、ラマヌジャン和 $ \mathfrak{c}_q(\cdot) $ の構造を活用して、非対角ケースにおける追加のキャンセルを得る。

実験結果

リサーチクエスチョン

• RQ1 正則モジュラー形式が素数レベルかつ自明なネーベンティプスをもつ場合、対称平方 $ L $-関数 $ L(1/2, \mathrm{Sym}^2 f) $ に対して、レベルの側面における部分凸界を確立できるか？
• RQ2 『導手の低下』現象は、部分凸界問題における障害としてではなく、建設的に活用できるか？
• RQ3 標準的な増幅法が失敗する状況において、ピーターソンのトレース公式展開で十分なキャンセルを生み出すために、どのようなスペクトル的技法が利用可能か？
• RQ4 凸性境界 $ p^{1/2 + \varepsilon} $ よりも良い、具体的には $ p^{1/2 - \delta} $ の保存を得ることは可能か？ここで $ \delta > 0 $ は計算可能である。
• RQ5 導手の成長が問題となる、形式と自身とのランキン＝セルバーグ畳み込みに似た振る舞いを示す対称平方 $ L $-関数に対し、この手法は適応可能か？

主な発見

• 本稿は、素数レベル $ p $、自明なネーベンティプス、固定された重みをもつ正則モジュラー形式 $ f $ に対して、部分凸界 $ L(1/2, \mathrm{Sym}^2 f) \ll p^{1/2 - \delta} $ を確立する。ここで $ \delta > 0 $ は計算可能である。
• この境界は、凸性境界 $ p^{1/2 + \varepsilon} $ よりも改善されており、レベルの側面における非自明な保存を達成している。
• この手法は、導手の低下を利用する特殊な調和関数のクラスを用いたピーターソンのトレース公式によるスペクトル分解に依存しており、通常の導手の増大を回避する。
• 非対角項の寄与は、ポアソン和公式と文字和の推定を用いて制御され、特に $ p \nmid m - v $ の条件とラマヌジャン和からキャンセルが得られる。
• 対角項はベッセル関数の減衰と平均的大きさの推定を用いて自明に評価され、非対角項は除数和の境界とパラメータの最適化により制御される。
• 最終的な境界は、$ N, Q, \ell, C, J $ のようなパラメータのバランスを取ることで達成され、$ Q < p $ の仮定の下で誤差項が非対角項の寄与に支配されることが示された。