[论文解读] Automorphic L-functions and functoriality

Freydoon Shahidi|ArXiv.org|Apr 22, 2003

Advanced Algebra and Geometry被引用 6

一句话总结

本文通过朗兰兹-沙希迪方法结合逆定理，建立了数域上朗兰兹函子性的新案例，证明了自守表示的对称幂与外幂提升的弱函子性与强函子性转移。该研究通过自守L-函数与再化群上的Eisenstein级数，得出了对拉马努金猜想与塞尔伯格猜想的精确界限，包括 $ 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 $-函数的朗兰兹函子性新案例。
• 证明对 cuspidal 表示的对称幂与外幂提升的弱函子性与强函子性转移。
• 利用自守 $ L $-函数与朗兰兹-沙希迪方法，推导对拉马努金与塞尔伯格猜想的定量估计。
• 通过全局 $ L $-函数与互换算子，展示对称幂与外幂映射的函子性。
• 将朗兰兹-沙希迪方法的应用范围扩展至拟分裂与非分裂群，包括 $ \mathrm{Spin}(10) $、$ E_6^{sc} $ 与 $ E_7^{sc} $。

提出的方法

• 使用朗兰兹-沙希迪方法，通过数域上再化群的再化诱导的Eisenstein级数构造全局 $ L $-函数。
• 应用Cogdell与Piatetski-Shapiro的逆定理，推断自守表示的张量积与对称幂的自守性。
• 利用全局互换算子 $ 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) $ 的 cuspidal 表示时，朗兰兹-沙希迪方法结合逆定理是否能推出 $ \mathrm{Sym}^3(\pi) $ 与 $ \mathrm{Sym}^4(\pi) $ 的弱函子性？
• RQ2 能否通过朗兰兹-沙希迪方法证明 $ \mathrm{GL}_4 $-cuspidal 表示的外幂 $ \Lambda^2 $-转移为弱自守？
• RQ3 从该方法可导出关于 $ \mathrm{GL}_2 $-cusp 形式的 Hecke 特征值 $ \alpha_v, \beta_v $ 的哪些定量界限？与拉马努金与塞尔伯格猜想相比如何？
• RQ4 标准嵌入 $ i: \mathrm{Sp}_{2n}(\mathbb{C}) \hookrightarrow \mathrm{GL}_{2n}(\mathbb{C}) $ 对 $ \mathrm{SO}_{2n+1}(\mathbb{A}_F) $ 的通用 cuspidal 表示是否弱函子性成立？
• RQ5 该方法能否扩展至证明 Asai 转移及其他非内插提升的存在性，使用拟分裂群？

主要发现

• 对任意 $ \mathrm{GL}_2(\mathbb{A}_F) $ 的 cuspidal 表示 $ \pi $，其对称立方 $ \mathrm{Sym}^3(\pi) $ 是自守的，映射 $ \mathrm{Sym}^3: \mathrm{GL}_2(\mathbb{C}) \to \mathrm{GL}_4(\mathbb{C}) $ 是函子性且非内插的。
• $ \mathrm{GL}_4 $-cuspidal 表示的外幂 $ \Lambda^2 $-转移是弱函子性的，几乎处处在 $ \mathrm{GL}_6(\mathbb{A}_F) $ 上产生一个自守形式。
• $ \mathrm{Sym}^4(\pi) $ 在 $ \mathrm{GL}_5(\mathbb{A}_F) $ 上是自守的，且仅当 $ \pi $ 为二面体、四面体或八面体时才非 cuspidal。
• 对任意数域 $ F $，$ \mathrm{GL}_2 $-cusp 形式的 Hecke 特征值 $ \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 $。
• 标准嵌入 $ i: \mathrm{Sp}_{2n}(\mathbb{C}) \to \mathrm{GL}_{2n}(\mathbb{C}) $ 是弱函子性的，且 $ \mathrm{SO}_{2n+1}(\mathbb{A}_F) $ 的通用 cuspidal 表示的像在几乎处处为 $ \mathrm{GL}_{2n}(\mathbb{A}_F) $ 上的自守表示。