[論文レビュー] The classification of 4-dimensional Leibniz algebras

E.M. Cañete, Abror Khudoyberdiyev|arXiv (Cornell University)|Jan 31, 2013

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

ひとこと要約

この論文は、その零核の非可解外自己同型の分類を通じて構造を特定することにより、すべての複素4次元可解Leibniz代数を分類する。44個の同型でない代数（うち14個が新規）を同定し、前記の可解4次元Leibniz代数の分類を拡張し、可解の場合の完全な分類を提供する。

ABSTRACT

This paper is a contribution to the development of the non associative algebras theory. More precisely, this work deals with the classification of the complex 4-dimensional Leibniz algebras. Note that the classification of 4-dimensional nilpotent complex Leibniz algebras was obtained in [1]. Therefore we will only consider non nilpotent case in this work.

研究の動機と目的

• 前記の可解4次元Leibniz代数の分類に続く、可解で非可解な4次元複素Leibniz代数の分類を完了すること。
• 可解Lie代数に用いられた手法（零核の非可解外自己同型の適用）を、非Lie的性質を持つLeibniz代数の文脈に拡張すること。
• 特にλ₅およびλ₆と同型な零核を有する4次元可解Leibniz代数のすべての同型類を体系的に特定すること。
• 独自のMathematicaベースのアルゴリズムを用いて、構築された代数が互いに同型でないことを検証すること。
• 44個の同型でない4次元可解Leibniz代数（うち14個が以前に知られていなかった）の包括的リストを提供すること。

提案手法

• Leibniz代数におけるLevi-Malcev型分解を用い、与えられた零核を有する可解代数に焦点を当てる。
• Lie代数の技法を適応した、零核の非可解外自己同型を用いた可解Leibniz代数の分類法を適用する。
• 特に右乗算作用素R_xを分析することで、行列として表現された自己同型を用いて括弧構造を定義し代数を構成する。
• 代数の一貫性を保つために、Leibniz恒等式および可解性条件から自己同型に制約を課す。
• 基底変換と正規化を用いて重複するパラメータを排除し、同型なコピーを減らす。
• Mathematicaで実装された計算アルゴリズムを用いて、構築された代数が互いに同型でないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 4次元複素可解Leibniz代数のすべての同型類とは何か？
• RQ2 零核の外自己同型を用いることで、可解Leibniz代数の分類を体系的に行うにはどうすればよいか？
• RQ3 零核がλ₅およびλ₆と同型である4次元可解Leibniz代数はどれか？
• RQ4 4次元の場合に、非同型なLeibniz代数をどのように区別できるか？
• RQ5 この分類で新たに得られたが、以前に知られていなかった代数は何か？

主な発見

• 本論文は、4次元複素可解Leibniz代数の完全な分類を提示し、44個の同型でない代数を同定した。
• 44個の代数のうち14個は新規であり、以前に分類されていなかった。特に、[e₁,e₁]=e₂、[e₁,x]=e₁、[e₂,x]=2e₁、[e₃,x]=3e₁を満たす bracket 構造を有する𝒮₄₃や𝒮₄₄といった代数が含まれる。
• 分類は、4次元可解Leibniz代数の唯一の可能な零核であるλ₅およびλ₆の非可解外自己同型の分析を通じて達成された。
• 代数𝒮₄₃は零核λ₆を有し、[e₁,e₁]=e₂、[e₁,x]=e₁、[e₂,x]=2e₁、[e₃,x]=3e₁という括弧関係を持つ。
• 代数𝒮₄₄は零核λ₅を有し、[e₁,e₂]=e₃、[e₁,x]=e₁、[e₂,x]=e₂、[e₃,x]=2e₃という括弧関係を含む。
• Mathematicaベースのアルゴリズムによる計算支援による検証により、44個の代数がすべて互いに同型でないことが確認された。