[论文解读] Classification of simple weight modules over affine Lie algebras

Ivan Dimitrov, Dimitar Grantcharov|ArXiv.org|Oct 5, 2009

Algebraic structures and combinatorial models参考文献 19被引用 16

一句话总结

本文通过证明所有具有有限维权空间的仿射李代数的单权模均为抛物诱导模或其扭曲局部化的形式，完成了对这些模的完全分类。关键结果是：仅当仿射李代数为 $A_l^{(1)}$ 和 $C_l^{(1)}$ 时，存在非抛物诱导的余主模（cuspidal modules），且这些模同构于有限维单李代数上的余主模与有限维模的扭曲张量积，其参数通过缩放相关联。

ABSTRACT

All simple weight modules with finite dimensional weight spaces over affine Lie algebras are classified.

研究动机与目标

• 完成对仿射李代数上所有具有有限维权空间的单权模的分类。
• 通过将马蒂厄对有限维单李代数上有限维权模的分类结果推广至仿射情形，解决表示论中长期悬而未决的开放问题。
• 确立所有此类模均为抛物诱导模或其扭曲局部化的形式。
• 精确识别余主权模存在的条件，并对其作出显式分类。
• 证明扭曲仿射李代数不具有任何具有有限维权空间的余主权模。

提出的方法

• 建立一个抛物诱导定理，将分类问题归约为对余主权模的分类。
• 证明每个权多重性有界的权模具有有限长度，从而将结构性的有限性与表示论的有限性联系起来。
• 使用类似于马蒂厄的局部化 functor 的扭曲局部化函子，证明每个余主模均可表示为一个单抛物诱导模的扭曲局部化。
• 应用伯曼与比利格关于 exp-多项式模的结果、查里与普雷塞尔关于环模的结果，以及马蒂厄的分类结果，分析扭曲局部化的结构。
• 刻画所涉及的抛物子代数与 Levi 分量，特别关注同构于 Heisenberg 代数 $\mathcal{H} = \mathcal{L}(\mathfrak{h}) \oplus \mathbb{F}D \oplus \mathbb{F}K$ 的情形。
• 使用从 $\mathfrak{h} \otimes \mathbb{F}[t,t^{-1}] \to \mathbb{F}[t,t^{-1}]$ 的分次同态 $\Lambda$ 来参数化不可约模，区分 exp-多项式情形与纯指数情形。

实验结果

研究问题

• RQ1 哪些仿射李代数允许存在非抛物诱导的、具有有限维权空间的单权模？
• RQ2 具有有限维权空间的仿射李代数上的余主权模的精确结构是什么？
• RQ3 在何种条件下，抛物诱导模的扭曲局部化是单模且具有有限权多重性？
• RQ4 环模与 exp-多项式模的权多重性如何与基础表示论数据相关联？
• RQ5 能否通过在仿射情形下结合抛物诱导与扭曲局部化，完成对单权模的分类？

主要发现

• 所有具有有限维权空间的仿射李代数上的单权模，均为抛物诱导模或其扭曲局部化的形式。
• 余主权模仅存在于未扭曲的仿射李代数 $A_l^{(1)}$ 和 $C_l^{(1)}$ 上。
• 每个余主权模同构（至多相差一个平移）于形如 $V_{a_0,a_1,\ldots,a_k}(N \otimes V_1 \otimes \cdots \otimes V_k)$ 的模，其中 $N$ 是 $\mathfrak{g}$-代数上的余主模，$V_i$ 是 $\mathfrak{g}$-代数上的有限维模。
• 此类余主模的同构类由 $N$ 的同构类、各 $V_i$ 的同构类，以及参数 $a_i$ 的非零标量缩放关系唯一确定。
• 扭曲仿射李代数不具有任何具有有限维权空间的余主权模。
• 抛物诱导模 $V_{\mathfrak{P}}(\Lambda)$ 具有有限维权空间，当且仅当 $\Lambda$ 是 exp-多项式函数；其权多重性有界，当且仅当 $\Lambda$ 是纯指数函数，即常数多项式指数函数的有限和。