Tortkara Superalgebras: Structure & Classification

• Tortkara superalgebras are Z₂-graded anticommutative algebras defined by the super-Tortkara identity, exhibiting unique structural traits compared to classical algebras.
• They are constructed via embeddings into Zinbiel superalgebras, highlighting the distinction between special and exceptional cases in graded settings.
• Recent classification studies and degeneration analyses in low dimensions reveal diverse isomorphism classes and super-specific phenomena absent in non-super contexts.

Searching arXiv for the cited Tortkara superalgebra papers and closely related classification work. Searching arXiv for “Tortkara superalgebras Zinbiel” and related classification papers. Tortkara superalgebras are $\mathbb{Z}_{2}$-graded anticommutative algebras whose defining polynomial identity is the super-analogue of the Tortkara identity. In the recent treatment of Bouarroudj and Mashurov, they are studied in direct relation to Zinbiel superalgebras, speciality, and low-dimensional classification, with several phenomena that differ sharply from the ordinary non-super case (Bouarroudj et al., 15 Aug 2025). A complementary classification program for complex $3$-dimensional anticommutative superalgebras places Tortkara superalgebras inside a broader algebraic and geometric framework, including degeneration theory and irreducible components of the corresponding varieties (Abdelwahab et al., 15 Feb 2026). Taken together, these works describe Tortkara superalgebras both axiomatically and structurally, with particular emphasis on the relation to Zinbiel envelopes, the distinction between special and exceptional objects, and the behavior of small-dimensional examples.

1. Definitions and foundational identities

A $\mathbb{K}$-superalgebra is a $\mathbb{K}$-vector space

$A=A_{0}\oplus A_{1},$

equipped with a bilinear product such that $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$, where $|a|=i$ for homogeneous $a\in A_{i}$ (Bouarroudj et al., 15 Aug 2025). In this setting, the super-commutator and super-anticommutator are defined by

$$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$

These operations provide the standard passage from a not-necessarily anticommutative graded product to graded skew-symmetric and graded symmetric operations.

A Tortkara superalgebra is a superalgebra $(T,\cdot)$ satisfying two identities on homogeneous elements. The first is super-anticommutativity,

$3$0

The second is the super-Tortkara identity, expressed in terms of the super-Jacobian

$3$1

and given by

$3$2

This identity is the defining polynomial law of the variety in the super-anticommutative setting (Bouarroudj et al., 15 Aug 2025).

The same class is formulated in the geometric-classification paper with bracket notation $3$3, where the product is graded skew-symmetric and satisfies the Tortkara identity in anticommutative form (Abdelwahab et al., 15 Feb 2026). That presentation is equivalent in the sense relevant for the classification of anticommutative examples. When furthermore $3$4 and $3$5, this is the usual “super” version of an anticommutative Tortkara algebra (Abdelwahab et al., 15 Feb 2026).

2. Relation to Zinbiel superalgebras

The principal constructive source of Tortkara superalgebras in the cited work is the class of Zinbiel superalgebras. A superalgebra $3$6 is called a right Zinbiel superalgebra if for all homogeneous $3$7 one has

$3$8

This is the graded version of the right-Zinbiel identity (Bouarroudj et al., 15 Aug 2025).

A basic structural fact is that if $3$9 is Zinbiel, then the super-commutator algebra

$\mathbb{K}$0

is a Tortkara superalgebra (Bouarroudj et al., 15 Aug 2025). This places Tortkara superalgebras in a role analogous to the role of Lie algebras obtained from associative algebras by commutator, but with Zinbiel replacing associative structure. The paper explicitly studies Zinbiel superalgebras and special Tortkara superalgebras together, and it also presents examples of Zinbiel superalgebras with Rota-Baxter operators, constructs a basis for free Zinbiel superalgebras, and establishes a superalgebraic analogue of the Lie criterion for Zinbiel superalgebras (Bouarroudj et al., 15 Aug 2025). These results situate Tortkara superalgebras within a broader operadic and envelope-based context.

