[论文解读] Magic squares and matrix models of Lie algebras

Christine H Barton, Anthony Sudbery|ArXiv.org|Mar 1, 2002

Advanced Topics in Algebra参考文献 13被引用 4

一句话总结

本文利用八元数和替代代数构建了例外李代数的矩阵模型，将经典李代数如 su(3)、sl(3) 和 sp(6) 推广至 E6、E7 和 F4 的实形式。通过使用分裂组合代数扩展 Tits 魔法平方构造，得出了这些代数的对称矩阵描述，借助八元数类比统一了例外代数与经典李代数。

ABSTRACT

This paper is concerned with the description of exceptional simple Lie algebras as octonionic analogues of the classical matrix Lie algebras. We review the Tits-Freudenthal construction of the magic square, which includes the exceptional Lie algebras as the octonionic case of a construction in terms of a Jordan algebra of hermitian 3x3 matrices (Tits) or various plane and other geometries (Freudenthal). We present alternative constructions of the magic square which explain its symmetry, and show explicitly how the use of split composition algebras leads to analogues of the matrix Lie algebras su(3), sl(3) and sp(6). We adapt the magic square construction to include analogues of su(2), sl(2) and sp(4) for all real division algebras.

研究动机与目标

• 提供例外李代数的矩阵描述，使其与经典矩阵李代数相融合。
• 通过使用分裂组合代数，将 Tits-Freudenthal 魔法平方构造扩展至非紧致实形式。
• 为替代代数 K 定义李代数 sa(3,K)、sl(3,K) 和 sp(6,K)，当 K=C 时恢复经典代数，当 K=O 时得到例外实形式。
• 将构造推广至 2×2 矩阵，为所有实除法代数提供 su(2)、sl(2,C) 和 sp(4,C) 的类比。
• 通过 Vinberg 的张量积方法和 Ramond 的三重性代数，建立魔法平方的明显对称构造。

提出的方法

• 将李代数 sa(3,K)、sl(3,K) 和 sp(6,K) 构造为替代代数 K 上的矩阵代数，当 K=O 时得到 F4、E6 和 E7 的实形式。
• 将 Tits 魔法平方 T(K,J) 适配为使用 K 的分裂形式，生成行对应于矩阵李代数的非对称魔法平方。
• 应用 Vinberg 的构造，利用代数的张量积实现魔法平方的明显对称性。
• 使用 Ramond 的三重性代数，提供魔法平方的另一种对称构造。
• 利用替代代数中的广义矩阵恒等式和结合子关系，验证封闭性和 Jacobi 恒等式。
• 通过 H3(K) 和 A3(K) 中的迹和 Jordan 积性质，推导结构常数和换位子恒等式。

实验结果

研究问题

• RQ1 如何将例外李代数描述为经典矩阵李代数的八元数类比？
• RQ2 分裂组合代数在将 Tits 魔法平方扩展至非紧致实形式中起什么作用？
• RQ3 矩阵李代数 sa(3,K)、sl(3,K) 和 sp(6,K) 如何在 K=C 时推广经典代数，并在 K=O 时生成 E6、E7 和 F4 的实形式？
• RQ4 能否通过张量积或三重性等替代代数框架，使魔法平方构造具有明显对称性？
• RQ5 在替代代数及其相关李代数的背景下，2×2 与 3×3 矩阵构造之间有何关系？

主要发现

• 李代数 sa(3,O) 同构于 F4 的紧致实形式，将 su(3) 推广至八元数情形。
• 李代数 sl(3,O) 是 E6 的非紧致实形式，将 sl(3,C) 推广至八元数设定。
• 李代数 sp(6,O) 是 E7 的非紧致实形式，类比于复情形下的 sp(6,C)。
• 对于分裂代数，L3(K,R) = sa(3,K)，L3(K,C~) = sl(3,K)，L3(K,H~) = sp(6,K)，构成非对称魔法平方。
• 2×2 矩阵构造产生 sa(2,K)、sl(2,K) 和 sp(4,K)，当 K=C 时分别约化为 su(2)、sl(2,C) 和 sp(4,C)，且同构于伪正交代数。
• 本文证明，替代代数上矩阵代数的换位子恒等式通过结合子恒等式和迹条件满足 Jacobi 恒等式，从而确认了李代数结构。