[论文解读] On low-dimensional filiform Leibniz algebras and their invariants

Rakhimov, I. S., Munther A. Hassan|arXiv (Cornell University)|Jan 5, 2010

Advanced Topics in Algebra参考文献 11被引用 12

一句话总结

本文对维度5和6的复幂零李超代数的一个子类进行了完整分类，具体为源自自然分次幂零李代数的 $TLeib_n$ 类。通过采用适当的基和不变函数，作者识别出同构类——维度6中包含五个参数族和14个离散轨道，维度5中包含一个参数族和八个离散轨道——并提供了显式的不变量以区分非同构代数。

ABSTRACT

The paper deals with the complete classification of a subclass of complex filiform Leibniz algebras in dimensions 5 and 6. This subclass arises from the naturally graded filiform Lie algebras. We give a complete list of algebras. In parametric families cases, the corresponding orbit functions (invariants) are given. In discrete orbits case, we show a representative of the orbits.

研究动机与目标

• 对维度5和6的复幂零李超代数在 $TLeib_n$ 子类中的所有同构类进行分类。
• 为参数族代数提供显式的不变函数，以区分非同构结构。
• 通过提供分类中每个轨道的代表元，识别离散同构类。
• 确保分类包含所有幂零李代数作为特例，并验证与现有文献的一致性。

提出的方法

• 采用适当的基来定义 $TLeib_n$ 代数的结构，确保与李超代数恒等式和幂零性兼容。
• 利用 $G_{ad}$ 群（适当的线性变换群）通过结构保持群作用下的轨道等价性来分析同构类。
• 从结构常数（如 $b_{i,j}$）推导不变函数，以表征连续代数族，例如 $\frac{(b_{0,1} - b_{2,3}b_{0,0})^4 b_{1,2}^3}{b_{2,3}^3 b_{0,1}^5}$。
• 以不变量参数化轨道：例如 $L(\theta, 1, 0, 1, 0, 0)$ 对应 $U_6^8$，表明每个轨道对应唯一的复参数。
• 基于非零结构常数及其代数关系，进行系统性案例分析，将空间划分为有限多个同构类型。
• 通过匹配已知情况（如 $U_6^4$、$U_6^6$）与标准列表，验证分类是否包含所有已知的幂零李代数。

实验结果

研究问题

• RQ1 5维幂零李超代数在 $TLeib_5$ 类中的完整同构类是什么？
• RQ2 如何利用不变函数区分6维幂零李超代数的参数族？
• RQ3 维度6中的哪些离散轨道对应唯一的同构类？其代表元是什么？
• RQ4 $TLeib_n$ 代数的分类与幂零李代数的分类有何关系？
• RQ5 是否可以利用 $TLeib_n$ 代数的结构常数定义完全不变量，以完全分类同构类型？

主要发现

• 在维度5中，$TLeib_5$ 类包含九个同构类：一个参数族和八个离散代数。
• 在维度6中，$TLeib_6$ 类包含十九个同构类：五个参数族和十四个离散代数。
• 对于参数族 $U_6^2$，同构不变量为 $\frac{(b_{0,1} - b_{2,3}b_{0,0})^4 b_{1,2}^3}{b_{2,3}^3 b_{0,1}^5}$，轨道参数化为 $L(0,1,0,\lambda,0,1)$，其中 $\lambda \in \mathbb{C}$。
• 对于 $U_6^7$，需要两个不变量：$\frac{4b_{0,0}b_{1,2}^4 - 2b_{1,3}b_{0,1}b_{1,2}^2 + b_{1,3}^2 b_{1,1}}{b_{1,2} b_{1,1}^2}$ 和 $\frac{(b_{0,1}b_{1,2}^2 - b_{1,3}b_{1,1})^2}{b_{1,2} b_{1,1}^3}$，轨道参数化为 $L(\lambda_1, \lambda_2, 1, 1, 0, 0)$。
• 对于 $U_6^8$，不变量 $\frac{(2b_{0,0}b_{1,2}^2 - b_{1,3}b_{0,1})^3}{b_{1,2}^3 b_{0,1}^4}$ 完全分类轨道，轨道参数化为 $L(\lambda, 1, 0, 1, 0, 0)$，其中 $\lambda \in \mathbb{C}$。
• 维度6中的十四个离散轨道（如 $U_6^3, U_6^4, \dots, U_6^{19}$）每个均由唯一代数代表，例如 $U_6^3$ 由 $L(1,0,0,1,0,1)$ 代表，$U_6^{19}$ 由 $L(0,0,0,0,0,0)$ 代表。