[论文解读] Characters of highest weight modules and integrability

Gurbir Dhillon, Apoorva Khare|arXiv (Cornell University)|Jun 30, 2016

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

一句话总结

本文在最高权模的权具有轻微可积性条件的前提下，为卡茨-莫代尔代数和对称化量子群上的简单最高权模的权提供了显式的正向公式，其结构类似于韦尔-卡茨特征标公式中的交错和。关键贡献在于建立了可积性、权的凸包、特征标的韦尔群对称性与施普伦贝尔胞腔行为之间的等价性，从而完全确定了简单模的权结构。

ABSTRACT

We give positive formulas for the weights of every simple highest weight module $L(\lambda)$ over an arbitrary Kac-Moody algebra. Under a mild condition on the highest weight, we express the weights of $L(\lambda)$ as an alternating sum similar to the Weyl-Kac character formula. For general highest weight modules, we answer questions of Bump and Lepowsky on weights, and a question of Brion on the corresponding $D$-modules. Many of these results are new even in finite type. We prove similar assertions for highest weight modules over a symmetrizable quantum group. These results are obtained as elaborations of two ideas. First, the following data attached to a highest weight module are equivalent: (i) its integrability, (ii) the convex hull of its weights, (iii) the Weyl group symmetry of its character, and (iv) when a localization theorem is available, its behavior on certain codimension one Schubert cells. Second, for special classes of highest weight modules, including simple modules, the above data determine the weights.

研究动机与目标

• 推导任意卡茨-莫代尔代数上简单最高权模的权的显式正向公式。
• 解决巴姆普与莱波夫斯基关于最高权模中权结构的开放问题。
• 回应布里昂关于相应 D-模在施普伦贝尔胞腔上的行为的提问。
• 将有限型中的已知结果推广至一般卡茨-莫代尔代数和量子群情形。
• 建立可积性、权的凸包、韦尔群对称性与施普伦贝尔胞腔上局部化数据之间的深刻等价关系。

提出的方法

• 利用四个关键不变量的等价性：模的可积性、其权的凸包、其特征标的韦尔群对称性，以及其在余维数为一的施普伦贝尔胞腔上的行为。
• 在适用时应用局部化定理，将模在施普伦贝尔胞腔上的行为与模的全局结构联系起来。
• 将权公式构造为类似于韦尔-卡茨特征标公式的交错和形式，该公式在最高权具有轻微可积性条件时成立。
• 利用对称性与凸性性质，从特征标的韦尔群不变性推导出完整的权集。
• 通过类比的结构原则，将有限型结果推广至对称化量子群。
• 利用不变量的等价性，将权问题简化为特征标理论与几何数据。

实验结果

研究问题

• RQ1 如何以显式、正向的组合形式描述卡茨-莫代尔代数上简单最高权模的权？
• RQ2 可积性、权的凸包与特征标的韦尔群对称性之间的确切关系是什么？
• RQ3 一般最高权模的权如何表现？能否通过类似于韦尔-卡茨特征标公式的公式来描述？
• RQ4 如布里昂所问，相应 D-模在余维数为一的施普伦贝尔胞腔上的几何行为如何？
• RQ5 这四个不变量——可积性、凸包、韦尔对称性与施普伦贝尔胞腔行为——在多大程度上决定了最高权模的权结构？

主要发现

• 在最高权具有轻微可积性条件时，卡茨-莫代尔代数上每个简单最高权模 $ L(\tau) $ 的权均由一个正向公式给出，该公式以类似韦尔-卡茨特征标公式的交错和形式表达。
• 对于最高权模，四个不变量——可积性、权的凸包、特征标的韦尔群对称性，以及在余维数为一的施普伦贝尔胞腔上的行为——彼此等价。
• 对于特殊类别的模，包括简单模，这些不变量的等价性完全确定了权的集合。
• 该结果推广了已知的有限型结果，并在有限维情形也提供了新的洞见。
• 同一框架适用于对称化量子群上的最高权模，将权公式与不变量等价性结果推广至量子情形。
• 本文解决了巴姆普与莱波夫斯基关于权结构的开放问题，以及布里昂关于 D-模在施普伦贝尔胞腔上行为的提问。