[论文解读] Solvable Leibniz algebra with non-Lie and non-split naturally graded filiform nilradical and its rigidity

M. Ladra, K. K. Masutova+1 more|arXiv (Cornell University)|Feb 23, 2016

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

一句话总结

本文更正了先前发表的关于具有非李、非分裂自然分次幂零化李代数的复可解Leibniz代数分类中的错误。它构造了一个唯一的 $(n+2)$-维可解Leibniz代数 $R(F_n^1)$，其幂零化李代数为 $F_n^1$，并通过证明其自身系数的第二上同调群为平凡，确立了其刚性，确认其为Leibniz代数范畴中的刚性代数。

ABSTRACT

The description of complex solvable Leibniz algebras whose nilradical is a naturally graded filiform algebra is already known. Unfortunately, a mistake was made in that description. Namely, in the case where the dimension of the solvable Leibniz algebra with nilradical $F_n^1$ is equal to $n+2$, it was asserted that there is no such algebra. However, it was possible for us to find a unique $(n+2)$-dimensional solvable Leibniz algebra with nilradical $F_n^1$. In addition, we establish the triviality of the second group of cohomology for this algebra with coefficients in itself, which implies its rigidity.

研究动机与目标

• 更正先前发表的错误，该错误声称不存在具有幂零化李代数 $F_n^1$ 的 $(n+2)$-维可解Leibniz代数。
• 构造并表征一个唯一的 $(n+2)$-维可解Leibniz代数 $R(F_n^1)$，其非李、非分裂自然分次幂零化李代数为 $F_n^1$。
• 证明第二上同调群 $H^2(R(F_n^1), R(F_n^1))$ 为平凡，从而确立该代数的刚性。
• 确认 $R(F_n^1)$ 是复Leibniz代数范畴中的刚性代数，意味着其轨道是该范畴中不可约分支。

提出的方法

• 作者识别并更正了先前关于具有幂零化李代数的可解Leibniz代数分类工作中存在的错误。
• 他们通过基元素 $e_1, \dots, e_n, x_1, x_2$ 显式构造了唯一的 $(n+2)$-维可解Leibniz代数 $R(F_n^1)$，并利用结构常数定义Leibniz括积。
• 他们使用Chevalley-Eilenberg复形计算第二上同调群 $H^2(R(F_n^1), R(F_n^1))$，通过求解由上闭链条件 $d^2\varphi = 0$ 导出的线性方程组。
• 计算过程涉及以结构常数 $a_{i,j}^k$ 表示2-上闭链 $\varphi$ 的分量，并验证 $d^2\varphi$ 在所有基三元组上的消失性。
• 他们从上闭链条件推导出所有基元素组合的约束，包括 $ (e_i, e_j, x_k) $、$ (e_i, x_j, e_k) $ 和 $ (x_i, x_j, x_k) $，从而得到一个线性方程组。
• 最终结果表明 $\dim H^2(R(F_n^1), R(F_n^1)) = 0$，根据文献[4]中的准则，这表明代数具有刚性。

实验结果

研究问题

• RQ1 是否存在一个 $(n+2)$-维可解Leibniz代数，其幂零化李代数为 $F_n^1$，与[6]中的断言相反？
• RQ2 该唯一代数 $R(F_n^1)$ 的结构是什么，其Leibniz括积如何通过其结构常数定义？
• RQ3 第二上同调群 $H^2(R(F_n^1), R(F_n^1))$ 是否为平凡？这对其代数刚性意味着什么？
• RQ4 能否通过上同调准则证明代数 $R(F_n^1)$ 是刚性的？它是否构成Leibniz代数范畴中的不可约分支？

主要发现

• 本文更正了先前错误，证明了存在一个唯一的 $(n+2)$-维可解Leibniz代数 $R(F_n^1)$，其幂零化李代数为 $F_n^1$，而此前该代数被认为不存在。
• 该代数 $R(F_n^1)$ 被显式构造，其基为 $\{e_1, \dots, e_n, x_1, x_2\}$，并通过涉及结构常数的具体Leibniz括积关系定义。
• 第二上同调群 $H^2(R(F_n^1), R(F_n^1))$ 为平凡，即 $\dim H^2(R(F_n^1), R(F_n^1)) = 0$，这是通过求解上闭链条件导出的方程组得出的。
• 第二上同调群的平凡性意味着 $R(F_n^1)$ 是复Leibniz代数范畴中的刚性代数。
• 代数 $R(F_n^1)$ 是刚性的，意味着其在 $\mathrm{GL}_n(\mathbb{C})$-作用下的轨道是开集，且其闭包构成 $(n+2)$-维Leibniz代数范畴中的不可约分支。
• 2-上闭链空间的维数为 $\dim ZL^2(R(F_n^1), R(F_n^1)) = (n+2)^2 - 3$，但上同调群为零，从而确认了其刚性。