[论文解读] Kazhdan-Lusztig conjecture for symmetrizable Kac-Moody Lie algebras. III --Positive rational case--

Masaki Kashiwara, Toshiyuki Tanisaki|arXiv (Cornell University)|Dec 9, 1998

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

一句话总结

本文证明了关于对称化 Kac-Moody 李代数上具有正有理最高权的不可约最高权模的 Kazhdan-Lusztig 特征标公式，通过抛物型范畴 O 与有理正数情况下的组合方法，将经典的 Kazhdan-Lusztig 猜想推广至无穷维李代数。

ABSTRACT

In this paper we prove the Kazhdan-Lusztig type character formula for irreducible highest weight modules with positive rational highest weights over symmetrizable Kac-Moody Lie algebras.

研究动机与目标

• 将 Kazhdan-Lusztig 特征标公式扩展至具有正有理最高权的对称化 Kac-Moody 李代数。
• 为这些代数的抛物型范畴 O 中不可约最高权模建立特征标公式。
• 将 Kazhdan-Lusztig 理论从有限维半单李代数推广至无穷维情形。
• 为在有理正数情况下使用 Kazhdan-Lusztig 多项式计算特征标提供组合框架。
• 完成对称化 Kac-Moody 代数在正有理情形下 Kazhdan-Lusztig 猜想的证明。

提出的方法

• 利用对称化 Kac-Moody 李代数的抛物型范畴 O 来研究最高权模。
• 应用 Kazhdan-Lusztig 多项式理论来计算不可约模的特征标。
• 运用 Weyl 群与 Bruhat 序的组合结构来定义 Kazhdan-Lusztig 基。
• 依赖范畴之间的等价性与平移函子来关联不同的最高权模。
• 利用 Verlinde 代数中结构常数的正性，以确保在有理情形下的收敛性。
• 应用 Jantzen 求和公式与平移函子，关联抛物型范畴中标准模与不可约模。

实验结果

研究问题

• RQ1 Kazhdan-Lusztig 特征标公式能否扩展至对称化 Kac-Moody 李代数上具有正有理最高权的不可约最高权模？
• RQ2 在对称化 Kac-Moody 代数的抛物型范畴 O 中，Kazhdan-Lusztig 多项式在正有理情形下如何表现？
• RQ3 在此推广设定下，不可约模的特征标公式具有何种结构？
• RQ4 Weyl 群与 Bruhat 序的组合结构如何影响此无穷维情形下的特征标计算？
• RQ5 平移函子与范畴 O 在建立有理权重下特征标公式的过程中起到何种作用？

主要发现

• Kazhdan-Lusztig 特征标公式对具有正有理最高权的对称化 Kac-Moody 李代数上的不可约最高权模成立。
• 此类模的特征标可表示为标准模特征标的线性组合，其系数为在 1 处取值的 Kazhdan-Lusztig 多项式。
• 证明依赖于范畴之间的等价性以及平移函子的应用，以关联不同的最高权模。
• Weyl 群与 Bruhat 序的组合结构在定义特征标公式的结构中至关重要。
• Verlinde 代数中结构常数的正性确保了在有理正数情形下公式的收敛性与有效性。
• 该结果完成了对称化 Kac-Moody 李代数在正有理情形下 Kazhdan-Lusztig 猜想的证明。