Octonionic structure operator and its right spectrum

Resumen Técnico: Operador de Estructura Octoniónica y su Espectro por la Derecha

Planteamiento del Problema
Este artículo investiga un problema espectral canónico que surge de la álgebra no asociativa de los octoniones ($\mathbb{O}$). Mientras que el álgebra lineal sobre cuerpos asociativos (reales, complejos, cuaterniónicos) posee teorías espectrales bien establecidas, el caso octoniónico es más sutil debido a la no asociatividad. Específicamente, el artículo aborda el problema del autovalor por la derecha para un operador $h$ equivariante bajo $G_2$ definido de forma natural en la extensión octoniónica $W = \mathbb{O} \otimes_{\mathbb{R}} V$, donde $V$ es el módulo estándar de 7 dimensiones de $G_2$ (identificado con los octoniones imaginarios $\text{Im}\,\mathbb{O}$).

La cuestión central es determinar el conjunto de octoniones $\lambda \in \mathbb{O}$ para los cuales existe un vector no nulo $\hat{w} \in W$ que satisface:
$$h(\hat{w}) = \hat{w}\lambda$$
A diferencia del caso cuaterniónico, donde los operadores hermitianos suelen poseer autovalores reales por la derecha, la no asociatividad de $\mathbb{O}$ permite familias continuas de autovalores no reales incluso para operadores con fuertes propiedades de simetría. El artículo busca caracterizar la geometría de este "espectro por la derecha" y comprender cómo refleja la estructura algebraica excepcional de los octoniones.

Metodología
El análisis procede mediante una combinación de teoría de representaciones y computación matricial explícita, aprovechando los grupos de simetría $G_2$ y su subgrupo $SU(3)$.

1. Definición del Operador: El operador $h: W \to W$ se define intrínsecamente mediante el tensor de multiplicación octoniónica. Actúa mediante la contracción del índice $V$ contra el tensor de multiplicación y actuando por multiplicación a la izquierda en el factor $\mathbb{O}$. Se demuestra que $h$ es autoadjunto y $G_2$-equivariante.
2. Análisis del Espectro Real: El espectro real ordinario de $h$ se calcula descomponiendo $W$ en módulos irreducibles de $G_2$: $W \cong 1 \oplus 7 \oplus 7 \oplus 14 \oplus 27$. Por el Lema de Schur, $h$ actúa como escalares en los sumandos de multiplicidad uno ($1, 14, 27$) y como una matriz de $2 \times 2$ en el componente isotípico $7 \oplus 7$.
3. Reducción a Problemas Espectrales Reales: Para analizar los autovalores por la derecha octoniónicos, los autores fijan un octonión imaginario unitario $\hat{u} \in \text{Im}\,\mathbb{O}$, definiendo una sección compleja $\mathbb{C}_{\hat{u}} = \mathbb{R} \oplus \mathbb{R}\hat{u} \subset \mathbb{O}$. Cualquier autovalor en esta sección se escribe como $\lambda = \mu + Q\hat{u}$. La ecuación $h(\hat{w}) = \hat{w}\lambda$ se reformula como un problema de autovalores reales para un operador deformado:
   $$H_{u,Q}(\hat{w}) = \mu \hat{w}, \quad \text{donde } H_{u,Q} = h - Q R_{\hat{u}}$$
   Aquí, $R_{\hat{u}}$ denota la multiplicación por la derecha por $\hat{u}$.
4. Ruptura de Simetría y Descomposición en Bloques: Aunque $h$ es $G_2$-equivariante, el operador $H_{u,Q}$ es únicamente equivariante bajo el estabilizador de $\hat{u}$, que es isomórfico a $SU(3)$. El espacio $W$ se descompone en módulos irreducibles de $SU(3)$:$W \cong 1^{\oplus 4} \oplus 6^{\oplus 4} \oplus 8^{\oplus 2} \oplus 12$. El problema espectral se reduce al análisis de la acción de $H_{u,Q}$ sobre estos cuatro bloques distintos.

Resultados Clave

