---
title: 'Tortkara Superalgebras: Structure & Classification'
url: https://www.emergentmind.com/topics/tortkara-superalgebras
type: topic
---

# Tortkara Superalgebras: Structure & Classification

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 [2508.11382]. 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 [2602.14248]. 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}$ [2508.11382]. 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,
$$
a\,b=-\,(-1)^{|a||b|}\,b\,a.
$$
The second is the super-Tortkara identity, expressed in terms of the super-Jacobian
$$
J_s(a,b,c)=(a\,b)\,c-a\,(b\,c)-(-1)^{|b||c|}(a\,c)\,b,
$$
and given by
$$
(a\,b)\,(c\,d)-(-1)^{|d|(|b|+|c|)}(a\,d)\,(b\,c)
=
J_s(a,b,c)\,d+(-1)^{|a||b|}\,b\,J_s(a,c,d).
$$
This identity is the defining polynomial law of the variety in the super-anticommutative setting [2508.11382].

The same class is formulated in the geometric-classification paper with bracket notation $[\cdot,\cdot]$, where the product is graded skew-symmetric and satisfies the Tortkara identity in anticommutative form [2602.14248]. That presentation is equivalent in the sense relevant for the classification of anticommutative examples. When furthermore $[A_{0},A_{1}]\subseteq A_{1}$ and $[A_{1},A_{1}]\subseteq A_{0}$, this is the usual “super” version of an anticommutative Tortkara algebra [2602.14248].

## 2. Relation to Zinbiel superalgebras

The principal constructive source of Tortkara superalgebras in the cited work is the class of Zinbiel superalgebras. A superalgebra $(A,\cdot)$ is called a right Zinbiel superalgebra if for all homogeneous $a,b,c\in A$ one has
$$
a\,(b\,c)-(a\,b)\,c-(-1)^{|a||b|}(b\,a)\,c=0.
$$
This is the graded version of the right-Zinbiel identity [2508.11382].

A basic structural fact is that if $A$ is Zinbiel, then the super-commutator algebra
$$
A^{(-)}=(A,[\cdot,\cdot])
$$
is a Tortkara superalgebra [2508.11382]. 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 [2508.11382]. 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 $T$ is called special if it embeds, as a super-subalgebra, into the super-commutator algebra $A^{(-)}$ of some Zinbiel superalgebra $A$ [2508.11382]. Equivalently, $T$ is special if it satisfies all identities valid in all such commutator algebras. If no such embedding exists, then $T$ 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 [2508.11382].

The construction begins with the free special Tortkara superalgebra $ST(x,y)$ on generators $x$ and $y$, with $x$ odd and $y$ even. One considers the ideal
$$
I=\bigl\langle\,\overline{y\,y\,x}\,,\;y\,x\,x\bigr\rangle,
$$
where
$$
\overline{y\,y\,x}=y y x-(-1)^{|y||x|}y x y=y y x-y x y.
$$
The quotient
$$
T=ST(x,y)/I
$$
is then a $2$-generator Tortkara superalgebra which is not special [2508.11382].

The proof sketch given in the source centers on the element
$$
\omega=-\,\overline{x\,y\,x\,y}-y\,y\,x\,x,
$$
which lies in the super-commutator ideal of the free Zinbiel envelope, hence in the ideal generated by $I$ in that envelope, but cannot be expressed in $ST(x,y)$ itself as a combination of the two generators of $I$. By Cohn’s criterion, this forces the quotient to be exceptional [2508.11382]. 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 $\leq 3$ over a field $\mathbb{K}$ of characteristic $0$ [2508.11382]. The list is organized by superdimension.

### Classification in dimension at most three

| Superdimension | Isomorphism classes | Remarks |
|---|---:|---|
| $(1|1)$ | 3 | All are Malcev, hence Lie |
| $(2|0)$ | 2 | Both are Malcev, so ordinary Lie |
| $(2|1)$ | 6 | Two examples are non-Malcev and non-Lie |
| $(1|2)$ | 6 | All are Malcev, hence Lie |

For superdimension $(1|1)$, with basis $\{e_{1}\text{ even}\mid e_{2}\text{ odd}\}$, the three algebras are: the trivial algebra; the algebra with $e_{1}\cdot e_{2}=e_{2}$; and the algebra with $e_{2}\cdot e_{2}=e_{1}$ [2508.11382]. All are Malcev and hence Lie.

For superdimension $(2|0)$, with basis $\{e_{1},e_{2}\}$ all even, there are two algebras: the trivial algebra and the algebra with $e_{1}\cdot e_{2}=e_{2}$ [2508.11382]. Again, both are Malcev, so ordinary Lie algebras.

For superdimension $(2|1)$, with even basis $e_{1},e_{2}$ and odd basis $e_{3}$, there are exactly six algebras up to isomorphism:
- $T^{1}$: trivial.
- $T^{2}$: $e_{3}\cdot e_{3}=e_{1}$.
- $T^{3}$: $e_{1}\cdot e_{2}=-e_{1},\quad e_{2}\cdot e_{3}=e_{3},\quad e_{3}\cdot e_{3}=e_{1}$.
- $T^{7}$: $e_{1}\cdot e_{2}=e_{1}$.
- $T^{8}$: $e_{1}\cdot e_{2}=e_{1},\quad e_{1}\cdot e_{3}=e_{3}$.
- $T^{9}(\gamma)$: $e_{1}\cdot e_{2}=\gamma e_{2},\quad e_{1}\cdot e_{3}=e_{3},\ \gamma\in\mathbb{K}$ [2508.11382].

Among these, $T^{3}$ and $T^{8}$ fail to satisfy the super-Jacobi identity, hence are not Malcev and not Lie [2508.11382]. This is singled out in the source as a specifically super phenomenon.

