Orthogonal Idempotents in Symmetric Tensor Powers of Composition Algebras

1. Problématique et Contexte

Le travail se situe dans le domaine de l'algèbre non commutative et de la théorie des algèbres de composition. L'objet d'étude principal est l'anneau des tenseurs symétriques, noté $\text{Sym}^n C$, où $C$ est une algèbre de composition sur les réels $\mathbb{R}$. Plus précisément, l'auteur se concentre sur deux cas :

• L'algèbre des quaternions de Hamilton, $H$ (dimension 4).
• L'algèbre des octonions de Cayley, $O$ (dimension 8).

Il est connu (via des travaux antérieurs de l'auteur et d'autres) que $\text{Sym}^n C$ se décompose en une somme directe d'algèbres simples centrales sur $\mathbb{R}$. Cependant, la structure interne de ces composantes simples, et plus particulièrement la construction explicite d'un ensemble complet d'idempotents orthogonaux primitifs (qui correspondent aux projecteurs sur les modules projectifs indécomposables), restait à déterminer de manière constructive.

L'objectif du papier est de fournir des formules explicites pour ces idempotents dans :

1. Les composantes simples $S_m^{(n)} H$ de $\text{Sym}^n H$.
2. Leurs extensions scalaires aux complexes : $S_m^{(n)} H \otimes_{\mathbb{R}} \mathbb{C}$.
3. Des sous-algèbres associatives spécifiques de $\text{Sym}^n O$ obtenues par multiplication par des idempotents centraux, notées $\text{Sym}^n H \cdot e_{m,O}^{(n)}$.

2. Méthodologie

L'approche de Razon repose sur une combinaison de théorie des représentations, d'algèbre tensorielle et de combinatorie.

• Décomposition Spectrale : L'auteur utilise la décomposition de $\text{Sym}^n C$ en composantes $S_m^{(n)} C$ indexées par un entier $m$ (où $\lceil n/2 \rceil \le m \le n$). Chaque composante est isomorphe à une algèbre $T_{2m-n} C$.
• Idempotents Centraux : Il s'appuie sur la construction d'idempotents centraux orthogonaux $e_{m,C}^{(n)}$ définis via des polynômes d'interpolation de Lagrange appliqués à un élément central spécifique $\Delta_C^{(n)}$ (lié à la forme quadratique de l'algèbre).
• Base de Quaternions Complexes : Pour traiter le cas complexe, l'auteur introduit une base spécifique de l'algèbre des quaternions complexes $H \otimes \mathbb{C}$. Il définit deux idempotents primitifs orthogonaux dans le sous-algèbre commutative $\mathbb{C}[e_1]$ :
  • $a = \frac{1}{2}(1 + i e_1)$
  • $a^c = \frac{1}{2}(1 - i e_1)$
    Ces éléments permettent de construire des idempotents dans les puissances symétriques via des symétrisations de produits tensoriels de la forme $a^{\otimes k} \otimes (a^c)^{\otimes (n-k)}$.
• Formules Combinatoires : Pour revenir du cas complexe au cas réel (quand $n$ est impair ou pair), l'auteur utilise des formules de Waring et des identités combinatoires pour exprimer les sommes symétriques de $a$ et $a^c$ en termes d'éléments réels (comme $\square = \frac{1}{2}(1\otimes 1 + e_1 \otimes e_1)$).
• Isomorphismes et Restriction : Une partie cruciale de la méthode consiste à établir des isomorphismes entre les composantes de $\text{Sym}^n H$ et des sous-algèbres de $\text{Sym}^n O$ via l'application $x \mapsto x \cdot e_{m,O}^{(n)}$. Cela permet de transférer les résultats obtenus pour les quaternions vers des sous-structures des octonions.

3. Contributions Clés et Résultats Principaux

Le papier fournit des ensembles complets explicites d'idempotents orthogonaux primitifs pour plusieurs structures algébriques.

A. Cas des Quaternions ($H$)

Pour un entier $n$ et un indice $m$ (ou $\ell$) dans la plage appropriée :

