[論文レビュー] Classification of solvable Leibniz algebras with naturally graded filiform nilradical

J. M. Casas, M. Ladra+2 more|arXiv (Cornell University)|Mar 21, 2012

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

ひとこと要約

この論文は、リー代数からLeibniz代数への非可解外自己準同型の方法を拡張することで、自然に階化されたフィルフォーム的零核をもつ可解Leibniz代数を分類している。同様に、リー代数と非リー代数の場合を区別し、すべてのこのような代数がスプリット（半直積として分解可能）であることを証明しており、フィルフォーム的零核をもつ可解リー代数に関する先行結果を一般化している。

ABSTRACT

In this paper we show that the method for describing solvable Lie algebras with given nilradical by means of non-nilpotent outer derivations of the nilradical is also applicable to the case of Leibniz algebras. Using this method we extend the classification of solvable Lie algebras with naturally graded filiform Lie algebra to the case of Leibniz algebras. Namely, the classification of solvable Leibniz algebras whose nilradical is a naturally graded filiform Leibniz algebra is obtained.

研究の動機と目的

• 与えられた零核をもつ可解リー代数の分類手法—非可解外自己準同型に基づくもの—をLeibniz代数の状況に拡張すること。
• 自然に階化されたフィルフォーム的Leibniz代数を零核とするすべての可解Leibniz代数を分類すること。
• 零核がリー代数（F_n^1）である場合と非リー代数（F_n^2）である場合を区別し、それぞれ別個の同型類を提供すること。
• すべてのこのような可解Leibniz代数がスプリット、すなわち零核と補完部分の半直積として分解可能であることを証明すること。

提案手法

• 右乗法作用素が自己準同型であるという事実を活用し、リー代数理論における非可解外自己準同型の技法をLeibniz代数に適応すること。
• 既知の自然に階化されたフィルフォーム的Leibniz代数（F_n^1 および F_n^2）の分類を零核として用いること。
• 構造定数でパrameter化された外自己準同型の作用を分析することで、可解拡張を構成すること。
• 基底変換を適用してパrameterを正規化し、重複を排除することで、標準形に到達すること。
• 自己準同型類の分類にあたり、自己準同型行列におけるパrameter δ の値に基づいて場合分けを行うこと。
• 基底変換の不変性を確認し、導来系列および下部中心系列を用いて可解性と可解性を確認することで、同型類を検証すること。

実験結果

リサーチクエスチョン

• RQ1 非可解外自己準同型に基づく可解リー代数の分類手法をLeibniz代数に一般化できるか？
• RQ2 自然に階化されたフィルフォーム的零核をもつ可解Leibniz代数の完全な同型類分類は何か？
• RQ3 零核がリー代数（F_n^1）である場合と非リー代数のLeibniz代数（F_n^2）である場合の分類結果にどのような相違があるか？
• RQ4 自然に階化されたフィルフォーム的零核をもつすべての可解Leibniz代数はスプリットである、すなわち零核と補完部分の半直積として分解可能であるか？

主な発見

• 零核が F_n^1 である (n+1) 次元のすべての可解Leibniz代数は、R_6(α_3,…,α_n,λ,δ) のいずれかに同型であり、δ = 0 または δ = -1 である。
• δ ≠ 0 の場合、代数は R_6(α_3,…,α_n,λ,-1) に同型である。δ = 0 の場合、R_6(α_3,…,α_n,λ,0) に同型であり、基底変換によってパラメータが正規化されている。
• 零核が F_n^2 である (n+2) 次元のすべての可解Leibniz代数は、補完部分の作用に応じて、2つの同型でない代数 L_1 または L_2 のいずれかに同型である。
• 代数 L_1 は、零核が NF_{n-1} である可解Leibniz代数と2次元の可解リー代数の直和である。
• 代数 L_2 は、零核が NF_{n-1} である可解Leibniz代数と2次元の可解非リーLeibniz代数の直和である。
• 本論文は、自然に階化されたフィルフォーム的零核をもつすべての可解Leibniz代数がスプリットであることを証明しており、このクラスに対してリーヴィ分解を一般化している。