[論文レビュー] On low-dimensional filiform Leibniz algebras and their invariants

Rakhimov, I. S., Munther A. Hassan|arXiv (Cornell University)|Jan 5, 2010

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

ひとこと要約

この論文は、自然に階数付きのフィルフォーム・リー代数から導かれる$TLeib_n$クラスに属する複素フィルフォーム・ライブニッツ代数の部分クラスについて、次元5および6における完全分類を提示する。適切な基底と不変関数を用いて、同型類を同定する。次元6では5つのパラメトリック族と14個の離散的軌道が得られ、次元5では1つのパラメトリック族と8つの離散的軌道が得られる。非同型の代数を区別する明示的な不変量が提供される。

ABSTRACT

The paper deals with the complete classification of a subclass of complex filiform Leibniz algebras in dimensions 5 and 6. This subclass arises from the naturally graded filiform Lie algebras. We give a complete list of algebras. In parametric families cases, the corresponding orbit functions (invariants) are given. In discrete orbits case, we show a representative of the orbits.

研究の動機と目的

• 次元5および6における$TLeib_n$部分クラスに属するすべての同型類の複素フィルフォーム・ライブニッツ代数の分類を行うこと。
• 非同型構造を区別するためのパラメトリック族の明示的不変関数を提供すること。
• 分類における各軌道の代表元を提示することで、離散的同型類を特定すること。
• 既存の文献と整合性を保つために、分類がすべての既知のフィルフォーム・リー代数を特別な場合として含むことを確認すること。

提案手法

• 構造定数に適合する基底を用いて$TLeib_n$代数の構造を定義し、ライブニッツ恒等式とフィルフォーム的零指数性を満たすように保証すること。
• 構造を保存する群$G_{ad}$を用いて、同型類を構造保存群の作用による軌道同値性として分析すること。
• 構造定数（例：$b_{i,j}$）から導かれる不変関数を用いて連続的族の代数を特徴づける。例：$\frac{(b_{0,1} - b_{2,3}b_{0,0})^4 b_{1,2}^3}{b_{2,3}^3 b_{0,1}^5}$。
• 不変量による軌道のパラメータ化：例えば$U_6^8$に対して$L(\theta, 1, 0, 1, 0, 0)$を示し、各軌道が一意な複素パラメータに対応することを示す。
• 非ゼロの構造定数とそれらの代数的関係に基づく体系的ケース解析を用いて、空間を有限個の同型型に分割すること。
• 既知のケース（例：$U_6^4$, $U_6^6$）を標準リストと照合することで、分類がすべての既知のフィルフォーム・リー代数を含むことを検証すること。

実験結果

リサーチクエスチョン

• RQ1 5次元のフィルフォーム・ライブニッツ代数の$TLeib_5$クラスにおける完全な同型類は何か？
• RQ2 6次元のフィルフォーム・ライブニッツ代数のパラメトリック族は、不変関数を用いてどのように区別できるか？
• RQ3 次元6におけるどの離散的軌道が一意な同型類に対応し、それぞれの代表元は何か？
• RQ4 $TLeib_n$代数の分類は、フィルフォーム・リー代数の分類とどのように関係しているか？
• RQ5 構造定数を用いて、同型型を完全に分類する完全な不変量を定義できるか？

主な発見

• 次元5では、$TLeib_5$クラスには9つの同型類が存在する：1つのパラメトリック族と8つの離散的代数。
• 次元6では、$TLeib_6$クラスには19つの同型類が存在する：5つのパラメトリック族と14つの離散的代数。
• パラメトリック族$U_6^2$の同型不変量は$\frac{(b_{0,1} - b_{2,3}b_{0,0})^4 b_{1,2}^3}{b_{2,3}^3 b_{0,1}^5}$であり、軌道は$\lambda \in \mathbb{C}$に対して$L(0,1,0,\lambda,0,1)$とパラメータ表示される。
• $U_6^7$では2つの不変量が必要である：$\frac{4b_{0,0}b_{1,2}^4 - 2b_{1,3}b_{0,1}b_{1,2}^2 + b_{1,3}^2 b_{1,1}}{b_{1,2} b_{1,1}^2}$ および $\frac{(b_{0,1}b_{1,2}^2 - b_{1,3}b_{1,1})^2}{b_{1,2} b_{1,1}^3}$。軌道は$L(\lambda_1, \lambda_2, 1, 1, 0, 0)$とパラメータ表示される。
• $U_6^8$では不変量$\frac{(2b_{0,0}b_{1,2}^2 - b_{1,3}b_{0,1})^3}{b_{1,2}^3 b_{0,1}^4}$が軌道を完全に分類し、$\lambda \in \mathbb{C}$に対して$L(\lambda, 1, 0, 1, 0, 0)$とパラメータ表示される。
• 次元6の14個の離散的軌道（例：$U_6^3, U_6^4, \dots, U_6^{19}$）はそれぞれ一意な代数に対応する。例えば$U_6^3$の代表元は$L(1,0,0,1,0,1)$、$U_6^{19}$の代表元は$L(0,0,0,0,0,0)$である。