Narrow Results

We show that any local derivation on the solvable Leibniz algebras with model or abelian nilradicals, whose dimension of complementary space is maximal is a derivation. We show that solvable Leibniz algebras with abelian nilradicals, which have $1$ dimension complementary space, admit local derivations which are not derivations. Moreover, similar problem concerning $2$-local derivations of such algebras is investigated and an example of solvable Leibniz algebra is given such that any $2$-local derivation on it is a derivation, but which admits local derivations which are not derivations.

In this note, we consider low-dimensional metric Leibniz algebras with an invariant inner product over the complex numbers up to dimension 5. We study their deformations, and give explicit formulas for the cocycles and deformations. We identify among those the metric deformations.

We prove that the class of algebras embeddable into Leibniz algebras with respect to the commutator product is not a variety. It is shown that every commutative metabelain algebra is embeddable into Leibniz algebras with respect to the anti-commutator. Furthermore, we study polynomial identities satisfied by the commutator in every Leibniz algebra. We extend the result of Dzhumadil’daev in [A. S. Dzhumadil’daev, q-Leibniz algebras, Serdica Math. J. 34(2) (2008) 415–440]. to identities up to degree 7 and give a conjecture on identities of higher degrees. As a consequence, we obtain an example of a non-Spechtian variety of anticommutative algebras.

We define Leibniz triple systems in a functorial manner using the algorithm of Kolesnikov and Pozhidaev which converts identities for algebras into identities for dialgebras; this algorithm is a concrete realization of the white Manin product introduced by Vallette by the permutad Perm introduced by Chapoton. We verify that Leibniz triple systems are natural analogues of Lie triple systems by showing that both the iterated bracket in a Leibniz algebra and the permuted associator in a Jordan dialgebra satisfy the defining identities for Leibniz triple systems. We construct the universal Leibniz envelopes of Leibniz triple systems and prove that every identity satisfied by the iterated bracket in a Leibniz algebra is a consequence of the defining identities for Leibniz triple systems. In the last section, we present some examples of two-dimensional Leibniz triple systems and their universal Leibniz envelopes.

In this paper we commence the systematic study of T-ideals of the free Leibniz algebra or, equivalently, varieties of Leibniz algebras, over a field of characteristic 0. We give a description of the free metabelian (i.e. solvable of class 2) Leibniz algebras, a complete list of all left-nilpotent of class 2 varieties and the asymptotic description of the metabelian varieties.

We study the deformation of Courant pairs with a commutative algebra base. We consider the deformation cohomology bi-complex and describe a universal infinitesimal deformation. In a sequel, we formulate an extension of a given deformation of a Courant pair to another with extended base, which leads to describe the obstruction in extending a given deformation. We also discuss the construction of versal deformation of Courant pairs. As an application, we compute universal infinitesimal deformation of Poisson algebra structures on the three-dimensional complex Heisenberg Lie algebra. We compare the second deformation cohomology spaces of these Poisson algebra structures by considering them in the category of Leibniz pairs and Courant pairs, respectively.

We classify symmetric Leibniz algebras in dimensions 3 and 4 and we determine all associated Lie racks. Some of such Lie racks give rise to nontrivial topological quandles. We study some algebraic properties of these quandles and we give a necessary and sufficient condition for them to be quasi-trivial.

In this paper, we prove Leibniz analogues of results found in Peggy Batten’s 1993 dissertation. We first construct a Hochschild–Serre-type spectral sequence of low dimension, which is used to characterize the multiplier in terms of the second cohomology group with coefficients in the field. The sequence is then extended by a term and a Ganea sequence is constructed for Leibniz algebras. The maps involved with these exact sequences, as well as a characterization of the multiplier, are used to establish criteria for when a central ideal is contained in a certain set seen in the definition of unicentral Leibniz algebras. These criteria are then specialized, and we obtain conditions for when the center of the cover maps onto the center of the algebra.

Given a representation $(M;l,r)$ of a Leibniz algebra $𝔤$, let $𝔇(𝔤,M)$ (respectively,$𝔊(𝔤,M)$) be the Lie algebra (respectively, the group) of diagonal derivations (respectively, automorphisms) of the semidirect product $𝔤⋉M$. We show that both $𝔇(𝔤,M)$ and $𝔊(𝔤,M)$ have a representation on the cohomology group $H{L}^2(𝔤,M)$. In the case that $(M;l,r)$ arises from an abelian extension of $𝔤$ by $M$, such representations are applied to construct exact sequences of Wells type for $𝔇(𝔤,M)$ and $𝔊(𝔤,M),$ respectively.

We study the structure of the generalized 2-dim affine-Virasoro algebra, and describe its automorphism group. Furthermore, we also determine the irreducibility of a Verma module over the generalized 2-dim affine-Virasoro algebra.