🔢 mathematics

Classification and (Quasi)-Centroids of Four-Dimensional Ternary Leibniz Algebras

This paper presents a complete classification of four-dimensional ternary Leibniz algebras over an algebraically closed field of characteristic zero and explicitly determines the centroids and quasi-centroids for all non-abelian cases, thereby extending classical binary results to the ternary setting.

Original authors: Ahmed Zahari Abdou Damdji

Published 2026-02-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Ahmed Zahari Abdou Damdji

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.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 trying to understand the blueprints of a new, strange type of building material. This material isn't made of bricks (which connect two things) or steel beams (which connect three things in a rigid way). Instead, it's a magical substance where three distinct pieces must be combined at once to create a new shape. This is the world of Ternary Leibniz Algebras.

This paper is like a comprehensive catalog and a detailed inspection report for all possible 4-dimensional versions of this magical material. Here is the breakdown in simple terms:

1. The Building Blocks: What is a "Ternary Leibniz Algebra"?

In normal math, we often look at how two things interact (like $A \times B$ ). In this paper, the author looks at how three things interact at the same time ( $A, B, C$ ).

The Rule: There is a specific rule called the "Leibniz identity." Think of it like a recipe. If you mix three ingredients, the result must follow a strict pattern, even if the order you add them changes slightly. It's a bit like baking a cake: if you swap the order of adding eggs and flour, the cake might taste different, but it still has to follow the laws of chemistry to be a cake.
The Goal: The author wanted to find every single unique way you can build a 4-dimensional structure using these rules. It's like asking, "How many unique 4-room houses can you build with these specific magical bricks?"

2. The Catalog: The "Zoo" of Algebras

The author used a powerful computer (Mathematica) to crunch the numbers and found 18 unique families of these 4-dimensional structures (labeled $L_1$ through $L_{18}$ ).

The Abelian Ones: Some of these structures are boring. If you mix any three pieces, you get nothing (zero). These are like empty rooms. The paper mostly ignores them because they aren't interesting.
The Non-Abelian Ones: These are the exciting ones. Mixing the pieces creates something new. The paper lists exactly how each of the 18 types behaves. For example, in one type ( $L_1$ ), mixing specific pieces always results in a specific combination of two other pieces.

3. The "Centroid" and "Quasi-Centroid": The Internal Symmetry Check

This is the most creative part of the paper. Once you have a building, you want to know: "What happens if I rotate it, stretch it, or shift it? Does it still look the same?"

In math, these "shifts" are called maps or transformations.

The Centroid (The Perfect Mirror): Imagine a transformation that is a "perfect mirror." If you apply this transformation to the ingredients before mixing them, the result is exactly the same as if you mixed them first and then applied the transformation to the result.
- Analogy: Think of a dance troupe. If the "Centroid" transformation is applied, it's like the choreographer changing the dancers' outfits, but the dance steps themselves remain perfectly synchronized. The structure is perfectly preserved.
- The paper calculates exactly how many of these "perfect mirrors" exist for each of the 18 buildings.
The Quasi-Centroid (The Flexible Mirror): This is a slightly more relaxed version. It allows for a bit more flexibility. The transformation doesn't have to be a perfect mirror for the result, but it must treat the ingredients in a very specific, balanced way.
- Analogy: Imagine a dance troupe where the choreographer can change the outfits, and the dancers can move slightly differently, as long as the overall vibe of the dance stays consistent. It's a "quasi" (almost) perfect symmetry.
- The paper calculates the size (dimension) of these flexible symmetry groups for every building.

4. The Results: What Did They Find?

The author created a massive table (Table 1 in the paper) that acts like a spec sheet for every building:

For each of the 18 types: They wrote down the exact mathematical "matrix" (a grid of numbers) that describes all possible symmetries.
The Dimensions: They counted how many independent ways you can stretch or rotate these structures without breaking them.
- Some structures are very rigid (only 1 way to preserve them).
- Some are very flexible (up to 9 different ways to preserve them).
- Key Finding: The "Quasi-Centroid" (flexible symmetry) is almost always larger than the "Centroid" (perfect symmetry), which makes sense because it's easier to be "almost perfect" than "perfect."

Why Does This Matter?

You might ask, "Who cares about 4-dimensional magical mixing bowls?"

Testing Ground: Just as architects test new materials on small models before building skyscrapers, mathematicians test complex theories on small, low-dimensional shapes. If a theory works here, it might work in higher dimensions (like 10 or 100 dimensions).
Physics Connections: These structures are related to Nambu mechanics and string theory. In the universe, particles might interact in groups of three, not just pairs. Understanding these algebraic rules helps physicists model the universe's deepest symmetries.
Extending the Past: For a long time, mathematicians only studied "binary" (two-thing) interactions. This paper takes those old, classic ideas and successfully updates them for the "ternary" (three-thing) world, proving that the old rules can be adapted to this new, more complex reality.

Summary

In short, Ahmed Zahari Abdou Damdji has built a complete encyclopedia of 4-dimensional 3-way interaction rules. He didn't just list them; he analyzed their internal symmetries (how they can be stretched or rotated without breaking), providing a map for future explorers of mathematics and physics to navigate this strange, high-dimensional landscape.

1. Problem Statement

The paper addresses two primary problems in the theory of non-associative algebras:

Classification: The complete classification, up to isomorphism, of four-dimensional ternary Leibniz algebras over an algebraically closed field of characteristic zero (specifically the complex field $\mathbb{C}$ ). While classifications exist for lower dimensions and binary Leibniz algebras, the 4-dimensional ternary case remains under-explored.
Structural Analysis: The explicit determination of the centroid ( $\Gamma(L)$ ) and quasi-centroid ($QCent(L)$) for each algebra in the classification. These objects describe the internal symmetries and invariant linear operators of the algebras, which are crucial for understanding derivations, automorphisms, and deformation theory.

