[論文レビュー] Burgess-like subconvex bounds for $GL_2 imes GL_1$

Han Wu|arXiv (Cornell University)|Sep 26, 2012

Advanced Algebra and Geometry参考文献 2被引用数 3

ひとこと要約

本稿は、数体上の $\mathrm{GL}_2 \times \mathrm{GL}_1$ 自動形式 $L$-関数に関連する $L$-関数の中心値について、明示的なバーガス型の部分凸境界を確立する。非アーベル的移動技術と増幅法を組み合わせることで、$\theta$ がラマヌジャン＝ピーターソン予想を定量化するものであるとき、鋭い部分凸性指数 $\delta = \frac{1 - 2\theta}{8}$ を得る。この予想のもとでは最適な $\delta = \frac{1}{8}$ を達成する。

ABSTRACT

We give a Burgess-like subconvex bound for $L(s, π\otimes χ)$ in terms of the analytical conductor of $χ$, where $π$ is a $GL_2$ cuspidal representation and $χ$ is a Hecke character.

研究の動機と目的

• 数体 $F$ 上の $\mathrm{GL}_2(\mathbb{A}_F)$ の正則自動形式表現 $\pi$ と、導子 $Q$ のヘッケキャラクター $\chi$ に対して、$L(1/2, \pi \otimes \chi)$ の明示的・定量的部分凸境界を提供すること。
• ラマヌジャン＝ピーターソンパラメータ $\theta$ の観点から、境界 $Q^{1/2 - \delta + \epsilon}$ の指数 $\delta$ を明示的に特定することにより、以前の部分凸性結果を精緻化すること。
• サルナックが提唱し、ミケルとヴェンカテーシュによって発展された非アーベル的移動法を、$\mathrm{GL}_2 \times \mathrm{GL}_1$ $L$-関数の体系的増幅フレームワークへと拡張すること。
• 数体 $F \neq \mathbb{Q}$ の場合を含め、ハイブリッド的側面における最初の明示的バーガス型境界を確立すること。

提案手法

• 証明は、自動形式表現空間内の適切に選ばれたテストベクトル $\varphi_0$ を用いて $L$-関数の中心値を局所化する増幅法を用いる。
• アーベルでない場所および非アーベルでない場所における局所的解析により、行列係数およびウィッターク関数の推定を行う。特にキリロフモデルおよびスペクトル分解の文脈で扱う。
• サルナックのアイデアにインspiredされ、ミケルとヴェンカテーシュによって洗練された、$n(T)$ を用いた非アーベル的移動を用いて、スペクトル展開におけるキャンセルを活用する。
• グローバル推定は、スペクトル展開を切り詰め、ソボレフノルムおよび行列係数の減衰推定を用いて、正則およびアイゼンスタイン級数の寄与を評価することで得られる。
• 場所 $v_1, v_1', v_2, v_2'$ の分岐および位置に基づく場合分けがなされ、局所ノルムとサポートを制御するための精密な基底選択が行われる。
• 最終的な境界は、アイゼンスタイン寄与における $L$-関数の凸性境界と、スペクトルトレース推定およびラプラシアントレースによる $L^2$-ノルム制御を組み合わせることで得られる。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャン＝ピーターソンパラメータ $\theta$ の観点から、$L(1/2, \pi \otimes \chi)$ の最適な明示的部分凸性指数 $\delta$ は何か？
• RQ2 増幅法は $\mathrm{GL}_2 \times \mathrm{GL}_1$ $L$-関数に適応可能であり、$\delta > 0$ の存在性を超えて明示的境界をもたらすか？
• RQ3 非アーベル的移動技術はスペクトル分解とどのように作用し、グローバル $L$-関数和におけるキャンセルを生じさせるか？
• RQ4 アイゼンスタイン級数寄与は増幅フレームワークにおいて果たす役割は何か？また、分岐状態の変化に応じてどのように制御可能か？
• RQ5 レベルとキャラクター導子が両方とも増加するハイブリッド的側面へのこの手法の拡張は、どの程度可能か？

主な発見

• 本稿は、$Q$ を $\chi$ の解析的導子とするとき、部分凸境界 $L(1/2, \pi \otimes \chi) \ll Q^{1/2 - \delta + \epsilon}$ を $\delta = \frac{1 - 2\theta}{8}$ で確立する。
• ラマヌジャン＝ピーターソン予想（$\theta = 0$）のもとでは、$\delta = \frac{1}{8}$ を達成し、レベル的側面における古典的バーガス境界と一致する。
• ハイブリッド的側面において、$F = \mathbb{Q}$ の場合でも本結果は新規であり、ムンシおよびブローマー＝ハーコスの先行研究を改善する。
• 増幅法によりアイゼンスタイン寄与が、正則項に支配されることを示し、境界が $Q^{(\kappa - 1)/2 + \epsilon} E$ の形にスケーリングされることを確認する。
• すべての意味で $\pi$ および $F$ に一様であり、すべての隠れた定数は $F$、$\epsilon$、$\pi$ のみに依存し、導子 $Q$ には依存しない。
• 通常のケース（タイプ1）が寄与を支配しており、より複雑な分岐型（タイプ3, 6, 8）は分母 $E^{-k}$ によるキャンセルのため、寄与が小さいことが確認された。