[论文解读] On a uniqueness property of cuspidal unipotent representations

Yongqi Feng, Eric Opdam|arXiv (Cornell University)|Apr 14, 2015

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

一句话总结

该论文证明了，对于非阿基米德局部域上的经典群，超卡普斯迪尔无扭表示的正式度唯一确定其 Lusztig-Langlands 参数，至多相差弱无扭特征的扭变。通过正式度与谱转移映射，作者证明了无扭仿射 Hecke 代数之间 cuspidal 谱转移同态的实质唯一性。

ABSTRACT

The formal degree of a unipotent discrete series character of a simple linear algebraic group over a non-archimedean local field (in the sense of Lusztig), is a rational function of the cardinality q of the residue field. The irreducible factors of this rational function are $q$ and cyclotomic polynomials. We prove that the formal degree of a supercuspidal unipotent representation determines its Lusztig-Langlands parameter, up to twisting by weakly unramified characters. For split exceptional groups this result follows from the work of Mark Reeder, and for the remaining exceptional cases this is verified by the first name author in arXiv:1708.09547. In the present paper we treat the classical families. The main result of this article characterizes unramified Lusztig-Langlands parameters which support a cuspidal local system in terms of formal degrees. The result implies the uniqueness of so-called cuspidal spectral transfer morphisms (as introduced in arXiv:1310.7193) between unipotent affine Hecke algebras (up to twisting by unramified characters). In arXiv:1310.7790 the essential uniqueness of arbitrary unipotent spectral transfer morphisms was reduced to the cuspidal case.

研究动机与目标

• 建立非阿基米德局部域上经典群的超卡普斯迪尔无扭表示的 Lusztig-Langlands 参数的唯一性。
• 利用正式度刻画支持 cuspidal 局部系统之无扭 Lusztig-Langlands 参数。
• 证明无扭仿射 Hecke 代数之间 cuspidal 谱转移同态的实质唯一性，至多相差无扭特征的扭变。
• 将唯一性结果推广至例外群之外，完成经典族的分类。
• 在经典情形下，基于正式度提供离散无扭 Langlands 参数的刻画。

提出的方法

• 将超卡普斯迪尔无扭表示的正式度分析为 $ q $ 上的有理函数，其不可约因子为 $ q $ 与分圆多项式。
• 通过谱转移映射与 Iwahori–Hecke 代数的结构，将问题约化至 Iwahori–spherical 情形。
• 利用 Kac 图与剩余点对经典群的离散无扭 Langlands 参数进行分类。
• 应用重数函数与涉及 $ ilde{h}_{ullet} $、$ ilde{ ho} $ 及 $ heta $-算子的卷积恒等式，计算正式度。
• 采用 $ extup{mult}^{(ullet)} $ 函数与 $ riangle $-算子分析正式度表达式的结构。
• 对 $ ho $-数据的类型（a）至（e）进行逐项分析，排除非 cuspidal 正式度的可能性，通过反证法证明唯一性。

实验结果

研究问题

• RQ1 超卡普斯迪尔无扭表示的正式度是否能唯一确定其 Lusztig-Langlands 参数，至多相差弱无扭特征的扭变？
• RQ2 哪些无扭 Lusztig-Langlands 参数支持一个 cuspidal 局部系统，它们能否通过正式度加以刻画？
• RQ3 无扭仿射 Hecke 代数之间 cuspidal 谱转移同态是否至多相差无扭特征的扭变而唯一确定？
• RQ4 分圆多项式与重数函数在区分超卡普斯迪尔无扭表示的正式度中起什么作用？
• RQ5 谱转移映射与 Hecke 代数结构如何约束经典群中可能的正式度？

主要发现

• 对于经典群，超卡普斯迪尔无扭表示的正式度唯一确定其 Lusztig-Langlands 参数，至多相差弱无扭特征的扭变。
• 在经典群中，正式度方程 (4.20) 的唯一解对应于 cuspidal 无扭表示，未发现非 cuspidal 类型的解。
• 分析排除了所有 $ ho $-类型（b）至（e）及混合类型（d,e）的组合，表明非 cuspidal 配置不会产生有效正式度。
• 重数函数 $ extup{mult}^{(ullet)} $ 及其通过 $ riangle $-算子与 $ T_{ullet} $-项的分解，唯一识别出 cuspidal 情形。
• 该结果确认了无扭仿射 Hecke 代数之间 cuspidal 谱转移同态的实质唯一性，与 [Opd3] 中的猜想一致。
• 通过 exhaustive 案例分析 $ p_{ullet} $ 与 $ ho $-类型，表明仅特定配置能产生在临界点取值为 $ 0, -1, -2, -3 $ 的有效超卡普斯迪尔正式度。