Third-Degree Polynomial Identity

• Polynomial identity of third degree is a nontrivial linear combination of cubic products that defines distinct varieties in associative algebras.
• It provides a framework for analyzing invariant theory, representation theory, and homological properties in PI-algebras.
• This topic has significant applications in classifying algebraic varieties and connects operadic duals with algebraic geometry insights.

A polynomial identity of third degree in the context of associative algebras is any nontrivial linear combination of products of three variables, designed to hold identically in a specified class (variety) of algebras. These identities are central to the structure theory of PI-algebras, invariant theory, and the classification of varieties of algebras. The classification problem for associative algebras defined by a third-degree identity has now been solved completely in characteristic zero, culminating in six distinct varieties, most notably including the Mal’cev types and varieties determined by symmetrized or skew-symmetrized cubic expressions (Vladimirova et al., 11 Jan 2026).

1. Algebraic Varieties Defined by Third-Degree Identities

Let $K$ be a field of characteristic zero. An associative $K$-algebra $A$ satisfies a polynomial identity of degree three if there exist scalars $a, b, c, d, e, f \in K$, not all zero, such that for all $x_1, x_2, x_3 \in A$,

$$a\,x_1x_2x_3 + b\,x_1x_3x_2 + c\,x_2x_1x_3 + d\,x_2x_3x_1 + e\,x_3x_1x_2 + f\,x_3x_2x_1 = 0.$$

Modulo the action of the symmetric group $S_3$ and change of variables, such cubic identities partition into equivalence classes generating distinct varieties. Each such variety is defined as the class of all associative $K$-algebras for which the identity, and its images under endomorphisms of the free associative algebra, vanish. The structure of the free algebras in these varieties encodes the representation-theoretic content of the identity via the action of $S_3$ and the resulting decomposition into irreducible modules (Vladimirova et al., 11 Jan 2026).

2. Classification: The Six Distinct Degree-3 Varieties

The possibilities for third-degree identities up to equivalence are as follows (Vladimirova et al., 11 Jan 2026):

1. $x^3 = 0$
2. $x[x, y] = 0$
3. $[x, y]x = 0$
4. $[x^2, y] = 0$
5. $[x, y, z] := [x, y]z + [y, z]x + [z, x]y = 0$
6. $$S_3(x_1, x_2, x_3) := \sum_{\sigma \in S_3}\mathrm{sgn}(\sigma)\,x_{\sigma(1)}x_{\sigma(2)}x_{\sigma(3)} = 0$$

Every variety defined by a nontrivial degree-3 identity in characteristic zero is generated as a $T$-ideal by one of these canonical forms. Each yields a category of algebras with characteristic multilinear, symmetric, or skew-symmetric behaviors in their associators and commutators. The associated multilinear component $P_3$ splits as $M(3) \oplus 2 M(2, 1) \oplus M(1^3)$ under $S_3$, and each identity corresponds to the annihilation of an irreducible summand (Vladimirova et al., 11 Jan 2026).

The Mal’cev types (first to fourth) are typically associated to certain-symmetrized cubic identities, and their dual operads correspond to alternative, assosymmetric, left-alternative, and right-alternative varieties, respectively (Sartayev, 3 Jun 2025, Sartayev et al., 5 Oct 2025). The standard and the totally skew-symmetric identities (cases (5) and (6)) are fundamental for the structural analysis of PI-algebras and their subvarieties.

3. Structure and Properties of Third-Degree Varieties

Free Algebras and Symmetric Invariants

For each variety, the structure of the relatively free algebra (free algebra modulo the defining $T$-ideal) is described as follows (Sartayev et al., 5 Oct 2025):

• First type: Nilpotent of index 6. Free algebra finite-dimensional, vanishing in degrees ≥6.
• Second type: Dimension of degree-$n$ part is $2n-1$ for $n \ge 5$; admits an explicit combinatorial basis parameterized by directed edges in generator indices.
• Third type: Fully commutative from degree 4 onwards; free algebra’s degree-$n$ part is 1-dimensional for $n \ge 4$, spanned by a unique fully nested anti-commutator.
• Fourth type: Linear growth of dimension; basis analogous to second type with a distinct sign pattern.

The commutator and anti-commutator subalgebras of the free objects recover classic Lie and Jordan varieties, encoding metabelianity, nilpotency, and special types of Lie-theoretic and Jordan-theoretic constraints (Sartayev, 3 Jun 2025).

Homological and Representation-Theoretic Features

