[论文解读] Group Gradings on Simple Lie Algebras of Type "A"

Yuri Bahturin, Mikhail Zaicev|ArXiv.org|Jun 2, 2005

Advanced Topics in Algebra参考文献 6被引用 47

一句话总结

本文对代数闭域上特征零的 A 型单李代数（即 $\ mathrm{sl}(n)$）的所有有限阿贝尔群 gradings 进行了分类。结果表明，所有此类 grading 均源自于全矩阵代数 $M_n$ 上的初等 grading（类型 I），或源自于 $M_n$ 上保持对合的 grading 与一个二阶元素的特定扭（类型 II）。文章为两种类型提供了显式构造，方法是利用具有初等 grading 和精细 grading 的矩阵代数的张量积。

ABSTRACT

In this paper we describe all group gradings by a finite abelian group G of any Lie algebra L of the type "A" over algebraically closed field F of characteristic zero.

研究动机与目标

• 对代数闭域上特征零的 A 型单李代数（特别是 $\mathrm{sl}(n)$）的所有有限阿贝尔群 grading 进行分类。
• 确定所有此类 grading 是否均可通过 $M_n$ 上的 grading 限制或通过 $M_n$ 上的对合得到。
• 为所有可能的 grading 提供显式构造与结构描述，区分类型 I（初等）与类型 II（对合扭）grading。
• 证明这两种类型穷尽了 $\mathrm{sl}(n)$ 上所有可能的有限阿贝尔群 grading（模内自同构共轭）。
• 建立 $\mathrm{sl}(n)$ 上的 grading 与 $M_n$ 上尊重对合的 grading 之间的对应关系，利用张量积分解与支撑条件。

提出的方法

• 作者利用这样一个事实：任何有限阿贝尔群 $G$ 对单李代数 $\mathrm{sl}(n)$ 的 grading 必须源自于全矩阵代数 $M_n$ 上的 grading，因为其支撑生成一个阿贝尔子群。
• 他们通过两种主要类型对 $M_n$ 上的 grading 进行分类：由 $G^n$ 中的 $n$-元组定义的初等 grading，以及支持同构于 $\mathbb{Z}_2^k$ 的矩阵代数上的精细 grading，后者用于构造类型 II grading。
• 对于类型 I grading，$\mathrm{sl}(n)$ 上的 grading 通过将 $M_n$ 的 $G$-grading 限制到迹为零的矩阵上得到，其齐次分量由矩阵单位 $E_{ij}$ 和迹为零的对角矩阵定义。
• 对于类型 II grading，构造方法使用一个保持 $G$-grading 的 $M_n$ 上的对合，并通过一个二阶元素 $h$ 对齐次分量的对称与反对称部分进行扭，从而在 $\mathrm{sl}(n)$ 上定义 grading。
• 该方法涉及将 $M_n$ 分解为张量积 $A \otimes B$，其中 $A \cong M_p$ 具有初等 $G$-grading，$B \cong M_q$ 具有支持为 $T \cong \mathbb{Z}_2^k$ 的精细 $G$-grading，且 $A$ 的支撑与 $B$ 的支撑在交集中平凡。
• 给出了两种类型下 $\mathrm{sl}(n)$ 的齐次分量 $L_g$ 的显式公式，使用特定度数和对称性质的齐次元素 $Y \otimes X_t$ 的张量。

实验结果

研究问题

• RQ1 能否对代数闭域上特征零的 $\mathrm{sl}(n)$ 上的所有有限阿贝尔群 grading 进行分类？
• RQ2 所有此类 $\mathrm{sl}(n)$ 上的 grading 是否均可由 $M_n$ 上的 grading 诱导得到？
• RQ3 $\mathrm{sl}(n)$ 上的 grading 是否仅源自于 $M_n$ 上的初等 grading，还是也源自于 $M_n$ 上的对合？
• RQ4 是否存在对所有可能的 $\mathrm{sl}(n)$ 上 grading 的完整结构描述，包括齐次分量的显式公式？
• RQ5 每个 $\mathrm{sl}(n)$ 上的 grading 是否均可实现为尊重对合的 $M_n$ 上 grading 的限制或扭？

主要发现

• 在代数闭域上特征零的 $\mathrm{sl}(n)$ 上，所有有限阿贝尔群 grading 均通过 $M_n$ 的内自同构共轭，与类型 I 或类型 II grading 共轭。
• 类型 I grading 源于 $M_n$ 上的初等 $G$-grading，由 $p$-元组 $(g_1,\dots,g_p) \in G^p$ 定义，其中 $\deg E_{ij} = g_i^{-1}g_j$。
• 类型 II grading 源于一个保持对合的 $G$-grading，$\mathrm{sl}(n)$ 上的 grading 通过取齐次分量的反对称与对称部分，并用一个二阶元素 $h$ 扭转来定义。
• 对于类型 II grading，矩阵代数 $M_n$ 被分解为 $A \otimes B$，其中 $A \cong M_p$ 具有初等 grading，$B \cong M_q$ 具有支持 $T \cong \mathbb{Z}_2^k$ 的精细 grading，且满足 $n_1 = \cdots = n_k = 2$。
• 类型 II grading 的齐次分量 $L_g$ 显式描述为特定度数 $g$ 的齐次元素 $Y \otimes X_t$ 的张量，其对称性取决于 $g$ 相对于 $h$ 的取值，当 $g = h$ 时需特别处理。
• 该分类是完备的：$\mathrm{sl}(n)$ 上的每个 grading 均源自于这两种类型之一，不存在其他类型的 grading。