[论文解读] On Bernstein's presentation of Iwahori-Hecke algebras and representations of split reductive groups over non-Archimedean local fields

Amritanshu Prasad|ArXiv.org|Apr 20, 2005

Advanced Algebra and Geometry参考文献 7被引用 8

一句话总结

本文通过伯恩斯坦对 Iwahori-Hecke 代数的表述，建立了非阿赋米德局部域上分裂半单代数群的表示理论中，抛物诱导与雅克比特函子之间的概念性联系，以及相应的 Iwahori-Hecke 代数。它表明，抛物诱导对应于在抛物子代数上的 Hecke 代数上的张量积，而雅克比特函子则对应于限制，利用一个抛物对偶公式，调和了左模与右模结构之间的关系。

ABSTRACT

This article gives conceptual statements and proofs relating parabolic induction and Jacquet functors on split reductive groups over a non-Archimedean local field to the associated Iwahori-Hecke algebra as tensoring from and restricting to parabolic subalgebras. The main tool is Bernstein's presentation of the Iwahori-Hecke algebra.

研究动机与目标

• 提供抛物诱导与雅克比特函子在 Iwahori-Hecke 代数上模的张量积与限制方面的概念性代数解释。
• 通过使用 Iwahori-Hecke 代数的伯恩斯坦表述，统一并推广 Reeder 与 Jantzen 的早期结果。
• 阐明 Hecke 代数模上左模与右模结构之间的关系，特别是通过对偶映射。
• 建立一个抛物对偶公式，准确关联抛物子代数中元素的对偶与其在完整 Hecke 代数中的像。
• 证明普遍未ramified主系列是 Hecke 代数上的秩一自由模，从而为诱导与限制提供清晰的代数表述。

提出的方法

• 利用伯恩斯坦对 Iwahori-Hecke 代数 $ H $ 的表述，将其描述为多项式环在群代数上的局部化商代数。
• 基于 [CKM98]，将普遍未ramified主系列识别为 $ H $-模的秩一自由模，从而实现诱导表示的典范实现。
• 将抛物诱导定义为函子 $ V \to V \bigotimes_{H_M} H $，其中 $ H_M $ 是 $ H $ 的抛物子代数，并证明其对应于 $ G(F) $ 表示理论中的抛物诱导。
• 通过 Levi 子群的 Weyl 群中最长元素 $ w_0' $ 的共轭作用，定义雅克比特函子为对抛物子代数的限制。
• 引入抛物对偶公式：$ \rho^* = T_{w_0'}^{-1}({}^{w_0'^{-1}}\rho^{\text{op}})T_{w_0'} $，该公式将抛物子代数中元素的对偶与其在完整代数中的像联系起来。
• 应用该对偶公式，证明 Reeder 与 Jantzen 所建立的诱导模与张量积之间的同构在正确的模结构约定下是等价的。

实验结果

研究问题

• RQ1 如何通过 Iwahori-Hecke 代数对 $ G(F) $ 表示理论中的抛物诱导进行代数解释？
• RQ2 雅克比特函子与 Hecke 代数模上的限制函子之间的确切代数对应关系是什么？
• RQ3 Hecke 代数上的对偶映射如何与 Levi 子群上的逆映射相关联？对抛物子代数而言，需要何种修正？
• RQ4 Reeder 关于诱导表示与 Hecke 代数上张量积之间同构的结果，能否通过伯恩斯坦表述中的普遍原理推导得出？
• RQ5 最长元素 $ w_0' $ 在抛物诱导与雅克比特函子的左模与右模结构关系中起什么作用？

主要发现

• 从抛物子群 $ P $ 到 $ G(F) $ 的抛物诱导对应于函子 $ V \to V \bigotimes_{H_M} H $，其中 $ H_M $ 是 Iwahori-Hecke 代数 $ H $ 的抛物子代数，从而建立了概念性的代数实现。
• 关于抛物子群 $ P' $ 的雅克比特函子对应于对抛物子代数 $ H_{M'} $ 的限制，其中正确的模结构由 $ w_0' $（即 $ M' $ 的 Weyl 群中最长元素）的共轭作用给出。
• 抛物对偶公式 $ \rho^* = T_{w_0'}^{-1}({}^{w_0'^{-1}}\rho^{\text{op}})T_{w_0'} $ 提供了将 $ H_{M'} $ 中元素的对偶与其在 $ H $ 中的像正确关联的修正，解决了模结构约定中的不一致。
• Reeder 的同构 $ H \bigotimes_R \bold{C}_{\bar{\rho}^{w_0}} \to (i_B^G \rho)^I $ 被证明与同构 $ H \bigotimes_R \bold{C}_{\bar{\rho}^{w_0}} \to \bold{C}_{\rho^{-1}} \bigotimes_R H $ 等价，后者在相反作用下构成 $ H $-左模。
• Jantzen 对 Reeder 同构的推广被恢复为同构 $ H \bigotimes_{H_{M'}} {}^{w_0'}V^{\text{op}} \to V \bigotimes_{H_M} H $，其映射为 $ h \bigotimes \bold{v} \to \bold{v} \bigotimes T_{w_0'} h^* $，该映射由于抛物对偶公式而定义良好。
• 普遍未ramified 主系列是 $ H $-模的秩一自由模，为 $ G(F) $ 的未ramified 主系列表示提供了典范的代数模型。