In this paper we give a complete classification of the Leibniz algebras of biderivations of right Leibniz algebras of dimension up to three over a field \mathbb{F}, with \operatorname{char}(\mathbb{F})\neq 2. We describe the main properties of such class of Leibniz algebras and we also compute the biderivations of the four-dimensional Dieudonné Leibniz algebra \mathfrak{d}_1. Eventually we give an algorithm for finding derivations and anti-derivations of a Leibniz algebra as pair of matrices with respect to a fixed basis.
A right Leibniz algebra over \mathbb{F} is a vector space L over \mathbb{F} endowed of a bilinear map (called commutator or bracket) \left[-,-\right]\colon L\times L \rightarrow L which satisfies the right Leibniz identity
Let L be a right Leibniz algebra over \mathbb{F} and let
be the lower central series of L. L is n-step nilpotent if L^{(n-1)}\neq0 and L^{(n)}=0.
Let L be a right Leibniz algebra over \mathbb{F} and let
be the derived series of L. L is n-step solvable if L^{n-1}\neq0 and L^{n}=0.
Let L be a Leibniz algebra over \mathbb{F}. A derivation of L is a linear map d\colon L\rightarrow L such that
Fixed a basis \lbrace e_1,\ldots,e_n \rbrace of L, where n=\dim_{\mathbb{F}}L, a linear map d\colon L \rightarrow L is a derivation if and only if
An anti-derivation of a right Leibniz algebra L is a linear map D\colon L \rightarrow L such that
The set of anti-derivations of a Leibniz algebra L has a \operatorname{Der}(L)-module structure with the action
for every d \in \operatorname{Der}(L) and for every anti-derivation D.
Let D\colon L \rightarrow L be an anti-derivation. Then, for every x \in L, we have
thus D(\operatorname{Leib}(L))=0.
Let L be a right Leibniz algebra. A biderivation of L is a pair
where d is a derivation and D is an anti-derivation, such that
Let \mathfrak{d}_1 be the four-dimensional Dieudonné Leibniz algebra (see [LM2022] for more details), i.e. \mathfrak{d}_1 has basis \lbrace e_1,e_2,e_3,z \rbrace and non-zero commutators
We want to find the Leibniz algebra \operatorname{Bider}(\mathfrak{d}_1) of biderivations of \mathfrak{d}_1. The derivations of the Dieudonné Leibniz algebra \mathfrak{d_n} over a field \mathbb{F}, with \operatorname{char}(\mathbb{F}) \neq 2, have been found in [LM2022_2] and it turns out that
Now let D \in \operatorname{gl}(\mathfrak{d}_1) be an anti-derivation, then D is represented, with respect to the basis \lbrace e_1,e_2,e_3,z \rbrace, by a matrix of the type
where D(z)=0 because \operatorname{Leib}(\mathfrak{d}_1)=[\mathfrak{d}_1,\mathfrak{d}_1]=\mathbb{F} z, and the entries a_{ij}, i,j=1,2,3, must satisfy the following equations
Thus a general anti-derivation of \mathfrak{d}_1 is represented by
and, by applying the condition (\ref{1}), we obtain
and
We conclude that
and the inner biderivations are represented by the pairs of matrices of type
In this section we use the following algorithm for finding derivations and anti-derivations. Let L be a Leibniz algebra and let (d,D) \in \operatorname{Bider}(L). Then, for every x,y \in L, we have
if and only if
thus
Fixed a basis \lbrace e_1,\cdots,e_n \rbrace of L, we have that the biderivation (d,D) is represented by a pair of n \times n matrices ((d_{i,j})_{i,j},(D_{i,j})_{i,j}) and for every i=1,\ldots,n
which are equations in the entries of the matrices representing d and D. By solving this set of equations, and after imposing the compatibility condition (1), we find the matrices (d_{i,j})_{i,j},(D_{i,j})_{i,j}.
Let \mathbb{F} be a field with \operatorname{char}(\mathbb{F}) \neq 2. The Leibniz algebras of biderivations of three-dimensional right Leibniz algebras over \mathbb{F} can be described as follows.
\operatorname{Bider}(L_1)=\left\lbrace \left( \begin{pmatrix}
2x & y & 0 \\
0 & x & y \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & -y & a \\
0 & x & y \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,a \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_2(\alpha))=\left\lbrace \left( \begin{pmatrix}
x & 0 & 0 \\
0 & y & z \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & a & b \\
0 & y & z \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,z,a,b \in \mathbb{F} \right\rbrace,
if \alpha \neq -1 and
\operatorname{Bider}(L_2(-1))=\left\lbrace \left( \begin{pmatrix}
x & 0 & 0 \\
0 & y & z \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & b \\
0 & y & z \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,z,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_3)=\left\lbrace \left( \begin{pmatrix}
0 & 0 & y \\
0 & x & z \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & a \\
0 & x & z \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,z,a \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_4)=\left\lbrace \left( \begin{pmatrix}
2x & y & z \\
0 & x & 0 \\
0 & 0 & x \\
\end{pmatrix},\begin{pmatrix}
0 & a & b \\
0 & x & 0 \\
0 & 0 & x \\
\end{pmatrix} \right) \Bigg\vert x,y,z,a,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_5)=\left\lbrace \left( \begin{pmatrix}
2x & y & t \\
0 & x & -z \\
0 & z & x \\
\end{pmatrix},\begin{pmatrix}
0 & a & b \\
0 & x & -z \\
0 & z & x \\
\end{pmatrix} \right) \Bigg\vert x,y,z,t,a,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_7(\alpha))=\left\lbrace \left( \begin{pmatrix}
\gamma x & y & z \\
0 & x & \frac{x}{2} \\
0 & -\frac{x}{2\alpha} & (\gamma-1)x \\
\end{pmatrix},\begin{pmatrix}
0 & a & b \\
0 & x & \frac{x}{2} \\
0 & -\frac{x}{2\alpha} & (\gamma-1)x \\
\end{pmatrix} \right) \Bigg\vert x,y,z,a,b \in \mathbb{F} \right\rbrace, where \gamma=\dfrac{4\alpha-1}{2\alpha};
\operatorname{Bider}(L_8)=\left\lbrace \left( \begin{pmatrix}
x+y & z & t \\
0 & x & 0 \\
0 & 0 & y \\
\end{pmatrix},\begin{pmatrix}
0 & z & t \\
0 & 0 & a \\
0 & 0 & y \\
\end{pmatrix} \right) \Bigg\vert x,y,z,t,a \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_9)=\left\lbrace \left( \begin{pmatrix}
x & y & 0 \\
y & x & 0 \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & a \\
0 & 0 & b \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,a,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_{10})=\left\lbrace \left( \begin{pmatrix}
x & -y & 0 \\
y & x & 0 \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & a \\
0 & 0 & b \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,a,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_{12}(\alpha))=\left\lbrace \left( \begin{pmatrix}
x & \alpha y & 0 \\
y & x+y & 0 \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & a \\
0 & 0 & b \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,a,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_{13})=\left\lbrace \left( \begin{pmatrix}
x & 0 & 0 \\
0 & y & 0 \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & a \\
0 & 0 & b \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,a,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_{14})=\left\lbrace \left( \begin{pmatrix}
2x & 0 & y \\
y & 3x & z \\
0 & 0 & x \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & a \\
0 & 0 & b \\
0 & 0 & x \\
\end{pmatrix} \right) \Bigg\vert x,y,z,a,b \in \mathbb{F} \right\rbrace;
\operatorname{Bider}(L_{15})=\left\lbrace \left( \begin{pmatrix}
x & 0 & x \\
x & 0 & y \\
0 & 0 & 0 \\
\end{pmatrix},\begin{pmatrix}
0 & 0 & a \\
0 & 0 & b \\
0 & 0 & 0 \\
\end{pmatrix} \right) \Bigg\vert x,y,a,b \in \mathbb{F} \right\rbrace.
The text on this page is from arXiv:2209.07892v3 by Manuel Mancini, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2209/2209.07892.jsonl.