[论文解读] Iwahori-Hecke Algebras

Thomas J. Haines, Robert Kottwitz+1 more|arXiv (Cornell University)|Sep 9, 2003

Advanced Algebra and Geometry参考文献 21被引用 52

一句话总结

本文以自包含的代数方式阐述了分裂 $p$-进李群的 Iwahori-Hecke 代数，使用普遍非分歧摄动系列模 $M = C_c(A_{/mathcal{O}}N \backslash G/I)$ 作为核心工具。通过代数方法构建 intertwining 算子，并基于扩展仿射 Weyl 群与 Satake 同构，统一框架下推导出关键结果——包括 Bernstein 的表示、Macdonald 公式、Casselman-Shalika 公式以及 Lusztig-Kato 公式，其中 Lusztig-Kato 公式以 Kazhdan-Lusztig 多项式与 Hecke 代数元素表达 Langlands 对偶群的最高权特征标。

ABSTRACT

This article gives a fairly self-contained treatment of the basic facts about the Iwahori-Hecke algebra of a split p-adic group, including Bernstein's presentation, Macdonald's formula, the Casselman-Shalika formula, and the Lusztig-Kato formula.

研究动机与目标

• 为分裂 $p$-进半单群的 Iwahori-Hecke 代数提供一个自包含的代数处理。
• 在纯粹代数框架下，利用普遍非分歧摄动系列模 $M$，发展 intertwining 算子的理论。
• 对经典结果（如 Bernstein 的表示、Macdonald 公式、Casselman-Shalika 公式）给出高效证明。
• 建立 Lusztig-Kato 公式，以 Kazhdan-Lusztig 多项式与 Hecke 代数元素表达 Langlands 对偶群的最高权特征标。
• 统一并阐明 Satake 同构与 Kazhdan-Lusztig 对合在 $p$-进群表示理论中的作用。

提出的方法

• 将模 $M = C_c(A_{\text{•}}N \backslash G/I)$ 视为右 $H$-模与左 $R = \mathbb{C}[X_*]$-模，其作用定义为 $\pi^\mu \cdot v_x = q^{-\langle\rho,\mu\rangle} v_{\pi^\mu x}$。
• 将扩展仿射 Weyl 群 $\widetilde{W}$ 实现为 $N_{G(F)}(A)/A_{\mathcal{O}}$，通过 Iwasawa 分解与 Bruhat 分解将 $G$ 分解，从而识别 $A_{\mathcal{O}}N \backslash G/I \cong \widetilde{W}$。
• 通过卷积（归一化哈 measure 使 $I$ 的测度为 1）构造 Iwahori-Hecke 代数 $H = C_c(I \backslash G/I)$，其基为 $T_x = 1_{IxI}$，$x \in \widetilde{W}$。
• 应用 Satake 同构，将 $H$ 与 Langlands 对偶群 $G^\vee$ 的表示环联系起来，使用映射 $b: \mathcal{H}_0 \to \mathcal{R}'$。
• 利用 Kazhdan-Lusztig 对合及其与 Satake 同构的相容性，通过对偶性与多项式性论证推导 Lusztig-Kato 公式。
• 借助函数-层字典与 Verdier 对偶，将 Kazhdan-Lusztig 对合解释为层上的自对偶操作。

实验结果

研究问题

• RQ1 如何利用普遍非分歧摄动系列模 $M$ 描述 Iwahori-Hecke 代数及其中心？
• RQ2 在此设定下，诱导表示之间的 intertwining 算子的代数结构为何？
• RQ3 如何通过模 $M$ 与 Satake 同构高效推导出 Macdonald 公式与 Casselman-Shalika 公式？
• RQ4 Lusztig-Kato 公式的精确代数表述为何？其与 Kazhdan-Lusztig 多项式的关系如何？
• RQ5 Kazhdan-Lusztig 对合如何与 Satake 同构相互作用？这对 Hecke 代数中的对偶性有何含义？

主要发现

• Lusztig-Kato 公式被确立为 $E_\mu = \sum_{\lambda \preceq \mu} q^{-l(t_\mu)/2} P_{w_\lambda,w_\mu}(q) \, (h_\lambda)^\vee$，其中 $E_\mu$ 是 $G^\vee$ 的最高权模的特征标。
• 该公式通过将 $q$-变形特征标应用 Kazhdan-Lusztig 对合并利用 Satake 同构证明，$q$ 与 $q^{-1}$ 的多项式性确保等式成立。
• Lusztig-Kato 公式的常数项为 $\sum_{w \in W} t_{w\mu} \prod_{\alpha > 0} (1 - t_{-w\alpha^\vee})^{-1} = E_\mu$，确认了特征标恒等式。
• 证明依赖于事实：$W_\lambda(q^{-1})^{-1} \sum_{w \in W} t_{w\lambda} \prod_{\alpha > 0} \frac{1 - q^{-1} t_{-w\alpha^\vee}}{1 - t_{-w\alpha^\vee}} \in \mathbb{Z}[q^{-1}][X_*]^W$，确保收敛性与整性。
• Satake 同构将 Kazhdan-Lusztig 对合与映射 $z \mapsto z^\vee$ 交织在一起，这一相容性是 duality 论证的关键。
• 令 $q = 1$ 时，恢复 Lusztig 的原始公式：$E_\mu = \sum_{\lambda \preceq \mu} P_{w_\lambda,w_\mu}(1) \sum_{w \in W/W_\lambda} t_{w\lambda}$，确认与经典情形的一致性。