The algebraic and geometric classification of right alternative superalgebras

Résumé technique : Classification algébrique et géométrique des superalgèbres alternatives à droite

Énoncé du problème
L'article traite de la classification des superalgèbres alternatives à droite de dimension 3 sur le corps complexe $\mathbb{C}$. Ce travail étend le problème classique de la classification algébrique (à isomorphisme près) des algèbres non associatives définies par des identités polynomiales au cadre des superalgèbres. Plus précisément, les auteurs visent à classifier toutes les superalgèbres alternatives à droite non triviales de dimension 3 de types $(1,2)$ et $(2,1)$, où la dimension de la partie paire est de 1 ou 2 respectivement. De plus, l'étude cherche à fournir la classification géométrique de ces variétés, en déterminant leurs composantes irréductibles et leurs algèbres rigides. En conséquence, les auteurs dérivent des classifications pour plusieurs sous-variétés, incluant les superalgèbres perm, binary perm, associatives, associatives binaires, ainsi que les superalgèbres $(-1,1)$- et $(-1,1)$-binaires.

Méthodologie
Les auteurs emploient une approche à deux volets combinant des techniques algébriques et géométriques :

1. Classification algébrique :

   • Symétrisation : La méthode repose sur la relation entre les superalgèbres alternatives à droite et les superalgèbres de Jordan. Pour une superalgèbre alternative à droite $(A, \cdot)$, le produit symétrisé $x \bullet y = \frac{1}{2}(xy + (-1)^{|x||y|}yx)$ définit une superalgèbre de Jordan $A^+$.
   • Approche cohomologique : Les auteurs utilisent l'espace $Z_2(A, A)$ des applications bilinéaires super-antisymétriques satisfaisant une identité spécifique dérivée de la condition d'alternativité à droite. Toute structure de superalgèbre alternative à droite sur une superalgèbre de Jordan $(A, \bullet)$ donnée peut être représentée par $x * y = x \bullet y + \theta(x, y)$ pour un certain $\theta \in Z_2(A, A)$.
   • Analyse d'orbites : La classification procède par le calcul de $Z_2(A, A)$ pour chaque classe d'isomorphisme de superalgèbres de Jordan de dimension 3 de types $(1,2)$ et $(2,1)$. Le groupe d'automorphismes $\text{Aut}(A)$ agit sur $Z_2(A, A)$, et les classes d'isomorphisme de superalgèbres alternatives à droite correspondent aux orbites de cette action. Les auteurs calculent explicitement ces orbites pour lister toutes les structures non isomorphes.

2. Classification géométrique :

   • Dégénérescences : La classification géométrique analyse la variété de superalgèbres comme un sous-ensemble de l'espace affine des constantes de structure. Les auteurs étudient les dégénérescences (limites d'orbites) entre les algèbres. Une algèbre $A$ dégénère en $B$ ($A \to B$) si $B$ appartient à l'adhérence de Zariski de l'orbite de $A$.
   • Composantes irréductibles : En identifiant les algèbres rigides (celles dont les orbites sont ouvertes) et les dégénérescences entre elles, les auteurs déterminent les composantes irréductibles des variétés.
   • Preuves de non-dégénérescence : Pour établir qu'une dégénérescence n'existe pas, les auteurs utilisent des invariants tels que la dimension du carré de la partie paire, les propriétés de commutativité et des relations spécifiques entre les constantes de structure, en employant souvent des arguments de sous-groupes de Borel.

Contributions clés et résultats

