[论文解读] Cohomology of Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$

Yucai Su, R. B. Zhang|ArXiv.org|Feb 26, 2004

Algebraic structures and combinatorial models参考文献 20被引用 3

一句话总结

本文计算了李超代数 $\mathfrak{sl}_{m|n}$ 和 $\mathfrak{osp}_{2|2n}$ 在有限维不可约模和 Kac 模上的第一与第二上同调群。证明了在伴随作用下，其普遍包络代数上的第二上同调群为零，表明 $\mathrm{U}(\mathfrak{sl}_{m|n})$ 和 $\mathrm{U}(\mathfrak{osp}_{2|2n})$ 是形式刚性的，并且不存在非平凡的 Gerstenhaber 型形变。

ABSTRACT

We explicitly compute the first and second cohomology groups of the classical Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$ with coefficients in the finite dimensional irreducible modules and the Kac modules. We also show that the second cohomology groups of these Lie superalgebras with coefficients in the respective universal enveloping algebras (under the adjoint action) vanish. The latter result in particular implies that the universal enveloping algebras $U(sl_{m|n})$ and $U(osp_{2|2n})$ do not admit any non-trivial formal deformations of Gerstenhaber type.

研究动机与目标

• 计算李超代数 $\mathfrak{sl}_{m|n}$ 和 $\mathfrak{osp}_{2|2n}$ 在有限维不可约模和 Kac 模上的第一与第二上同调群。
• 解决 Kac 关于基本经典李超代数在不可约系数下第一上同调的开放问题。
• 通过上同调不变量，确定普遍包络代数 $\mathrm{U}(\mathfrak{sl}_{m|n})$ 和 $\mathrm{U}(\mathfrak{osp}_{2|2n})$ 的形式形变理论。
• 建立这些普遍包络代数是形式刚性的，即它们不接受非平凡的 Gerstenhaber 型形变。
• 通过权图和根系技术，提供一种全面且初等的上同调群计算。

提出的方法

• 作者使用权图和根系分析来分类非典型权，并通过在 Kac 模和不可约模上的显式计算来计算上同调群。
• 他们定义了东北链 $NE_\mu$ 和本原权图，以分析上同调类的结构。
• 计算依赖于通过正奇根作用识别非零上同调类，并利用 Dynkin 标签追踪权的移动。
• 作者在普遍包络代数上使用伴随作用来计算 $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$，并通过代数的结构约束证明其为零。
• 他们应用关于非典型根以及 $nqc(\mu)$ 和 $A(\mu)$ 矩阵的技术性引理，以分类情形并确定上同调维数。
• 证明通过最高权 $\mu$ 的情形分析进行，根据非典型性和根链结构区分不同情况。

实验结果

研究问题

• RQ1 李超代数 $\mathfrak{sl}_{m|n}$ 和 $\mathfrak{osp}_{2|2n}$ 在有限维不可约模和 Kac 模上的第一与第二上同调群是什么？
• RQ2 对于 $\mathfrak{g} = \mathfrak{sl}_{m|n}$ 和 $\mathfrak{g} = \mathfrak{osp}_{2|2n}$，第二上同调群 $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ 是否为零，从而暗示其普遍包络代数的形式刚性？
• RQ3 上同调群如何依赖于不可约模中最高权 $\mu$ 的非典型性？
• RQ4 $\mathfrak{g} = \mathfrak{sl}_{m|n}$ 和 $\mathfrak{g} = \mathfrak{osp}_{2|2n}$ 的 $H^1(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ 和 $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ 的结构是怎样的？
• RQ5 是否可以使用权图和根系数据显式计算上同调群？

主要发现

• 在不可约模 $V$ 上，$H^1(\mathfrak{sl}_{m|n}, V)$ 和 $H^1(\mathfrak{osp}_{2|2n}, V)$ 的第一上同调群被显式计算，其非平凡结果取决于最高权的非典型性。
• 在不可约模上，$H^2(\mathfrak{sl}_{m|n}, V)$ 和 $H^2(\mathfrak{osp}_{2|2n}, V)$ 的第二上同调群对所有权 $\mu$ 均为零，除非在特定非典型情形下，这些情形已被完全分类。
• 对于 $\mathfrak{g} = \mathfrak{sl}_{m|n}$ 和 $\mathfrak{g} = \mathfrak{osp}_{2|2n}$，第二上同调群 $H^2(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ 为零，这意味着 $\mathrm{U}(\mathfrak{g})$ 不接受非平凡的 Gerstenhaber 型形式形变。
• $H^1(\mathfrak{g}, \mathrm{U}(\mathfrak{g}))$ 对于 $\mathfrak{g} = \mathfrak{sl}_{m|n}$ 和 $\mathfrak{g} = \mathfrak{osp}_{2|2n}$ 非零，表明 $\mathrm{U}(\mathfrak{g})$ 的余代数结构接受非平凡形变。
• 上同调计算通过 $A(\mu)$ 和 $NE_\mu$ 矩阵完全分类，且给出了以权数据和非典型根表示的上同调群维数的显式公式。
• 结果解决了 Kac 关于 $\mathfrak{sl}_{m|n}$ 和 $\mathfrak{osp}_{2|2n}$ 在不可约系数下第一上同调的难题，首次为基本经典李超代数中非平凡系数提供了这些上同调群的完整计算。