Cubic Twisted Algebras

• Cubic twisted algebras are a class of noncommutative structures that use cubic or higher-degree twisting to modify associativity and control automorphism properties.
• They extend classical constructions like octonions and Artin–Schelter regular algebras, with classification driven by geometric data and twisting automorphisms.
• These algebras have practical applications in algebraic geometry, quantum topology, and mathematical physics, providing frameworks for invariant theory and higher gauge models.

Cubic twisted algebras are a diverse and technically intricate class of noncommutative algebras that, across their various constructions, exploit cubic or higher-degree twisting mechanisms to modify algebraic structure and control associativity, module category, and automorphism properties. These algebras emerge in multiple research programs spanning Artin–Schelter regular algebras, twisted group algebras, braided algebra quotients, higher Lie-theoretic structures, and applications in algebraic geometry, topology, and mathematical physics.

1. Twisted Cubic Group Algebras and the Octonionic Series

Cubic twisted algebras in the sense of Morier-Genoud and Ovsienko are non-associative, $\mathbb{Z}_2^n$-graded algebras constructed as twisted group algebras $A_f$ over the elementary abelian $2$-group, with multiplication determined by a cubic cohomological twisting function $f\colon G \times G \to \mathbb{Z}_2$: $u_x \cdot u_y = (-1)^{f(x,y)} u_{x+y},$ where the associativity is controlled by a $3$-cocycle $$\phi(x, y, z) = f(y, z) + f(x + y, z) + f(x, y + z) + f(x, y) \mod 2$$. This cubic twisting generalizes the role of symmetric $2$-cocycles in group algebra deformations and allows for the construction of series of algebras—most notably, $O_n$ and $M_n$—that extend the classical octonions and relate deeply to Hurwitz–Radon identities and Moufang loops. The properties of these algebras, such as simplicity, automorphism group, and the structure of Moufang and code loops, follow explicitly from the symmetry and cubic nature of the twist (Morier-Genoud et al., 2010).

2. Artin–Schelter Regular Cubic Twisted Algebras

A major classification project in noncommutative algebraic geometry concerns the Artin–Schelter (AS) regular algebras. The 3-dimensional cubic AS-regular algebras, specifically, are connected graded $k$-algebras (over an algebraically closed field) generated in degree one by two elements, with two cubic relations. These algebras are classified by their geometric data $(E, \sigma)$, where $E \subset \mathbb{P}^1 \times \mathbb{P}^1$ is either the whole quadric or a reducible union of (1,1) divisors, and $\sigma$ is a compatible automorphism (Matsuno et al., 2023).

Each cubic twisted AS-regular algebra $A = k\langle x, y\rangle/(f_1, f_2)$ is encoded by a twisted superpotential $W \in V^{\otimes 4}$ satisfying a cyclic invariance under a matrix $\sigma \in \mathrm{GL}(V)$: $(\sigma \otimes \mathrm{id}^{\otimes 3})p(W) = W$ with $p$ the cyclic permutation. The two cubic relations are recovered as twisted cyclic partial derivatives $\partial_x W,\ \partial_y W$, providing the presentation. The difference between models (Type P, S, T, etc.) lies in the geometry of $E$ and the action of $\sigma$, with explicit defining relations parameterized accordingly.

The classification up to graded isomorphism and Morita equivalence follows from the geometry:

• Type P: $$A = k\langle x, y\rangle/(x^2y - a yx^2,\ x y^2 - a y^2 x)$$ with $a \in k^\times$, $a \neq \pm 1$.
• Type S: Relations involve quadratic forms in $x$ and $y$ with parameters $a, b$.
• Type T: Relations involve single parameter $\beta$ governing intersection type.

Two such algebras are isomorphic if and only if the parameter sets are matched under certain projective symmetries, as summarized in tabular form in (Matsuno et al., 2023).

Type	Defining Relations	Isomorphism Condition
$P_1(a)$	$x^2y - a yx^2$, $x y^2 - a y^2 x$	$a' \in \{a, a^{-1}\}$
$P_2$	$x^2y - yx^2 + yxy$, $x y^2 - y^2 x + y^3$	unique, no parameter
$S_1(a,b)$	see text (Matsuno et al., 2023)	$\{a', b'\} = \{a, b\}$ or $\{a^{-1}, b^{-1}\}$
$T_1(\beta)$	see text (Matsuno et al., 2023)	$\beta' = \beta$ or $1-\beta$

3. Zhang Twisting, Ore Extensions, and Regular Quadratic Twists

The perspective from GSCAs (graded skew Clifford algebras) and Zhang twists is critical when moving beyond the strictly geometric or cubic superpotential context. In particular, for quadratic regular algebras of global dimension three, a core result is that every such algebra is a Zhang twist (via a graded automorphism) of either:

• a regular GSCA of global dimension three, or
• an Ore extension $B_0[x; \phi, \delta]$ where $B_0$ is a regular GSCA of global dimension two.