The importance of this relation is twofold. First, it provides a concrete mechanism for constructing Tortkara superalgebras from non-anticommutative graded algebras. Second, it motivates the distinction between those Tortkara superalgebras that arise from Zinbiel superalgebras and those that do not. That distinction is formalized by the notion of speciality.

3. Special and exceptional Tortkara superalgebras

A Tortkara superalgebra $\mathbb{K}$1 is called special if it embeds, as a super-subalgebra, into the super-commutator algebra $\mathbb{K}$2 of some Zinbiel superalgebra $\mathbb{K}$3 (Bouarroudj et al., 15 Aug 2025). Equivalently, $\mathbb{K}$4 is special if it satisfies all identities valid in all such commutator algebras. If no such embedding exists, then $\mathbb{K}$5 is exceptional.

The non-super theory exhibits a stability property: every homomorphic image of the free special Tortkara algebra on two generators remains special. The super setting does not preserve this behavior. Bouarroudj and Mashurov state that this analogue fails and provide an explicit two-generator counterexample (Bouarroudj et al., 15 Aug 2025).

The construction begins with the free special Tortkara superalgebra $\mathbb{K}$6 on generators $\mathbb{K}$7 and $\mathbb{K}$8, with $\mathbb{K}$9 odd and $\mathbb{K}$0 even. One considers the ideal

$\mathbb{K}$1

where

$\mathbb{K}$2

The quotient

$\mathbb{K}$3

is then a $\mathbb{K}$4-generator Tortkara superalgebra which is not special (Bouarroudj et al., 15 Aug 2025).

The proof sketch given in the source centers on the element

$\mathbb{K}$5

which lies in the super-commutator ideal of the free Zinbiel envelope, hence in the ideal generated by $\mathbb{K}$6 in that envelope, but cannot be expressed in $\mathbb{K}$7 itself as a combination of the two generators of $\mathbb{K}$8. By Cohn’s criterion, this forces the quotient to be exceptional (Bouarroudj et al., 15 Aug 2025). The result is one of the clearest points at which the super theory diverges from the classical theory.

A common misconception would be to expect speciality to behave under two-generator quotients exactly as in the ordinary setting. The cited theorem shows that this expectation is false in the graded case. The difference is not merely technical; it affects the transfer of envelope-based arguments from non-super Tortkara theory to the super context.

4. Low-dimensional classification in dimensions two and three

The paper "On Zinbiel and Tortkara superalgebras" gives a classification of all nonisomorphic Tortkara superalgebras of total dimension $\mathbb{K}$9 over a field $A=A_{0}\oplus A_{1},$0 of characteristic $A=A_{0}\oplus A_{1},$1 (Bouarroudj et al., 15 Aug 2025). The list is organized by superdimension.

Classification in dimension at most three

Superdimension	Isomorphism classes	Remarks
$A=A_{0}\oplus A_{1},$2	3	All are Malcev, hence Lie
$A=A_{0}\oplus A_{1},$3	2	Both are Malcev, so ordinary Lie
$A=A_{0}\oplus A_{1},$4	6	Two examples are non-Malcev and non-Lie
$A=A_{0}\oplus A_{1},$5	6	All are Malcev, hence Lie

For superdimension $A=A_{0}\oplus A_{1},$6, with basis $A=A_{0}\oplus A_{1},$7, the three algebras are: the trivial algebra; the algebra with $A=A_{0}\oplus A_{1},$8; and the algebra with $A=A_{0}\oplus A_{1},$9 (Bouarroudj et al., 15 Aug 2025). All are Malcev and hence Lie.

For superdimension $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$0, with basis $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$1 all even, there are two algebras: the trivial algebra and the algebra with $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$2 (Bouarroudj et al., 15 Aug 2025). Again, both are Malcev, so ordinary Lie algebras.

