[论文解读] Lie algebras and degenerate Affine Hecke Algebras of type A

Tomoyuki Arakawa, Tsuneo Suzuki|ArXiv.org|Oct 30, 1997

Algebraic structures and combinatorial models参考文献 12被引用 5

一句话总结

本文建立了特殊线性李代数 𝔰𝔩_n(ℂ) 的 BGG 表示范畴与 GL_n 的退化仿射 Hecke 代数 H 的有限维表示范畴之间的对偶性。通过精确函子，将 Verma 模映射到标准模，将单模映射到单模，从而通过此构造实现了所有单 H-模的表示，为此类对偶性提供了一个表示论框架。

ABSTRACT

We construct a family of exact functors from the BGG category of representations of the Lie algebra sl to the category of finite-dimensional representations of the degenerate (or graded) affine Hecke algebra H of GL. These functors transform Verma modules to standard modules or zero, and simple modules to simple modules or zero. Any simple H-module can be thus obtained.

研究动机与目标

• 建立 𝔰𝔩_n(ℂ) 表示与 GL_n 的退化仿射 Hecke 代数 H 的有限维表示之间的范畴对偶性。
• 从 𝔰𝔩_n(ℂ) 的 BGG 范畴构造到 H-模有限维表示范畴的精确函子。
• 证明 Verma 模被映射为标准模或零，单模被映射为单模或零。
• 证明每个单 H-模均可作为某个单 𝔰𝔩_n(ℂ)-模在这些函子下的像而实现。
• 为 𝔰𝔩_n(ℂ) 与退化仿射 Hecke 代数之间的对偶性提供一个表示论实现。

提出的方法

• 作者定义了一组从 𝔰𝔩_n(ℂ) 的 BGG 范畴到退化仿射 Hecke 代数 H 的有限维表示范畴的精确函子。
• 这些函子通过 BGG 范畴中 Verma 模与标准模的结构构造而成。
• 函子保持最高权结构，将 Verma 模映射为标准模或零。
• 该构造依赖于 Weyl 群的组合性质，以及退化仿射 Hecke 代数在某些模上的作用。
• 证明函子保持不可约性，将单 𝔰𝔩_n(ℂ)-模映射为单 H-模或零。
• 通过证明所有单 H-模均可作为单 𝔰𝔩_n(ℂ)-模在这些函子下的像而实现，从而确立了对偶性。

实验结果

研究问题

• RQ1 如何在 𝔰𝔩_n(ℂ) 表示与 GL_n 的退化仿射 Hecke 代数之间建立范畴对偶性？
• RQ2 从 𝔰𝔩_n(ℂ) 的 BGG 范畴出发，所提出的函子将 Verma 模映射为何种对象？
• RQ3 是否所有退化仿射 Hecke 代数的单模均可作为单 𝔰𝔩_n(ℂ)-模在这些函子下的像而实现？
• RQ4 Hecke 代数范畴中的标准模与李代数范畴中的 Verma 模之间存在何种关系？
• RQ5 Weyl 群的作用与退化仿射 Hecke 代数在该对偶性框架中的相互作用如何？

主要发现

• 函子将 𝔰𝔩_n(ℂ) 的 BGG 范畴中的 Verma 模映射为 H-模有限维范畴中的标准模或零。
• 单 𝔰𝔩_n(ℂ)-模被映射为单 H-模或零，且保持不可约性。
• 每个单 H-模均可作为某个单 𝔰𝔩_n(ℂ)-模在这些函子下的像而实现。
• 该构造完整实现了 𝔰𝔩_n(ℂ) 与退化仿射 Hecke 代数 H 之间的对偶性。
• 函子是精确的，且尊重最高权结构，从而建立了强范畴等价。
• 结果证实了 𝔰𝔩_n(ℂ) 与 GL_n 的退化仿射 Hecke 代数之间存在表示论对偶性。