[論文レビュー] Non-degenerate Killing forms on Hom-Lie superalgebras

Abdoreza Armakan, M. R. Farhangdoost+1 more|arXiv (Cornell University)|Oct 5, 2020

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

ひとこと要約

本稿は、ホモ・リー超代数における非退化的キリング形式の存在を調査し、その形式が存在するための必要十分条件として、代数が非退化的キリング形式をもつ古典的単純ホモ・リー超代数の直積に同型であること、すなわち、その代数が非退化的キリング形式をもつことと同値であることを示している。著者らは不変な双線形形式を分類し、単純ホモ・リー超代数が非自明な左または右イデアルをもたないことを証明し、キリング形式の非退化性に関するカルタン型の基準を導出し、それを再帰的性質と表現の完全可約性に関連づけている。

ABSTRACT

In this paper we investigate some important basic properties of simple Hom-Lie superalgebras and show that a Hom-Lie superalgebra does not have any left or right nontrivial ideals. Moreover, we classify invariant bilinear forms on a given simple Hom-Lie superalgebra. Then we study the Killing forms on a Hom-Lie algebra which are examples of the invariant bilinear forms. Making use of the Killing forms, we find conditions for a Hom-Lie superalgebra to be classical. Furthermore, we check the conditions in which the Killing form of a Hom-Lie superalgebra is non-degenerate.

研究の動機と目的

• 単純ホモ・リー超代数の構造を調査し、非自明な左または右イデアルをもたないことを証明すること。
• 単純ホモ・リー超代数上の不変な双線形形式を分類し、特にキリング形式に焦点を当てること。
• ホモ・リー超代数のキリング形式が非退化的であるための必要十分条件を確立すること。
• キリング形式の性質に基づいて、ホモ・リー超代数が古典的であるとされる条件を特定すること。
• キリング形式の非退化性を用いて、カルタンの基準をホモ・リー超代数の文脈に拡張すること。

提案手法

• グレーディングされたイデアルと、超対称的かつ非退化的な双線形形式に関する直交性を用いて、代数を最小単純成分に分解すること。
• ホモ・ジャコビ恒等式と反対称性を応用し、ホモ・リー超代数の構造を分析すること。
• ホモ代数の文脈において、随伴写像のトレースを用いてキリング形式を定義・分析すること。
• 非退化的キリング形式が、非ゼロの可換グレーディングされたイデアルをもたないことを証明すること。
• 次元に関する帰納法を用いて、非退化的形式をもつホモ・リー超代数が、直交的かつ単純かつ古典的な成分に分解されることを示すこと。
• 表現論を応用し、$\mathfrak{g}_{\bar{0}}$ 上での$γ_{\bar{1}}$-表現の完全可約性が非退化性に必要不可欠であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ホモ・リー超代数のキリング形式が非退化的であるための条件は何か？
• RQ2 キリング形式の性質に基づいて、ホモ・リー超代数がいつ古典的とされるのか？
• RQ3 ホモ・リー超代数は、特に単純な場合に、非自明な左または右イデアルをもつか？
• RQ4 不変な双線形形式、特にキリング形式は、単純成分への分解においてどのように振る舞うか？
• RQ5 キリング形式の非退化性が示唆する構造的性質（例：再帰的性質、完全可約性）は何か？

主な発見

• ホモ・リー超代数は非自明な左または右イデアルをもたず、任意のこのようなイデアルは必然的にグレーディングされたものである。
• ホモ・リー超代数のキリング形式が非退化的であるための必要十分条件は、その代数が非退化的キリング形式をもつ古典的単純ホモ・リー超代数の直積に同型であることである。
• キリング形式を各単純成分に制限すると、その成分ごとに非退化的となり、各成分が古典的であることが示唆される。
• キリング形式が非退化的であれば、偶数部 $\mathfrak{g}_{\bar{0}}$ は再帰的であり、$\mathfrak{g}_{\bar{0}}$ による $\mathfrak{g}_{\bar{1}}$ 上の表現は完全可約的である。
• 双線形形式は超対称的であり、代数はキリング形式に関して直交する最小単純グレーディングされたイデアルの直和に分解される。