Unital $3$-dimensional structurable algebras: classification, properties and$\rm{AK}$-construction

This paper presents a complete classification of complex unital 3-dimensional structurable algebras into seven non-isomorphic classes, detailing their structural properties such as derivation algebras and automorphism groups, and investigates the resulting $\mathbb{Z}$-graded Lie algebras via the Allison-Kantor construction.

The Gist

Imagine you are an architect exploring a vast, mysterious city called Non-Associative Algebra City. In this city, the usual rules of construction don't always apply. If you stack bricks in a different order, the building might collapse or turn into something entirely new.

Most of the famous buildings in this city are huge, complex skyscrapers (like the 8-dimensional "Octonions" or the 27-dimensional "Exceptional Algebras"). But this paper is about something much smaller and more intimate: 3-dimensional buildings.

Here is the story of what the authors, Kobiljon, Maqpal, and Ivan, discovered in this tiny corner of the city.

1. The Blueprint: What is a "Structurable Algebra"?

Think of a Structurable Algebra as a special type of building that has two unique features:

1. A Mirror (The Involution): Every room in the building has a mirror. If you look at a piece of furniture in the mirror, it might look the same, or it might look flipped.
2. A Specific Rule (The Identity): The building must follow a very specific, tricky rule about how the rooms connect. If you try to rearrange the furniture in a certain way, the building must stay stable.

If the mirror does nothing (everything looks the same), the building is just a standard Jordan Algebra. But if the mirror flips things around, you get a Structurable Algebra. The authors wanted to find every possible 3-story building in this city that follows these rules.

2. The Census: Finding the 7 Unique Buildings

The authors went through the city and counted the unique 3-story buildings. They found exactly 7 distinct types (up to isomorphism, which means buildings that look different but are structurally identical are counted as one).

They split them into two neighborhoods based on how the "Mirror" works:

• Neighborhood A (Type 2,1): Two rooms look the same in the mirror, and one room is flipped. They found 5 unique buildings here (labeled A1 through A5).
• Neighborhood S (Type 1,2): One room looks the same, and two rooms are flipped. They found 2 unique buildings here (labeled S1 and S2).

The "Universal" Building:
One of these buildings (A1 and S1) is the "Universal" one. It's like the standard apartment complex where the furniture is arranged in the most basic, boring way. The other 6 buildings are the "exotic" ones with weird, non-commutative layouts (where the order you enter rooms matters).

3. The Inspection: What Makes Each Building Tick?

Once they found the 7 buildings, the authors didn't just list them; they performed a full inspection of each one. They asked three big questions:

• Who are the Derivations? (The Renovation Crew)
  Imagine a crew of workers who can tweak the building slightly without breaking the structural rules. The authors calculated exactly how many workers are needed for each building and what moves they can make. For some buildings, the crew is huge; for others, it's almost empty.

• Who are the Automorphisms? (The Symmetry Dancers)
  These are the rotations and flips you can do to the whole building so that it looks exactly the same afterward. The authors mapped out the "dance moves" allowed for each building. Some buildings are very symmetrical (you can spin them many ways), while others are rigid.

• What are the Subalgebras? (The Smaller Rooms)
  Inside every big building, there are smaller, self-contained rooms (subalgebras) that also follow the rules. The authors drew a map of every possible 1-room and 2-room apartment that could exist inside these 3-story buildings. They also identified which of these smaller rooms are "ideals" (rooms that are so stable they can be removed without collapsing the rest of the building).

