🔢 mathematics

The algebraic and geometric classification of noncommutative Jordan superalgebras

This paper presents the algebraic and geometric classifications of complex 3-dimensional noncommutative Jordan superalgebras, which subsequently yield classifications for various related structures including Kokoris, standard, generic Poisson-Jordan, generic Poisson, and numerous anticommutative superalgebras such as Lie, Malcev, and Tortkara varieties.

Original authors: Hani Abdelwahab, Ivan Kaygorodov, Abror Khudoyberdiyev

Published 2026-02-17

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Hani Abdelwahab, Ivan Kaygorodov, Abror Khudoyberdiyev

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect, but instead of designing houses, you are designing universes of rules.

In mathematics, there is a field called algebra. Think of algebra not just as numbers and $x$ 's, but as a set of instructions for how things interact. If you have two objects, say a red ball and a blue ball, algebra tells you what happens when you "multiply" them. Do they bounce off? Do they merge? Do they disappear?

Most people know standard algebra (like $2+2=4$ ), but there are thousands of weird, exotic versions where the rules are different. Some rules say "order doesn't matter" ( $A \times B = B \times A$ ), while others say "order is everything" ( $A \times B \neq B \times A$ ).

This paper is a massive catalog or encyclopedia created by three mathematicians. They wanted to answer two big questions about a specific, tiny, but very complex universe of rules called 3-dimensional Noncommutative Jordan Superalgebras.

Here is the breakdown of what they did, using simple analogies:

1. The "Superalgebra" Twist: The Day/Night Shift

First, imagine a club with two types of members: Day Shift (even numbers) and Night Shift (odd numbers).

In normal algebra, everyone mixes freely.
In a Superalgebra, the rules change depending on who is interacting. If two Night Shift members interact, the rules might flip signs (like a mirror image). It's like a dance where the steps change if you are wearing a hat or not.

2. The "Noncommutative Jordan" Rules

These are the specific laws of the universe they are studying.

Noncommutative: Order matters. If you shake hands with Bob, it's different than Bob shaking hands with you.
Jordan: Despite the chaos, there is a hidden harmony. If you do a specific three-step dance ( $A$ then $B$ then $A$ ), it looks the same as doing it the other way around ( $B$ then $A$ then $B$ ).

The authors looked at all possible universes of these rules that have exactly 3 dimensions (think of them as having 3 basic building blocks).

3. The Two Big Missions

The paper tackles the problem in two different ways, like looking at a sculpture from two angles.

Mission A: The Algebraic Classification (The "Species" List)

Imagine you are a biologist trying to list every species of beetle in a forest. You want to know: "How many distinct types of beetles exist, and how can I tell them apart?"

The Method: They took every possible set of rules and checked if they were unique.
The Result: They found a huge list of distinct "beetles" (algebras).
- Some are Lie algebras (very orderly, like a military formation).
- Some are Malcev algebras (a bit looser, like a jazz band).
- Some are Tortkara algebras (very specific, rare creatures).
- And many others with fancy names like "Kokoris" or "Standard."
The "Byproduct": While hunting for these specific beetles, they accidentally cataloged every other type of beetle that lives in the same forest. They proved that for 3-dimensional universes, there are no simple, complex, binary Lie superalgebras that don't fit into the known categories. It's like saying, "We looked everywhere, and there are no new, mysterious dragons; they are all just lizards in disguise."

Mission B: The Geometric Classification (The "Family Tree")

Now, imagine you don't just want a list of species, but you want to know how they are related. Can one species slowly evolve into another?

The Concept of "Degeneration": Imagine a clay sculpture. If you slowly melt it, it might turn into a puddle. In math, if you slowly change the numbers in the rules of one algebra, it might "degenerate" (morph) into a simpler algebra.
The Map: The authors drew a map of this evolution.
- Rigid Algebras: These are the "Anchors." They are so stable that you cannot melt them into anything else without breaking them completely. They are the "roots" of the family tree.
- Irreducible Components: These are the main branches of the tree. You can't break the tree into smaller, disconnected pieces; it's all one big, connected forest.
The Result: They counted exactly how many "Anchors" (rigid algebras) and "Main Branches" (irreducible components) exist for each type of algebra.
- For example, the universe of "Lie Superalgebras" has 2 main branches and 1 anchor.
- The universe of "Associative Superalgebras" is much more complex, with 12 branches and 10 anchors.