• Classification algébrique (Théorèmes A1 et A2) :

  • Le papier fournit une liste complète de toutes les superalgèbres alternatives à droite de dimension 3 non triviales.
  • Type (1,2) : Il existe 28 classes d'isomorphisme distinctes (notées $R_{01}$ à $R_{28}$), incluant une famille à un paramètre $R_{\alpha \neq -1}^{01}$ et $R_{\alpha}^{04}$ (où $R_{\alpha}^{04} \cong R_{-\alpha}^{04}$).
  • Type (2,1) : Il existe 39 classes d'isomorphisme distinctes (notées $R_{01}$ à $R_{39}$).
  • La classification est exhaustive, couvrant toutes les structures de superalgèbres de Jordan sous-jacentes ($J_{01}$ à $J_{12}$ pour le type $(1,2)$ et $J_{01}$ à $J_{15}$ pour le type $(2,1)$).

• Classifications de sous-variétés :

  • Les auteurs dérivent des classifications spécifiques pour les sous-variétés en filtrant la liste principale selon des identités additionnelles.
  • Associatives/Commutatives : Les corollaires 6 et 7 listent les superalgèbres associatives commutatives.
  • Perm et Binary Perm : Les corollaires 10–13 classifient les superalgèbres perm et binary perm. Notamment, le corollaire 13 stipule que toute superalgèbre binary perm de dimension 3 de type $(2,1)$ est une superalgèbre perm.
  • Associatives et Associatives Binaires : Les corollaires 15–18 classifient ces dernières, notant que pour le type $(2,1)$, les superalgèbres associatives binaires sont soit associatives, soit isomorphes à des cas spécifiques ($R_{28}, R_{30}$).
  • $(-1,1)$ et $(-1,1)$-Binaires : Les corollaires 21–26 fournissent les classifications pour ces variétés de Lie-admissibles. Un résultat significatif est le corollaire 24, qui affirme que toute superalgèbre $(-1,1)$ de dimension 3 de type $(2,1)$ est associative.

• Classification géométrique (Théorèmes G1 et G2) :

  • Type (1,2) : La variété a une dimension de 5 et se compose de 13 composantes irréductibles. Il y a 11 superalgèbres rigides. Les composantes sont définies par les orbites de représentants spécifiques (par exemple, $O(R_{\alpha}^{01})$, $O(R_{\alpha}^{07})$, etc.).
  • Type (2,1) : La variété a une dimension de 5 et se compose de 15 composantes irréductibles. Il y a 15 superalgèbres rigides.
  • Le papier détaille les dégénérescences spécifiques (par exemple, $R_{16} \to R_{15}$) et les non-dégénérescences qui définissent la topologie de ces variétés.

• Classification géométrique des sous-variétés :

  • Les théorèmes 28–40 fournissent la classification géométrique pour les sous-variétés mentionnées, précisant leurs dimensions, le nombre de composantes irréductibles et les éléments rigides. Par exemple, la variété des superalgèbres perm de type $(1,2)$ a une dimension de 4 avec 8 composantes irréductibles.

Signification et affirmations
L'article prétend fournir la première classification complète, tant algébrique que géométrique, des superalgèbres alternatives à droite de dimension 3. Les auteurs positionnent ce travail comme une étape nécessaire pour comprendre les généralisations des variétés principales des algèbres non associatives au cadre des superalgèbres.

Une contribution spécifique mise en évidence est l'étude des versions "binaires" de ces algèbres (où toute sous-algèbre engendrée par 2 éléments satisfait l'identité). Les auteurs abordent une question ouverte concernant la question de savoir si toute algèbre binary-$\Omega$ de dimension 3 est une $\Omega$-algèbre dans le cadre des superalgèbres. Bien que la version "super" soit connue pour être fausse pour les algèbres de Lie, le papier apporte une réponse nuancée pour les superalgèbres perm, associatives et $(-1,1)$, montrant que dans de nombreux cas de dimension 3, la condition binaire implique la condition standard, bien que des exceptions existent (par exemple, dans les cas binary perm et binary associative).

Ce travail sert de référence fondamentale pour la théorie de la structure des superalgèbres non associatives de faible dimension, offrant des tables de multiplication explicites et une carte détaillée du paysage géométrique (dégénérescences et composantes) de ces variétés.