[論文レビュー] Automorphic L-functions and functoriality

Freydoon Shahidi|ArXiv.org|Apr 22, 2003

Advanced Algebra and Geometry被引用数 6

ひとこと要約

本稿は、ラングランズ＝シャーディー法と逆定理を組み合わせることで、数体上の自動形式L関数とイーゼンスタイン級数を用いて、対称べきおよび外積平方の持ち上げに関するラングランズ関手性の新規ケースを確立し、ラマヌジャン予想およびセレブ予想への鋭い評価を導出する。具体的には、$ q_v^{-1/9} < |\alpha_v|, |\beta_v| < q_v^{1/9} $ および $ \lambda_1(\Gamma) \geq 0.238 $ を得る。

ABSTRACT

This is a report on the global aspects of the Langlands-Shahidi method which in conjunction with converse theorems of Cogdell and Piatetski-Shapiro has recently been instrumental in establishing a significant number of new and surprising cases of Langlands Functoriality Conjecture over number fields. They have led to striking new estimates towards Ramanujan and Selberg conjectures.

研究の動機と目的

• 数体上の自動形式$ L $関数に関するラングランズ関手性の新規ケースを確立すること。
• イブリッド表現の対称べきおよび外積平方持ち上げに関する弱関手性および強関手性の転送を証明すること。
• 自動形式$ L $関数およびラングランズ＝シャーディー法を用いて、ラマヌジャン予想およびセレブ予想への定量的推定を導出すること。
• グローバル$ L $関数および相互作用作用素を用いて、対称べきおよび外積平方写像の関手性を示すこと。
• ラングランズ＝シャーディー法の適用範囲を、$ \mathrm{Spin}(10) $、$ E_6^{sc} $、$ E_7^{sc} $ を含む、擬分裂および非分裂群へ拡張すること。

提案手法

• 数体上の再帰的群のパラボリック誘導におけるイーゼンスタイン級数から、グローバル$ L $関数をラングランズ＝シャーディー法を用いて構成する。
• コルドゥルとピアテツキ＝シャピロの逆定理を適用し、自動形式表現のテンソル積および対称べきの自動形式性を導出する。
• グローバル相互作用作用素 $ M(s,\pi) = \otimes_v A(s,\pi_v,w_0) $ を用いて、$ L $関数を標準的および標準的-twisted $ L $関数と関連付ける。
• $ L $群 $ {}^L M $ およびそのユニポテンツ部分代数 $ {}^L \mathfrak{n} $ のリー代数への作用を用い、随伴表現を不可約成分 $ r_i $ に分解する。
• 特定の対 $ (\mathbf{G}, \mathbf{M}) $、特に $ \mathrm{SL}_5 $、$ \mathrm{Spin}(10) $、$ E_6^{sc} $、$ E_7^{sc} $ を用いて、対称べきおよび外積平方持ち上げの関手性を証明する。
• 基本拡大および局所的結果を用いて、$ \mathrm{Sym}^3(\pi) $ や $ \Lambda^2(\Pi) $ のような重要なケースで弱関手性を強関手性に高める。

実験結果

リサーチクエスチョン

• RQ1 ラングランズ＝シャーディー法と逆定理を組み合わせることで、$ \pi $ が $ \mathrm{GL}_2(\mathbb{A}_F) $ のイブリッド表現であるとき、$ \mathrm{Sym}^3(\pi) $ および $ \mathrm{Sym}^4(\pi) $ に対して弱関手性が成立するか。
• RQ2 $ \mathrm{GL}_4 $-イブリッド表現の外積平方 $ \Lambda^2 $-持ち上げが、ラングランズ＝シャーディー法によって弱自動形式的であることを示せるか。
• RQ3 本手法から得られる、$ \mathrm{GL}_2 $-イブリッド形式のヘッケ固有値 $ \alpha_v, \beta_v $ の定量的評価は何か。また、それらはラマヌジャン予想およびセレブ予想とどのように比較されるか。
• RQ4 $ \mathrm{Sp}_{2n}(\mathbb{C}) \hookrightarrow \mathrm{GL}_{2n}(\mathbb{C}) $ の標準埋め込み $ i $ は、$ \mathrm{SO}_{2n+1}(\mathbb{A}_F) $ の一般的イブリッド表現に対して弱関手的か。
• RQ5 擬分裂群を用いて、アサイ転送およびその他の非エンデスコピック持ち上げの存在を証明するために、本手法を拡張できるか。

主な発見

• 任意の数体 $ F $ に対して、$ \mathrm{GL}_2(\mathbb{A}_F) $ のイブリッド表現 $ \pi $ について、対称立方 $ \mathrm{Sym}^3(\pi) $ は自動形式的であり、写像 $ \mathrm{Sym}^3: \mathrm{GL}_2(\mathbb{C}) \to \mathrm{GL}_4(\mathbb{C}) $ は関手的かつ非エンデスコピックである。
• $ \mathrm{GL}_4 $-イブリッド表現の外積平方 $ \Lambda^2 $-持ち上げは弱関手的であり、ほとんどすべての場所において $ \mathrm{GL}_6(\mathbb{A}_F) $ 上の自動形式をもたらす。
• $ \mathrm{Sym}^4(\pi) $ は $ \mathrm{GL}_5(\mathbb{A}_F) $ 上で自動形式的であり、$ \pi $ がディードラル、タエトラル、またはオクタヘドラルでない限り、イブリッド的である。
• 任意の数体 $ F $ に対して、$ \mathrm{GL}_2 $-イブリッド形式のヘッケ固有値 $ \alpha_v, \beta_v $ は $ q_v^{-1/9} < |\alpha_v|, |\beta_v| < q_v^{1/9} $ を満たす。これは以前の評価を改善する。
• $ F = \mathbb{Q} $ の場合、ラマヌジャン評価は $ p^{-7/64} \leq |\alpha_p|, |\beta_p| \leq p^{7/64} $ に改善され、セレブ固有値予想は $ \lambda_1(\Gamma) \geq 975/4096 \approx 0.238 $ に強化される。
• $ \mathrm{Sp}_{2n}(\mathbb{C}) \to \mathrm{GL}_{2n}(\mathbb{C}) $ の標準埋め込み $ i $ は弱関手的であり、$ \mathrm{SO}_{2n+1}(\mathbb{A}_F) $ の一般的イブリッド表現の像は、ほとんどすべての場所において $ \mathrm{GL}_{2n}(\mathbb{A}_F) $ 上の自動形式表現として現れる。