For superdimension $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$3, with even basis $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$4 and odd basis $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$5, there are exactly six algebras up to isomorphism:

• $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$6: trivial.
• $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$7: $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$8.
• $A_{i}\cdot A_{j}\subseteq A_{i+j\in\mathbb{Z}_{2}}$9: $|a|=i$0.
• $|a|=i$1: $|a|=i$2.
• $|a|=i$3: $|a|=i$4.
• $|a|=i$5: $|a|=i$6 (Bouarroudj et al., 15 Aug 2025).

Among these, $|a|=i$7 and $|a|=i$8 fail to satisfy the super-Jacobi identity, hence are not Malcev and not Lie (Bouarroudj et al., 15 Aug 2025). This is singled out in the source as a specifically super phenomenon.

For superdimension $|a|=i$9, with basis $a\in A_{i}$0 even and $a\in A_{i}$1 odd, there are again exactly six classes:

• $a\in A_{i}$2: trivial.
• $a\in A_{i}$3: $a\in A_{i}$4.
• $a\in A_{i}$5: $a\in A_{i}$6.
• $a\in A_{i}$7: $a\in A_{i}$8.
• $a\in A_{i}$9: $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$0.
• $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$1: $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$2 (Bouarroudj et al., 15 Aug 2025).

All of these $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$3 examples are Malcev and hence Lie (Bouarroudj et al., 15 Aug 2025). The full theorem states that these lists exhaust all Tortkara superalgebras of total dimension at most $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$4 up to isomorphism (Bouarroudj et al., 15 Aug 2025).

5. Three-dimensional anticommutative classification and geometry

A later classification of complex $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$5-dimensional noncommutative Jordan superalgebras includes, as a byproduct, the algebraic and geometric classification of the variety of $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$6-dimensional anticommutative superalgebras and its principal subvarieties, including Tortkara superalgebras (Abdelwahab et al., 15 Feb 2026). Within this framework, the complete list of complex $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$7-dimensional anticommutative Tortkara superalgebras up to isomorphism is given for the two nontrivial grading types $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$8 and $$[a,b]=ab-(-1)^{|a||b|}ba,\qquad \{a,b\}=ab+(-1)^{|a||b|}ba.$$9.

For type $(T,\cdot)$0, with even part $(T,\cdot)$1 and odd part $(T,\cdot)$2, the nontrivial algebras are:

• $(T,\cdot)$3 with $(T,\cdot)$4.
• $(T,\cdot)$5 with $(T,\cdot)$6.
• The one-parameter family $(T,\cdot)$7, $(T,\cdot)$8, with

$(T,\cdot)$9

The isomorphism condition is $3$00 (Abdelwahab et al., 15 Feb 2026).

For type $3$01, with even part $3$02 and odd part $3$03, the nontrivial algebras are:

• $3$04 with

$3$05

• $3$06 with

$3$07

In the super-setting, these five algebras exhaust the nontrivial odd-graded cases (Abdelwahab et al., 15 Feb 2026).

The same work identifies invariants used to distinguish isomorphism classes: the dimension of the derived algebra $3$08, the action of $3$09 on $3$10 via eigenvalues in type $3$11, the dimensions of $3$12 used in rigidity tests, and the centroid (Abdelwahab et al., 15 Feb 2026). These invariants connect the algebraic classification to the geometry of orbit closures.

The geometric picture is described in terms of degenerations inside the affine variety of structure constants satisfying skew-symmetry and the Tortkara polynomial identities, under the action of $3$13 (Abdelwahab et al., 15 Feb 2026). For type $3$14, $3$15, and there are three irreducible components:

$3$16

Here $3$17 and $3$18 are rigid, while $3$19 has $3$20 and gives a $3$21-parameter family of non-rigid points (Abdelwahab et al., 15 Feb 2026).

For type $3$22, again $3$23, and there are two Tortkara components,

$3$24