Why Does This Matter?

You might ask, "Who cares about 3-dimensional rule-universes?"

Physics: These abstract structures often describe the fundamental particles of the universe. The "superalgebra" part is crucial for understanding supersymmetry (a theory in physics that suggests every particle has a "super-partner").
Completeness: Before this paper, we had a jigsaw puzzle with missing pieces. The authors found the missing pieces and showed us exactly how they fit together. They proved that for this specific size (3 dimensions), the puzzle is solved. We know every possible shape it can take.
The "One-to-One" Trick: They discovered a secret code. If you understand these "Noncommutative Jordan" algebras, you automatically understand "Poisson algebras" (used in thermodynamics) and "Kokoris algebras." It's like finding the master key that opens every door in the building.

The Takeaway

Think of this paper as the ultimate field guide for a tiny, magical dimension.

The Authors: Three explorers (Hani, Ivan, and Abror).
The Map: A complete list of every possible "creature" (algebra) in this 3D world.
The Evolution: A family tree showing how these creatures can morph into one another.
The Discovery: They proved that the "simplest" creatures in this world are actually quite rare, and they mapped out the entire landscape of how these mathematical rules can exist.

In short: They took a chaotic, abstract mess of mathematical rules, organized it into a neat, labeled library, and drew a map showing how every book in that library is connected to every other book.

1. Problem Statement

The paper addresses the classification problem for 3-dimensional complex noncommutative Jordan superalgebras. This is a specific instance of the broader challenge in non-associative algebra theory: classifying algebras of small dimension up to isomorphism (algebraic classification) and describing the geometric structure of the variety of such algebras, specifically identifying irreducible components and rigid algebras (geometric classification).

The authors focus on:

Noncommutative Jordan superalgebras: A generalization of Jordan algebras defined by the flexibility identity and the Jordan identity.
Types (1,2) and (2,1): The classification is split based on the dimension of the even ( $A_0$ ) and odd ( $A_1$ ) subspaces of the superalgebra.
Derived Varieties: The results are extended to classify several important subvarieties, including Kokoris, standard, associative, anticommutative, Lie, Malcev, binary Lie, Tortkara, and conservative/quasi-conservative superalgebras.

2. Methodology

The authors employ a two-pronged approach combining algebraic construction with geometric analysis.

A. Algebraic Classification Method

The core strategy relies on the relationship between noncommutative Jordan superalgebras and generic Poisson–Jordan superalgebras.

Symmetrization: For a noncommutative Jordan superalgebra $(A, \cdot)$ , the symmetrized product $x \circ y = \frac{1}{2}(xy + (-1)^{|x||y|}yx)$ forms a Jordan superalgebra $(A, \circ)$ .
Correspondence: There is a bijective correspondence between noncommutative Jordan superalgebras and generic Poisson–Jordan superalgebras $(A, \circ, [\cdot, \cdot])$ , where $[\cdot, \cdot]$ is the supercommutator.
Cohomological Approach: The classification is reduced to finding the orbits of the automorphism group $\text{Aut}(A)$ $Aut (A)$ acting on the space of super-skew-symmetric bilinear maps $Z_2(A, A)$ $Z_{2} (A, A)$ that satisfy the derivation property relative to the Jordan product.
- Step 1: Compute the space $Z_2(A, A)$ for each known 3-dimensional Jordan superalgebra $A$ .
- Step 2: Determine the orbits of $\text{Aut}(A)$ on $Z_2(A, A)$ .
- Step 3: Construct the noncommutative Jordan superalgebra for a representative of each orbit.
Subvariety Filtering: Once the full list of noncommutative Jordan superalgebras is obtained, the authors filter this list by checking specific identities to isolate subclasses (e.g., checking the Jacobi identity for Lie superalgebras or the Malcev identity).

B. Geometric Classification Method

The geometric classification analyzes the variety of superalgebras as an affine algebraic set.

