Octonionic structure operator and its right spectrum

Sintesi Tecnica: Operatore di Struttura Ottonionica e il suo Spettro Destro

Enunciato del Problema
Questo articolo investiga un problema spettrale canonico derivante dall'algebra non associativa degli ottonioni ($\mathbb{O}$). Mentre l'algebra lineare su campi associativi (reali, complessi, quaternionici) possiede teorie spettrali ben stabilite, il caso ottonionico è più sottile a causa della non associatività. Nello specifico, l'articolo affronta il problema dell'autovettore destro per un operatore $G_2$-equivariante naturale $h$ definito sull'estensione ottonionica $W = \mathbb{O} \otimes_{\mathbb{R}} V$, dove $V$ è la standard modulo $G_2$ di dimensione 7 (identificato con gli ottonioni immaginari $\text{Im}\,\mathbb{O}$).

La domanda centrale è determinare l'insieme degli ottonioni $\lambda \in \mathbb{O}$ per i quali esiste un vettore non nullo $\hat{w} \in W$ soddisfacendo:
$$h(\hat{w}) = \hat{w}\lambda$$
A differenza del caso quaternionico, dove gli operatori ermitiani possiedono tipicamente autovalori destri reali, la non associatività di $\mathbb{O}$ permette famiglie continue di autovalori destri non reali anche per operatori con forti proprietà di simmetria. L'articolo cerca di caratterizzare la geometria di questo "spettro destro" e di comprendere come esso rifletta la struttura algebrica eccezionale degli ottonioni.

Metodologia
L'analisi procede attraverso una combinazione di teoria delle rappresentazioni e computazione matriciale esplicita, sfruttando i gruppi di simmetria $G_2$ e il suo sottogruppo $SU(3)$.

1. Definizione dell'Operatore: L'operatore $h: W \to W$ è definito intrinsecamente tramite il tensore di moltiplicazione ottonionica. Esso agisce per contrazione del indice $V$ contro il tensore di moltiplicazione e agisce per moltiplicazione a sinistra sul fattore $\mathbb{O}$. Si dimostra che $h$ è autoaggiunto e $G_2$-equivariante.
2. Analisi dello Spettro Reale: Lo spettro reale ordinario di $h$ viene computato decomponendo $W$ in moduli irriducibili di $G_2$: $W \cong 1 \oplus 7 \oplus 7 \oplus 14 \oplus 27$. Per il Lemma di Schur, $h$ agisce come scalari sui sommandi a molteplicità singola ($1, 14, 27$) e come una matrice $2 \times 2$ sul componente isotipico $7 \oplus 7$.
3. Riduzione a Problemi Spettrali Reali: Per analizzare gli autovalori destri ottonionici, gli autori fissano un ottonione immaginario unitario $\hat{u} \in \text{Im}\,\mathbb{O}$, definendo una fetta complessa $\mathbb{C}_{\hat{u}} = \mathbb{R} \oplus \mathbb{R}\hat{u} \subset \mathbb{O}$. Qualsiasi autovalore in questa fetta è scritto come $\lambda = \mu + Q\hat{u}$. L'equazione $h(\hat{w}) = \hat{w}\lambda$ è riformulata come un problema di autovalore reale per un operatore deformato:
   $$H_{u,Q}(\hat{w}) = \mu \hat{w}, \quad \text{dove } H_{u,Q} = h - Q R_{\hat{u}}$$
   Qui, $R_{\hat{u}}$ denota la moltiplicazione a destra per $\hat{u}$.
4. Rottura della Simmetria e Decomposizione in Blocchi: Sebbene $h$ sia $G_2$-equivariante, l'operatore $H_{u,Q}$ è solo equivariante rispetto allo stabilizzatore di $\hat{u}$, che è isomorfo a $SU(3)$. Lo spazio $W$ viene decomposto in moduli irriducibili di $SU(3)$:$W \cong 1^{\oplus 4} \oplus 6^{\oplus 4} \oplus 8^{\oplus 2} \oplus 12$. Il problema spettrale si riduce all'analisi dell'azione di $H_{u,Q}$ su questi quattro distinti blocchi.

Risultati Chiave

