Residually solvable extensions of pro-nilpotent Leibniz superalgebras (Q2667798)

A \(\mathbb{Z}_2\)-graded vector space (or vector superspace) \(V\) is a direct sum of vector spaces \(V_{\bar{0}}\) and \(V_{\bar{1}}\), whose elements are called even and odd, respectively. For a homogeneous element (that is a non-zero element) \(v\in V_\lambda\) with \(\lambda\in\mathbb{Z}_2\), \(|v|=\lambda\) is the degree of \(v\). A (right) Leibniz superalgebra is a \(\mathbb{Z}_2\)-graded vector space \(L=L_{\bar{0}}\oplus L_{\bar{1}}\) equipped with a bilinear map \([-,-] : L \times L \to L\), satisfying the following conditions: \begin{itemize} \item[\((i)\)] \([L_\lambda,L_\mu]\subseteq L_{\lambda+\mu}\) for every \(\lambda,\mu\in \mathbb{Z}_2\), \item[\((ii)\)] \([x,[y,z]]=[[x,y],z]-(-1)^{|y||z|} [[x,z],y]\) (super Leibniz identity), \end{itemize} for every \(x,y,z\in L\). Note that the even part \(L_{\bar{0}}\) of a Leibniz superalgebra is a Leibniz algebra. Also, a Lie superalgebra is a Leibniz superalgebra which satisfies the graded antisymmetric identity \([x,y]=-(-1)^{|x||y|} [y,x]\). Hence Leibniz superalgebras are a generalization of both Leibniz algebras and Lie superalgebras. \textit{A. I. Mal'tsev} [Mat. Sb., Nov. Ser. 26(68), 19--33 (1950; Zbl 0039.26601)] proved that a solvable Lie algebra is fully determined by its nilradical (the maximal nilpotent ideal). Since then, many investigations have been made on the classification of solvable Lie and Leibniz (super)algebras with different types of nilradical. In the paper under review, it is shown that the method for describing finite-dimensional solvable Leibniz superalgebras with a given nilradical can be extended to infinite-dimensional ones, i.e. residually solvable Leibniz superalgebras. It is also provided some interesting results on the solvable extension method for the finite-dimensional case. Moreover, it is fully determined the residually solvable Lie and Leibniz superalgebras with maximal codimension of pro-nilpotent ideals the model filiform Lie and null-filiform Leibniz superalgebras, respectively. Furthermore, it is proved that the obtained residually solvable superalgebras are complete. Recall that a superalgebra \(L\) is called residually solvable if \(\bigcap_{i\geq 0} \mathcal{D}^{i}(L)=\{0\}\) where \(\mathcal{D}^{0}(L)=L\) and \(\mathcal{D}^i(L)=[\mathcal{D}^{i-1}(L),\mathcal{D}^{i-1}(L)]\) for \(i\geq 1\), is the derived series of \(L\). Also, a superalgebra \(L\) is said to be pro-nilpotent if \(\bigcap_{i\geq 0} \mathcal{C}^{i}(L)=\{0\}\) (i.e. \(L\) is residually nilpotent) and the quotient \(\mathcal{C}^i(L)/\mathcal{C}^{i+1}(L)\) is finite-dimensional, where \(\mathcal{C}^{0}(L)=L\) and \(\mathcal{C}^i(L)=[\mathcal{C}^{i-1}(L),L]\) for \(i\geq 1\), is the lower central series of \(L\).