[论文解读] On the uniqueness of generic representations in an $L$-packet

Hiraku Atobe|arXiv (Cornell University)|Nov 28, 2015

Advanced Algebra and Geometry参考文献 36被引用 5

一句话总结

本文为非阿代尔局部域上拟直经典群的 $L$-包中通用表示的唯一性提供了一个简洁、简明的证明。通过利用互换算子和 Shahidi 对诱导表示上 Whittaker 泛函的函数方程，作者证明：若一个温顺表示相对于某个 Whittaker 数据是通用的，则其 Langlands 参数必须对应于成分群的平凡特征，从而证明每个 $L$-包中至多包含一个通用表示。

ABSTRACT

In this paper, we give a simple and short proof of the uniqueness of generic representations in an $L$-packet for a quasi-split connected classical group over a non-archimedean local field.

研究动机与目标

• 建立非阿代尔局部域上拟直经典群的 $L$-包中通用表示的唯一性。
• 为 Desideratum 1.1 提供一个更简单、更直接的证明，即只有成分群的平凡特征对应于 $L$-包中的通用表示。
• 证明唯一性结果可形式地由 Arthur 和 Mok 的已知结果推出，而无需依赖深层的全局或下降理论论证。
• 避免依赖局部互逆定理或局部下降理论，这些此前使 $\mathrm{SO}(2n+1)$ 的证明变得复杂。

提出的方法

• 使用在诱导表示上的归一化自互换算子，将成分群的作用与 Whittaker 泛函联系起来。
• 应用 Shahidi 的函数方程（定理 3.2），将互换算子与诱导表示上的 Whittaker 泛函联系起来。
• 构造一个更大的群 $G'$ 和一个诱导表示 $\mathrm{Ind}_{P(F)}^{G'(F)}(\tau \boxtimes \pi)$，将问题从一个离散系列提升到更大的设定，使得已知结果可应用。
• 利用自然包含 $\mathcal{S}_\phi \hookrightarrow \mathcal{S}_{\phi'}$ 及其在诱导设定下的双射性，实现通用性条件的传递。
• 利用 Rodier 定理和标准模块猜想，证明当原表示为通用时，诱导表示的标准模块是不可约的。
• 通过 Langlands 分类将一般情形约化为温顺情形，利用 $L$-参数分解为温顺分量的方式。

实验结果

研究问题

• RQ1 每个拟直经典群的 $L$-包中至多包含一个 $\mathfrak{w}$-通用表示吗？
• RQ2 能否仅使用局部表示论工具，而不依赖全局或下降理论方法，证明 $L$-包中通用表示的唯一性？
• RQ3 $\iota_{\mathfrak{w}}(\pi)$ 是 $\mathcal{S}_\phi$ 上的平凡特征，是否为 $\pi$ 是 $\mathfrak{w}$-通用的充要条件？
• RQ4 互换算子在 Whittaker 泛函上的作用如何约束 Langlands 对应中成分群的作用？

主要发现

• 拟直经典群的 $L$-包中通用表示的唯一性，作为 Arthur 和 Mok 关于局部 Langlands 对应结果的正式推论得以确立。
• 该证明表明：若 $\pi \in \Pi_\phi$ 是 $\mathfrak{w}$-通用的，则 $\iota_{\mathfrak{w}}(\pi)$ 必须是 $\mathcal{S}_\phi$ 上的平凡特征，从而确认了 Desideratum 1.1。
• 互换算子 $R_{\mathfrak{w}'}(w, \widetilde{\tau \boxtimes \pi})$ 作为标量乘法作用于 $\iota_{\mathfrak{w}'}([\pi'])(a)$，且由于 Whittaker 泛函非零，该标量必须为 1。
• 在诱导设定中，自然包含 $\mathcal{S}_\phi \hookrightarrow \mathcal{S}_{\phi'}$ 是双射，使得平凡性条件可从大群传递到原群。
• 在一般情形下，当 $\pi$ 为通用时，诱导表示的标准模块是不可约的，这意味着温顺分量 $\pi_0$ 也是 $\mathfrak{w}_0$-通用的。
• 结合 $\iota_{\mathfrak{w}_0}([\pi_0])$ 在 $\mathcal{S}_{\phi_0}$ 上的平凡性与包含映射 $\mathcal{S}_{\phi_0} \hookrightarrow \mathcal{S}_\phi$ 的双射性，可推出 $\iota_{\mathfrak{w}}([\pi])$ 在 $\mathcal{S}_\phi$ 上为平凡。