1. Spettro Reale: Lo spettro reale ordinario di $h$ è discreto e consiste di cinque autovalori distinti:
   $$\text{Spec}_{\mathbb{R}}(h) = \left\{ -7, -4, 0, \frac{1 - \sqrt{33}}{2}, \frac{1 + \sqrt{33}}{2} \right\}$$
   Questi corrispondono alle azioni scalari sui sommandi $1, 14, 27$ e agli autovalori del blocco $2 \times 2$ su $7 \oplus 7$.

2. Spettro Destro Ottonionico: Lo spettro destro non reale (dove $Q \neq 0$) non è un insieme discreto ma consiste di famiglie continue che giacciono su specifici loci algebrici nel piano $(\mu, Q)$. L'analisi dei blocchi $SU(3)$ produce:

   • Il blocco $12$ e il blocco $6^{\oplus 4}$: Non contribuiscono ad alcun autovalore destro non reale per $Q \neq 0$.
   • Il blocco $1^{\oplus 4}$: Contribuisce a una curva quartica definita da:
     $$\mu^4 + 6\mu^3 + (2Q^2 - 15)\mu^2 + (6Q^2 - 56)\mu + Q^4 + Q^2 = 0$$
   • Il blocco $8^{\oplus 2}$: Contribuisce a un cerchio definito da:
     $$(\mu + 2)^2 + Q^2 = 4$$

3. Struttura Globale: Il pieno spettro destro si ottiene ruotando questi loci planari attraverso l'orbita $G_2$ della direzione immaginaria unitaria scelta $\hat{u}$. Poiché $G_2$ agisce transitivamente sulla sfera unitaria in $\text{Im}\,\mathbb{O}$, lo spettro forma un ipersuperficie $G_2$-invariante in $\mathbb{O}$. Le equazioni definitorie possono essere espresse intrinsecamente usando la traccia $T(\lambda) = \lambda + \bar{\lambda}$ e la norma $N(\lambda) = \lambda\bar{\lambda}$:

   • Componente quartica: $N(\lambda)^2 + (3T(\lambda) + 1)N(\lambda) - 4T(\lambda)^2 - 28T(\lambda) = 0$
   • Componente circolare: $N(\lambda) + 2T(\lambda) = 0$

4. Dimensioni degli Autospazi: L'articolo dettaglia le dimensioni degli autospazi $E_\lambda = \ker(h - R_\lambda)$. Per punti generici sulla quartica, $\dim E_\lambda = 1$. Per i punti sul cerchio, $\dim E_\lambda = 8$. Ai tre punti di intersezione dei loci (uno reale, due non reali), le dimensioni sommano a 9.

Significato e Rivendicazioni
L'articolo sostiene di fornire un esempio concreto di "comportamento spettrale genuinamente non associativo". A differenza del caso quaternionico, dove la sola non commutatività non forza spettri non reali per operatori ermitiani, l'operatore ottonionico $h$ esibisce famiglie continue di autovalori destri non reali.

La significatività risiede nei seguenti punti:

• Descrizione Guidata dalla Simmetria: I loci spettrali non sono artefatti di un modello matriciale specifico ma emergono naturalmente dal branching delle rappresentazioni di $G_2$ in $SU(3$ dopo aver fissato una fetta complessa.
• Contrasto con i Casi Associativi: Il lavoro evidenzia come lo spettro destro ottonionico sia un oggetto geometrico continuo (unione di una quartica e di un cerchio) piuttosto che un insieme discreto di punti, anche per un operatore autoaggiunto e $G_2$-equivariante.
• Interpretazione Geometrica: L'operatore $h$ è visto come un modello puntuale per operatori su fibrati ottonionici su varietà $G_2$. I loci spettrali rappresentano un "allineamento" tra l'operatore $h$ e la moltiplicazione a destra per un ottonione, codificando informazioni geometriche sulla struttura non associativa che sono invisibili nelle formulazioni reali o complesse.
• Distinzione Metodologica: L'approccio differisce dalla letteratura esistente su piccole matrici ermitiane ottonioniche (ad esempio, $2 \times 2$ o $3 \times 3$) partendo da un operatore canonico su uno spazio di rappresentazione e utilizzando la teoria delle rappresentazioni come principio organizzatore primario, piuttosto che fare affidamento su identità di determinante o specifici modelli matriciali.

L'articolo conclude che lo spettro destro di $h$ serve come sonda di come la non associatività entri nella teoria degli operatori, con la risultante geometria spettrale controllata dall'interazione tra la simmetria $G_2$ e la scelta di una fetta complessa.