[论文解读] Classification of 4-dimensional nilpotent complex Leibniz algebras

Sergio Albeverio, B. A. Omirov+1 more|ArXiv.org|Nov 27, 2006

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

一句话总结

本文对4维复幂零Leibniz代数进行了完整的代数分类，扩展了此前对低维代数的分类。通过结合结合代数技巧与同构不变量，作者识别出17个非同构的族，包括14个不可约代数和3个可约代数，给出了显式的乘法表与参数化族，为四维以内幂零Leibniz代数建立了基础分类。

ABSTRACT

The Leibniz algebras appeared as a generalization of the Lie algebras. In this work we deal with the classification of nilpotent complex Leibniz algebras of low dimensions. Namely, the classification of nilpotent complex Leibniz algebras dimensions less than 3 is extended to the dimension four. {\it AMS Subject Classifications}: 16D70, 17A30, 17A60, 17B30 {\it Key words:} Leibniz algebra, associative algebra, nilpotence, nulfiliform Leibniz algebra, filiform Leibniz algebra.

研究动机与目标

• 将复幂零Leibniz代数的分类从三维扩展至四维。
• 提供一份完整的4维非同构幂零复Leibniz代数列表。
• 通过结构不变量区分不可约代数与可约代数，并识别同构类。
• 通过首先实现代数分类，为几何分类奠定基础。
• 通过单位化与无幂等元构造，探索Leibniz代数与结合代数之间的关系。

提出的方法

• 采用单位化构造：对一个幂零Leibniz代数L，构造A = L ⊕ ℂ以研究其结合结构。
• 使用同构不变量χ(L) = (dim L¹, dim L², ..., dim Lⁿ) 按其下中心列维数对代数进行分类。
• 应用无单位元的有限维结合代数的分类，推导出非同构的Leibniz代数。
• 通过自由代数C⟨x,y,z⟩或C⟨x,y⟩模特定双边理想构造代表元。
• 利用命题2.7验证非同构性：若A₁ ⊕ ℂ ≅ A₂ ⊕ ℂ，则A₁ ≅ A₂，确保不同参数产生非同构代数。
• 通过分析乘法表与结构常数来区分代数，特别是对参数化族如ℜ₁₀(α)、ℜ₁₆(α)进行区分。

实验结果

研究问题

• RQ1 如何对4维复幂零Leibniz代数实现完全的同构分类？
• RQ2 单位化过程在连接Leibniz代数与结合代数以及检测同构性方面起到什么作用？
• RQ3 哪些4维幂零Leibniz代数是可约的？它们与不可约代数有何不同？
• RQ4 参数化族如ℜ₁₀(α)与ℜ₁₆(α)在同构下如何表现？存在何种对称性？
• RQ5 非同构4维幂零复Leibniz代数的完整列表是什么？它们与李代数及分裂/非分裂结构有何关系？

主要发现

• 该分类共得到17个非同构的4维复幂零Leibniz代数，包括14个不可约代数和3个可约代数。
• 代数ℜ₁₄是唯一具有非平凡中心且导代数非交换的代数，与其他代数形成鲜明区别。
• 参数化族ℜ₁₀(α)与ℜ₁₆(α)在不同α值下非同构，但当ℜ₁₀(α)中α₂ = -α₁时，产生同构代数。
• 代数ℜ₁₅同构于ℜ₁₆(1)，表明在该族中α = 1对应一个特殊情形。
• G. Mazzola列表中的所有代数均为李代数或分裂Leibniz代数，未发现新的非分裂代数。
• 复幂零Leibniz代数在四维以下的完整分类现已确立，结合了一维至三维的结果与本研究中四维的结果。