[論文レビュー] On classification of complex filiform Leibniz algebras

J.R. Gómez, B. A. Omirov|arXiv (Cornell University)|Dec 23, 2006

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

ひとこと要約

本稿では、自然に順序付けられた代数が非リーである複雑な繊維状Leibniz代数の分類を、特別なクラスに制限された基底変換に限定することで、明示的な同型条件を導出し、体系的な手法を確立する。主な貢献は、任意の有限次元においてこの分類問題がアルゴリズム的に解けることの証明であり、特定の変換下での構造定数に関する多項式条件への還元が行われる。

ABSTRACT

In this paper we prove that in classifying of complex filiform Leibniz algebras, for which its naturally graded algebra is non-Lie algebra, it suffices to consider some special basis transformations. Moreover, we establish a criterion whether given two such Leibniz algebras are isomorphic in terms of such transformations. The classification problem of filiform Leibniz algebras, for which its naturally graded algebras are non-Lie in an arbitrary dimension, is reduced to the investigation of the obtained conditions.

研究の動機と目的

• 自然に順序付けられた代数が非リーである複素繊維状Leibniz代数の分類問題に取り組む。
• 基底変換の集合を特別なクラスに制限することで、分類プロセスを簡素化する。
• これらの制限された変換を用いて、このような代数間の明示的な同型条件を確立する。
• 任意次元における一般分類問題を、構造定数に関する多項式条件の解法に還元する。
• これらの代数の分類がアルゴリズム的に解ける問題であることを証明する。

提案手法

• 著者たちは、Leibniz代数の乗法表が標準形をとるように適応された基底を用い、構造定数の解析を単純化する。
• 自然に順序付けられた非リー代数の構造を保つ特別なクラスの基底変換に制限する。
• 変換前の後での構造定数を比較することで同型条件を導出し、係数A、Bおよびパラメータαk、βkを含む多項式方程式が得られる。
• 変換後の構造定数α′kおよびβ′kの再帰的表現が、A、Bおよび元のパラメータの多項式として導出され、変換下での一貫性が保証される。
• 変換の可逆性と非退化性を保証するため、A(A+B) ≠ 0およびAD ≠ 0であることが前提となる。
• 分類問題はこれらの多項式条件の解法に還元され、任意の有限次元においてアルゴリズム的可解性が証明される。

実験結果

リサーチクエスチョン

• RQ1 自然に順序付けられた代数が非リーである複素繊維状Leibniz代数の分類を、どの制限された基底変換のクラスにおいて効果的に簡略化できるか。
• RQ2 2つのこのような代数の同型を決定づける構造定数に関する明示的条件は何か。
• RQ3 与えられた変換クラスの下で、構造定数α′kおよびβ′kはどのように再帰的に計算できるか。
• RQ4 これらの代数の分類問題は、与えられた次元において有限個の多項式方程式系の解法に還元できるか。
• RQ5 このような代数の分類はアルゴリズム的に解ける問題か。

主な発見

• 自然に順序付けられた代数が非リーである複素繊維状Leibniz代数の分類は、任意の有限次元においてアルゴリズム的に解ける。
• 2つのこのような代数の同型は、制限された基底変換のクラスにおける構造定数の比較によって決定できる。
• 変換後の構造定数α′kおよびβ′kは、A、B、Dおよび元のパラメータの多項式として明示的に与えられ、再帰的構造を持つ。
• 変換後の基底要素の係数を一致させることで同型の条件が導かれるが、これにより有限個の多項式方程式系が得られる。
• この方法により分類問題はこれらの多項式条件の解法に還元され、各次元において完全性と有限性が保証される。
• 結果は、繊維状リー代数に対する従来の分類結果を一般化し、Leibniz代数の非リーの場合へと拡張する。