[论文解读] Magic Squares of Lie Algebras

Christine H Barton, Sudbery, A.|ArXiv.org|Jan 14, 2000

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

一句话总结

本文通过在替代代数上的 $3\times3$ 和 $2\times2$ 矩阵构造李代数的魔术方阵，将经典的矩阵李代数（如 $\mathfrak{su}(3)$、$\mathfrak{sl}(3)$ 和 $\mathfrak{sp}(6)$）推广至包括 $F_4$、$E_6$、$E_7$ 和 $E_8$ 在内的例外李代数。通过使用对偶性重新表述蒂茨的魔术方阵，作者建立了一个对称且系统化的构造方法，使经典与例外李代数通过除法代数和分裂代数上的矩阵模型得以统一。

ABSTRACT

An improved (streamlined and extended) version of this paper is available as math.RA/0203010, which however omits some details. We recommend the later version unless details are essential.

研究动机与目标

• 为例外李代数提供基于矩阵的描述，使其与经典群相融合。
• 通过对偶性的概念解释蒂茨魔术方阵的对称性，推广导子的概念。
• 为替代代数 $\mathbb{K}$ 定义李代数 $\mathfrak{sa}(3,\mathbb{K})$、$\mathfrak{sl}(3,\mathbb{K})$ 和 $\mathfrak{sp}(6,\mathbb{K})$，恢复 $F_4$、$E_6$ 和 $E_7$ 的紧致与非紧致实形式。
• 将构造扩展至 $2\times2$ 矩阵，得到伪正交李代数的魔术方阵。

提出的方法

• 通过使用对偶性重新表述蒂茨的魔术方阵，使 $L_3(\mathbb{K}_1, \mathbb{K}_2)$ 的对称性变得明显。
• 将李代数 $\mathfrak{sa}(3,\mathbb{K})$、$\mathfrak{sl}(3,\mathbb{K})$ 和 $\mathfrak{sp}(6,\mathbb{K})$ 定义为在替代代数 $\mathbb{K}$ 上的矩阵代数，推广 $\mathfrak{su}(3)$、$\mathfrak{sl}(3,\mathbb{C})$ 和 $\mathfrak{sp}(6,\mathbb{C})$。
• 以 $3\times3$ 酉矩阵在替代代数 $\mathbb{K}$ 上的约当代数 $H_3(\mathbb{K})$ 作为构建 $L_3(\mathbb{K}_1, \mathbb{K}_2)$ 的基础。
• 通过类似的矩阵构造方法构建 $2\times2$ 魔术方阵 $L_2(\mathbb{K}_1, \mathbb{K}_2)$，得到伪正交李代数。
• 证明当 $\mathbb{K} = \mathbb{O}$ 时，李代数 $\mathfrak{sa}(3,\mathbb{K})$、$\mathfrak{sl}(3,\mathbb{K})$ 和 $\mathfrak{sp}(6,\mathbb{K})$ 对应于 $F_4$、$E_6$ 和 $E_7$ 的实形式。
• 通过子空间之间的括号运算验证李代数结构，特别是 $H_3'(\mathbb{O})$ 与分裂代数分量的张量积之间的运算。

实验结果

研究问题

• RQ1 如何通过导子的推广，系统地解释蒂茨魔术方阵的对称性？
• RQ2 在替代代数上，哪些矩阵李代数构造能产生例外李代数 $F_4$、$E_6$、$E_7$ 和 $E_8$？
• RQ3 当 $\mathbb{K} = \mathbb{C}$ 时，$3\times3$ 和 $2\times2$ 李代数的魔术方阵如何与经典矩阵李代数相关联？
• RQ4 作为八元数和分裂代数上的矩阵代数，$E_6$、$E_7$ 和 $E_8$ 的实形式是什么？
• RQ5 在 $E_6$、$E_7$ 和 $E_8$ 的非紧致实形式中，正交补子空间在李括号下的行为如何？

主要发现

• 李代数 $\mathfrak{sa}(3,\mathbb{O})$ 是 $F_4$ 的紧致实形式，推广了 $\mathfrak{su}(3)$。
• 李代数 $\mathfrak{sl}(3,\mathbb{O})$ 是 $E_6$ 的非紧致实形式，扩展了 $\mathfrak{sl}(3,\mathbb{C})$。
• 李代数 $\mathfrak{sp}(6,\mathbb{O})$ 是 $E_7$ 的非紧致实形式，推广了 $\mathfrak{sp}(6,\mathbb{C})$。
• 用其分裂形式 $\tilde{\mathbb{K}}_2$ 替换除法代数 $\mathbb{K}_2$，可得到非对称魔术方阵，其行分别对应 $\mathfrak{sa}(3,\mathbb{K})$、$\mathfrak{sl}(3,\mathbb{K})$ 和 $\mathfrak{sp}(6,\mathbb{K})$。
• $2\times2$ 魔术方阵产生与伪正交代数（如 $\mathfrak{so}(p,q)$）同构的李代数，适用于分裂代数。
• 括号运算计算证实，非紧致形式的 $E_6$、$E_7$ 和 $E_8$ 的极大紧致子代数可通过具有一致符号结构的正交补子空间正确识别。