[论文解读] On generalized Fourier Transforms for standard L-functions (with an appendix by Wen-Wei Li)

Freydoon Shahidi|arXiv (Cornell University)|Oct 18, 2017

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

一句话总结

本文证明了经典群广义L-函数理论中Braverman-Kazhdan的傅里叶变换与配对法的归一化因子一致，并表明两种框架均保持非分歧（基本）函数。关键洞见在于，谐分析中半密度归一化自然引出 $ s - \frac{1}{2} $ 的平移，从而调和了Godement-Jacquet方法与配对法之间归一化的差异。

ABSTRACT

Any generalization of the method of Godement-Jacquet on principal L-functions for GL(n) to other groups as perceived by Braverman-Kazhdan and Ngo requires a Fourier transform on a space of Schwartz functions. In the case of standard L-functions for classical groups, a theory of this nature was developed by Piatetski-Shapiro and Rallis, called the doubling method. It was later that Braverman and Kazhdan, using an algebro-geometric approach, different from doubling method, introduced a space of Schwartz functions and a Fourier transform, which projected onto those from doubling method. In both methods a normalized intertwining operator played the role of the Fourier transform. The purpose of this paper is to show that the Fourier transform of Braverman-Kazhdan projects onto that of doubling method. In particular, we show that they preserve their corresponding basic functions. The normalizations involved are not the standard ones suggested by Langlands, but rather a singular version of local coefficients of Langlands-Shahidi method. The basic function will require a shift by 1/2 as dictated by doubling construction, reflecting the global theory, and begs explanation when compared with the work of Bouthier-Ngo-Sakellaridis. This matter is further discussed in an appendix by Wen-Wei Li.

研究动机与目标

• 调和Braverman-Kazhdan广义傅里叶变换的归一化因子与经典群标准L-函数配对法的归一化因子。
• 证明Braverman-Kazhdan傅里叶变换保持非分歧（基本）函数，与配对法的行为一致。
• 通过几何与谐分析的考虑，特别是利用半密度，解释配对法中 $ s - \frac{1}{2} $ 平移的起源。
• 阐明单群 $ M_{\text{ab}} \times G $ 及其单位群在Braverman-Kazhdan框架中定义施瓦茨空间与傅里叶变换的作用。
• 提供归一化因子 $ c_P |c|^{n+\frac{1}{2}} $ 的几何与分析解释，表明其对应于 $ X^+(F) $ 上的基本半密度。

提出的方法

• 使用Vinberg的重性单群 $ M_\rho $ 作为Godement-Jacquet理论中 $ M_n $ 的几何替代，其中 $ M_{\text{ab}} \times G $ 为单位群。
• 将施瓦茨空间定义为 $ M_\rho(F) $ 上光滑且紧支集函数的空间，限制在 $ (M_{\text{ab}} \times G)(F) $ 上。
• 应用Li [Li] 的 $ L^2 $ 哲学，将“基本”对象定义为半密度：$ c_P |\Xi|^{1/2} $ 与 $ \mathbb{L}_P^{\text{std}}(\frac{1}{2}) |\Omega|^{1/2} $。
• 依赖对模特征与伴随作用的显式计算，借鉴 [GPSR] 与 [Sh1]，以比较归一化因子。
• 利用恒等式 $ \delta_P = |c|^{2n+1} $ 在 $ (M_{\text{ab}} \times G)(F) $ 上的关系，关联 $ |\Xi| $ 与 $ |\Omega| $，从而导出半密度归一化。
• 证明归一化因子中的平移 $ n + \frac{1}{2} $ 源于半密度 $ |\Xi|^{1/2} $ 与模特征 $ \delta_P^{1/2} $ 的平衡。

实验结果

研究问题

• RQ1 为何配对法在标准L-函数中需要 $ s - \frac{1}{2} $ 的平移，而Godement-Jacquet方法则不需要？
• RQ2 Braverman-Kazhdan傅里叶变换中的归一化因子如何与配对法中的归一化因子相关联？
• RQ3 配对法中归一化因子 $ c_P |c|^{n+\frac{1}{2}} $ 的几何与分析依据是什么？
• RQ4 为何在配对框架中，函数 $ \mathbb{L}_P^{\text{std}}(\frac{1}{2}) $ 比 $ \mathbb{L}_P^{\text{std}}(0) $ 更为‘基本’？
• RQ5 半密度的使用如何调和Braverman-Kazhdan与配对方法之间归一化差异？

主要发现

• 如推论6.38所示，Braverman-Kazhdan傅里叶变换与配对法中归一化 intertwining 算子的归一化因子完全一致。
• 如命题6.45所证明，Braverman-Kazhdan傅里叶变换保持非分歧（基本）函数 $ \mathbb{L}_P^{\text{std}}(s) $。
• 归一化因子 $ c_P |c|^{n+\frac{1}{2}} $ 中的平移 $ n + \frac{1}{2} $ 自然源于半密度归一化，其中 $ \delta_P = |c|^{2n+1} $，故 $ \delta_P^{1/2} = |c|^{n+\frac{1}{2}} $。
• 恒等式 $ c_P |\Xi|^{1/2} = \mathbb{L}_P^{\text{std}}(\frac{1}{2}) |\Omega|^{1/2} $ 在 $ X^+(F) $ 上成立，表明两边代表相同的基底半密度。
• 基本函数 $ \mathbb{L}_P^{\text{std}}(\frac{1}{2}) $ 由泽塔积分给出 $ L(s + \frac{1}{2}, \pi, \text{std}) $ 所表征，确认其在配对法中的核心地位。
• 平移 $ s - \frac{1}{2} $ 并非任意，而是源于几何（单群结构）、测度论（哈尔测度）与谐分析（半密度）之间相互作用的结果，其形式化体现于Li [Li] 的 $ L^2 $ 哲学中。