• Cas Complexe ($\text{Sym}^n H \otimes \mathbb{C}$) :
  L'auteur montre que l'ensemble des éléments de la forme :
  $$\binom{n}{k} (a^{\otimes k} \otimes (a^c)^{\otimes (n-k)})^\vee \cdot e_{\ell, H}^{(n)}$$
  (où $k$ varie dans un intervalle dépendant de $\ell$) forme un ensemble complet d'idempotents primitifs orthogonaux.

  • Taille de l'ensemble : $\frac{1}{4}(n+2)^2$ si $n$ est pair, $\frac{1}{4}(n+1)(n+3)$ si $n$ est impair.

• Cas Réel ($\text{Sym}^n H$) :
  En utilisant la conjugaison complexe et les formules de symétrisation, l'auteur donne des formules explicites pour les idempotents réels.

  • Si $n$ est impair, les idempotents sont des sommes de termes conjugués impliquant $\square$.
  • Si $n$ est pair, la construction est plus complexe, impliquant une combinaison de termes avec $\square^{\otimes n/2}$ et des termes dépendant d'un paramètre $\delta \in \{-1, 1\}$ pour séparer les composantes.
  • Taille de l'ensemble : $\frac{1}{4}(n+2)^2$ (pair) ou $\frac{1}{8}(n+1)(n+3)$ (impair).

B. Cas des Octonions ($O$) et Sous-algèbres Associatives

Bien que les octonions ne soient pas associatifs, l'auteur identifie des sous-algèbres associatives spécifiques de $\text{Sym}^n O$ générées par l'action des idempotents centraux de $H$ sur $O$.

• Il démontre que $\text{Sym}^n H \cdot e_{m,O}^{(n)}$ est isomorphe à une somme directe de composantes de $\text{Sym}^n H$.
• Il fournit explicitement les idempotents pour ces sous-algèbres en multipliant les idempotents de $H$ par $e_{m,O}^{(n)}$.
• Comptage global : En sommant sur tous les $m$, il obtient le nombre total d'idempotents primitifs dans l'ensemble des sous-algèbres associatives de $\text{Sym}^n O$ :
  • Pour le cas complexe : $\frac{1}{24}(n+2)(n+3)(n+4)$ (pair) ou $\frac{1}{24}(n+1)(n+3)(n+5)$ (impair).
  • Pour le cas réel : $\frac{1}{24}(n+2)(n+3)(n+4)$ (pair) ou $\frac{1}{48}(n+1)(n+3)(n+5)$ (impair).

C. Exemple Concret ($n=2$)

Le papier illustre la théorie avec le cas $n=2$. Il montre comment les idempotents de $\text{Sym}^2 H \cdot e_{2,O}^{(2)}$ se décomposent en une somme d'idempotents plus fins dans $\text{Sym}^2 O$, démontrant que les idempotents construits pour les quaternions ne sont pas nécessairement maximaux dans le contexte des octonions, mais forment une base solide pour la décomposition.

4. Signification et Impact

• Explicitation Structurelle : Ce travail comble un vide important en passant de la connaissance théorique de la décomposition de $\text{Sym}^n C$ (théorème de Wedderburn-Artin) à une construction explicite des générateurs de cette décomposition (les idempotents).
• Outils pour la Théorie des Représentations : La fourniture de bases explicites d'idempotents est cruciale pour l'étude des représentations de ces algèbres, permettant de décomposer les modules en composantes irréductibles de manière algorithmique.
• Lien entre Algèbres de Composition : La méthode démontre une profonde connexion entre la structure des puissances symétriques des quaternions et celles des octonions, montrant comment les propriétés associatives des quaternions peuvent être utilisées pour analyser des sous-structures associatives au sein de l'algèbre non associative des octonions.
• Généralisation : Les résultats sont formulés de manière à être applicables non seulement sur $\mathbb{R}$ et $\mathbb{C}$, mais aussi sur le corps des rationnels $\mathbb{Q}$ (avec extension quadratique), ce qui élargit la portée des applications en théorie des nombres et en géométrie algébrique.

En résumé, ce papier est une contribution majeure à l'algèbre non commutative, offrant des outils calculatoires précis pour manipuler les puissances symétriques des algèbres de composition, avec des applications potentielles en physique théorique (théorie des cordes, supersymétrie) où les algèbres de quaternions et d'octonions jouent un rôle central.