For superdimension $(1|2)$, with basis $e_{1}$ even and $e_{2},e_{3}$ odd, there are again exactly six classes:
- $T^{1}$: trivial.
- $T^{2}$: $e_{1}\cdot e_{3}=e_{2},\quad e_{3}\cdot e_{3}=e_{1}$.
- $T^{3}(\alpha)$: $e_{1}\cdot e_{2}=e_{2}+e_{3},\quad e_{1}\cdot e_{3}=e_{2}+\alpha e_{3}$.
- $T^{4}(\alpha)$: $e_{2}\cdot e_{3}=e_{1},\quad e_{3}\cdot e_{3}=e_{1},\quad e_{2}\cdot e_{2}=\alpha e_{1}$.
- $T^{5}$: $e_{1}\cdot e_{3}=e_{2}$.
- $T^{6}$: $e_{1}\cdot e_{2}=e_{2}$ [2508.11382].

All of these $(1|2)$ examples are Malcev and hence Lie [2508.11382]. The full theorem states that these lists exhaust all Tortkara superalgebras of total dimension at most $3$ up to isomorphism [2508.11382].

## 5. Three-dimensional anticommutative classification and geometry

A later classification of complex $3$-dimensional noncommutative Jordan superalgebras includes, as a byproduct, the algebraic and geometric classification of the variety of $3$-dimensional anticommutative superalgebras and its principal subvarieties, including Tortkara superalgebras [2602.14248]. Within this framework, the complete list of complex $3$-dimensional anticommutative Tortkara superalgebras up to isomorphism is given for the two nontrivial grading types $(1,2)$ and $(2,1)$.

For type $(1,2)$, with even part $A_{0}=\langle e_{1}\rangle$ and odd part $A_{1}=\langle f_{1},f_{2}\rangle$, the nontrivial algebras are:
- $A_{01}$ with $[f_{1},f_{2}]=e_{1}$.
- $A_{07}$ with $[e_{1},f_{2}]=f_{1}$.
- The one-parameter family $A_{08}^{\alpha}$, $\alpha\in\mathbb{C}^{\times}$, with
  $$
  [e_{1},f_{1}]=f_{1},\qquad [e_{1},f_{2}]=\alpha f_{2}.
  $$
  The isomorphism condition is $A_{08}^{\alpha}\cong A_{08}^{\alpha^{-1}}$ [2602.14248].

For type $(2,1)$, with even part $A_{0}=\langle e_{1},e_{2}\rangle$ and odd part $A_{1}=\langle f_{1}\rangle$, the nontrivial algebras are:
- $A_{03}^{-1}$ with
  $$
  [e_{1},f_{1}]=f_{1},\quad [e_{2},f_{1}]=-f_{1},\quad [f_{1},f_{1}]=e_{1}.
  $$
- $A_{06}$ with
  $$
  [e_{2},f_{1}]=f_{1},\quad [f_{1},f_{1}]=e_{1}.
  $$
In the super-setting, these five algebras exhaust the nontrivial odd-graded cases [2602.14248].

The same work identifies invariants used to distinguish isomorphism classes: the dimension of the derived algebra $[\mathcal{A},\mathcal{A}]$, the action of $A_{0}$ on $A_{1}$ via eigenvalues in type $(1,2)$, the dimensions of $H^{2}(\mathcal{A},\mathcal{A})$ used in rigidity tests, and the centroid [2602.14248]. 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 $G=\operatorname{GL}(A_{0})\times \operatorname{GL}(A_{1})$ [2602.14248]. For type $(1,2)$, $\dim \,\mathrm{Var}=4$, and there are three irreducible components:
$$
\overline{\mathcal{O}(A_{01})},\quad \overline{\mathcal{O}(A_{07})},\quad \overline{\mathcal{O}(A_{08}^{\alpha})}.
$$
Here $A_{01}$ and $A_{07}$ are rigid, while $A_{08}^{\alpha}$ has $\dim H^{2}=1$ and gives a $1$-parameter family of non-rigid points [2602.14248].

For type $(2,1)$, again $\dim \,\mathrm{Var}=4$, and there are two Tortkara components,
$$
\overline{\mathcal{O}(A_{03}^{-1})},\quad \overline{\mathcal{O}(A_{06})},
$$
both rigid [2602.14248]. The only nontrivial degeneration listed is
$$
A_{03}^{-1}\to A_{10},
$$
where $A_{10}$ is a non-Tortkara odd algebra sitting on the boundary [2602.14248].

## 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 [2508.11382].

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 $2$-generator quotient can be exceptional [2508.11382]. 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$, the $(2|1)$ examples $T^{3}$ and $T^{8}$ fail the super-Jacobi identity and therefore lie genuinely outside the Lie and Malcev subclasses [2508.11382]. The source notes that these have no counterpart in the ordinary $3$-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$ is consistent with this reading, since it isolates several distinct rigid orbit closures and a non-rigid parameter family in the type $(1,2)$ case [2602.14248].

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 $(2|1)$ algebras are genuinely non-Lie [2508.11382].

## 7. Methods, surrounding classifications, and research directions

The algebraic and geometric classification of $3$-dimensional anticommutative Tortkara superalgebras is obtained in the broader classification program by starting from the full list of $3$-dimensional anticommutative superalgebras, then imposing the Tortkara identity, computing $H^{2}$-spaces, acting by $\operatorname{Aut}(A)$ to normalize parameters, and selecting normal forms [2602.14248]. 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 $t\to 0$ [2602.14248]. Non-degenerations are excluded by invariant-theoretic arguments such as comparison of dimensions of derived series or preservation of rank conditions [2602.14248].

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 [2508.11382]. 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 [2508.11382; 2602.14248].

Source: https://www.emergentmind.com/topics/tortkara-superalgebras