🔢 mathematics

Radicals in primitive axial algebras

This paper investigates the structure of primitive axial algebras equipped with a Frobenius form by comparing three distinct radical concepts: the largest ideal excluding generating axes, the radical of the form, and the Jacobson radical defined as the intersection of all maximal ideals.

Original authors: Andrey Mamontov, Sergey Shpectorov, Victor Zhelyabin

Published 2026-02-13

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Andrey Mamontov, Sergey Shpectorov, Victor Zhelyabin

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 have a giant, complex machine made of many interlocking gears. In the world of mathematics, this machine is an Axial Algebra. It's a specific type of structure where the "gears" (called axes) are special points that, when you push them, make the whole machine spin in predictable patterns.

For a long time, mathematicians have been trying to figure out how to take this machine apart to see its core, or conversely, how to identify the "junk" parts that don't really contribute to the machine's main function.

This paper is like a detective story where three different detectives (representing three different mathematical concepts called "radicals") try to find the junk parts of the machine. The authors, Mamontov, Shpectorov, and Zhelyabin, are asking: Do these three detectives always find the exact same pile of junk?

Here is the breakdown of their investigation using simple analogies:

1. The Three Detectives (The Radicals)

Imagine the machine has a "garbage can" where you throw away parts that are broken or useless. There are three ways to decide what goes in the garbage:

Detective A (The Axial Radical, $R(A)$ ): This detective is very strict. Their only rule is: "If a part contains one of our special 'axis' gears, it stays. If it doesn't, throw it out." They are looking for the largest pile of junk that contains none of the special gears.
Detective B (The Jacobson Radical, $J(A)$ ): This detective is a structural engineer. They look for the "weakest link." They throw away everything that isn't part of the strongest, most essential core of the machine. If a part can be removed without breaking the machine's fundamental identity, it goes in the trash.
Detective C (The Frobenius Radical, $A^\perp$ ): This detective uses a special "energy meter" (called a Frobenius form). They measure how much "energy" or "weight" every part has. If a part has zero energy (it's "silent" or "invisible" to the meter), they throw it out.

2. The Big Discovery

The authors prove a very satisfying rule: Detective A's pile is always inside Detective B's pile, which is always inside Detective C's pile.

$\text{Axial Junk} \subseteq \text{Structural Junk} \subseteq \text{Energy Junk}$

In plain English:

Anything that Detective A throws out, Detective B will also throw out.
Anything Detective B throws out, Detective C will also throw out.

The "Perfect" Scenario:
In most real-world examples of these machines (like the famous "Monster" group or "Jordan" algebras), the special gears are very "loud" and energetic. They have plenty of energy. In these cases, all three detectives agree on exactly the same pile of junk. The three radicals are equal. The machine is "clean."

3. The Twist: When the Meter is Broken

The paper gets interesting when they ask: What if the energy meter (the Frobenius form) is broken or set to zero?

If the meter reads zero for everything, Detective C throws out the entire machine (because everything has zero energy). But Detective A and B might still see that the machine has a solid core and wouldn't throw it all away.

The authors show that even in this weird case, the rule still holds: The Axial Radical is still inside the Jacobson Radical. It's a non-obvious fact that even if the "energy" measurement is useless, the structural logic still keeps the "axis-free" junk inside the "structural" junk.

4. The "Hull-Kernel" Topology (The Map of the Machine)

The paper also looks at how the "maximal ideals" (the biggest possible sub-machines you can build) are arranged.

Think of the set of all possible sub-machines as a map. In many mathematical worlds, this map is a messy, connected city where you can walk from one neighborhood to another.

The authors prove that for these specific axial machines, the map is discrete. Imagine a map where every neighborhood is an isolated island with a bridge to nowhere. You can't walk from one to another; they are completely separate. This means the machine is essentially a collection of independent, simple blocks that don't interfere with each other.

5. The Open Questions (The Mystery Unsolved)

The paper ends with a few "What if?" questions that are still unsolved:

The Big Question: Is it always true that Detective A and Detective B find the exact same pile of junk, even if we don't have an energy meter? The authors suspect "Yes," but they can't prove it yet.
The "Domination" Puzzle: Can one special gear "control" another in a way that isn't mutual? (Like a boss who has a subordinate, but the subordinate doesn't have a boss?) The authors suspect that in these machines, control is always mutual (if A controls B, B controls A).

Summary

This paper is a major step in understanding the "skeleton" of these complex mathematical machines. It proves that the different ways we try to define "junk" or "broken parts" are deeply connected.

If the machine is "loud" (has a good energy meter): All definitions of junk are identical.
If the machine is "silent": The definitions might differ, but they are still nested inside each other.
The Structure: These machines are built from independent, simple blocks that don't mix, making them much easier to study than they first appear.

The authors have successfully mapped the territory, but they've left a few "X" marks on the map for future explorers to investigate!

1. Problem Statement

The paper addresses the structural theory of primitive axial algebras, a class of commutative non-associative algebras generated by idempotents (axes) satisfying specific fusion laws. While the theory of these algebras (generalizing Majorana and Jordan algebras) has advanced significantly, the relationship between different notions of "radicals" (ideals representing the "non-semisimple" part of the algebra) remained incompletely understood.