• The "Identity" Test:
  They checked if all these buildings share a common secret handshake (a functional identity). They found that while most buildings are "commutative" (order doesn't matter), the exotic ones (A5 and S2) are "non-commutative" and have their own unique, complex handshakes.

4. The Grand Transformation: The Allison-Kantor Construction

This is the most magical part of the paper. The authors used a special machine called the Allison-Kantor (AK) Construction.

The Analogy:
Imagine you have a small, 3-story house (the structurable algebra). You put it into the AK machine. The machine takes this small house and expands it into a massive, Z-graded Lie Algebra.

• Think of this new structure as a giant, multi-level tower with a central core and wings stretching out in different directions (positive and negative levels).
• The machine adds new floors and connects them with specific rules (Lie brackets).

The Results:
The authors ran all 7 of their 3-story houses through the machine and saw what towers they produced:

• A1, A3, A5, S1, S2: These turned into "Perfect" towers. This means the tower is so tightly knit that you can't break it down into a simple core and a messy outer shell; it's a solid, unified structure.
• A2: This one turned into a "Non-Perfect" tower. It has a messy, nilpotent outer shell that can be peeled away to reveal a simpler core.
• A4: This one was special. It transformed into a tower that looks like a combination of two famous shapes: a sl2 tower and a sl3 tower stuck together.

They calculated the exact dimensions (how many rooms in the new tower) and the Levi decomposition (how the tower is built: a sturdy "semisimple" core surrounded by a "radical" shell).

Summary

In simple terms, this paper is a comprehensive guidebook for a tiny, 3-dimensional world of complex algebraic structures.

1. Cataloged every unique 3D structure of this type (7 total).
2. Analyzed their internal symmetry, stability, and smaller parts.
3. Transformed each one into a larger, more complex mathematical object (a Lie algebra) and described the architecture of the result.

It's like taking 7 unique Lego models, studying how their bricks fit together, and then showing how each one can be expanded into a massive, intricate castle, complete with blueprints for every new room.

Technical Summary

Here is a detailed technical summary of the paper "Unital 3-dimensional structurable algebras: classification, properties and AK-construction" by Kobiljon Abdurasulov, Maqpal Eraliyeva, and Ivan Kaygorodov.

1. Problem Statement

The paper addresses the classification and structural analysis of complex unital 3-dimensional structurable algebras. While the theory of structurable algebras (introduced by Allison in 1978) is well-developed for simple, finite-dimensional, and semisimple cases (notably via Smirnov's classification), there is a gap in the systematic study of small-dimensional (specifically 3D) structurable algebras that are not necessarily simple or semisimple.

The specific objectives are:

1. To provide a complete classification of non-isomorphic complex unital 3-dimensional structurable algebras.
2. To analyze their fundamental properties: derivations, automorphisms, subalgebras, ideals, and functional identities.
3. To apply the Allison-Kantor (AK) construction to these algebras to generate associated $\mathbb{Z}$-graded Lie algebras and determine their structure (dimensions, Levi decompositions).

2. Methodology

The authors employ a combination of algebraic classification techniques and constructive Lie theory:

• Algebraic Classification:

  • The authors fix a basis $\{e_1, e_2, e_3\}$ where $e_1$ is the unit element.
  • They categorize algebras by type $(k, n-k)$, where $k$ is the dimension of the subspace of symmetric elements ($H$) and $n-k$ is the dimension of skew-symmetric elements ($S$) under the involution.
  • They utilize the defining identity of structurable algebras:
    $$T_z V_{x,y} - V_{x,y} T_z = V_{T_z(x), y} - V_{x, T_z(y)}$$
    where $T_x = V_{x, e_1}$ and $V_{x,y}(z) = (xy)z + (zy)x - (zx)y$.
  • By applying this identity to basis elements and solving the resulting system of polynomial equations, they reduce the multiplication tables to canonical forms.
  • Isomorphism classes are determined by analyzing the action of the automorphism group on the parameter space of the multiplication tables.

• Structural Analysis:

  • Derivations and Automorphisms: Linear maps satisfying the derivation and automorphism conditions are computed explicitly for each class.
  • Subalgebras and Ideals: The authors solve for subspaces closed under multiplication and invariant under the algebra action to list all 1D and 2D subalgebras and ideals.
  • Functional Identities: They investigate degree-2 functional identities involving the involution to distinguish between commutative and non-commutative cases.

• Allison-Kantor Construction:

  • For each classified algebra $A$, they construct the Lie algebra $F(A)$ using the standard AK-construction.
  • $F(A)$ is defined as a $\mathbb{Z}$-graded Lie algebra: $F(A) = F_{-2} \oplus F_{-1} \oplus F_0 \oplus F_1 \oplus F_2$.
  • The components are defined using the structure algebra $\text{Str}(A) = T_A \oplus \text{Der}(A)$ and the module $N = (A, S)$.
  • The authors explicitly compute the commutators $[x, y]$ for the basis elements of $F(A)$ to determine the full Lie algebra structure.

3. Key Contributions and Results

A. Classification of Algebras

The paper establishes that there are 7 non-isomorphic classes of complex unital 3-dimensional structurable algebras with non-identical involutions (excluding the trivial Jordan algebra cases where the involution is the identity):

1. Type (2,1) (2 symmetric, 1 skew-symmetric):
   • $A_1$: The universal unital algebra.
   • $A_2$: Defined by $e_3 e_3 = e_2$.
   • $A_3$: Defined by $e_2 e_2 = e_2$.
   • $A_4$: Defined by $e_2 e_2 = e_2$ and $e_3 e_3 = -e_1 + e_2$.
   • $A_5$: Defined by $e_2 e_3 = e_2, e_3 e_2 = -e_2, e_3 e_3 = e_1$.
2. Type (1,2) (1 symmetric, 2 skew-symmetric):
   • $S_1$: The universal unital algebra.
   • $S_2$: Defined by $e_2 e_3 = e_2, e_3 e_2 = -e_2, e_3 e_3 = e_1$.

Note: The paper also references the known classification of Type (3,0) (Jordan algebras) but focuses on the non-trivial involution cases.

B. Structural Properties

• Derivations and Automorphisms: The paper provides explicit matrix representations for the Lie algebra of derivations ($\text{Der}(A)$) and the group of automorphisms ($\text{Aut}(A)$) for all 7 classes.
• Subalgebras and Ideals: Complete lists of 1-dimensional and 2-dimensional subalgebras and ideals are provided. For instance, $A_1$ has a unique 2-dimensional ideal $\langle e_2, e_3 \rangle$, while $A_4$ has no 2-dimensional ideals.
• Functional Identities:
  • Commutative algebras ($A_1, A_2, A_3, A_4, S_1$) satisfy specific identities derived from the commutative law.
  • Non-commutative algebras ($A_5, S_2$) satisfy distinct functional identities involving the involution, such as $f_1(x,y) = xy - yx - \bar{x}\bar{y} + \bar{y}\bar{x}$.

C. Allison-Kantor (AK) Construction Results

The authors construct the associated $\mathbb{Z}$-graded Lie algebras $F(A)$ for each class. Key findings include:

• Dimensions:
  • For Type (2,1) algebras ($A_1$ to $A_5$), the resulting Lie algebras are 11-dimensional.
  • For Type (1,2) algebras:
    • $F(S_1)$ is 13-dimensional.
    • $F(S_2)$ is 14-dimensional.
• Structure and Levi Decomposition:
  • $F(A_1)$: Perfect Lie algebra. Structure: $\mathfrak{sl}_2 \ltimes \mathbb{C}^8$ (abelian radical).
  • $F(A_2)$: Non-perfect. Structure: $\mathfrak{sl}_2 \ltimes R$ (nilpotent radical of nilindex 3).
  • $F(A_3)$: Perfect. Structure: $(\mathfrak{sl}_2 \oplus \mathfrak{sl}_2) \ltimes \mathbb{C}^5$.
  • $F(A_4)$: Isomorphic to $\mathfrak{sl}_2 \oplus \mathfrak{sl}_3$.
  • $F(A_5)$: Perfect. Structure: $\mathfrak{sl}_3 \ltimes \mathbb{C}^3$.
  • $F(S_1)$: Perfect. Structure: $\mathfrak{sl}_2 \ltimes \mathbb{C}^{10}$.
  • $F(S_2)$: Perfect. Structure: $\mathfrak{sl}_3 \ltimes \mathbb{C}^6$.

4. Significance

• Completeness of Classification: This work fills a specific gap in the literature by providing the first complete classification of 3-dimensional unital structurable algebras, extending beyond the previously known simple/semisimple cases.
• Bridge to Lie Theory: By explicitly constructing the AK-Lie algebras for these small-dimensional cases, the paper demonstrates how specific low-dimensional non-associative algebras generate specific Lie algebra structures (including $\mathfrak{sl}_2$, $\mathfrak{sl}_3$, and their extensions). This provides concrete examples for the correspondence between structurable algebras and Lie algebras generated by extremal elements.
• Foundation for Further Research: The detailed description of derivations, automorphisms, and subalgebras provides the necessary groundwork for future investigations into Rota-Baxter operators, cohomology, and deformations of these algebras.
• Methodological Rigor: The paper serves as a technical reference for applying the AK-construction algorithm step-by-step, detailing the computation of commutators and basis changes required to identify the resulting Lie algebra structures.

In summary, the paper successfully categorizes the landscape of 3D structurable algebras and maps them to their corresponding graded Lie algebras, offering a comprehensive resource for researchers in non-associative algebra and Lie theory.