[论文解读] Simple wild L-packets

Tasho Kaletha|arXiv (Cornell University)|Aug 11, 2011

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

一句话总结

本论文通过使用一个驯化分歧的极大对称环和仿射一般特征，将每个简单野生朗兰兹参数与一组有限的简单超临界表示关联起来，从而为 $p$-进李群构造了简单的野生 $L$-包。该构造在残特征满足温和条件时实现了猜想中的对应关系，并证明了这些 $L$-包在正则半单元素的一个开集上具有稳定性。

ABSTRACT

In a recent paper, Gross and Reeder study arithmetic properties of discrete Langlands parameters for semi-simple p-adic groups and conjecture that a special class of these -- the simple wild parameters -- should correspond to L-packets consisting of simple supercuspidal representations. We provide a construction of this correspondence and show that the simple wild L-packets satisfy many expected properties. In particular, they admit a description in terms of the Langlands dual group and contain a unique generic element for a fixed Whittaker datum. Moreover, we prove their stability on an open subset of the regular semi-simple elements, and show that they satisfy a natural compatibility with respect to unramified base-change.

研究动机与目标

• 建立局部朗兰兹对应中简单野生朗兰兹参数与简单超临界表示之间猜想对应关系。
• 利用一个驯化分歧的极大对称环和稳定共轭类的嵌入，显式构造简单超临界表示的 $L$-包。
• 验证所得 $L$-包在伴随群作用下是稳定的，并满足预期的特征理论性质。
• 证明该构造与基域的有限无分歧扩张相容。
• 通过证明在正则半单元素的一个开子集上具有原子稳定性，为 $L$-包的完全稳定性提供证据。

提出的方法

• 在 $p$-进域 $F$ 上构造一个驯化分歧的极大对称环 $S$，并给出一个类型 (C) 的稳定共轭类嵌入 $j: S \to G$，其特征由建筑物中一个单形的重心确定。
• 利用 $L$-群 $^L S$，通过 $\phi_S$ 将朗兰兹参数 $\phi: W_F \to \widehat{G}$ 提升为一个特征 $\chi: S(F) \to \mathbb{C}^\times$。
• 利用 $\chi$ 在商群 $Z(F)G(F)_{x,1/h}/G(F)_{x,2/h}$ 上定义一个仿射一般特征 $\tilde{\chi}$，其中 $x$ 是与 $j$ 关联的建筑物中的点，$h$ 是考绍尔数。
• 将简单超临界表示 $\pi$ 构造为紧致诱导表示 $\mathrm{c-Ind} \tilde{\chi}$，并确保其关于某个博雷尔子群是广义的。
• 证明对偶群 $G_{\rm ad}(F)$-共轭类 $(j, \chi)$ 仅依赖于 $\phi$，从而保证 $L$-包的良定义性。
• 利用塔特-中谷同构和范数映射，证明哈里什-钱德拉特征和 $S\Theta_\Pi$ 在正则半单元素的一个开集上是稳定的。

实验结果

研究问题

• RQ1 对于 $p$-进群，简单野生参数与简单超临界表示之间的猜想对应关系是否成立？
• RQ2 能否通过类型 (C) 的仿射一般特征和环嵌入显式实现 $L$-包结构？
• RQ3 在不施加残特征限制的情况下，$L$-包是否在正则半单元素的一个开集上稳定？
• RQ4 该构造在基域的有限无分歧扩张下行为如何？
• RQ5 $L$-包是否在 $G_{\rm ad}(F)$-共轭意义下唯一由朗兰兹参数 $\phi$ 确定？

主要发现

• 该构造从一个简单野生参数 $\phi$ 生成了一个良定义的 $G_{\rm ad}(F)$-共轭类的简单超临界表示，实现了预期的 $L$-包。
• 该 $L$-包在正则半单元素的一个开子集上是稳定的，且包中不存在真子集使得其特征和稳定，表明具有原子稳定性。
• 该构造与有限无分歧扩张相容：若 $\tilde{F}/F$ 是无分歧扩张，则 $\tilde{F}$ 上的 $L$-包是通过特征和嵌入的基变更得到的。
• $G_{\rm ad}(F)$-轨道的仿射一般特征 $\tilde{\chi}$ 仅由 $\phi$ 决定，确保了嵌入 $j$ 中辅助选择的独立性。
• $L$-包结构与猜想形式一致：表示的集合与 $\widehat{G}$ 中 $\phi$ 的有限中心化子的特征群之间存在双射。
• 通过在 $G_{\rm ad}(F)$ 上积分，利用范数映射和塔特-中谷对偶性，建立了特征和 $S\Theta_\Pi$ 的稳定性。