[論文レビュー] Uniform approximate functional equation for principal L-functions

Gergely Harcos|arXiv (Cornell University)|Nov 30, 2001

Functional Equations Stability Results参考文献 1被引用数 6

ひとこと要約

本稿では、数体上の $\mathrm{GL}_m$ 上の非可約尖端離散的自動形式の $L$-関数の中心値に対する一様な近似関数方程式を、解析的導出数 $C$ までで切り捨てられる滑らかなディリクレ級数を用いて確立する。主な貢献は、切り捨て関数およびその導関数に対する一様かつ精密な減衰推定であり、中心 $L$-値のより良い評価および部分凸性と非消滅問題への応用を可能にする。

ABSTRACT

We prove an approximate functional equation for the central value of the L-series attached to an irreducible cuspidal automorphic representation of GL(m) over a number field with unitary central character. We investigate the decay rate of the terms involved using the analytic conductor of Iwaniec and Sarnak as a guideline. Straightforward extensions of the results exist for products of central values. We hope that these formulae will help further understanding of the central values of principal L-functions, such as finding good bounds on their various power means, or establishing subconvexity or nonvanishing results in certain families. A crucial role in the proofs is played by recent progress on the Ramanujan--Selberg conjectures achieved by Luo, Rudnick and Sarnak. The bounds at the non-Archimedean places enter through the work of Molteni.

研究の動機と目的

• 数体上の $\mathrm{GL}_m$ 上の非可約尖端離散的自動形式 $\pi$ に付随する $L$-関数の中心値 $L(1/2, \pi)$ に対する一様な近似関数方程式を導出すること。
• アーチメデス的パラメータが有界な族に対して、滑らかな切り捨て関数およびその導関数に対する鋭く一様な減衰推定を確立すること。
• アーチメデス的パラメータが大きい族においても適用可能な、誤差項を伴う明示的な主要項バージョンの近似関数方程式を提供すること。
• 中心 $L$-値の積への応用を可能とするため、結果を高次モーメント推定にまで拡張すること。
• 中心値近似の制御を向上させることで、将来の $L$-関数族における部分凸性および非消滅結果の支援を図ること。

提案手法

• Mellin変換技術を用いて、$L(1/2, \pi)$ を完備 $L$-関数と滑らかなカットオフ関数 $f(x)$ を含む積分に関連付ける。
• アーチメデス的場所におけるRamanujan–Selberg予想のLuo–Rudnick–Sarnak評価を適用し、十分に大きな半平面上での収束を保証する。
• Dirichlet係数のMolteniの評価を組み込み、切り捨てられたディリクレ級数の成長を制御する。
• すべての $\sigma$, $k$, $m$, $d$ に依存する定数のみを含む、一様な減衰性を持つ滑らかな関数 $f(x)$ の構成：$0 < \sigma < 1/(m^2+1)$ に対して $f(x) = 1 + O_{\sigma}(x^{\sigma})$、$\sigma > k - 1/(m^2+1)$ に対して $f^{(k)}(x) = O_{\sigma,k}(x^{-\sigma})$。
• 2通りのバージョンの導出：定理1は一様な減衰推定を提供し、定理2は関数 $g(x)$ を用いたより明示的な主要項を提示（$f(x)$ と関連）、誤差項は $C^{\epsilon}$ および $\eta^{-1}$ で制御される。
• ガンマ因子の漸近展開および対数微分の評価を用いて、$|t| < \min(\eta, C^{\epsilon})$ の臨界範囲で $C^{-it/2}F(it, \pi_{\infty}) - 1$ を推定する。

実験結果

リサーチクエスチョン

• RQ1 アーチメデス的パラメータが変化する $\mathrm{GL}_m$ 自動形式族全体にわたって、切り捨て関数およびその導関数の減衰を一様に制御できるような、$L(1/2, \pi)$ に対する一様な近似関数方程式を構成可能か？
• RQ2 解析的導出数 $C$ および数体の次数 $d$ を用いて、近似誤差をどのように定量的に評価できるか？
• RQ3 切り捨て関数およびその導関数の最適な減衰率は何か？また、ランク $m$ およびアーチメデス的パラメータにどのように依存するか？
• RQ4 アーチメデス的パラメータが増大する族においても、誤差項を伴う明示的な近似関数方程式を構築可能か？
• RQ5 この手法を、高次モーメントなど中心 $L$-値の積へまでどの程度まで拡張可能か？

主な発見

• 定理1は、$L(1/2, \pi)$ が $a_n / \sqrt{n} f(n / \sqrt{C})$ および $\overline{a}_n / \sqrt{n} \overline{f}(n / \sqrt{C})$ を含む2つの切り捨てられたディリクレ級数の和に等しいことを示し、$f$ は一様な減衰性 $f(x) = 1 + O_{\sigma}(x^{\sigma})$（$0 < \sigma < 1/(m^2+1)$）を満たすことを保証する。
• 導関数については $f^{(k)}(x) = O_{\sigma,k}(x^{-\sigma})$（$\sigma > k - 1/(m^2+1)$）が成り立ち、定数は $\sigma$, $k$, $m$, $d$ のみに依存する。
• 系1は、$n \leq C^{1/2 + \epsilon}$ まで級数を切り捨てる場合、誤差が $O_{\epsilon,A}(C^{-A})$ に抑えられ、任意の $A > 0$ に対して $\pi$ に関して一様に成り立つことを示す。
• 定理2は、$f(x)$ と関係する関数 $g(x)$ のMellin変換が整関数であり $H(0) = 1$ を満たすように選ぶことにより、より明示的な近似関数方程式を提供し、誤差項は $O_{\epsilon,g,m,d}(\eta^{-1} C^{2\epsilon})$ で抑えられる。
• 近似誤差 $f(x) - g(x)$ は、$|t| < \min(\eta, C^{\epsilon})$ に対して $|C^{-it/2}F(it, \pi_{\infty}) - 1| \ll_{\epsilon} |t| \eta^{-1} C^{\epsilon}$ という評価により制御され、これは $L^2$-型誤差推定に不可欠である。
• Ramanujan–Selberg予想が成り立つと仮定すれば、減衰推定における $\sigma$ の範囲がそれぞれ $\sigma > k - 1/2$ および $\sigma < 1/2$ まで拡張され、より良い結果が得られる。