[論文レビュー] 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$ 行列構成により、Lie代数 $\mathfrak{e}_8$ の新規構成を提示する。Lie括弧は標準的な行列交換子として実現される。三重性不変性と $\mathfrak{so}(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.

研究の動機と目的

• 実数上のLie代数 $\mathfrak{e}_8$ の統一的で行列ベースの構成を提供し、Lie括弧を行列交換子として自然に実現すること。
• Vinbergの元来のマジック・スクエア構成の複雑さを解消するため、$D_4 + D_4$ の部分代数を三重性不変な $3\times3$ 行列枠組みに埋め込むこと。
• $2\times2$ マジック・スクエア構成を $3\times3$ 行列に拡張し、代数的構造を保ちつつ、$\mathfrak{e}_8$ のすべての実形式の明示的実現を可能にすること。
• 結果として得られる248次元空間が交換子に関して閉じており、アートブル代数への作用を通じてジャコビ恒等式を満たすことを示すこと。

提案手法

• $\mathbb{K}, \mathbb{L} \in \{\mathbb{O}, \mathbb{O}'\}$ であるコンパクトまたはスプリット・オクタニオンのテンソル積 $\mathbb{K} \otimes \mathbb{L}$ 上の $3\times3$ 行列を構成し、Lie代数 $\mathfrak{e}_8$ を表現する。
• 三重性自己同型を用いたオクタニオン積に基づく対角行列 $D_p, D_{p,q}$ 及びその回転版 $E_p, F_p$ を定義し、不変性を確保する。
• $\mathbb{K} \otimes \mathbb{L}$ に値をとる非対角行列 $X_{aA}, Y_{aA}, Z_{aA}$ を定義し、共役対称性を用いて反エルミート構造を保証する。
• 線形関係（例：$E_\ell \equiv -(D_\ell + D_{i,i\ell} + \cdots)/2$）を課して、行列空間を248次元のベクトル空間 $\mathcal{V}$ に商すること。
• Lie括弧を行列交換子 $[V,W] = VW - WV$ として定義し、$D$、$E$、$F$ の各基底で一貫した計算が行われるよう、あいまいさを回避する。
• $\mathcal{V}$ がアートブル代数に作用するジャコビ恒等式を用いて、交換子積が適切に定義されており、ジャコビ恒等式を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト、スプリット、半スプリットの $\mathfrak{e}_8$ 実形式は、オクタニオン代数のテンソル積上の $3\times3$ 行列を用いて一様に構成可能か？
• RQ2 三重性不変性は、$\mathfrak{e}_8$ の行列表現にどのように組み込まれ、$D_4 + D_4$ の部分代数を統一し、Lie括弧を簡略化できるか？
• RQ3 $3\times3$ オクタニオン構成における $\mathfrak{e}_8$ のLie括弧として、行列交換子は妥当かつ自然な実現か？
• RQ4 $\mathfrak{e}_8$ の248次元空間は、$\mathbb{K} \otimes \mathbb{L}$ 上の $3\times3$ 行列の商として明示的に実現可能か？ 交換子は一貫して定義可能か？

主な発見

• 構成されたベクトル空間 $\mathcal{V}$ は正確に次元248であり、$\mathfrak{e}_8$ の次元と一致する。
• 線形関係を課えたことで、行列交換子として定義されたLie括弧は代表行列の選択に依存せず、一意に定まる。
• 交換子がアートブル代数に作用するため、ジャコビ恒等式は自動的に成立し、$\mathcal{V}$ がLie代数をなすことが保証される。
• 両方の $\mathbb{K}$ と $\mathbb{L}$ がコンパクト・オクタニオンのとき、コンパクト実形式が得られ、両方がスプリットのときスプリット形式が得られ、片方がコンパクトで片方がスプリットのとき $\mathfrak{e}_{8(-24)}$ 形式が得られる。
• 本手法により、$3\times3$ 行列を用いたFreudenthal–Titsのマジック・スクエアの自然な実現が可能となり、$2\times2$ の場合を拡張し、統一的で行列交換子構造を持つ。