[Paper Review] On split regular BiHom-Leibniz superalgebras

Shuangjian Guo, Shengxiang Wang|arXiv (Cornell University)|Mar 28, 2019

Advanced Topics in Algebra15 references4 citations

TL;DR

This paper establishes the structure of split regular BiHom-Leibniz superalgebras using root connection techniques, proving they decompose as $\mathfrak{L} = U + \sum_{\alpha} I_{\alpha}$, where $U$ is a subspace of a maximal abelian subalgebra and ideals $I_\alpha$ commute when their roots are not equivalent. For maximal length algebras, simplicity is characterized by root connectivity and primeness.

ABSTRACT

The goal of this paper is to study the structure of split regular BiHom-Leiniz superalgebras, which is a natural generalization of split regular Hom-Leiniz algebras and split regular BiHom-Lie superalgebras. By developing techniques of connections of roots for this kind of algebras, we show that such a split regular BiHom-Leiniz superalgebras $\mathfrak{L}$ is of the form $\mathfrak{L}=U+\sum_{\a}I_\a$ with $U$ a subspace of a maximal abelian subalgebra $H$ and any $I_{\a}$, a well described ideal of $\mathfrak{L}$, satisfying $[I_\a, I_\b]= 0$ if $[\a] eq [\b]$. In the case of $\mathfrak{L}$ being of maximal length, the simplicity of $\mathfrak{L}$ is also characterized in terms of connections of roots.

Motivation & Objective

• To investigate the structure of split regular BiHom-Leibniz superalgebras, a generalization of Hom-Leibniz algebras and BiHom-Lie superalgebras.
• To extend the root connection technique—previously used in split Lie and Hom-algebras—to this new class of non-associative superalgebras.
• To characterize the decomposition of such superalgebras into a sum of ideals indexed by root classes.
• To determine conditions under which such algebras are simple, particularly in the case of maximal length.
• To provide a root-theoretic framework for understanding the algebraic structure of these generalized BiHom-algebras.

Proposed method

• Develops a root space decomposition for split regular BiHom-Leibniz superalgebras using two twisting homomorphisms $\phi$ and $\psi$.
• Introduces the concept of $\mathfrak{J}$-connections and $\neg\mathfrak{J}$-connections between roots to analyze ideal generation and commutativity.
• Applies root-multiplicativity and maximal length assumptions to propagate non-zero root spaces through nested brackets.
• Uses the invariance of root spaces under $\phi$ and $\psi$ (via $\phi(\mathfrak{L}_\beta) = \mathfrak{L}_{\beta\phi^{-1}}$) to extend ideals across twisted root orbits.
• Employs the condition $[I_\alpha, I_\beta] = 0$ when $[\alpha] \neq [\beta]$ to enforce decomposition into mutually commuting components.
• Applies techniques from [15] and [27] to prove that ideals generated by root spaces are fully determined by their root connections.

Experimental results

Research questions

• RQ1 How can the structure of split regular BiHom-Leibniz superalgebras be decomposed using root space techniques?
• RQ2 What conditions ensure that the ideals $I_\alpha$ associated with root classes commute when their root classes are distinct?
• RQ3 Under what conditions is a split regular BiHom-Leibniz superalgebra of maximal length simple?
• RQ4 How do $\mathfrak{J}$-connections and $\neg\mathfrak{J}$-connections between roots determine ideal structure and simplicity?
• RQ5 What role does root-multiplicativity play in extending non-zero root spaces across the algebra?

Key findings

• Any split regular BiHom-Leibniz superalgebra $\mathfrak{L}$ decomposes as $\mathfrak{L} = U + \sum_{\alpha} I_\alpha$, where $U \subseteq H$ is a subspace of a maximal abelian subalgebra $H$, and each $I_\alpha$ is a well-described ideal.
• The ideals $I_\alpha$ satisfy $[I_\alpha, I_\beta] = 0$ whenever $[\alpha] \neq [\beta]$, indicating a commutative structure across distinct root classes.
• For algebras of maximal length, simplicity is characterized by the condition that $\Lambda^{\mathfrak{J}}$ and $\Lambda^{\neg\mathfrak{J}}$ are fully $\neg\mathfrak{J}$-connected for any non-zero ideal $\mathfrak{J}$.
• The algebra $\mathfrak{L}$ is simple if and only if it is prime and all roots in $\Lambda^{\neg\mathfrak{J}}$ are $\neg\mathfrak{J}$-connected, under the assumption of maximal length and trivial center.
• The proof relies on showing that any non-zero ideal generated by a root space must contain all root spaces reachable via $\neg\mathfrak{J}$-connections, leading to the full algebra.
• The structure is preserved under twisting by $\phi$ and $\psi$, with $\phi(\mathfrak{L}_\beta) = \mathfrak{L}_{\beta\phi^{-1}}$ and $\psi(\mathfrak{L}_\beta) = \mathfrak{L}_{\beta\psi^{-1}}$, enabling propagation of ideals across root orbits.