Zinbiel Superalgebras

• Zinbiel superalgebras are ℤ₂-graded algebras that extend Zinbiel algebras by satisfying a graded dual‐Leibniz identity.
• Their structure is characterized by strong nilpotency properties with explicit classifications in null-filiform and filiform regimes.
• Free-object constructions via super shuffle products and Rota–Baxter operators reveal deep connections to Tortkara and symmetric algebra frameworks.

Searching arXiv for relevant papers on Zinbiel superalgebras and closely related Zinbiel structures. Searching for "Zinbiel superalgebras" on arXiv. Searching arXiv for papers with the phrase "Zinbiel superalgebras". A Zinbiel superalgebra is the $\mathbb Z_2$-graded analogue of a Zinbiel, or dual Leibniz, algebra: it is a graded vector space $Z=Z_{\bar 0}\oplus Z_{\bar 1}$ with an even bilinear multiplication for which a graded dual-Leibniz identity holds on homogeneous elements. In one common left-handed convention,

$(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$

while another common convention uses the right-handed form

$a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$

The purely even case recovers ordinary Zinbiel algebras, and the super theory combines strong nilpotency properties with explicit extremal classifications, free-object constructions via signed shuffles, symmetric and quadratic refinements, and close relations to Tortkara superalgebras and other Zinbiel-type structures (Camacho et al., 2023, Bouarroudj et al., 15 Aug 2025, Benayadi et al., 2022).

1. Definitions, conventions, and elementary identities

The basic datum is a $\mathbb Z_2$-graded vector space $Z=Z_{\bar 0}\oplus Z_{\bar 1}$ with

$Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$

In the formulation adopted for general Zinbiel superalgebras, the defining identity is

$(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$

for homogeneous $x,y,z$. This immediately specializes to the ordinary Zinbiel identity when $Z_{\bar 1}=0$. The same paper records the super-version of right-commutativity,

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$0

so every Zinbiel superalgebra is a right-commutative superalgebra (Camacho et al., 2023).

The literature also uses a right-Zinbiel convention,

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$1

together with the supercommutator and super-anticommutator

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$2

In this framework, the supercommutator of a Zinbiel superalgebra is a Tortkara superalgebra, whereas the super-anticommutator is supercommutative and associative (Bouarroudj et al., 15 Aug 2025).

A structural way to encode the superization is through the Grassmann envelope. If $Z=Z_{\bar 0}\oplus Z_{\bar 1}$3 is graded and $Z=Z_{\bar 0}\oplus Z_{\bar 1}$4 is the Grassmann algebra on odd generators, then

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$5

A graded algebra is a Zinbiel superalgebra precisely when its Grassmann envelope satisfies the ordinary Zinbiel identity. This envelope viewpoint is also used in the theory of symmetric Zinbiel superalgebras (Bouarroudj et al., 15 Aug 2025, Benayadi et al., 2022).

2. Nilpotency and general finite-dimensional structure

The dominant global theorem is that every finite-dimensional Zinbiel superalgebra over an arbitrary field is nilpotent. With the descending powers

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$6

nilpotency means $Z=Z_{\bar 0}\oplus Z_{\bar 1}$7 for some $Z=Z_{\bar 0}\oplus Z_{\bar 1}$8, and the least such $Z=Z_{\bar 0}\oplus Z_{\bar 1}$9 is the nilpotency index. For an $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$0-dimensional nilpotent algebra, the index is at most $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$1. The super case follows the same pattern as the ordinary Zinbiel case, but the proof is explicitly adapted to the graded setting (Camacho et al., 2023).

The proof proceeds through a chain of structural lemmas. First, there exists a homogeneous element $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$2 such that $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$3. Second, in a right-commutative superalgebra the right annihilator grows along products: $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$4 Third, if $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$5 is a right ideal, then $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$6 is an ideal. These facts yield proper graded ideals, solvability, and ultimately minimal graded ideals annihilated on both sides. The inductive step then quotients by a one-dimensional graded ideal and applies the hypothesis to the quotient (Camacho et al., 2023).

This theorem places Zinbiel superalgebras among strongly nilpotent nonassociative graded systems. A useful consequence is that their classification naturally focuses on extremal nilpotent regimes, especially maximal nilpotency index, filiformity, and natural gradings. In this sense, nilpotency is not a peripheral property but the organizing principle of the subject (Camacho et al., 2023).

3. Extremal families: null-filiform, filiform, and low-dimensional classifications

An $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$7-dimensional Zinbiel superalgebra is null-filiform when

$(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$8

equivalently when it has maximal nilpotency index $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr),$9. In the super setting, the null-filiform case is rigid: there is, up to isomorphism, a unique nontrivial null-filiform complex Zinbiel superalgebra, and it must be generated by an odd element. Writing the odd generator as $a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$0 and defining

$a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$1

one obtains a basis $a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$2 with alternating parity, $a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$3 and $a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$4. The parity distribution can occur only in the two cases

$a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$5

The multiplication is given by

$a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$6

$a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$7

$a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$8

This is the super counterpart of the unique null-filiform ordinary Zinbiel algebra (Camacho et al., 2023).

The filiform theory is formulated through the characteristic sequence. For a homogeneous even characteristic element $a(bc)=(ab)c+(-1)^{|a||b|}(ba)c.$9, the Jordan block partitions of left multiplication on $\mathbb Z_2$0 and $\mathbb Z_2$1 are denoted $\mathbb Z_2$2 and $\mathbb Z_2$3, and

$\mathbb Z_2$4

in lexicographic order. A Zinbiel superalgebra with $\mathbb Z_2$5 and $\mathbb Z_2$6 is filiform if

$\mathbb Z_2$7

A naturally graded one is isomorphic to

$\mathbb Z_2$8

For naturally graded filiform complex Zinbiel superalgebras with $\mathbb Z_2$9, there are bases $Z=Z_{\bar 0}\oplus Z_{\bar 1}$0 and $Z=Z_{\bar 0}\oplus Z_{\bar 1}$1 such that

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$2

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$3

For $Z=Z_{\bar 0}\oplus Z_{\bar 1}$4 the classification produces families $Z=Z_{\bar 0}\oplus Z_{\bar 1}$5, while the special case $Z=Z_{\bar 0}\oplus Z_{\bar 1}$6 yields additional algebras $Z=Z_{\bar 0}\oplus Z_{\bar 1}$7 and, when $Z=Z_{\bar 0}\oplus Z_{\bar 1}$8, $Z=Z_{\bar 0}\oplus Z_{\bar 1}$9 (Camacho et al., 2023).

The same work gives explicit low-dimensional classifications. In dimension $Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$0, all non-split complex Zinbiel superalgebras are classified and represented by the families $Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$1. Typical representatives include

$Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$2

$Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$3

$Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$4

For superalgebras of type $Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$5, one also has

$Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$6

so the odd line interacts with the even part only through squares landing in the left annihilator (Camacho et al., 2023).

Regime	Main result	Representative data
Null-filiform	Unique nontrivial complex null-filiform Zinbiel superalgebra up to isomorphism	Odd-generated; alternating parity basis
Naturally graded filiform	Families $Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$7 for $Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$8	Basis with $Z_iZ_j\subseteq Z_{i+j\ (\mathrm{mod}\,2)}.$9, $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$0
Special odd dimension $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$1	Additional algebras $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$2, and for $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$3, $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$4	Exceptional low-dimensional patterns
Dimension $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$5	Non-split algebras classified	$(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$6

4. Symmetric and quadratic Zinbiel superalgebras

A more rigid subclass is obtained by imposing both left and right Zinbiel super-identities. For homogeneous $(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$7, a left Zinbiel superalgebra satisfies

$(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$8

whereas a right Zinbiel superalgebra satisfies

$(xy)z=x\bigl(yz+(-1)^{|y||z|}zy\bigr)$9

A symmetric Zinbiel superalgebra is one satisfying both identities simultaneously (Benayadi et al., 2022).

Symmetry forces strong additional structure. Such algebras are LR-superalgebras, or bicommutative superalgebras: $x,y,z$0 and they are anti-flexible: $x,y,z$1 The main nilpotency theorem for this subclass is much stronger than the general one: the nilpotency index of a symmetric Zinbiel superalgebra is at most $x,y,z$2. More precisely, if $x,y,z$3 is nonzero and not $x,y,z$4-step nilpotent, then it is $x,y,z$5-step nilpotent and every odd cube vanishes,

$x,y,z$6

This shows that symmetry is a severe restriction rather than a mild refinement (Benayadi et al., 2022).

Generated cases are correspondingly small. A one-generated symmetric Zinbiel superalgebra is either purely even of dimension $x,y,z$7, with multiplication $x,y,z$8, or of super-dimension $x,y,z$9, with $Z_{\bar 1}=0$0, $Z_{\bar 1}=0$1, and $Z_{\bar 1}=0$2. If a symmetric Zinbiel superalgebra has two odd generators, then it must be $Z_{\bar 1}=0$3-step nilpotent, and there are no $Z_{\bar 1}=0$4-step nilpotent symmetric Zinbiel superalgebras with two odd generators (Benayadi et al., 2022).

The quadratic theory introduces an even nondegenerate supersymmetric invariant bilinear form $Z_{\bar 1}=0$5, satisfying

$Z_{\bar 1}=0$6

Every quadratic left or right Zinbiel superalgebra is automatically symmetric. The paper also proves that a symmetric Zinbiel superalgebra is quadratic iff the adjoint and coadjoint representations are equivalent and $Z_{\bar 1}=0$7 is even. In addition, it develops both even and odd double extensions and proves converse decomposition theorems when the annihilator intersects $Z_{\bar 1}=0$8 or $Z_{\bar 1}=0$9 nontrivially. A related ungraded statement in the same work is that each quadratic Zinbiel algebra is $Z=Z_{\bar 0}\oplus Z_{\bar 1}$00-step nilpotent (Benayadi et al., 2022).

5. Free Zinbiel superalgebras, Rota–Baxter constructions, and the Tortkara connection

A major structural advance is the explicit construction of the free Zinbiel superalgebra on a graded vector space $Z=Z_{\bar 0}\oplus Z_{\bar 1}$01. The ambient space is the tensor algebra

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$02

equipped with the super shuffle product $Z=Z_{\bar 0}\oplus Z_{\bar 1}$03. For homogeneous tensors $Z=Z_{\bar 0}\oplus Z_{\bar 1}$04 and $Z=Z_{\bar 0}\oplus Z_{\bar 1}$05,

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$06

where

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$07

The Zinbiel product is then defined by the half-shuffle formula

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$08

This makes $Z=Z_{\bar 0}\oplus Z_{\bar 1}$09 the free Zinbiel superalgebra on $Z=Z_{\bar 0}\oplus Z_{\bar 1}$10, with basis all tensor monomials

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$11

The super shuffle product itself is supercommutative and associative: $Z=Z_{\bar 0}\oplus Z_{\bar 1}$12 Thus the free theory is completely explicit at the combinatorial level (Bouarroudj et al., 15 Aug 2025).

Rota–Baxter operators provide another source of examples. If $Z=Z_{\bar 0}\oplus Z_{\bar 1}$13 is a supercommutative associative superalgebra and $Z=Z_{\bar 0}\oplus Z_{\bar 1}$14 is a homogeneous Rota–Baxter operator, then

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$15

is a Zinbiel superalgebra when $Z=Z_{\bar 0}\oplus Z_{\bar 1}$16 is even. If $Z=Z_{\bar 0}\oplus Z_{\bar 1}$17 is odd, the induced product does not satisfy the Zinbiel identity directly, but the paper shows that it becomes a Zinbiel superalgebra after applying the change-of-parity functor $Z=Z_{\bar 0}\oplus Z_{\bar 1}$18, with twisted product

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$19

Starting from a Zinbiel superalgebra $Z=Z_{\bar 0}\oplus Z_{\bar 1}$20 and an even Rota–Baxter operator $Z=Z_{\bar 0}\oplus Z_{\bar 1}$21, one can iterate the construction: $Z=Z_{\bar 0}\oplus Z_{\bar 1}$22

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$23

In the supercommutative associative case,

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$24

This exhibits entire families of Zinbiel superalgebra structures generated by a single operator (Bouarroudj et al., 15 Aug 2025).

The same framework yields a super analogue of the Lie criterion. On the free Zinbiel superalgebra $Z=Z_{\bar 0}\oplus Z_{\bar 1}$25, one defines $Z=Z_{\bar 0}\oplus Z_{\bar 1}$26 on monomials by

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$27

and for degree $Z=Z_{\bar 0}\oplus Z_{\bar 1}$28,

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$29

Then a homogeneous element $Z=Z_{\bar 0}\oplus Z_{\bar 1}$30 of degree $Z=Z_{\bar 0}\oplus Z_{\bar 1}$31 lies in the free special Tortkara superalgebra $Z=Z_{\bar 0}\oplus Z_{\bar 1}$32 iff

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$33

The super setting also differs sharply from the ordinary one in speciality questions: there exist homomorphic images of special Tortkara superalgebras on two generators that are exceptional. Concretely, with $Z=Z_{\bar 0}\oplus Z_{\bar 1}$34, $Z=Z_{\bar 0}\oplus Z_{\bar 1}$35, the ideal generated by

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$36

in $Z=Z_{\bar 0}\oplus Z_{\bar 1}$37 yields an exceptional quotient detected by the element

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$38

This is one of the clearest places where the super theory departs from classical speciality phenomena (Bouarroudj et al., 15 Aug 2025).

6. Broader graded, operadic, and higher-categorical context

Several adjacent developments clarify how Zinbiel superalgebras fit into the wider Zinbiel landscape. On the cohomological side, equivariant Leibniz cohomology carries a cup product that makes the graded cohomology $Z=Z_{\bar 0}\oplus Z_{\bar 1}$39 into a graded zinbiel algebra. The product is defined orbitwise using shuffle operators, and its graded Zinbiel identity furnishes a genuine sign-sensitive context closely aligned with superalgebraic behavior (Mukherjee et al., 2018).

Higher-categorical generalizations also exist. Zinbiel $Z=Z_{\bar 0}\oplus Z_{\bar 1}$40-algebras are categorified Zinbiel algebras equipped with a Zinbielator natural isomorphism, and the category of Zinbiel $Z=Z_{\bar 0}\oplus Z_{\bar 1}$41-algebras is equivalent to the category of $Z=Z_{\bar 0}\oplus Z_{\bar 1}$42-term $Z=Z_{\bar 0}\oplus Z_{\bar 1}$43-algebras. The theory includes skeletal objects classified by a Zinbiel algebra, a bimodule, and a $Z=Z_{\bar 0}\oplus Z_{\bar 1}$44-cocycle, as well as strict objects corresponding to crossed modules. Although no parity-sign formalism is introduced there, the $Z=Z_{\bar 0}\oplus Z_{\bar 1}$45-term and cohomological machinery is directly relevant to graded and homotopical extensions of Zinbiel-type structures (Zhang, 2021).

Operadically, derived Zinbiel theory gives another point of comparison. For an algebra with derivation $Z=Z_{\bar 0}\oplus Z_{\bar 1}$46, the derived operations are

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$47

and for the Zinbiel operad one has

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$48

A central result is that, unlike several classical varieties, not every algebra in this derived variety embeds into a differential Zinbiel algebra. That paper explicitly states that it contains no superalgebra-specific theorem, but its derived-variety formalism provides a natural background for future super versions (Kolesnikov et al., 2023).

Another categorical bridge comes from calculus-like operator theory. An FTC-pair consists of a commutative algebra $Z=Z_{\bar 0}\oplus Z_{\bar 1}$49, an $Z=Z_{\bar 0}\oplus Z_{\bar 1}$50-module $Z=Z_{\bar 0}\oplus Z_{\bar 1}$51, a derivation $Z=Z_{\bar 0}\oplus Z_{\bar 1}$52, and an integration $Z=Z_{\bar 0}\oplus Z_{\bar 1}$53 satisfying algebraic versions of the two Fundamental Theorems of Calculus. The category of FTC-pairs is equivalent to the category of Zinbiel algebras, with Zinbiel product

$Z=Z_{\bar 0}\oplus Z_{\bar 1}$54

That work does not treat superalgebras, but it explicitly notes that graded or super-graded analogues would plausibly arise by replacing commutativity and bilinearity with their graded versions and inserting Koszul signs (Lemay, 2024).

The bialgebraic direction is similarly suggestive. Affinization results show that finite-dimensional Zinbiel algebras and Zinbiel bialgebras can be tensorially lifted through quadratic $Z=Z_{\bar 0}\oplus Z_{\bar 1}$55-graded perm algebras, with symmetric solutions of the Zinbiel Yang–Baxter equation producing skew-symmetric completed AYBE solutions on induced commutative associative algebras. Parallel tensor-product constructions with quadratic $Z=Z_{\bar 0}\oplus Z_{\bar 1}$56-graded Leibniz or Zinbiel algebras also produce completed pre-Lie bialgebras from Zinbiel-dendriform or Leibniz-dendriform data. These are not theorems about superalgebras, but they provide graded templates for superization of Zinbiel bialgebra and higher-bialgebra structures (Guo et al., 12 Dec 2025, Sun, 30 Jun 2026).

Taken together, these results show that Zinbiel superalgebras occupy a well-defined position inside a broader web of graded cohomological, operadic, categorical, and bialgebraic constructions. The established super theory is already substantial—especially in nilpotency, extremal classification, symmetric and quadratic structure, and free-object theory—while several neighboring frameworks indicate clear routes toward further graded and homotopical extensions (Camacho et al., 2023, Benayadi et al., 2022, Bouarroudj et al., 15 Aug 2025).