Résumé Technique : Déformations des Algèbres de Jordan via le Défaut de Jordan

Problématique

La théorie classique des déformations des algèbres de Jordan est régie par une structure $L_\infty$ issue d'une résolution cofibrante de l'opérade de Jordan. Cependant, comme l'opérade de Jordan n'est pas quadratique, cette structure implique des crochets d'ordre supérieur ($n \geq 3$), ce qui rend la description théorique générale complexe et peu adaptée à un calcul direct. Le problème central est de fournir un cadre de calcul explicite et de bas degré pour identifier les déformations infinitésimales et les obstructions primaires sans avoir recours à l'intégralité de la machinerie homotopique.

Méthodologie

L'auteur propose une approche basée sur la linéarisation d'une identité polynomiale unique. La méthodologie repose sur les étapes suivantes :

1. Définition du Défaut de Jordan $J(\mu)$ : Au lieu de travailler avec l'identité de Jordan classique (quartic en éléments, cubique en multiplication), l'auteur utilise sa polarisation à quatre variables. Il définit le "défaut de Jordan" comme une application multilinéaire symétrique $J(\mu) : J^{\otimes 4} \to J$. Une application bilinéaire commutative $\mu$ est une algèbre de Jordan si et seulement si $J(\mu) = 0$.
2. Construction d'un complexe de déformation tronqué : L'auteur construit un complexe de cochaînes de bas degré :
   $$C^1(J) \xrightarrow{\delta_\mu} C^2(J) \xrightarrow{d_\mu} C^3(J)$$
   • $C^1(J) = \text{End}(J)$ : Représente les transformations de coordonnées (équivalences).
   • $C^2(J) = \text{Sym}^2(J^*) \otimes J$ : Représente les déformations de la multiplication.
   • $C^3(J) = \text{Sym}^3(J^*) \otimes J^* \otimes J$ : Représente l'espace des obstructions.
3. Différentielles explicites :
   • La différentielle d'équivalence $\delta_\mu$ est la dérivée de la multiplication par un endomorphisme.
   • La différentielle de Jordan $d_\mu$ est obtenue par la linéarisation directe du défaut de Jordan : $d_\mu \phi = \left. \frac{d}{dt} \right|_{t=0} J(\mu + t\phi)$.

Contributions Clés

• Formalisme du "Défaut de Jordan" : L'introduction de $J(\mu)$ comme outil de calcul central permet de transformer une identité algébrique complexe en une opération de linéarisation standard.
• Complexification de bas degré : L'auteur fournit une description "prête pour le calcul" (computation-ready) qui évite les résolutions d'opérades.
• Identification de l'espace d'obstruction : Contrairement aux approches purement théoriques, l'auteur définit explicitement l'espace d'obstruction primaire comme le quotient $\text{Obs}^3_\mu := C^3(J) / \text{im}(d_\mu)$.

Résultats

• Classification des déformations : Le deuxième groupe de cohomologie $H^2_\mu$ classifie les déformations infinitésimales modulo équivalence.
• Validation par des exemples :
  • Dimension 1 : Confirme que $H^2_\mu = 0$ pour l'algèbre triviale unitaire.
  • Nombres duaux : L'auteur démontre explicitement que $\dim H^2_\mu = 1$, prouvant que le complexe détecte des déformations non triviales (en passant d'une algèbre de nombres duaux à une algèbre associative).
  • Matrices symétriques $3 \times 3$ : Le complexe confirme la rigidité formelle de $\text{Sym}_3(k)$ en montrant que $H^2_\mu = 0$.
• Équivalence théorique : Il est prouvé que la différentielle $d_\mu$ proposée coïncide avec la linéarisation classique de l'identité de Jordan polarisée.

Signification et Portée

L'importance de ce travail réside dans sa pragmaticité. Alors que la théorie des opérades fournit la structure complète (mais opaque), l'approche de Coll, Jr. réduit les questions de déformation et de rigidité à des problèmes d'algèbre linéaire finie.

Il est important de noter que ce travail ne prétend pas reconstruire la structure $L_\infty$ complète (qui nécessiterait des crochets d'ordre supérieur), mais il fournit l'outil nécessaire pour traiter la quasi-totalité des problèmes de déformation de premier ordre et d'obstruction primaire rencontrés en pratique pour des algèbres de Jordan spécifiques.