[论文解读] Multiplicity one results in Kazhdan-Lusztig theory and equivariant intersection cohomology

Peter Fiebig|arXiv (Cornell University)|Jul 20, 2006

Algebraic structures and combinatorial models参考文献 10被引用 4

一句话总结

本文利用Kazhdan-Lusztig理论与等变交叠上同调的技术，证明了在特征大于Coxeter数的域上，李兹提格关于半单代数群不可约特征的猜想的重数为一情形。关键结果在这一特定情况下确立了该猜想，推进了正特征模表示理论的理解。

ABSTRACT

We prove the multiplicity one case of Lusztig's conjecture on the irreducible characters of reductive algebraic groups for all fields with characteristic above the Coxeter number.

研究动机与目标

• 确立在特征大于Coxeter数的域上，半单代数群不可约特征的李兹提格猜想的重数为一情形。
• 将Kazhdan-Lusztig理论的结果扩展到正特征域的情形。
• 将等变交叠上同调技术应用于模表示理论。
• 验证特征超过Coxeter数的域上该猜想的成立性。

提出的方法

• 利用Kazhdan-Lusztig理论分析正特征下表示结构。
• 应用等变交叠上同调研究Schubert簇的奇点。
• 借助旗簇及其等变层的几何性质推导特征公式。
• 将问题约化为研究具有特定等变结构的某些交叠上同调层。
• 利用分解定理与等变导出范畴分析上同调数据。
• 依赖于在高特征下，Weyl群的组合结构与Schubert簇的几何性质简化，从而实现重数为一的结果。

实验结果

研究问题

• RQ1 在特征大于Coxeter数的域上，李兹提格关于半单群不可约特征的猜想在重数为一情形是否成立？
• RQ2 Kazhdan-Lusztig多项式与交叠上同调如何与正特征下的模特征公式相关联？
• RQ3 等变上同调在控制此情形下不可约表示结构中起什么作用？
• RQ4 Schubert簇的几何性质能否用于解决正特征下的特征重数问题？
• RQ5 通过这些几何方法，特征零下的标准猜想在多大程度上可推广到正特征？

主要发现

• 在特征大于Coxeter数的域上，半代数群不可约特征的李兹提格猜想的重数为一情形得到证实。
• 该证明依赖于Kazhdan-Lusztig理论与正特征下等变交叠上同调之间的相互作用。
• 此情形下不可约特征的结构完全由Schubert簇及其等变层的几何性质决定。
• 该结果在Weyl群的组合结构与半单群的模表示理论之间建立了强有力的联系。
• 所采用的方法为将该猜想推广到更高重数情形提供了框架。