[论文解读] Homological invariants in category O for the general linear superalgebra

Kevin Coulembier, Vera Serganova|arXiv (Cornell University)|Jan 6, 2015

Algebraic structures and combinatorial models参考文献 27被引用 6

一句话总结

本文研究了一般线性超代数 𝔤𝔩(m|n) 的范畴 𝒪 中的同调不变量——投射维数、关联概形与复杂度。研究发现，有限投射维数当且仅当关联概形为平凡；复杂度则编码了非典型性。关键结果表明，尽管积分块具有相同的全局同调不变量（奇异性与非典型性），它们仍可能非等价，从而证明存在无穷多个非等价块，且在 𝔤𝔪(3|1) 中明确构造了此类例子。

ABSTRACT

We study three related homological properties of modules in the BGG category O for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and complexity. We demonstrate connections between projective dimension and singularity of modules and blocks. Similarly we investigate the connection between complexity and atypicality. This creates concrete tools to describe singularity and atypicality as homological, and hence categorical, properties of a block. However, we also demonstrate how two integral blocks in category O with identical global categorical characteristics of singularity and atypicality will generally still be inequivalent. This principle implies that category O for gl(m|n) can contain infinitely many non-equivalent blocks, which we work out explicitly for gl(3|1). All of this is in sharp contrast with category O for Lie algebras, but also with the category of finite dimensional modules for superalgebras. Furthermore we characterise modules with finite projective dimension to be those with trivial associated variety. We also study the associated variety of Verma modules. To do this, we also classify the orbits in the cone of self-commuting odd elements under the action of an even Borel subgroup.

研究动机与目标

• 通过分析投射维数、关联概形与复杂度，理解基本经典李超代数（特别是 𝔤𝔩(m|n)）的范畴 𝒪 的同调结构。
• 确定全局同调不变量（如奇异性与非典型性）是否足以对范畴 𝒪 中的非等价块进行分类。
• 刻画具有有限投射维数的模，并将其与关联概形及 Verma 模的结构联系起来。
• 定义并研究复杂度作为捕捉非典型性的范畴化同调不变量。
• 证明具有相同全局同调特征（如相同的广义维数与复杂度）的块仍可能非等价，从而解决关于超代数范畴 𝒪 中块分类的开放问题。

提出的方法

• 通过偶数 Borel 子群作用下自交换奇元素的轨道分类，分析模的关联概形。
• 利用 Kazhdan-Lusztig 理论与 Verma 模的结构，显式计算 𝔤𝔩(1|n)、𝔤𝔩(m|1) 与 𝔤𝔩(2|2) 的关联概形。
• 将具有有限投射维数的模刻画为关联概形平凡的模，利用该条件等价于模上无非平凡自交换奇元素非平凡作用的事实。
• 将复杂度定义为极小投射化解析的多项式增长速率，并证明其在范畴 𝒪 的所有模中均为有限。
• 计算内射模的投射维数，并推导块的广义全局同调维数，将其与中心特征值核心的奇异性联系起来。
• 利用 𝔤𝔠(𝑚|𝑛) 的 KL 型理论分析 Ext^1-Quiver 与长度函数，证明具有相同全局不变量的块在范畴上可能不同。

实验结果

研究问题

• RQ1 能否通过同调方式刻画 𝔤𝔩(m|n) 的范畴 𝒪 中模的投射维数？它是否能检测奇异性或控制性？
• RQ2 关联概形与复杂度在多大程度上作为范畴不变量，能检测块中的非典型性与奇异性？
• RQ3 对于 𝔤𝔩(m|n) 的范畴 𝒪 中的积分块，其是否能通过其全局同调不变量（特别是奇异性与非典型性）完全分类？
• RQ4 两个具有相同全局同调性质（如相同的广义维数与复杂度）的块是否仍可能非等价？
• RQ5 在 𝔤𝔩(m|n) 的范畴 𝒪 中，Verma 模与简单模的复杂度如何与其非典型度相关？

主要发现

• 在 𝔤𝔩(m|n) 的范畴 𝒪 中，模具有有限投射维数当且仅当其关联概形为平凡。
• 在 𝔤𝔩(m|n) 的范畴 𝒪 中，块的广义全局同调维数由中心特征值核心的奇异性决定。
• 对于 𝔤𝔩(2|1) 的主块，Ext^1-Quiver 为 Dynkin 型 A_∞，方法为将左图中的箭头替换为双向箭头，并在 (10|1) 与 (0-1|-1) 之间添加一个此类箭头。
• 任何基本经典李超代数的范畴 𝒪 中模的复杂度均为有限，且对于 𝔤𝔩(m|n) 中的 Verma 模与简单模，其复杂度与非典型度直接相关。
• 在 𝔤𝔩(m|n) 的范畴 𝒪 中，积分块即使具有相同的全局同调不变量（即相同的奇异性与非典型性）也可能非等价，证明这些不变量不足以实现分类。
• 本文明确构造了 𝔤𝔩(3|1) 的无穷多个非等价块，表明超代数范畴 𝒪 中块的分类远比李代数情形复杂。