[论文解读] Normalized intertwining operators and nilpotent elements in the Langlands dual group

Alexander Braverman, David Kazhdan|ArXiv.org|Jun 11, 2002

Advanced Algebra and Geometry参考文献 9被引用 26

一句话总结

本文在局部非阿赋值域上的分裂半单代数群中，构造了共享同一 Levi 子群的抛物子群所关联的 $ L^2 $-空间之间的归一化交织算子。通过 Langlands 对偶李代数中主 $ \mathfrak{sl}_2 $-三元组的作用，定义了一个推广了傅里叶变换的典范酉同构。关键贡献在于构造了一个 Schwartz 空间 $ \mathcal{S}(G,M) $，其包含所有以 $ M $ 为 Levi 子群的抛物子群 $ P $ 的 $ G/[P,P] $ 上的紧支集函数，且该空间与 $ P $ 的选择无关，并证明了相关 $ L $-函数在 $ q^{-s} $ 中为有理函数，以新方法重新获得了已知结果。

ABSTRACT

Let $F$ be a local non-archimedian field and let $G$ be a group of points of a split reductive group over $F$. For a parabolic subgroup $P$ of $G$ we set $X_P=G/[P,P]$. For any two parabolics $P$ and $Q$ with the same Levi component $M$ we construct an explicit unitary isomorphism $L^2(X_P) o L^2(X_Q)$ (which depends on a choice of an additive character of $F$). The formula for the above isomorphism involves the action of the principal nilpotent element in the Langlands dual group of $M$ on the unipotent radicals of the corresponding dual parabolics. We use the above isomorphisms to define a new space $\calS(G,M)$ of functions on $X_P$ (which depends only on $P$ and not on $M$). We explain how this space may be applied in order to reformulate in a slightly more elegant way the construction of $L$-functions associated with the standard representation of a classical group due to Gelbart, Piatetski-Shapiro and Rallis.

研究动机与目标

• 将傅里叶变换与归一化交织算子从 Borel 情形推广至任意具有固定 Levi 子群 $ M $ 的抛物子群。
• 为共享 Levi 子群 $ M $ 的抛物子群 $ P,Q $，定义一个典范的 $ G \times M^{\text{ab}} $-等变酉同构 $ \mathcal{F}_{P,Q,\psi} $，映射 $ L^2 $-空间 $ L^2(G/[P,P]) $ 与 $ L^2(G/[Q,Q]) $。
• 构造一个 Schwartz 空间 $ \mathcal{S}(G,M) $，其包含所有此类 $ P $ 的 $ \mathcal{C}_c(G/[P,P]) $，且与 $ P $ 无关，并计算其球函数。
• 将该框架应用于重新证明经典群的标准 $ L $-函数的有理性与函数方程，方法上类比于文献 [9]，但适用于更广的设定。

提出的方法

• 通过 Langlands 对偶李代数 $ \mathfrak{m}^\vee $ 中主 $ \mathfrak{sl}_2 $-三元组在对偶抛物子群的幂零根 $ \mathfrak{u}_\mathfrak{p}^\vee $ 上的作用，实现 $ \mathcal{F}_{P,Q,\psi} $ 的构造。
• 该同构 $ \mathcal{F}_{P,Q,\psi} $ 依赖于加法特征 $ \psi: F \to \mathbb{C}^\times $，并与 $ L^2(G/[P,P]) $ 与 $ L^2(G/[Q,Q]) $ 上自然的 $ G \times M^{\text{ab}} $-作用实现交织。
• Schwartz 空间 $ \mathcal{S}(G,M) $ 定义为所有此类 $ P $ 上，将 $ \mathcal{F}_{P,Q,\psi} $ 作用于 $ \mathcal{C}_c(G/[P,P]) $ 的像的和，以 $ L^2 $-意义下的直和形式呈现。
• 在 $ G = \mathrm{GL}(n) $ 的情形下，同构 $ \mathcal{F}_{P,\overline{P},\psi} $ 与标准傅里叶变换一致，其形式为 $ \mathcal{F}(f)(x) = \int_{M_n} f(y) \psi(\operatorname{tr}(xy)) \, dy $，并推广至其他经典群，借助辛与正交结构。
• $ L $-函数 $ L(\pi,s) $ 定义为与 zeta 积分 $ Z(f,m,s) $ 关联的 $ \mathbb{C}[q^{-s}] $ 分式理想之生成元，并证明其在 $ q^{-s} $ 中为有理函数。
• 全局 $ L $-函数的函数方程由广义 Poisson 求和公式导出，利用傅里叶算子 $ \mathcal{F}_{H,\psi} $ 的对偶性。

实验结果

研究问题

• RQ1 如何系统地构造共享同一 Levi 子群的抛物子群所关联的 $ L^2 $-空间之间的归一化交织算子？
• RQ2 Langlands 对偶李代数中的主 $ \mathfrak{sl}_2 $-三元组在定义这些算子中起什么作用？
• RQ3 能否定义一个典范的 Schwartz 空间 $ \mathcal{S}(G,M) $，使其包含所有以 $ M $ 为 Levi 子群的抛物子群 $ P $ 的 $ G/[P,P] $ 上的紧支集函数，且与 $ P $ 的选择无关？
• RQ4 zeta 积分 $ Z(f,m,s) $ 的解析性质如何？其与标准 $ L $-函数有何关系？
• RQ5 在 $ \mathcal{S}(H) $ 上的广义傅里叶变换 $ \mathcal{F}_{H,\psi} $ 是否满足一个函数方程，从而蕴含全局 $ L $-函数的函数方程？

主要发现

• 归一化交织算子 $ \mathcal{F}_{P,Q,\psi} $ 是 $ L^2(G/[P,P]) $ 与 $ L^2(G/[Q,Q]) $ 之间的一个典范、酉、$ G \times M^{\text{ab}} $-等变同构，满足 $ \mathcal{F}_{P,P,\psi} = \text{id} $ 且 $ \mathcal{F}_{Q,R,\psi} \circ \mathcal{F}_{P,Q,\psi} = \mathcal{F}_{P,R,\psi} $。
• 当 $ G = \mathrm{GL}(n) $ 时，$ \mathcal{F}_{P,\overline{P},\psi} $ 与标准傅里叶变换一致，其形式为 $ \mathcal{F}(f)(x) = \int_{M_n} f(y) \psi(\operatorname{tr}(xy)) \, dy $，推广了经典情形。
• Schwartz 空间 $ \mathcal{S}(G,M) $ 定义为所有以 $ M $ 为 Levi 子群的抛物子群 $ P $ 的 $ \mathcal{F}_{P,Q,\psi}(\mathcal{C}_c(G/[P,P])) $ 的和，且其元素为与 $ P $ 选择无关的局部常值函数。
• zeta 积分 $ Z(f,m,s) = \int_H m(h) f(h) |\sigma(h)|^s \, dh $ 在 $ \operatorname{Re}(s) \gg 0 $ 时绝对收敛，并作为 $ q^{-s} $ 的有理函数延拓至整个 $ \mathbb{C} $。
• 此类 zeta 积分的理想 $ J_\pi $ 由 $ 1/P_\pi(q^{-s}) $ 生成，令 $ L(\pi,s) = 1/P_\pi(q^{-s}) $ 可恢复经典群自守表示的标准 $ L $-函数。
• 全局 $ L $-函数的函数方程由广义 Poisson 求和公式导出，且算子 $ \mathcal{F}_{H,\psi} $ 满足 $ \mathcal{F}_{H,\psi}^{-1} = \mathcal{F}_{H,\psi^{-1}} $，确保了对偶性。