1. Espectro Real: El espectro real ordinario de $h$ es discreto y consiste en cinco autovalores distintos:
   $$\text{Spec}_{\mathbb{R}}(h) = \left\{ -7, -4, 0, \frac{1 - \sqrt{33}}{2}, \frac{1 + \sqrt{33}}{2} \right\}$$
   Estos corresponden a las acciones escalares en los sumandos $1, 14, 27$ y a los autovalores del bloque $2 \times 2$ en $7 \oplus 7$.

2. Espectro por la Derecha Octoniónico: El espectro no real por la derecha (donde $Q \neq 0$) no es un conjunto discreto, sino que consiste en familias continuas que yacen en loci algebraicos específicos en el plano $(\mu, Q)$. El análisis de los bloques de $SU(3)$ arroja:

   • El bloque $12$ y el bloque $6^{\oplus 4}$: No contribuyen con autovalores por la derecha no reales para $Q \neq 0$.
   • El bloque $1^{\oplus 4}$: Contribuye con una curva cuártica definida por:
     $$\mu^4 + 6\mu^3 + (2Q^2 - 15)\mu^2 + (6Q^2 - 56)\mu + Q^4 + Q^2 = 0$$
   • El bloque $8^{\oplus 2}$: Contribuye con un círculo definido por:
     $$(\mu + 2)^2 + Q^2 = 4$$

3. Estructura Global: El espectro completo por la derecha se obtiene rotando estos loci planos a través de la órbita $G_2$ de la dirección imaginaria unitaria elegida $\hat{u}$. Dado que $G_2$ actúa transitivamente sobre la esfera unidad en $\text{Im}\,\mathbb{O}$, el espectro forma una hipersuperficie $G_2$-invariante en $\mathbb{O}$. Las ecuaciones definitorias pueden expresarse intrínsecamente usando la traza $T(\lambda) = \lambda + \bar{\lambda}$ y la norma $N(\lambda) = \lambda\bar{\lambda}$:

   • Componente cuártica: $N(\lambda)^2 + (3T(\lambda) + 1)N(\lambda) - 4T(\lambda)^2 - 28T(\lambda) = 0$
   • Componente circular: $N(\lambda) + 2T(\lambda) = 0$

4. Dimensiones de los Autoespacios: El artículo detalla las dimensiones de los autoespacios $E_\lambda = \ker(h - R_\lambda)$. Para puntos genéricos en la cuártica, $\dim E_\lambda = 1$. Para puntos en el círculo, $\dim E_\lambda = 8$. En los tres puntos de intersección de los loci (uno real, dos no reales), las dimensiones suman 9.

Significación y Reivindicaciones
El artículo afirma proporcionar un ejemplo concreto de "comportamiento espectral genuinamente no asociativo". A diferencia del caso cuaterniónico, donde la no conmutatividad por sí sola no fuerza espectros no reales para operadores hermitianos, el operador octoniónico $h$ exhibe familias continuas de autovalores por la derecha no reales.

La significación reside en los siguientes puntos:

• Descripción Impulsada por la Simetría: Los loci espectrales no son artefactos de un modelo matricial específico, sino que emergen naturalmente del ramificamiento de las representaciones de $G_2$ hacia $SU(3)$ al fijar una sección compleja.
• Contraste con los Casos Asociativos: El trabajo destaca que el espectro por la derecha octoniónico es un objeto geométrico continuo (una unión de una cuártica y un círculo) en lugar de un conjunto discreto de puntos, incluso para un operador autoadjunto y $G_2$-equivariante.
• Interpretación Geométrica: El operador $h$ se ve como un modelo puntual para operadores en fibrados octoniónicos sobre variedades $G_2$. Los loci espectrales representan una "alineación" entre el operador $h$ y la multiplicación por la derecha por un octonión, codificando información geométrica sobre la estructura no asociativa que es invisible en formulaciones reales o complejas.
• Distinción Metodológica: El enfoque difiere de la literatura existente sobre pequeñas matrices hermitianas octoniónicas (por ejemplo, $2 \times 2$ o $3 \times 3$) al partir de un operador canónico en un espacio de representación y utilizar la teoría de representaciones como el principio organizador primario, en lugar de depender de identidades de determinantes o modelos matriciales específicos.

El artículo concluye que el espectro por la derecha de $h$ sirve como una sonda de cómo la no asociatividad entra en la teoría de operadores, siendo la geometría espectral resultante controlada por la interacción entre la simetría $G_2$ y la elección de una sección compleja.