[論文レビュー] An extended Freudenthal Magic Square in characteristic 3

Isabel Cunha, Alberto Elduque|ArXiv.org|May 15, 2006

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

ひとこと要約

本稿は、特徴量3における対称的合成超代数を用いて、フロイデンタールの魔法の正方形を特徴量3に拡張し、古典的Lie代数に加えて特徴量0には存在しない新しい単純Lie超代数も含む、超対称性を持つ正方形を構成する。主な貢献は、特徴量0では特異的であるが、特徴量3にのみ存在する非自明な合成超代数に由来するこれらの超代数の体系的分類である。

ABSTRACT

Freudenthal's Magic Square, which in characteristic 0 contains the exceptional Lie algebras other than G2, is extended over fields of characteristic 3, through the use of symmetric composition superalgebras, to a larger square that contains both Lie algebras and superalgebras. With one exception, the simple Lie superalgebras that appear have no counterpart in characteristic 0.

研究の動機と目的

• 特徴量3の体にフロイデンタールの魔法の正方形を拡張すること。これは、Lie代数構造における退化性のため、古典的手法が機能しないためである。
• 特徴量3でのみ非自明に存在する対称的合成超代数を用いて、Lie超代数を魔法の正方形フレームワークに統合すること。
• 拡張された正方形に現れる新しいLie超代数の分類と構造の記述、特に特徴量0に類似物が存在しないものに焦点を当てる。
• 対称的合成超代数 $S$ と $S'$ を用いたLie代数構成 ${\mathfrak{g}}(S, S')$ を用いて、これらの超代数を統一的に構成すること。

提案手法

• 著者たちは、特徴量3でのみ非自明に分類される、次元3および6の対称的合成超代数を、構成 ${\mathfrak{g}}(S, S')$ の入力として用いる。
• 彼らはエルドゥーケ（2004）のLie代数構成を特徴量3の体上で適応し、対称的合成超代数の三重性Lie代数を用いる。
• この構成により、入力超代数の次元によってラベル付けされたLie超代数の対称的正方形が得られ、根空間分解とCartan行列の手法を用いて解析される。
• 各超代数の偶数部分は、例えば $\mathfrak{pgl}_3$ や $\mathfrak{sl}_2$ のような古典的Lie代数の直和に分解される。一方、奇数部分は既約表現のテンソル積として記述される。
• 彼らは表現論を用いて奇数部分の既約性を検証し、偶数部および奇数部の次元を計算する。
• 各超代数の導来代数を特定し、1つの例外を除いて導来代数が全代数においてcodimension 1の単純イデアルであることを示す。

実験結果

リサーチクエスチョン

• RQ1 標準的なLie代数構成が崩壊する特徴量3の体に、フロイデンタールの魔法の正方形をどのように拡張できるか？
• RQ2 この拡張された正方形に現れる新しいLie超代数は何か？ それらは特徴量0のものとどのように異なるか？
• RQ3 特徴量3において関連する対称的合成超代数は何か？ それらはどのように新しいLie超代数の構成に寄与するか？
• RQ4 得られたLie超代数は単純か？ もし単純でなければ、その導来代数の構造は何か？
• RQ5 新しい超代数は、三重系のような既知のLie超代数や構造を用いて分類可能か？

主な発見

• 特徴量3における拡張されたフロイデンタールの魔法の正方形には、特徴量0に存在しないLie超代数が含まれており、唯一の例外は $(6,8)$ のペアで、これは $\mathfrak{psl}_{2,2}$ に一致する。
• $(6,8)$ を除くすべての項において、導来超代数はcodimension 1の単純イデアルであるため、全超代数は単純ではないが、単純なコアを持つ。
• 各Lie超代数の偶数部分は、入力超代数に応じて $\mathfrak{pgl}_3$、$\mathfrak{sl}_2$、$\mathfrak{sp}_6$、$\mathfrak{so}_{12}$、$\mathfrak{f}_4$ などの古典的Lie代数の直和に同型である。
• 各超代数の奇数部分は、例えば $\mathfrak{psl}_3 \otimes (2)$ のような既約表現のテンソル積に同型である。
• ${\mathfrak{g}}(S_{1,2}, S_{1,2})$ は、エルドゥーケ（2006b、定理4.23(ii)）で定義されたLie超代数と同型であり、以前の構成と整合性が確認される。
• ${\mathfrak{g}}(S_{4,2}, S_{4,2})$ は、エルドゥーケ（2006a、定理3.1(ii)）の構成と一致し、シンプレクティックおよび直交三重系に関する以前の結果と整合性がある。