Octonionic structure operator and its right spectrum

Résumé Technique : Opérateur de Structure Octonionique et son Spectre à Droite

Énoncé du Problème
Cet article étudie un problème spectral canonique découlant de l'algèbre non associative des octonions ($\mathbb{O}$). Alors que l'algèbre linéaire sur les corps associatifs (réels, complexes, quaternions) possède des théories spectrales bien établies, le cas octonionique est plus subtil en raison de la non-associativité. Plus précisément, l'article traite du problème des valeurs propres à droite d'un opérateur $h$ naturel, équivariant par $G_2$, défini sur l'extension octonionique $W = \mathbb{O} \otimes_{\mathbb{R}} V$, où $V$ est le module $G_2$ standard de dimension 7 (identifié avec les octonions imaginaires $\text{Im}\,\mathbb{O}$).

La question centrale est de déterminer l'ensemble des octonions $\lambda \in \mathbb{O}$ pour lesquels il existe un vecteur non nul $\hat{w} \in W$ satisfaisant :
$$h(\hat{w}) = \hat{w}\lambda$$
Contrairement au cas quaternionique, où les opérateurs hermitiens possèdent typiquement des valeurs propres à droite réelles, la non-associativité de $\mathbb{O}$ permet l'existence de familles continues de valeurs propres à droite non réelles, même pour des opérateurs dotés de fortes propriétés de symétrie. L'article cherche à caractériser la géométrie de ce « spectre à droite » et à comprendre comment il reflète la structure algébrique exceptionnelle des octonions.

Méthodologie
L'analyse procède par une combinaison de la théorie des représentations et du calcul matriciel explicite, en exploitant les groupes de symétrie $G_2$ et son sous-groupe $SU(3)$.

1. Définition de l'Opérateur : L'opérateur $h: W \to W$ est défini intrinsèquement via le tenseur de multiplication octonionique. Il agit par contraction de l'indice $V$ contre le tenseur de multiplication et par multiplication à gauche sur le facteur $\mathbb{O}$. $h$ est montré comme étant auto-adjoint et équivariant par $G_2$.
2. Analyse du Spectre Réel : Le spectre réel ordinaire de $h$ est calculé en décomposant $W$ en modules irréductibles de $G_2$ : $W \cong 1 \oplus 7 \oplus 7 \oplus 14 \oplus 27$. Par le lemme de Schur, $h$ agit comme des scalaires sur les composantes de multiplicité un ($1, 14, 27$) et comme une matrice $2 \times 2$ sur la composante isotypique $7 \oplus 7$.
3. Réduction à des Problèmes Spectraux Réels : Pour analyser les valeurs propres à droite octonioniques, les auteurs fixent un octonion imaginaire unitaire $\hat{u} \in \text{Im}\,\mathbb{O}$, définissant une tranche complexe $\mathbb{C}_{\hat{u}} = \mathbb{R} \oplus \mathbb{R}\hat{u} \subset \mathbb{O}$. Toute valeur propre dans cette tranche est écrite sous la forme $\lambda = \mu + Q\hat{u}$. L'équation $h(\hat{w}) = \hat{w}\lambda$ est reformulée comme un problème de valeur propre réelle pour un opérateur déformé :
   $$H_{u,Q}(\hat{w}) = \mu \hat{w}, \quad \text{où } H_{u,Q} = h - Q R_{\hat{u}}$$
   Ici, $R_{\hat{u}}$ désigne la multiplication à droite par $\hat{u}$.
4. Brisure de Symétrie et Décomposition en Blocs : Bien que $h$ soit équivariant par $G_2$, l'opérateur $H_{u,Q}$ n'est équivariant que sous le stabilisateur de $\hat{u}$, qui est isomorphe à $SU(3)$. L'espace $W$ est décomposé en modules irréductibles de $SU(3)$:$W \cong 1^{\oplus 4} \oplus 6^{\oplus 4} \oplus 8^{\oplus 2} \oplus 12$. Le problème spectral se réduit à l'analyse de l'action de $H_{u,Q}$ sur ces quatre blocs distincts.

Résultats Clés

1. Spectre Réel : Le spectre réel ordinaire de $h$ est discret et consiste en cinq valeurs propres distinctes :
   $$\text{Spec}_{\mathbb{R}}(h) = \left\{ -7, -4, 0, \frac{1 - \sqrt{33}}{2}, \frac{1 + \sqrt{33}}{2} \right\}$$
   Celles-ci correspondent aux actions scalaires sur les composantes $1, 14, 27$ et aux valeurs propres du bloc $2 \times 2$ sur $7 \oplus 7$.

