[論文レビュー] Cartan matrices and presentations of the exceptional simple Elduque Lie superalgebra

Sofiane Bouarroudj, Pavel Grozman+1 more|ArXiv.org|Nov 13, 2006

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

ひとこと要約

本稿では、特異的単純リー超代数 ${\mathfrak{el}}$ が ${\mathfrak{o}}(11)$ とそのスピン表現 $\Gamma_5$ の拡張として特徴 5 で構成される場合、同型でない Cartan 行列と定義関係の完全分類を提示する。SuperLie パッケージを用いて、奇数反転を用いて 7 つの異なる Cartan 行列を同定し、それぞれの非-セール型定義関係を列挙し、最大根の分解と逆 Cartan 行列を計算することで、この特異的超代数の構造的基盤を提供する。

ABSTRACT

Recently Alberto Elduque listed all simple and graded modulo 2 finite dimensional Lie algebras and superalgebras whose odd component is the spinor representation of the orthogonal Lie algebra equal to the even component, and discovered one exceptional such Lie superalgebra in characteristic 5. For this Lie superalgebra all inequivalent Cartan matrices (in other words, inequivalent systems of simple roots) are listed together with defining relations between analogs of its Chevalley generators.

研究の動機と目的

• 特徴 5 における特異的単純リー超代数 ${\mathfrak{el}}$ の同型でないすべての Cartan 行列を体系的に特定すること。
• 各 Cartan 行列による ${\mathfrak{el}}$ の実現における明示的定義関係（セール型および非セール型を含む）を提供すること。
• ${\mathbb{Z}}$ 上での最大根の単純根への線形従属の係数を計算し、各 Cartan 行列の逆行列を特定すること。
• Chevalley生成子と奇数反転を用いた実用的な計算枠組みを構築することにより、非セール型関係の複雑さにもかかわらず ${\mathfrak{el}}$ の計算を可能にすること。

提案手法

• 著者らは SuperLie パッケージを用いて、奇数反転を用いて ${\mathfrak{el}}$ の同型でないすべての Cartan 行列を計算および分類する。奇数反転により単純根系が別の単純根系に変換される。
• 各 Cartan 行列は別個の単純根系に対応する。行列は初期の行列に対して奇数反転を適用することで得られ、対角成分に基づく制約が課される。
• 7 つの Cartan 行列それぞれに対して、定義関係を明示的に列挙する。これらには、Cartan 行列のみでは符号化されない非-セール型関係が含まれる。
• 最大根は高さ 41 であることが特定され、それらの重みは単純根の整数線形結合として表現される。
• 各 Cartan 行列の逆行列が計算され、$\mathbb{Z}/5\mathbb{Z}$ 上の成分として提示される。これにより、さらなる構造的解析が可能になる。
• 括弧 $[\cdot,\cdot]: S^2({\mathfrak{el}}_{\bar{1}}) \to {\mathfrak{el}}_{\bar{0}}$ は関係式を通じて暗黙的に符号化されているが、成分形式での明示的記述は行われていない。

実験結果

リサーチクエスチョン

• RQ1 特徴 5 における特異的リー超代数 ${\mathfrak{el}}$ の同型でないすべての Cartan 行列は何か？
• RQ2 各 Cartan 行列に対して、定義関係（特に非-セール型関係）を体系的に提示する方法は何か？
• RQ3 最大根の単純根への分解係数は $\mathbb{Z}$ 上でどのように表され、異なる根系間でどのように変化するか？
• RQ4 奇数反転は、${\mathfrak{el}}$ の同型でない Cartan 行列の全セットをどのように生成するか？
• RQ5 逆 Cartan 行列の構造は何か？また、${\mathfrak{el}}$ の文脈において、元の行列とどのように関係するか？

主な発見

• 特異的リー超代数 ${\mathfrak{el}}$ に対して、同型でない 7 つの Cartan 行列が特定され、それらは別個の単純根系に対応する。
• ${\mathfrak{el}}$ の最大根は高さ 41 であり、行列 1～4 および 7 に対して重み $(1,0,0,0,0)$、行列 5 に対して重み $(4,0,0,0,0)$ である。
• 最大根の単純根への分解係数が $\mathbb{Z}$ 上で明示的に計算され、行列 5 では最初の単純根に対する係数が最大の 5 を示す。
• 7 つの Cartan 行列それぞれに対して非-セール型定義関係が列挙され、特に行列 7 ではネストされた交換子と係数（例：$-2$ および $-1$）を含む複雑な関係が含まれる。
• 各 Cartan 行列の逆行列が計算され、$\mathbb{Z}/5\mathbb{Z}$ 上の成分として提示され、7 つの行列すべてが可逆であることが確認された。
• 本稿は、${\mathfrak{el}}$ が Cartan 行列を有することを確認し、当初の存在の不確実性を解消した。さらに、Chevalley生成子表現のための完全な計算枠組みを提供した。