[論文レビュー] $t$-aspect subconvexity for $GL(2) imes GL(2)$ $L$-function

Ratnadeep Acharya, Prahlad Sharma+1 more|arXiv (Cornell University)|Nov 2, 2020

Analytic Number Theory Research参考文献 9被引用数 5

ひとこと要約

本稿は、$GL(1)$ 円周法を用いて、$GL(2) \times GL(2)$ $L$-関数の $t$-側面における弱凸界を確立し、中心 $L$-値の指数 $1 - 1/16 + \epsilon$ を達成した。この結果は、従来の境界を改善し、尖型形式およびイzeńシュタイン系列の両方に対して一様に適用可能である。

ABSTRACT

In this paper we shall prove a subconvexity bound for $GL(2) imes GL(2)$ $L$-function in $t$-aspect by using a $GL(1)$ circle method.

研究の動機と目的

• 2つの $GL(2)$ 自動形式に関連するランキン＝セルバーグ $L$-関数の中心値 $L(1/2 + it, f \otimes g)$ の $t$-側面における弱凸界を確立すること。
• $f$ や $g$ が尖型でないことを前提とせず、$t$-側面における弱凸界を拡張すること、特に $g$ がイzeńシュタイン系列である場合を含むこと。
• 凸界 $|t|^{1+\epsilon}$ の指数を $|t|^{1 - 1/16 + \epsilon}$ に改善することで、$t$-側面において先行研究を上回ること。
• スペクトル理論や正定性仮定に依存しない手法を開発し、導出の下拡下法とデルタ法技術を用いた $GL(1)$ 円周法を用いること。

提案手法

• 近似関数等式と二重分割を適用し、$L$-関数を指数和 $S(N) = \sum_{n \sim N} \lambda_f(n)\lambda_g(n)n^{-it}$ の推定に還元する。
• ダウク、フリードランダー、イワニエツのデルタ法を用いた $GL(1)$ 円周法により、$\lambda_f(n)$ と $\lambda_g(n)n^{-it}$ の振動を分離し、滑らかな切り捨てとフーリエ展開を導入する。
• メリン変換と滑らかな分割を用いた双対和 $\nu$ の導入により導出の下拡下法を実行し、指数的ねじれを伴う二重形式への問題の還元を行う。
• 停留化の位相と2階微分推定を用いて、位相関数から生じる振動的積分を評価し、特に $k \neq 0$ 項に対して処理する。
• 変数変換と切り捨て関数を用いて、位相関数が非退化臨界点を持つ領域に積分を局所化する。
• 誤差項をバランスさせるためにパラメータ $K$、$Q$、$C$ の選択を最適化し、最終的に $S(N)/\sqrt{N}$ の境界を最小化する。

実験結果

リサーチクエスチョン

• RQ1 $t$-側面において、$L(1/2 + it, f \otimes g)$ の弱凸界を、指数が 1 よりも厳密に小さい形で確立できるか？
• RQ2 スペクトル理論や正定性に依存せずに、$GL(1)$ 円周法を $GL(2) \times GL(2)$ $L$-関数に適応し、このような境界を達成できるか？
• RQ3 $L(1/2 + it, f \otimes g) \ll |t|^{1 - \delta + \epsilon}$ を満たす最良の指数 $\delta$ は何か、かつ、それ以前の結果を上回れるか？
• RQ4 この手法は、尖型でない $g$、例えばイhlenシュタイン系列に対しても拡張可能で、$GL(2)$ $L$-関数の $t$-側面における弱凸界を導けるか？

主な発見

• 本稿は、$GL(2) \times GL(2)$ $L$-関数の $t$-側面において、弱凸界 $L(1/2 + it, f \otimes g) \ll_\epsilon |t|^{1 - 1/16 + \epsilon}$ を証明した。
• この手法は頑健であり、$f$ や $g$ が尖型でなくても適用可能であり、$g$ がイhlenシュタイン系列である場合にも同じ境界を適用可能である。
• 系として、$GL(2)$ $L$-関数に対して $L(1/2 + it, f) \ll_\epsilon |t|^{1/2 - 1/32 + \epsilon}$ の境界が得られ、従来の結果を改善した。
• この境界は、導出の下拡下法と振動的積分の鋭い解析を組み合わせた、$GL(1)$ 円周法の新規応用によって達成された。
• 誤差項は停留化の位相と2階微分推定により制御され、最終的な境界を最小化するための最適なパラメータ選択 $K = t^{3/4}$ が採用された。
• この結果は、ミケルとヴェンカテシュの指数 $1 - \delta$ の結果を改善し、この設定で $\delta \geq 1/16$ が達成可能であることを示した。