-
Cyclic Riemannian Lie groups: description and curvatures
Authors:
Fatima-Ezzahrae Abid,
Said Benayadi,
Mohamed Boucetta,
Hamza El Ouali,
Hicham Lebzioui
Abstract:
A cyclic Riemannian Lie group is a Lie group $G$ equipped with a left-invariant Riemannian metric $h$ that satisfies $\oint_{X,Y,Z}h([X,Y],Z)=0$ for any left-invariant vector fields $X,Y,Z$. The initial concept and exploration of these Lie groups were presented in Monatsh. Math. \textbf{176} (2015), 219-239. This paper builds upon the results from the aforementioned study by providing a complete d…
▽ More
A cyclic Riemannian Lie group is a Lie group $G$ equipped with a left-invariant Riemannian metric $h$ that satisfies $\oint_{X,Y,Z}h([X,Y],Z)=0$ for any left-invariant vector fields $X,Y,Z$. The initial concept and exploration of these Lie groups were presented in Monatsh. Math. \textbf{176} (2015), 219-239. This paper builds upon the results from the aforementioned study by providing a complete description of cyclic Riemannian Lie groups and an in-depth analysis of their various curvatures.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
Symplectic Leibniz algebras as a non-commutative version of symplectic Lie algebras
Authors:
Fatima-Ezzahrae Abid,
Mohamed Boucetta
Abstract:
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 constructe…
▽ More
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.
△ Less
Submitted 20 July, 2024;
originally announced July 2024.
-
Complete Description of Invariant, Associative Pseudo-Euclidean Metrics on Left Leibniz Algebras via Quadratic Lie Algebras
Authors:
Fatima-Ezzahrae Abid,
Mohamed Boucetta
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 March, 2023;
originally announced March 2023.
-
A class of Lie racks associated to symmetric Leibniz algebras
Authors:
Abchir Hamid,
Fatima-Ezzahrae Abid,
Mohamed Boucetta
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 31 January, 2021;
originally announced February 2021.
-
Analytic Linear Lie rack Structures on Leibniz Algebras
Authors:
Hamid Abchir,
Fatima-Ezzahrae Abid,
Mohamed Boucetta
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