Specifically, the authors investigate the relationship between three distinct radicals defined on a primitive axial algebra $A$ :

The Axial Radical ( $R(A)$ ): The largest ideal of $A$ that contains no generating axes.
The Jacobson Radical ( $J(A)$ ): Defined as the intersection of all maximal ideals of $A$ .
The Frobenius Form Radical ( $A^\perp$ ): The radical of a bilinear Frobenius form $(\cdot, \cdot)$ associated with the algebra, defined as $A^\perp = \{u \in A \mid (u, v) = 0, \forall v \in A\}$ .

The central problem is to determine the inclusion relationships between these radicals and to establish conditions under which they coincide, particularly in the context of algebras admitting a Frobenius form.

2. Methodology

The authors employ a combination of structural analysis, spectral decomposition, and ideal-theoretic arguments:

Fusion Law and Eigenspace Decomposition: They utilize the definition of axes where the adjoint action is semisimple with eigenvalues in a fusion law $F$ . This allows for the decomposition of any element into eigenspace components relative to an axis.
Ideal Invariance: A key lemma (Lemma 2.6) establishes that ideals in axial algebras are invariant under the projection onto eigenspaces of axes. This is crucial for analyzing how ideals interact with the generating axes.
Block Decomposition: The authors introduce the concept of "blocks" ( $I_a$ ), the ideals generated by individual axes. They analyze the "domination relation" between axes (where $a$ dominates $b$ if $I_b \subseteq I_a$ ) and utilize a "projection digraph" to study the connectivity of these blocks.
Direct Sum Analysis: They investigate conditions under which an axial algebra decomposes into a direct sum of subalgebras, specifically looking at the interaction between the Frobenius form and the algebraic product (e.g., orthogonality of eigenspaces).
Hull-Kernel Topology: The paper analyzes the topology on the set of maximal ideals to understand the global structure of the algebra's ideal lattice.

3. Key Contributions and Results

A. Main Theorem: Radical Inclusions

The primary result (Theorem 1.1) establishes a chain of inclusions for any primitive axial algebra $A$ admitting a Frobenius form:
$R(A) \subseteq J(A) \subseteq A^\perp$

Significance: This unifies the three concepts. It implies that if the Frobenius form is non-degenerate on all generating axes (i.e., $(a, a) \neq 0$ for all $a \in X$ ), then $A^\perp = 0$ , forcing $R(A) = J(A) = 0$ . In this case, the algebra is semisimple.

B. Semisimplicity and Decomposition

The authors prove that if $A$ admits a non-degenerate Frobenius form (or if the form is non-degenerate on the quotient $A/R(A)$ ), the algebra is semisimple.

Structure Theorem (Proposition 6.2 & 8.2): $A$ decomposes into a direct sum of simple primitive axial algebras: $A = \bigoplus_{c \in C} I_c$ , where $C$ represents equivalence classes of axes under the domination relation.
Corollary: The Jacobson radical $J(A)$ is the intersection of these simple components, and if the form is non-degenerate on axes, $J(A) = 0$ .

C. Hull-Kernel Topology

The paper proves that the hull-kernel topology on the set of maximal ideals of a primitive axial algebra is discrete (Proposition 8.4).

Implication: This indicates a very rigid structure where the lattice of ideals corresponds directly to the power set of the set of simple summands, similar to finite-dimensional semisimple algebras.

D. Specific Applications

The results are applied to two major classes of axial algebras:

Jordan Type $\eta$ : These algebras always admit a Frobenius form where $(a, a) = 1$ . Consequently, $R(A) = J(A) = A^\perp$ , and the algebra is semisimple.
Monster Type (Majorana Algebras): For Majorana algebras (a subclass of Monster type with a positive-definite Frobenius form), the form is non-degenerate. The paper concludes that every Majorana algebra is semisimple (a direct sum of simple Majorana algebras).

4. Open Questions and Future Directions

The authors conclude by posing several critical open questions regarding the necessity of the Frobenius form conditions:

Question 9.1: Does $R(A) = J(A)$ hold for all primitive axial algebras, even those without a Frobenius form or where axes are singular? The authors conjecture this is true but lack a proof.
Question 9.2 & 9.3: Are axial blocks always indecomposable? Can the domination relation between axes be non-symmetric (i.e., can $I_b \subsetneq I_a$ without $I_a \subseteq I_b$ )?
Question 9.5 & 9.6: Is the finest direct sum decomposition of a primitive axial algebra determined by the connected components of the "non-annihilation graph" (where vertices are axes and edges exist if $ab \neq 0$ )? Specifically, is the non-annihilation graph of a simple Majorana algebra always connected?

5. Significance

This paper provides a foundational structural framework for primitive axial algebras. By establishing the hierarchy of radicals, it clarifies the conditions under which these algebras are semisimple. The result that Majorana algebras are semisimple is particularly significant for the classification of these algebras and their connection to the Monster group. Furthermore, the proof that the hull-kernel topology is discrete simplifies the study of their ideal structure, suggesting that primitive axial algebras behave more like classical semisimple Lie or Jordan algebras than previously assumed in the general non-associative setting.