Radicals in primitive axial algebras

1. Problématique et Contexte

Les algèbres axiales constituent une généralisation des algèbres de Majorana (introduites par Ivanov) et englobent des classes importantes telles que les algèbres de type Jordan et les algèbres de type Monster. Ces algèbres sont commutatives, non associatives, et générées par des idempotents spéciaux appelés axes, dont l'action adjointe est semi-simple et obéit à une loi de fusion prescrite.

La structure théorique de ces algèbres, développée notamment dans [KMS], a introduit la notion de radical axial $R(A)$, défini comme le plus grand idéal ne contenant aucun des axes générateurs. Parallèlement, lorsque l'algèbre est munie d'une forme de Frobenius (une forme bilinéaire associative $(\cdot, \cdot)$), on peut définir le radical de cette forme, noté $A^\perp$.

Le problème central abordé dans cet article est la comparaison de ces deux radicaux avec le radical de Jacobson $J(A)$, défini comme l'intersection de tous les idéaux maximaux de $A$. Les auteurs cherchent à établir les relations d'inclusion entre $R(A)$, $J(A)$ et $A^\perp$, et à déterminer dans quelles conditions ces radicaux coïncident. Une question ouverte majeure est de savoir si l'égalité $R(A) = J(A)$ est universelle, même en l'absence de forme de Frobenius non dégénérée.

2. Méthodologie

Les auteurs utilisent une approche structurale combinant l'analyse des idéaux, la théorie des graphes de domination et les propriétés des formes bilinéaires :

• Décomposition en blocs : Ils définissent les « blocs » $I_a$ comme les idéaux engendrés par un axe $a$. L'étude de la relation de domination entre les axes (où $a$ domine $b$ si $I_b \subseteq I_a$) est centrale.
• Graphes de projection et non-annihilation : L'analyse de la connectivité des axes via des graphes (graphe de projection, graphe de non-annihilation) permet de comprendre la décomposition de l'algèbre en sommes directes.
• Utilisation de la forme de Frobenius : En supposant d'abord que la forme est non dégénérée ($A^\perp = 0$), les auteurs démontrent que l'algèbre est semi-simple. Ils utilisent ensuite le quotient $A/A^\perp$ pour généraliser les résultats au cas dégénéré.
• Topologie Hull-Kernel : L'analyse de la topologie sur l'ensemble des idéaux maximaux est utilisée pour caractériser la structure des idéaux de l'algèbre.

3. Contributions Clés et Résultats Principaux

A. Le Théorème Principal (Inclusion des Radicaux)

Le résultat central de l'article est le Théorème 1.1 :

Si $A$ est une algèbre axiale primitive munie d'une forme de Frobenius, alors :
$$R(A) \subseteq J(A) \subseteq A^\perp$$

• Conséquence immédiate : Si tous les axes générateurs sont non singuliers pour la forme de Frobenius (c'est-à-dire $(a, a) \neq 0$ pour tout axe $a$), alors les trois radicaux coïncident : $R(A) = J(A) = A^\perp$.
• Cas général : Même si la forme de Frobenius est nulle (ce qui implique $A^\perp = A$), l'inclusion $R(A) \subseteq J(A)$ reste non triviale et valide.

B. Structure des Algèbres Semi-Simples

Les auteurs démontrent que si la forme de Frobenius est non dégénérée, l'algèbre $A$ est semi-simple. Plus précisément :

• La relation de domination entre les axes devient une relation d'équivalence.
• L'algèbre se décompose en une somme directe d'algèbres simples : $A = \bigoplus_{c \in C} I_c$, où chaque $I_c$ est une algèbre axiale primitive simple.
• Dans ce cas, le radical de Jacobson est nul ($J(A) = 0$).

C. Topologie Hull-Kernel

Un résultat structurel important est que la topologie hull-kernel sur l'ensemble des idéaux maximaux d'une algèbre axiale primitive est discrète. Cela découle du fait que les idéaux maximaux correspondent aux facteurs simples dans la décomposition directe de $A/J(A)$.

D. Applications à des Classes Spécifiques

• Algèbres de type Jordan : Pour ces algèbres, il existe une forme de Frobenius unique telle que $(a, a) = 1$. Par conséquent, $R(A) = J(A) = A^\perp$ et $A/A^\perp$ est semi-simple.
• Algèbres de Majorana : Ces algèbres (sous-classe du type Monster) admettent une forme de Frobenius définie positive. Les auteurs en déduisent que toute algèbre de Majorana est semi-simple (somme directe d'algèbres de Majorana simples).

4. Questions Ouvertes et Perspectives

L'article se termine par la formulation de plusieurs questions fondamentales qui restent sans réponse :

1. Égalité $R(A) = J(A)$ : Est-il vrai que le radical axial et le radical de Jacobson coïncident pour toute algèbre axiale primitive, même sans hypothèse de forme de Frobenius ? Les auteurs soupçonnent que oui, mais n'ont pas trouvé de preuve générale.
2. Indécomposabilité des blocs : Chaque bloc axial est-il nécessairement indécomposable ?
3. Symétrie de la domination : La relation de domination peut-elle être non symétrique (c'est-à-dire $I_b \subsetneq I_a$ sans réciproque) ?
4. Connexité du graphe de non-annihilation : Pour une algèbre de Majorana simple, le graphe de non-annihilation (où deux axes sont connectés si leur produit est non nul) est-il nécessairement connexe ?

5. Signification et Impact

Cet article apporte une contribution significative à la théorie des algèbres non associatives en clarifiant la hiérarchie entre les différents types de radicaux.

• Il unifie la compréhension des algèbres de Majorana, de Jordan et de Monster sous un cadre commun de décomposition semi-simple.
• Il établit que la présence d'une forme de Frobenius « bonne » (non singulière sur les axes) force l'algèbre à être semi-simple, éliminant ainsi toute structure radiale non triviale.
• La démonstration que la topologie hull-kernel est discrète simplifie considérablement l'étude de la structure des idéaux dans ce contexte.

En résumé, ce travail consolide la structure théorique des algèbres axiales primitives et pose les bases pour de futures investigations sur la nature intrinsèque du radical de Jacobson dans ce domaine, indépendamment des formes bilinéaires.