both rigid (Abdelwahab et al., 15 Feb 2026). The only nontrivial degeneration listed is

$3$25

where $3$26 is a non-Tortkara odd algebra sitting on the boundary (Abdelwahab et al., 15 Feb 2026).

6. Super-specific phenomena and conceptual significance

The cited literature emphasizes that the super setting is not a routine graded extension of the ordinary theory. Two differences are explicitly highlighted in Bouarroudj and Mashurov’s account (Bouarroudj et al., 15 Aug 2025).

The first is the failure of the non-super speciality property for homomorphic images of free special algebras on two generators. In the ordinary theory, such homomorphic images remain special. In the super setting, a simple $3$27-generator quotient can be exceptional (Bouarroudj et al., 15 Aug 2025). This makes speciality in the graded case more delicate than its classical analogue.

The second is the appearance, already in low dimension, of non-Lie and non-Malcev Tortkara superalgebras. In the classification of total dimension at most $3$28, the $3$29 examples $3$30 and $3$31 fail the super-Jacobi identity and therefore lie genuinely outside the Lie and Malcev subclasses (Bouarroudj et al., 15 Aug 2025). The source notes that these have no counterpart in the ordinary $3$32-dimensional Tortkara classification.

A plausible implication is that super-anticommutativity plus the Tortkara identity leaves more room for structurally distinct behavior than in the non-super case, especially when odd-even interactions are nontrivial. The geometric classification in dimension $3$33 is consistent with this reading, since it isolates several distinct rigid orbit closures and a non-rigid parameter family in the type $3$34 case (Abdelwahab et al., 15 Feb 2026).

Another misconception would be to identify “anticommutative Tortkara superalgebra” with “Lie superalgebra” in small dimension. The classification data show that the overlap is substantial, but not exhaustive: many low-dimensional examples are Malcev and hence Lie, yet some $3$35 algebras are genuinely non-Lie (Bouarroudj et al., 15 Aug 2025).

7. Methods, surrounding classifications, and research directions

The algebraic and geometric classification of $3$36-dimensional anticommutative Tortkara superalgebras is obtained in the broader classification program by starting from the full list of $3$37-dimensional anticommutative superalgebras, then imposing the Tortkara identity, computing $3$38-spaces, acting by $3$39 to normalize parameters, and selecting normal forms (Abdelwahab et al., 15 Feb 2026). The geometric classification is based on the affine variety of structure constants subject to skew-symmetry and Tortkara polynomial identities, with rigid algebras corresponding to open orbits and degenerations realized by one-parameter changes of basis as $3$40 (Abdelwahab et al., 15 Feb 2026). Non-degenerations are excluded by invariant-theoretic arguments such as comparison of dimensions of derived series or preservation of rank conditions (Abdelwahab et al., 15 Feb 2026).

Within the 2025 study, Tortkara superalgebras appear as part of a larger investigation of Zinbiel superalgebras, including free objects, Rota-Baxter operators, and a superalgebraic analogue of the Lie criterion (Bouarroudj et al., 15 Aug 2025). This suggests that future work may continue to develop the interface between Zinbiel envelopes and graded anticommutative structures. A plausible implication is that speciality questions for higher-rank free superalgebras, and geometric questions for higher-dimensional varieties of Tortkara superalgebras, will remain central problems.

The currently documented picture is therefore bifocal. On one side, Tortkara superalgebras are defined intrinsically by super-anticommutativity and the super-Tortkara identity. On the other, they are studied extrinsically through embeddings into commutator superalgebras of Zinbiel superalgebras and through orbit geometry in varieties of structure constants. The super theory is distinguished not merely by graded notation, but by concrete departures from the non-super case: exceptional two-generator quotients, non-Lie low-dimensional examples, and a classification landscape in which algebraic and geometric invariants both play a determining role (Bouarroudj et al., 15 Aug 2025, Abdelwahab et al., 15 Feb 2026).