[論文レビュー] 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)$ の対称性を明確にする。
• 代数的代数 $\mathbb{K}$ 上の行列代数として $\mathfrak{sa}(3,\mathbb{K})$、$\mathfrak{sl}(3,\mathbb{K})$、$\mathfrak{sp}(6,\mathbb{K})$ を定義し、$\mathfrak{su}(3)$、$\mathfrak{sl}(3,\mathbb{C})$、$\mathfrak{sp}(6,\mathbb{C})$ を一般化する。
• 代数的代数 $\mathbb{K}$ 上の $3\times3$ ヘルミート行列のジョルダン代数 $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})$ を一般化する。
• 除法的代数 $\mathbb{K}_2$ をその分裂形 $\tilde{\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$ の最大コンパクト部分代数が、一貫した符号構造を持つ直交補空間を介して正しく同定されていることが確認された。