[论文解读] Indecomposable representations of Lie superalgebras

Dimitry Leites|ArXiv.org|Feb 18, 2002

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

一句话总结

本文使用盖尔范德与波诺马廖夫的技巧，对李超代数 ${\mathfrak{sl}}(1|2)$ 和 ${\mathfrak{osp}}(2|2)$ 的有限维不可约表示进行了完整分类，并将结果推广至 ${\mathfrak{sl}}(1|n)$ 和 ${\mathfrak{osp}}(2|2n)$。主要贡献在于明确描述了不可约模的结构，表明对于这些代数，典型不可约表示可参与构成不可约模，这与没有卡坦矩阵的其他单李超代数不同。

ABSTRACT

In 1960's I. Gelfand posed a problem: describe indecomposable representations of any simple infinite dimensional Lie algebra of polynomial vector fields. Here, by applying the elementary technique of Gelfand and Ponomarev, a toy model of the problem is solved: finite dimensional indecomposable representations of vect(0|2), the Lie superalgebra of vector fields on the (0|2)-dimensional superspace, are described. Since vect (0|2) is isomorphic to sl(1|2) and osp(2|2), their representations are also described. The result is generalized in two directions: for sl(1|n) and osp(2|2n). Independently and differently J. Germoni described indecomposable representation of the series sl(1|n) and several individual Lie superalgebras. Partial results for other simple Lie superalgebras without Cartan matrix are reviewed. In particular, it is only for vect(0|2) and sh(0|4) that the typical irreducible representations can not participate in indecomposable modules; for other simple Lie superalgebras without Cartan matrix (of series vect(0|n), svect(0|n)$, svect(0|n)', spe(n) for n>2 and sh(0|m) for m>4) one can construct indecomposable representations with arbitrary composition factors. Several tame open problems are listed, among them a description of odd parameters

研究动机与目标

• 通过研究有限维的简化模型，回应 I. 盖尔范德在 1960 年代提出的关于分类无限维李代数不可约表示的问题。
• 使用基本的表示论技巧，描述所有与 ${\mathfrak{sl}}(1|2)$ 和 ${\mathfrak{osp}}(2|2)$ 同构的 ${\mathfrak{vect}}(0|2)$ 的有限维不可约表示。
• 将分类结果推广至 ${\mathfrak{sl}}(1|n)$ 和 ${\mathfrak{osp}}(2|2n)$ 系列，扩展初始简化模型的适用范围。
• 分析典型不可约表示在不同李超代数的不可约模中的作用，特别是那些没有卡坦矩阵的代数。
• 识别并突出开放问题，尤其是不可约模中奇参数尚未解决的问题。

提出的方法

• 采用盖尔范德与波诺马廖夫的方法，分析 ${\mathfrak{vect}}(0|2)$ 上模的结构，利用其与 ${\mathfrak{sl}}(1|2)$ 和 ${\mathfrak{osp}}(2|2)$ 的同构关系。
• 分类依赖于有限维李超代数的表示理论，特别关注 ${\mathfrak{h}}$-可对角化性与权空间分解。
• 利用超迹与李超代数的矩阵实现，定义并研究保持双线性型的自同态代数，如 ${\mathfrak{osp}}(m|2n)$ 和 ${\mathfrak{pe}}(n)$。
• 区分对称与反对称超形式，使用标准矩阵形式如 $J_{2n}$ 和 $B_{ev}(m|2n)$ 对应的李超代数进行分类。
• 从 ${\mathfrak{sl}}(1|2)$ 推广至 ${\mathfrak{sl}}(1|n)$，从 ${\mathfrak{osp}}(2|2)$ 推广至 ${\mathfrak{osp}}(2|2n)$，利用代数及其表示的结构性质。
• 回顾其他无卡坦矩阵的单李超代数的部分结果，如 ${\mathfrak{vect}}(0|n)$、${\mathfrak{svect}}(0|n)$、${\mathfrak{s}}{\mathfrak{pe}}(n)$ 和 ${\mathfrak{s}}{\mathfrak{h}}(0|m)$，以比较不可约模的行为。

实验结果

研究问题

• RQ1 ${\mathfrak{sl}}(1|2)$ 和 ${\mathfrak{osp}}(2|2)$ 存在哪些有限维不可约表示？如何对它们进行显式分类？
• RQ2 对 ${\mathfrak{sl}}(1|2)$ 的不可约表示分类在多大程度上可推广至一般族 ${\mathfrak{sl}}(1|n)$？
• RQ3 典型不可约表示在不同李超代数的不可约模中作为合成因子时，其性质有何差异？
• RQ4 奇参数在不可约表示结构中起什么作用？为何其确定仍是开放问题？
• RQ5 在哪些无卡坦矩阵的李超代数中，可以构造出具有任意合成因子的不可约表示？

主要发现

• 本文对 ${\mathfrak{sl}}(1|2)$ 和 ${\mathfrak{osp}}(2|2)$ 的有限维不可约表示提供了完整分类，为更广泛的 ${\mathfrak{sl}}(1|n)$ 和 ${\mathfrak{osp}}(2|2n}$ 系列奠定了基础。
• 对于 ${\mathfrak{sl}}(1|n)$ 和 ${\mathfrak{osp}}(2|2n)$，不可约模已得到完整描述，其构造基于权空间分解与 ${\mathfrak{h}}$-可对角化性。
• 与其它无卡坦矩阵的单李超代数（如 $n\geq 3$ 时的 ${\mathfrak{vect}}(0|n)$）不同，${\mathfrak{vect}}(0|2)\simeq{\mathfrak{sl}}(1|2)$ 和 ${\mathfrak{s}}{\mathfrak{h}}(0|4)\simeq{\mathfrak{psl}}(2|2)$ 的典型不可约表示无法参与构成不可约模。
• 对于其他所有无卡坦矩阵的单李超代数（包括 ${\mathfrak{svect}}(0|n)$、${\widetilde{\mathfrak{svect}}}(0|n)$、$n\geq 3$ 时的 ${\mathfrak{s}}{\mathfrak{pe}}(n)$，以及 $m\geq 5$ 时的 ${\mathfrak{s}}{\mathfrak{h}}(0|m)$），均可构造出具有任意合成因子的不可约表示。
• 本文指出，不可约模中奇参数的计算是主要开放问题，尽管模的结构本身已完全分类。
• 本工作证实，单李超代数的有限维表示通常并非完全可约，除 ${\mathfrak{osp}}(1|2n)$ 外，这凸显了研究不可约模的必要性。