[論文レビュー] Weak subconvexity for central values of $L$-functions

K. Soundararajan|ArXiv.org|Sep 9, 2008

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

ひとこと要約

本稿は、$L$-関数の中心値に対する弱部分凸界を確立するための新規な手法を導入し、凸界を $1/(ackslashackslashmbox{log} C(ackslashackslashpi))^{1-ackslashackslashepsilon}$ だけ改善する。この手法はフーリエ解析、プランシュレルの定理、および弱ラマヌジャン予想を活用し、対称平方 $L$-関数、三重積 $L$-関数、$t$-側面における自動形式の $L$-関数について、改善された推定値をもたらす。

ABSTRACT

We describe a general method to obtain weak subconvexity bounds for many classes of $L$-functions. This has applications to a conjecture of Rudnick and Sarnak for the mass equidistribution of Hecke eigenforms (see arxiv.org:math/0809.1636).

研究の動機と目的

• 凸界を上回るが、完全な部分凸性に至らない中央 $L$-値のための改善された境界を導く方法を開発すること。
• 真の部分凸性が達成できないが、弱部分凸性で十分な応用が可能となる状況に対処すること。
• さまざまな $L$-関数について、$L(\frac{1}{2}, \pi) \ll C(\pi)^{\frac{1}{4}} / (\log C(\pi))^{1-\epsilon}$ の形の境界を確立すること。
• 完全なラマヌジャン予想が未解決であっても適用可能な、弱ラマヌジャン予想に基づく一般枠組みを提供すること。
• 弱部分凸性の実用的有用性を、ヘッケ固有形式の質量等分布問題の解決を通じて示すこと。

提案手法

• $L$-関数の平均を $y = \log t$ における積分に変換するフーリエ解析的アプローチを用い、$\tilde{\mathcal{O}}_{\underline{L}}(e^y, w)$ にプランシュレルの定理を適用する。
• 二重分解と $t = e^y$ の代入を伴い、元の積分をフーリエ変換を用いた $L^2$-推定に適した形に変換する。
• コア技術は、平滑化された誤差項の $L^2$ ノルムを、$\sum_{n \leq e^y} \Lambda_f(n)$ のフーリエ変換を用いて評価することに依存する。
• プランシュレルの定理を二度適用する：まず平滑化誤差作用素に、次に対数微分 $F'(1+\alpha+it)/F(1+\alpha+it)$ に適用する。
• 完全なラマヌジャン予想の代わりに、係数の大きさを制御するための弱ラマヌジャン予想を用いる。
• 積分を $t$ の周波数の低域と高域に分割し、$F'(s)/F(s)$ および $|1 - w^{-\alpha - it + i\tau_k}|$ に関する既知の境界を用いる。

実験結果

リサーチクエスチョン

• RQ1 完全な部分凸性が達成できない状況において、自動形式の $L$-関数の中心 $L$-値に対して弱部分凸界を確立できるか。
• RQ2 解析的導出数の対数的要因によって、パワーの改善なしに凸界をどの程度改善できるか。
• RQ3 このような弱部分凸界は、質量等分布といった算術的量子一意的エルゴード性の問題の解決に応用可能か。
• RQ4 高重量の正則形式の対称平方 $L$-関数に対して、この手法はどのように機能するか。
• RQ5 この枠組みは三重積 $L$-関数や $GL(m)$ 自動形式表現の $L$-関数へ拡張可能か。

主な発見

• 対称平方 $L$-関数 $L(\frac{1}{2}+it, \text{sym}^2 f)$ に対して、$|L(\frac{1}{2}+it, \text{sym}^2 f)| \ll_{\epsilon} \frac{k^{1/2}(1+|t|)^{3/4}}{(\log k)^{1-\epsilon}}$ の境界が確立され、凸界を対数的要因で改善する。
• 三重積 $L$-関数 $L(\frac{1}{2}, f \times f \times \phi)$ に対して、$L(\frac{1}{2}, f \times f \times \phi) \ll_{\phi,\epsilon} \frac{k}{(\log k)^{1-\epsilon}}$ の境界が得られ、再び凸界を対数的要因で改善する。
• $GL(m_0)$ 上で固定された $\pi_0$ に対して $L(\frac{1}{2}+it, \pi_0)$ については、$|L(\frac{1}{2}+it, \pi_0)| \ll_{\pi_0,\epsilon} \frac{(1+|t|)^{m_0/4}}{(\log(1+|t|))^{1-\epsilon}}$ が成り立つ。
• $\chi$ を $q$ を法とする原始的ディリクレ指標とするとき、$L(\frac{1}{2}, \pi_0 \times \chi)$ に対して、$L(\frac{1}{2}, \pi_0 \times \chi) \ll_{\pi_0,\epsilon} \frac{q^{m_0/4}}{(\log q)^{1-\epsilon}}$ が証明された。
• 弱ラマヌジャン予想を満たす $L$-関数にこの手法を適用可能であり、完全なラマヌジャン予想が未解決であっても結果を得られる。
• この枠組みは、ホロウィンスキーのふるい法と組み合わせることで、ルディニック＝サルナックの質量等分布予想を解決可能にする。