[論文レビュー] On Isomorphism Classes and Invariants of Low Dimensional Complex Filiform Leibniz Algebras (PART 1)

I. S. Rakhimov, Sharifah Kartini Said Husain|ArXiv.org|Oct 1, 2007

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

ひとこと要約

この論文は、[4]で事前に確立された分解の第一類から、次元8までの複素非リー型フィルフォームLeibniz代数を完全に分類する。不変量に基づく同型基準を適用し、次元8で25個の同型類を導出し、$ N_n = n^2 - 7n + 17 $ という公式を、次元 $ n $ の同型類の数についての予想として提示する。この公式は $ n = 8 $ および $ n = 9 $ で検証済みである。

ABSTRACT

The paper aims to investigate the classification problem of low dimensional complex none Lie filiform Leibniz algebras. There are two sources to get classification of filiform Leibniz algebras. The first of them is the naturally graded none Lie filiform Leibniz algebras and the another one is the naturally graded filiform Lie algebras. Here we do consider Leibniz algebras appearing from the naturally graded none Lie filiform Leibniz algebras. This class can be splited into two subclasses. However, isomorphisms within each class there were not investigated. Before U.D.Bekbaev and I.S.Rakhimov suggested an approach to the isomorphism problem in terms of invariants. This paper presents an implementation of their result in low dimensional cases. Here we give the complete classification of complex none Lie filiform Leibniz algebras in dimensions at most 8 from the first class of the above mentioned result and give a hypothetic formula for the number of isomorphism classes in finite dimensional case.

研究の動機と目的

• 文献[4]における分解の第一類から、次元8までのすべての同型類の複素非リー型フィルフォームLeibniz代数を分類すること。
• 文献[6]の不変量に基づく同型基準を用いて、低次元における非同型の代数を区別すること。
• 次元8における同型類の代表元を完全に列挙し、合計25個の異なる代数を提示すること。
• 有限次元の複素非リー型フィルフォームLeibniz代数の同型類の数についての一般公式を提示すること。
• 今後の中での第二類の代数の分類の基盤を築くこと。

提案手法

• 文献[6]の不変量に基づく同型基準を用い、$ GL_n(\field{C}) $-作用における不変量を用いて代数の同値性を判定する。
• パラメータ $ A $ および $ B $ を用いた変換則を適用し、$ A(A+B) \neq 0 $ を満たすようにして、同型な代数の構造定数を関連付ける。
• 二項係数とネストされた和を含む再帰的公式を用いて、元の $ \beta_k $ で表される変換された構造定数 $ \beta_t $ を計算する。
• 各次元について、パラメータ $ \theta, \beta_3, \beta_4, \beta_5, \beta_6 $ における多項式方程式系の解法に分類問題を還元する。
• 第一類の代数がパラメータ $ (\beta_3, \beta_4, \beta_5, \beta_6, \theta) $ で定義されることを用い、同型条件を適用して重複するパラメータを削除する。
• パラメータを固定し、変換則に基づく同値性を確認することで、系統的に非同型の代数を列挙し、次元8で25個の異なる類が得られる。

実験結果

リサーチクエスチョン

• RQ1 分解の第一類から、次元8における複素非リー型フィルフォームLeibniz代数の同型類はいくつ存在するか？
• RQ2 次元8までの複素非リー型フィルフォームLeibniz代数の同型類の代表元の完全な集合は何か？
• RQ3 $ n $ 次元の複素非リー型フィルフォームLeibniz代数の第一類における同型類の数について、一般公式を導出できるか？
• RQ4 文献[6]の不変量は、低次元のケースにおいて非同型の代数を効果的に区別できるか？
• RQ5 $ \beta_3, \beta_4, \beta_5, \beta_6, \theta $ のパラメータが同型型を決定する上で果たす役割は何か？

主な発見

• 文献[4]の分解の第一類から、次元8における複素非リー型フィルフォームLeibniz代数の同型類は正確に25個存在する。
• これらの25個の同型類の代表元の完全なリストが明示的に提示され、それぞれの非ゼロ乗法規則が記載されている。
• 公式 $ N_n = n^2 - 7n + 17 $ は、次元 $ n $ の同型類の数を表す予想式であり、$ n = 8 $ および $ n = 9 $ で成り立つ。
• 文献[6]の不変量に基づく同型基準は、次元8のすべての代数を重複なく分類するのに成功した。
• 分類の結果、同型類の数が次元に対して二次的に増加することが判明し、提示された公式と整合的である。
• 代数はすべて $ (\beta_3, \beta_4, \beta_5, \beta_6, \theta) $ で完全にパラメータ化されており、同型性は $ A, B $ の作用（$ A(A+B) \neq 0 $）によって決定される。