2. Spectre à Droite Octonionique : Le spectre à droite non réel (où $Q \neq 0$) n'est pas un ensemble discret mais consiste en des familles continues situées sur des loci algébriques spécifiques dans le plan $(\mu, Q)$. L'analyse des blocs $SU(3)$ donne :

   • Le bloc $12$ et le bloc $6^{\oplus 4}$ : Ils ne contribuent à aucune valeur propre à droite non réelle pour $Q \neq 0$.
   • Le bloc $1^{\oplus 4}$ : Contribue une courbe quartique définie par :
     $$\mu^4 + 6\mu^3 + (2Q^2 - 15)\mu^2 + (6Q^2 - 56)\mu + Q^4 + Q^2 = 0$$
   • Le bloc $8^{\oplus 2}$ : Contribue à un cercle défini par :
     $$(\mu + 2)^2 + Q^2 = 4$$

3. Structure Globale : Le spectre à droite complet est obtenu en faisant pivoter ces loci planaires à travers l'orbite $G_2$ de la direction imaginaire unitaire choisie $\hat{u}$. Puisque $G_2$ agit transitivement sur la sphère unité dans $\text{Im}\,\mathbb{O}$, le spectre forme une hypersurface invariante par $G_2$ dans $\mathbb{O}$. Les équations définissantes peuvent être exprimées intrinsèquement en utilisant la trace $T(\lambda) = \lambda + \bar{\lambda}$ et la norme $N(\lambda) = \lambda\bar{\lambda}$ :

   • Composante quartique : $N(\lambda)^2 + (3T(\lambda) + 1)N(\lambda) - 4T(\lambda)^2 - 28T(\lambda) = 0$
   • Composante cercle : $N(\lambda) + 2T(\lambda) = 0$

4. Dimensions des Sous-espaces Propres : L'article détaille les dimensions des sous-espaces propres $E_\lambda = \ker(h - R_\lambda)$. Pour les points génériques de la quartique, $\dim E_\lambda = 1$. Pour les points sur le cercle, $\dim E_\lambda = 8$. Aux trois points d'intersection des loci (un point réel, deux non réels), les dimensions somment à 9.

Signification et Revendications
L'article prétend fournir un exemple concret de « comportement spectral véritablement non associatif ». Contrairement au cas quaternionique, où la non-commutativité seule n'entraîne pas de spectres non réels pour les opérateurs hermitiens, l'opérateur octonionique $h$ présente des familles continues de valeurs propres à droite non réelles.

La signification réside dans les points suivants :

• Description Pilotée par la Symétrie : Les loci spectraux ne sont pas des artefacts d'un modèle matriciel spécifique mais émergent naturellement de la décomposition des représentations de $G_2$ vers $SU(3)$ lors de la fixation d'une tranche complexe.
• Contraste avec les Cas Associatifs : Ce travail souligne que le spectre à droite octonionique est un objet géométrique continu (une union d'une quartique et d'un cercle) plutôt qu'un ensemble discret de points, même pour un opérateur auto-adjoint et équivariant par $G_2$.
• Interprétation Géométrique : L'opérateur $h$ est vu comme un modèle ponctuel pour les opérateurs sur les fibrés octonioniques sur des variétés $G_2$. Les loci spectraux représentent un « alignement » entre l'opérateur $h$ et la multiplication à droite par un octonion, codant l'information géométrique de la structure non associative qui est invisible dans les formulations réelles ou complexes.
• Distinction Méthodologique : L'approche diffère de la littérature existante sur les petites matrices hermitiennes octonioniques (par exemple, $2 \times 2$ ou $3 \times 3$) en partant d'un opérateur canonique sur un espace de représentation et en utilisant la théorie des représentations comme principe organisateur primaire, plutôt que de s'appuyer sur des identités de déterminants ou des modèles matriciels spécifiques.

L'article conclut que le spectre à droite de $h$ sert de sonde pour comprendre comment la non-associativité pénètre la théorie des opérateurs, la géométrie spectrale résultante étant contrôlée par l'interaction entre la symétrie $G_2$ et le choix d'une tranche complexe.