[論文レビュー] 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の三重性代数を用いて、魔法の正方形の明示的な対称的構成を確立する。

提案手法

• 代数的代数K上の行列代数として、リー代数sa(3,K)、sl(3,K)、sp(6,K)を構築し、K=OのときF4、E6、E7の実形式が得られる。
• Titsの魔法の正方形T(K,J)を、Kのスプリット形を用いて再構成し、行列リー代数に対応する非対称な魔法の正方形を生成する。
• 代数のテンソル積を用いたVinbergの構成を適用し、魔法の正方形における明示的な対称性を達成する。
• Ramondの三重性代数を用いて、魔法の正方形の代替的対称的構成を提供する。
• 代数的代数における一般化された行列恒等式および結合子関係を用いて、閉包性およびJacobi恒等式の検証を行う。
• H3(K)およびA3(K)におけるトレースおよびジョルダン積の性質を用いて、構造定数および交換子恒等式を導出する。

実験結果

リサーチクエスチョン

• 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恒等式を満たすことを証明し、リー代数構造の正当性を確認した。