2. Methodology

The authors employ a combination of algebraic definitions, computational algebra, and linear algebra techniques:

Definitions and Axioms:
- A ternary Leibniz algebra is defined as a vector space $L$ with a trilinear map $\llbracket -, -, - \rrbracket$ satisfying the generalized Leibniz identity:
  $\llbracket \llbracket x, y, z \rrbracket, t, u \rrbracket = \llbracket x, y, \llbracket z, t, u \rrbracket \rrbracket + \llbracket x, \llbracket y, t, u \rrbracket, z \rrbracket + \llbracket \llbracket x, t, u \rrbracket, y, z \rrbracket$
- The centroid $\Gamma(L)$ consists of linear maps $\Phi$ that commute with the product in all three arguments: $\Phi(\llbracket x, y, z \rrbracket) = \llbracket \Phi(x), y, z \rrbracket = \llbracket x, \Phi(y), z \rrbracket = \llbracket x, y, \Phi(z) \rrbracket$ .
- The quasi-centroid $QCent(L)$ relaxes the condition on the image of the product, requiring only that $\llbracket \Phi(x), y, z \rrbracket = \llbracket x, \Phi(y), z \rrbracket = \llbracket x, y, \Phi(z) \rrbracket$ (without necessarily equating them to $\Phi(\llbracket x, y, z \rrbracket)$ ).
Computational Approach:
- The classification is performed using Mathematica. The authors translate the algebraic axioms into a system of polynomial equations involving the structure constants $\chi^p_{ijk}$ of the algebra relative to a basis $\{e_i\}$ .
- For the centroid/quasi-centroid analysis, the problem is reduced to solving linear systems. If $\Phi$ is represented by a matrix $(a_{ij})$ , the condition $\llbracket \Phi(e_i), e_j, e_k \rrbracket = \llbracket e_i, \Phi(e_j), e_k \rrbracket = \llbracket e_i, e_j, \Phi(e_k) \rrbracket$ generates a system of linear constraints on the matrix entries.
Theoretical Proofs:
- The paper establishes foundational propositions regarding the vector space and subalgebra properties of centroids and quasi-centroids, their relationship with derivations ($Der(L)$), and the conditions under which they coincide (e.g., in commutative or associative cases).

3. Key Contributions

Complete Classification: The paper provides a list of 18 isomorphism classes of 4-dimensional ternary Leibniz algebras (denoted $L_1$ through $L_{18}$ , with $L_7$ and $L_{18}$ depending on a parameter $\alpha$ ). This includes both abelian and non-abelian structures.
Explicit Matrix Representations: For every non-abelian algebra in the classification, the authors explicitly derive the matrix form of the centroid and quasi-centroid.
Dimensional Analysis: The paper computes the exact dimensions of $\Gamma(L)$ and $QCent(L)$ for all classified algebras, revealing the range of symmetry complexity in this dimension.
Generalization: The work successfully extends classical results known for binary Leibniz algebras to the ternary (3-ary) setting, demonstrating how the relaxation of skew-symmetry affects structural invariants.

4. Key Results

The results are summarized in Table 1 of the paper, which lists the matrix forms and dimensions for all 18 algebras. Key findings include:

Centroid Dimensions:
- For most non-abelian algebras, the centroid is 1-dimensional (scalar multiples of the identity), indicating a high degree of rigidity.
- Exceptions exist where the centroid dimension is higher (e.g., $L_{16}$ and $L_{17}$ have dimension 5).
- The dimension of the centroid ranges from 1 to 5.
Quasi-Centroid Dimensions:
- The quasi-centroid is generally larger than the centroid, reflecting the relaxed commutativity conditions.
- The dimension of the quasi-centroid ranges from 1 to 9.
- Notably, $L_1$ and $L_2$ exhibit the largest quasi-centroids (dimension 9), suggesting a rich space of invariant operators that do not strictly preserve the product image but satisfy the quasi-symmetry condition.
Specific Structural Insights:
- $L_1$ through $L_6$ : These algebras show varying degrees of symmetry. For instance, $L_1$ has a 1D centroid but a 9D quasi-centroid.
- $L_7^\alpha$ : This family depends on a parameter $\alpha$ , yet the dimensions of its centroids remain constant (1 for centroid, 1 for quasi-centroid), suggesting the parameter does not affect the symmetry dimension in this specific case.
- Relationship to Derivations: The paper confirms the theoretical relationship $C(L) = \Gamma(L) \cap Der(L)$ (central derivations) and analyzes how the composition of centroid elements and derivations behaves.

5. Significance

Foundational Step: This work fills a gap in the classification of low-dimensional $n$ -ary algebras. Since low-dimensional classifications serve as "testing grounds" for conjectures in higher dimensions, this provides a necessary baseline for future research in 4D and beyond.
Symmetry Analysis: By computing centroids and quasi-centroids, the paper offers a deep dive into the internal symmetries of these algebras. This is vital for:
- Deformation Theory: Understanding how algebras can be deformed relies heavily on cohomology and centroid structures.
- Physics Applications: Ternary algebras are linked to Nambu mechanics and higher-order symmetries in theoretical physics. Understanding their invariant operators (centroids) is essential for modeling physical systems governed by these algebras.
Methodological Extension: The paper demonstrates that the computational techniques used for binary Leibniz algebras can be effectively adapted to the more complex ternary case, providing a template for classifying $n$ -ary Leibniz algebras for $n > 3$ .

In conclusion, the paper provides a rigorous, computationally verified classification of 4D ternary Leibniz algebras and a comprehensive analysis of their symmetry structures, significantly advancing the algebraic theory of $n$ -ary generalizations of Leibniz algebras.