Key homological invariants, such as the dimension of Hochschild cohomology and Cartan matrices, remain constant along irreducible components of these varieties. The module structure of multilinear polynomials is controlled recursively via Schur function data, with the theory of Berele–Drensky giving explicit formulae for the multiplicities of irreducible $S_n$-modules in each variety (Vladimirova et al., 11 Jan 2026).

The singular locus consists precisely of points where $H^2(A, A) \neq 0$, corresponding to algebras with non-trivial infinitesimal deformations. The method of associator varieties connects the geometry of these classes to classification problems in algebraic geometry, deformation theory, and the theory of algebra bundles (Canlubo, 2018, Green et al., 2017).

4. Geometric and Operadic Interpretation

The set of all structure constants solving the associativity equations defines an affine (or projective) algebraic variety, partitioned into strata corresponding to the different isomorphism types and degenerations among algebras. For third-degree identities, this gives a finite stratification in small dimensions. Orbit closures under the natural $\operatorname{GL}(n)$-action correspond to isomorphism classes, and the boundary relations among orbits give the degeneration (contraction) diagram for the variety (Kaygorodov et al., 2024, 0707.1076).

Operad theory provides a further conceptual framework. For instance, the first and second Mal’cev types correspond to varieties whose Koszul duals are the alternative and assosymmetric operads, with derived structures (e.g., via the Novikov or dendriform constructions) embedding noncommutative Novikov or dendriform algebras inside As$_k$-algebras equipped with a differential or Rota–Baxter operator (Sartayev, 3 Jun 2025). In the commutative case, the cosmash product offers a categorical characterisation: among operadic (i.e., multilinear) varieties, only the commutative associative variety admits a strictly associative cosmash product (Reimaa et al., 2022).

5. Examples and Explicit Classification in Low Dimension

For $n=2$ and $n=3$, exhaustive classification yields a complete list of isomorphism classes and their contraction relationships. For example, in dimension two over an algebraically closed field, only two nonzero associative algebras exist: the split semisimple $\Bbbk \oplus \Bbbk$ and the local algebra $\Bbbk[x]/(x^2)$ (Canlubo, 2018, 0707.1076). In dimension three, multiple isolated points and positive-dimensional families appear, corresponding to the increased complexity of possible cubic identities and their consequences.

The variety stratification is illustrated by the degeneration graph, in which more rigid algebras occupy open strata, and all other classes are degenerations (limits) of these rigid points. The associated geometry is rich, with Zariski tangent spaces governed by Hochschild cohomology and singular loci precisely corresponding to non-rigid points.

Type	Defining identity	Dual operad	Dimension growth	Key commutator/Jordan algebra
As$_1$	$abc+acb+bac+bca+cab+cba=0$	Alternative	Nilpotent, index 6	5-step metabelian Lie
As$_2$	$abc-acb-bac+bca+cab-cba=0$	Assosymmetric	$2n-1$ (for $n\ge5$)	Metabelian Lie, degree-4 Jordan identity
As$_3$	$abc+bac-bca-cba=0$	Left-alternative+sym	$1$ (for $n\ge4$)	Nilpotent Lie, left symmetry in Jordan
As$_4$	$abc-acb+bac-bca+cab-cba=0$	Right-alt.+sym	Linear growth	Nilpotent Lie, left symmetry in Jordan

The above table summarizes the Mal’cev-type subvarieties and characterizes the polynomial and representation-theoretic features of their free algebras (Sartayev, 3 Jun 2025, Sartayev et al., 5 Oct 2025).

6. Broader Context and Significance

Third-degree polynomial identities serve as foundational milestones in the general structure theory of polynomial identity (PI) algebras. They are the lowest-degree nontrivial constraints after linearity and quadratic identities, and their complete classification forms the base case for the intricate lattice of subvarieties of associative, alternative, and Jordan algebras (Vladimirova et al., 11 Jan 2026). The methods used—including decomposition into $S_n$-modules, analysis of free and relatively free objects, and algebraic geometry of structure constant varieties—extend to the broader program of classifying algebras by their polynomial identities.

This complete description elucidates the interplay between algebraic, geometric, operadic, and categorical perspectives. It underpins both concrete classification in small dimensions and the higher-level structural invariants (e.g., rigidity, growth rates, deformation theory) relevant to algebraic geometry, model theory, and representation theory (Canlubo, 2018, Green et al., 2017, Kaygorodov et al., 2024). This framework continues to inform the study of more complex identities, varieties of higher degree, and categorical characterizations of algebraic structures.