[论文解读] Essential Whittaker functions for GL(n)

Nadir Matringe|arXiv (Cornell University)|Jan 26, 2012

Advanced Algebra and Geometry参考文献 18被引用 27

一句话总结

本文通过镜像抛物线限制与 Bernstein-Zelevinsky 导数技术，提供了非阿基米德局部域 $F$ 上 $GL(n,F)$ 通解表示的本征 Whittaker 函数存在的构造性证明。关键结果表明，通过 Rankin-Selberg 积分，存在唯一一个 $G_{n-1}(\frak{O})$-不变的 Whittaker 函数，可实现 $L$-函数 $L(/pi, \pi^\prime, s)$，并由此刻画了 Whittaker 模型中的本征向量。

ABSTRACT

We give a constructive proof of the essential Whittaker functions of GL(n,F) (also known as local new forms), using mirabolic restriction.

研究动机与目标

• 为非阿基米德局部域 $F$ 上 $GL(n,F)$ 通解表示的本征 Whittaker 函数的存在性提供构造性证明。
• 将本征 Whittaker 函数刻画为 Whittaker 模型中唯一满足通过 Rankin-Selberg 积分实现 $L$-函数 $L(\pi, \pi^\prime, s)$ 的 $G_{n-1}(\frak{O})$-不变向量。
• 建立本征向量与表示的首个非零球对称 Bernstein-Zelevinsky 导数的未分歧分量之间的联系。
• 通过 Bernstein-Zelevinsky 导数的结构与镜像抛物线限制，将本征向量的构造推广至未分歧表示之外。

提出的方法

• 利用镜像抛物线限制技术，分析 Whittaker 函数在 $G_{n-1}(\frak{O})$ 上限制下的结构。
• 依赖 Bernstein-Zelevinsky 导数理论，识别出一个分歧通解表示 $\pi$ 的首个非零球对称导数 $\pi^{(n-r)}$ 的未分歧分量 $\pi_u$。
• 构造本征 Whittaker 函数 $W_\pi^{\text{ess}}$ 为唯一满足特定函数方程的 $G_{n-1}(\frak{O})$-不变函数，该方程涉及 Satake 参数与导数 $r$。
• 利用 Iwasawa 分解，将 Rankin-Selberg 积分 $I(W_\pi^{\text{ess}}, W_{\pi^\prime}^0, s)$ 表示为在 $A_r$ 上的积分，从而可与已知的 $L$-函数恒等式进行比较。
• 通过规范 $N_m \backslash G_m$ 上的不变测度，确保 $L(\pi, \pi^\prime, s)$ 的积分表示的一致性。
• 应用 $L(\pi, \pi^\prime, s)$ 的函数方程，验证 $W_\pi^{\text{ess}}$ 生成固定空间 $W(\pi, \theta)^{K_n(d)}$，且在 $K_n(k)$ 上为零（$k < d$）。

实验结果

研究问题

• RQ1 如何通过表示论技术显式构造 $GL(n,F)$ 通解表示的本征 Whittaker 函数？
• RQ2 本征 Whittaker 函数与表示的首个非零球对称 Bernstein-Zelevinsky 导数的未分歧分量之间的确切关系是什么？
• RQ3 本征 Whittaker 函数如何通过 Rankin-Selberg 积分实现 $L$-函数 $L(\pi, \pi^\prime, s)$，其中 $\pi^\prime$ 为 Langlands 类型的未分歧表示？
• RQ4 在 Whittaker 模型中，$K_n(d)$-不变向量空间为一维且由本征向量张成的条件是什么？
• RQ5 本征 Whittaker 函数能否通过其在对角矩阵上的行为来刻画，特别是通过 $\frak{O}$ 和 $\frak{O}^*$ 上的特征函数？

主要发现

• 本征 Whittaker 函数 $W_\pi^{\text{ess}}$ 是 Whittaker 模型 $W(\pi, \theta)$ 中唯一满足 $I(W_\pi^{\text{ess}}, W_{\pi^\prime}^0, s) = L(\pi, \pi^\prime, s)$ 的 $G_{n-1}(\frak{O})$-不变函数，对所有 $G_{n-1}$ 的 Langlands 类型未分歧表示 $\pi^\prime$ 成立。
• 当 $r \geq 1$ 时，本征 Whittaker 函数满足 $W_\pi^{\text{ess}}(\text{diag}(a,1)) = W_{\pi_u}^0(a^\prime) \nu(a^\prime)^{(n-r)/2} \mathbf{1}_{\frak{O}}(a_r) \prod_{r<i<n} \mathbf{1}_{\frak{O}^*}(a_i)$，其中 $a^\prime = \text{diag}(a_1, \dots, a_r)$。
• 当 $r = 0$ 时，本征 Whittaker 函数满足 $W_\pi^{\text{ess}}(\text{diag}(a,1)) = \prod_{i=1}^{n-1} \mathbf{1}_{\frak{O}^*}(a_i)$，对应未分歧情形。
• 该构造确保 $W(\pi, \theta)^{K_n(d)}$ 为一维且由 $W_\pi^{\text{ess}}$ 张成，而当 $k < d$ 时 $W(\pi, \theta)^{K_n(k)} = 0$，其中 $d$ 为 $\pi$ 的导数。
• 证明表明，在测度适当归一化下，Rankin-Selberg 积分 $I(W_\pi^{\text{ess}}, W_{\pi^\prime}^0, s)$ 对所有 $1 \leq m \leq n-1$ 等于 $L(\pi, \pi^\prime, s)$。
• 结果确认，本征向量由其 $G_{n-1}(\frak{O})$-不变性及其在对角矩阵上的特定行为刻画，从而与未分歧导数 $\pi_u$ 的 Satake 参数相联系。