Explicitly, the Zhang twist $D^\sigma$ has the same graded vector space as $D$ but product $a * b = a\sigma^{\deg a}(b)$ for homogeneous $a$, and the twisting automorphism is often directly identified with an automorphism of a nodal or cuspidal cubic. This completely determines noncommutative quadratics with those singular cubic point schemes in $\mathbb{P}^2$ (Nafari et al., 2010).

Special cases (e.g., the nodal cubic with $\lambda^3 = -1$) admit presentations as a GSCA, with defining relations: $$\begin{cases} x_1 x_2 = x_2 x_1 \ x_2 x_3 = \lambda x_3 x_2 - x_1^2 \ x_3 x_1 = \lambda x_1 x_3 - x_2^2 \end{cases}$$ where $\lambda^3 \neq 1$, and $A$ is determined up to isomorphism by the automorphism $\tau(x : y : z) = (x : \lambda y : \lambda^3 z)$.

4. Non-Associative Cubic Matrix Algebras and Higher Bracket Structures

A distinct development is found in non-associative algebras of cubic matrices, such as those motivated by higher gauge theories and related to truncated $L_\infty$-algebras (Blumenhagen et al., 3 Apr 2025). These "cubic-twisted" algebras are defined on a direct sum $V = V_B \oplus V_C$, with $V_B$ the space of $N \times N$ matrices and $V_C$ the space of $M \times N \times N$ cubic matrices.

Three operations are defined:

• Matrix product on $V_B$
• Cubic-cubic matrix contraction mapping $V_C \otimes V_C \to V_B$
• Mixed contractions $V_B \otimes V_C \to V_C$ and $V_C \otimes V_B \to V_C$

The commutator $[X, Y] = X \cdot Y - Y \cdot X$ is generally non-associative, and higher associator defects lead to the definition of a three-bracket $[a_1, a_2, a_3] = -\text{Jac}(a_1, a_2, a_3)$. These satisfy fundamental higher identities, notably: $$[M,[a_1, a_2, a_3]] = [[M, a_1], a_2, a_3] + [a_1, [M,a_2], a_3] + [a_1, a_2, [M,a_3]]$$ and an extended pure cubic identity governing their representation as a two-term $L_\infty$ algebra.

The hallmark of these cubic-twisted structures in mathematical physics is the necessity of both two-bracket (commutator) and three-bracket terms to obtain gauge-invariant actions in extensions of Yang–Mills and BF-theories.

5. Cubic Twisted Braid Algebras and Link Invariants

In the context of link and knot invariants, cubic twisted algebras also arise as finite-dimensional quotients of braid group algebras, underlying invariants such as the Links–Gould polynomial (Marin et al., 2012). The cubic defining algebra $A_n$ is generated by braid generators $s_i$ subject to:

• Standard braid relations
• Cubic Hecke relation: $(s_i - a)(s_i - b)(s_i - c) = 0$
• Additional 3- and 4-strand relations removing unwanted blocks, thereby making $A_n$ finite-dimensional and semisimple

This structure, and the associated Markov trace, is essential for computational skein-theoretic approaches to link invariants, and the explicit block structures and basis for small $n$ are fully determined.

$n$	$\dim A_n$	Notable structural property
2	3	Basis: $\{1, s_1, s_1^{-1}\}$
3	20	Braid words modulo cubic/3-strand relations
4	175	Bratteli/path basis; semisimplicity

Conjectures remain regarding trace nondegeneracy, explicit cellular structure, and more general "cubic BMW"-type deformations.

6. Classification and Isomorphism Criteria for Cubic Twisted AS-regular Algebras

Comprehensive classification of cubic twisted AS-regular algebras relies on the interplay between defining relations, underlying geometric data, and twisting automorphisms. For each presentation, geometric criteria (projective equivalence, automorphism-induced isomorphism) dictate isomorphism class and Morita equivalence:

• For Type $P_1$: algebras are isomorphic iff the twist parameter $a$ matches up to inversion.
• For Type $S_1$: unordered pair of parameters $(a, b)$ modulo inversion.
• For Type $T_1$: parameter $\beta$ modulo $\beta' = \beta$ or $\beta' = 1 - \beta$.
• For "swapped" types ($S_2$, $T_2$): isomorphism is determined by normalized parameter list, with some equivalence class collapsing.

These correspondences are tightly controlled by the automorphism group of $E$ and the structure of the superpotential (Matsuno et al., 2023).

7. Connections to Current and Future Research

Cubic twisted algebras connect representation-theoretic, geometric, and quantum-invariant perspectives. They serve as fundamental test cases in noncommutative algebraic geometry, higher gauge theory, quantum topology, and the study of cohomological deformations of algebraic structures. Active research includes explicit realization of new invariants, computation of $L_\infty$-models for field theory, exploration of classification in higher dimensions, and analysis of relations to quantum groups, Moufang and code loops, and exceptional Lie algebras (Blumenhagen et al., 3 Apr 2025, Morier-Genoud et al., 2010, Matsuno et al., 2023, Nafari et al., 2010, Marin et al., 2012).