Search

We introduce symplectic left Leibniz algebras and symplectic right Leibniz algebras as generalizations of symplectic Lie algebras. These algebras possess a left symmetric product and are Lie-admissible. We describe completely symmetric Leibniz algebras that are symplectic as both left and right Leibniz algebras. Additionally, we show that symplectic left or right Leibniz algebras can be constructed from a symplectic Lie algebra and a vector space through a method that combines the double extension process and the $T^*$-extension. This approach allows us to generate a broad class of examples., Comment: 28 pages, submitted

A pseudo-Euclidean non-associative algebra $(\mathfrak{g}, \bullet)$ is a real algebra of finite dimension that has a metric, i.e., a bilinear, symmetric, and non-degenerate form $\langle\;\rangle$. The metric is considered $\mathrm{L}$-invariant (resp. $\mathrm{R}$-invariant) if all left multiplications (resp. right multiplications) are skew-symmetric. The metric is called associative if $\langle u\bullet v,w\rangle= \langle u,v\bullet w\rangle$ for all $u, v, w \in \mathfrak{g}$. These three notions coincide when $\mathfrak{g}$ is a Lie algebra and in this case $\mathfrak{g}$ endowed with the metric is known as a quadratic Lie algebra. This paper provides a complete description of $\mathrm{L}$-invariant, $\mathrm{R}$-invariant, or associative pseudo-Euclidean metrics on left Leibniz algebras. It shows that a left Leibniz algebra with an associative metric is also right Leibniz and can be obtained easily from its underlying Lie algebra, which is a quadratic Lie algebra. Additionally, it shows that at the core of a left Leibniz algebra endowed with a $\mathrm{L}$-invariant or $\mathrm{R}$-invariant metric, there are two Lie algebras with one quadratic and the left Leibniz algebra can be built from these Lie algebras. We derive many important results from these complete description. Finally, the paper provides a list of left Leibniz algebras with an associative metric up to dimension 6, as well as a list of left Leibniz algebras with an $\mathrm{L}$-invariant metric, up to dimension 4, and $\mathrm{R}$-invariant metric up to dimension 5., Comment: 30 pages

Given a symmetric Leibniz algebra $(\mathcal{L},.)$, the product is Lie-admissible and defines a Lie algebra bracket $[\;,\;]$ on $\mathcal{L}$. Let $G$ be the connected and simply-connected Lie group associated to $(\mathcal{L},[\;,\;])$. We endow $G$ with a Lie rack structure such that the right Leibniz algebra induced on $T_eG$ is exactly $(\mathcal{L},.)$. The obtained Lie rack is said to be associated to the symmetric Leibniz algebra $(\mathcal{L},.)$. We classify symmetric Leibniz algebras in dimension 3 and 4 and we determine all the associated Lie racks. Some of such Lie racks give rise to non-trivial topological quandles. We study some algebraic properties of these quandles and we give a necessary and sufficient condition for {them} to be quasi-trivial., Comment: 20 pages

A linear Lie rack structure on a finite dimensional vector space $V$ is a Lie rack operation $(x,y)\mapsto x\rhd y$ pointed at the origin and such that for any $x$, the left translation $\mathrm{L}_x:y\mapsto \mathrm{L}_x(y)= x\rhd y$ is linear. A linear Lie rack operation $\rhd$ is called analytic if for any $x,y\in V$, \[ x\rhd y=y+\sum_{n=1}^\infty A_{n,1}(x,\ldots,x,y), \]where $A_{n,1}:V\times\ldots\times V\Leftarrow V$ is an $n+1$-multilinear map symmetric in the $n$ first arguments. In this case, $A_{1,1}$ is exactly the left Leibniz product associated to $\rhd$. Any left Leibniz algebra $(\mathfrak{h},[\;,\;])$ has a canonical analytic linear Lie rack structure given by $x\stackrel{c}{\rhd} y=\exp(\mathrm{ad}_x)(y)$, where $\mathrm{ad}_x(y)=[x,y]$. In this paper, we show that a sequence $(A_{n,1})_{n\geq1}$ of $n+1$-multilinear maps on a vector space $V$ defines an analytic linear Lie rack structure if and only if $[\;,\;]:=A_{1,1}$ is a left Leibniz bracket, the $A_{n,1}$ are invariant for $(V,[\;,\;]:)$ and satisfy a sequence of multilinear equations. Some of these equations have a cohomological interpretation and can be solved when the zero and the 1-cohomology of the left Leibniz algebra $(V,[\;,\;])$ are trivial. On the other hand, given a left Leibniz algebra $(\mathfrak{h},[\;,\;])$, we show that there is a large class of (analytic) linear Lie rack structures on $(\mathfrak{h},[\;,\;])$ which can be built from the canonical one and invariant multilinear symmetric maps on $\mathfrak{h}$. A left Leibniz algebra on which all the analytic linear Lie rack structures are build in this way will be called rigid. We use our characterizations of analytic linear Lie rack structures to show that $\mathfrak{sl}_2(\mathbb{R})$ and $\mathfrak{so}(3)$ are rigid. We conjecture that any simple Lie algebra is rigid as a left Leibniz algebra., Comment: Submitted, 23 pages