[论文解读] An octonionic construction of $E_8$ and the Lie algebra magic square

RA Wilson, Tevian Dray+1 more|arXiv (Cornell University)|Apr 11, 2022

Algebraic structures and combinatorial models参考文献 7被引用 5

一句话总结

本文提出了一种使用八元数的新型 $3\times3$ 矩阵构造方法，用于表示李代数 $\mathfrak{e}_8$，其中李括号通过标准矩阵换位子实现。通过结合三重对称性不变性与 $\mathfrak{so}(8)$ 的统一八元数表示，该构造通过紧致与分裂八元数的张量积，生成了 $\mathfrak{e}_8$ 的所有实形式——紧致、分裂与半分裂形式，且通过矩阵换位子结构确保了雅可比恒等式与维数 248。

ABSTRACT

We give a new construction of the Lie algebra of type $E_8$, in terms of $3 imes3$ matrices, such that the Lie bracket has a natural description as the matrix commutator. This leads to a new interpretation of the Freudenthal-Tits magic square of Lie algebras, acting on themselves by commutation.

研究动机与目标

• 提供一种在实数域上统一的、基于矩阵的 $\mathfrak{e}_8$ 李代数构造方法，自然地将李括号实现为矩阵换位子。
• 通过将 $D_4 + D_4$ 子代数嵌入到三重对称性不变的 $3\times3$ 矩阵框架中，简化维伯格原始的魔术平方构造的复杂性。
• 将 $2\times2$ 魔术平方构造扩展至 $3\times3$ 矩阵，保持代数结构的同时，实现 $\mathfrak{e}_8$ 所有实形式的显式构造。
• 证明所得的 248 维空间在换位子作用下封闭，并通过其在阿尔贝特定代数上的作用验证了雅可比恒等式。

提出的方法

• 构造 $\mathbb{K} \otimes \mathbb{L}$ 上的 $3\times3$ 矩阵，其中 $\mathbb{K}, \mathbb{L} \in \{\mathbb{O}, \mathbb{O}'\}$ 分别为紧致或分裂八元数，以表示李代数 $\mathfrak{e}_8$。
• 利用八元数乘积与三重对称自同构，定义对角矩阵 $D_p, D_{p,q}$ 及其旋转形式 $E_p, F_p$，以保证不变性。
• 定义非对角矩阵 $X_{aA}, Y_{aA}, Z_{aA}$，其元素取自 $\mathbb{K} \otimes \mathbb{L}$，并利用共轭对称性确保其为反厄米特结构。
• 通过线性关系（如 $E_\ell \equiv -(D_\ell + D_{i,i\ell} + \cdots)/2$）对矩阵空间进行商化，得到维数为 248 的向量空间 $\mathcal{V}$。
• 将李括号定义为矩阵换位子 $[V,W] = VW - WV$，并在 $D$、$E$ 和 $F$ 基之间保持一致的计算方式，以避免歧义。
• 通过 $\mathcal{V}$ 在阿尔贝特定代数上的作用验证雅可比恒等式，确保换位子乘积定义良好并满足雅可比恒等式。

实验结果

研究问题

• RQ1 能否通过八元数代数张量积上的 $3\times3$ 矩阵，统一构造 $\mathfrak{e}_8$ 的紧致、分裂与半分裂实形式？
• RQ2 如何将三重对称性不变性融入 $\mathfrak{e}_8$ 的矩阵表示中，以统一 $D_4 + D_4$ 子代数并简化李括号？
• RQ3 在 $3\times3$ 八元数构造的 $\mathfrak{e}_8$ 中，矩阵换位子是否为李括号的有效且自然的实现？
• RQ4 能否将 $\mathfrak{e}_8$ 的 248 维空间显式实现为 $\mathbb{K} \otimes \mathbb{L}$ 上 $3\times3$ 矩阵的商空间，且其换位子运算定义良好？

主要发现

• 所构造的向量空间 $\mathcal{V}$ 的维数恰好为 248，与 $\mathfrak{e}_8$ 的维数一致。
• 通过施加线性关系，李括号作为矩阵换位子被良好定义，且不依赖于代表矩阵的选择。
• 由于换位子作用于阿尔贝特定代数，雅可比恒等式自动成立，从而保证 $\mathcal{V}$ 构成一个李代数。
• 当 $\mathbb{K}$ 与 $\mathbb{L}$ 均为紧致八元数时，该构造给出 $\mathfrak{e}_8$ 的紧致实形式；当两者均为分裂八元数时，给出分裂形式；当一者为紧致、一者为分裂时，给出 $\mathfrak{e}_{8(-24)}$ 形式。
• 该方法通过 $3\times3$ 矩阵自然实现了弗罗本纽斯-蒂茨魔术平方，扩展了 $2\times2$ 情况，保持了统一的矩阵换位子结构。