Degenerations: The authors study degenerations (limits) between algebras. An algebra $A$ degenerates to $B$ ( $A \to B$ ) if $B$ lies in the Zariski closure of the orbit of $A$ under the action of the general linear group.
Irreducible Components: The variety is decomposed into irreducible components. An algebra is rigid if its orbit is open in the variety (i.e., it does not degenerate to any other non-isomorphic algebra and forms an irreducible component on its own).
Tools: They use dimension counting of orbit closures and specific structural invariants (such as nilpotency, commutativity of the even part, or specific structure constant relations) to prove non-degenerations ( $A \nrightarrow B$ ).

3. Key Contributions and Results

A. Algebraic Classification (Theorems A1 and A2)

The paper provides a complete list of isomorphism classes for 3-dimensional noncommutative Jordan superalgebras:

Type (1,2): The classification includes 11 families of Jordan superalgebras, 18 families of anticommutative superalgebras, and 12 new non-trivial noncommutative Jordan superalgebras (denoted $N_{01}$ to $N_{12}$ with various parameters).
Type (2,1): The classification includes 14 families of Jordan superalgebras, 10 families of anticommutative superalgebras, and 21 new non-trivial noncommutative Jordan superalgebras (denoted $N_{01}$ to $N_{21}$ ).
Isomorphism Relations: The authors explicitly identify parameter-dependent isomorphisms (e.g., $N^\alpha_{03} \cong N^{-\alpha}_{03}$ ).

B. Classification of Subvarieties

By applying the main theorems, the authors derive classifications for numerous specific types of superalgebras:

Kokoris Superalgebras: Classified for both types (1,2) and (2,1).
Standard Superalgebras: Classified, showing they are unions of associative and non-associative Jordan algebras plus specific new cases.
Anticommutative Superalgebras: A comprehensive table (Theorems 20, 21, 23) is provided for Lie, Malcev, binary Lie, Tortkara, aCD, s4, terminal, conservative, and quasi-conservative superalgebras.
- Grishkov–Shestakov Conjecture: The authors prove this conjecture for the 3-dimensional case: There are no nontrivial complex 3-dimensional simple binary Lie superalgebras.

C. Geometric Classification

The paper determines the dimension, number of irreducible components, and number of rigid algebras for the varieties of these superalgebras.

Summary Table: The introduction provides a summary table (e.g., for Type (1,2) Lie superalgebras: Dimension 4, 2 irreducible components, 1 rigid algebra).
Key Findings:
- The variety of anticommutative superalgebras of type (1,2) is irreducible and has no rigid algebras.
- The variety of noncommutative Jordan superalgebras of type (1,2) has dimension 7, 9 irreducible components, and 3 rigid algebras.
- The variety of associative superalgebras of type (2,1) has 13 irreducible components and 13 rigid algebras.
Degeneration Graphs: The proofs include explicit degeneration paths (e.g., $N_{09} \to J_{06}$ ) and arguments for non-degenerations based on structural properties.

4. Significance

Completeness: This work provides the first complete algebraic and geometric classification for 3-dimensional noncommutative Jordan superalgebras, filling a gap in the literature where only 4-dimensional nilpotent cases or specific simple cases were previously known.
Unification: By establishing the link between noncommutative Jordan algebras and generic Poisson–Jordan algebras, the paper unifies the classification of several distinct algebraic structures (Poisson, Malcev, Lie, etc.) under a single framework.
Geometric Insight: The geometric classification reveals the topological structure of these algebraic varieties, identifying which algebras are "generic" (rigid) and which are limits of others. This is crucial for deformation theory and understanding the moduli space of these algebras.
Resolution of Conjectures: The confirmation of the Grishkov–Shestakov conjecture for the 3-dimensional binary Lie case resolves a specific open problem in the theory of non-associative superalgebras.
Foundation for Future Work: The detailed lists of structure constants and the methodology for orbit computation serve as a reference for studying higher-dimensional cases or other varieties of non-associative superalgebras.

In conclusion, the paper is a comprehensive structural analysis that not only enumerates all possible 3-dimensional noncommutative Jordan superalgebras but also maps their geometric relationships, providing a definitive reference for this class of algebras.