Orthogonal Idempotents in Symmetric Tensor Powers of Composition Algebras

1. Il Problema e il Contesto Matematico

Il paper affronta lo studio della struttura algebrica delle potenze simmetriche ($Sym^n \mathcal{C}$) di algebre di composizione reali, specificamente l'algebra dei quaternioni di Hamilton ($\mathbb{H}$) e l'algebra degli otttoni di Cayley ($\mathbb{O}$).

• Contesto: Per un'algebra di composizione $\mathcal{C}$ (di dimensione 4 o 8 su $\mathbb{R}$), la potenza simmetrica $Sym^n \mathcal{C}$ è nota per essere una somma diretta di algebre semplici centrali su $\mathbb{R}$. La decomposizione è data da:
  $$Sym^n \mathcal{C} = \bigoplus_{m=\lceil n/2 \rceil}^{n} S^{(n)}_m \mathcal{C}$$
  dove ogni componente $S^{(n)}_m \mathcal{C}$ è isomorfa a una certa algebra $T_{2m-n}\mathcal{C}$.
• La Sfida: Sebbene la decomposizione in componenti semplici fosse già nota (tramite idempotenti centrali $e^{(n)}_{m,\mathcal{C}}$), il problema aperto consisteva nell'ottenere esplicitamente un insieme completo di idempotenti ortogonali primitivi all'interno di queste componenti.
  • Per $n$ pari, $T_n\mathbb{H} \cong M_{n+1}(\mathbb{R})$.
  • Per $n$ dispari, $T_n\mathbb{H} \cong M_{(n+1)/2}(\mathbb{H})$.
  • L'obiettivo è costruire esplicitamente gli idempotenti che corrispondono alle matrici diagonali standard in queste rappresentazioni matriciali, sia nel caso reale che nel caso complesso ($Sym^n \mathbb{H} \otimes_{\mathbb{R}} \mathbb{C}$).

2. Metodologia

L'autore utilizza una combinazione di teoria delle algebre di composizione, teoria delle rappresentazioni dei gruppi simmetrici e calcoli combinatori espliciti.

• Strumenti Chiave:
  • Idempotenti Centrali: Si basa sugli idempotenti centrali $e^{(n)}_{m,\mathcal{C}}$ costruiti in lavori precedenti ([3], [4]), che isolano le componenti semplici $S^{(n)}_m \mathcal{C}$.
  • Estensione ai Complessi: Introduce elementi specifici nell'algebra complessa $\mathbb{H} \otimes \mathbb{C}$, definiti come $a = \frac{1}{2}(1 + i e_1)$ e il suo coniugato $a^c = \frac{1}{2}(1 - i e_1)$, dove $e_1$ è un'unità immaginaria dei quaternioni. Questi formano un insieme di idempotenti primitivi nell'algebra dei complessi unidimensionali.
  • Simmetrizzazione: Utilizza l'operatore di simmetrizzazione $x^\vee = \frac{1}{n!} \sum_{\sigma \in S_n} \sigma(x)$ per proiettare tensori nel sottospazio simmetrico.
  • Relazioni di Ricorrenza e Identità: Sfrutta identità combinatorie (inclusa la formula di Waring) e proprietà degli elementi $\square = \frac{1}{2}(1 \otimes 1 + e_1 \otimes e_1)$ per decomporre gli idempotenti complessi in forme reali quando necessario.
  • Immersione $\mathbb{H} \subset \mathbb{O}$: Sfrutta l'immersione naturale dei quaternioni negli otttoni per studiare le algebre associative $Sym^n \mathbb{H} \cdot e^{(n)}_{m,\mathbb{O}}$ all'interno di $Sym^n \mathbb{O}$.

3. Contributi Chiave e Risultati Principali

Il lavoro fornisce costruzioni esplicite per insiemi completi di idempotenti ortogonali primitivi in quattro contesti principali:

A. Potenze Simmetriche dei Quaternioni ($Sym^n \mathbb{H}$)

L'autore determina esplicitamente gli idempotenti per ogni componente $S^{(n)}_\ell \mathbb{H}$:

1. Caso Complesso ($Sym^n \mathbb{H} \otimes \mathbb{C}$): Per ogni $\ell$, l'insieme è dato da:
   $$\left\{ \binom{n}{k} (a^{\otimes k} \otimes (a^c)^{\otimes (n-k)})^\vee e^{(n)}_{\ell, \mathbb{H}} \mid k \in \{n-\ell, \dots, \ell\} \right\}$$
   Questo insieme contiene $2\ell - n + 1$ elementi.
2. Caso Reale ($Sym^n \mathbb{H}$):
   • Se $n$ è dispari, gli idempotenti sono combinazioni lineari dei termini complessi che risultano reali, coinvolgendo somme finite con coefficienti binomiali e potenze di $-1/2$.
   • Se $n$ è pari, la costruzione è più complessa e coinvolge il termine centrale (per $k=n/2$) e una somma su $k$ che include una scelta di segno $\delta \in \{-1, 1\}$ per separare le componenti.

Conteggio Totale:

• Per $n$ pari: $\frac{1}{4}(n+2)^2$ idempotenti in $Sym^n \mathbb{H}$.
• Per $n$ dispari: $\frac{1}{8}(n+1)(n+3)$ idempotenti in $Sym^n \mathbb{H}$.

B. Sottoalgebre Associative in Potenze Simmetriche degli Otttoni

Il lavoro estende i risultati alle sottoalgebre $Sym^n \mathbb{H} \cdot e^{(n)}_{m, \mathbb{O}}$ (e la loro versione complessa) all'interno di $Sym^n \mathbb{O}$.

• Viene dimostrato che la mappatura $x \mapsto x \cdot e^{(n)}_{m, \mathbb{O}}$ è un isomorfismo tra la somma parziale delle componenti quaternioniche e la sottoalgebra associativa negli otttoni.
• Vengono forniti gli stessi tipi di formule esplicite (con i parametri $k, \ell, m$) per generare gli idempotenti in queste sottoalgebre.

Conteggio Totale nelle Sottoalgebre:

• Per $n$ pari, il numero totale di idempotenti nella somma diretta delle sottoalgebre è $\frac{1}{24}(n+2)(n+3)(n+4)$.
• Per $n$ dispari, il numero è $\frac{1}{48}(n+1)(n+3)(n+5)$.

C. Esempi Espliciti

L'autore illustra il caso $n=2$ per mostrare come gli idempotenti costruiti si relazionino con la struttura degli otttoni, dimostrando che certi idempotenti costruiti per $\mathbb{H}$ possono essere ulteriormente scomposti quando considerati all'interno di $\mathbb{O}$, evidenziando la differenza tra idempotenti primitivi in un'algebra e in un'algebra contenente.

4. Significato e Impatto

• Costruzione Esplicita: Prima di questo lavoro, la decomposizione di $Sym^n \mathbb{H}$ e delle sue sottostrutture era nota in termini astratti (isomorfismi con algebre di matrici). Questo paper fornisce le formule esplicite per gli idempotenti, rendendo possibile il calcolo effettivo e la manipolazione algebrica.
• Ponte tra Reale e Complesso: Offre un metodo sistematico per passare dagli idempotenti nell'estensione complessa (più facili da costruire tramite tensori di $a$ e $a^c$) agli idempotenti reali, gestendo la parità di $n$ in modo rigoroso.
• Struttura degli Otttoni: Dimostra come la struttura dei quaternioni, immersa negli otttoni, permetta di generare una classe significativa di idempotenti all'interno dell'algebra degli otttoni, fornendo nuovi strumenti per analizzare le algebre di composizione di dimensione 8.
• Applicazioni Potenziali: La conoscenza esplicita degli idempotenti primitivi è fondamentale per la teoria delle rappresentazioni, la fisica teorica (dove quaternioni e otttoni appaiono in teorie di gauge e supersimmetria) e nella teoria dei codici e delle forme quadratiche.

In sintesi, il paper risolve un problema di algebra computazionale avanzata fornendo formule chiuse per gli "atomi" (idempotenti primitivi) delle potenze simmetriche di algebre non associative e non commutative, colmando il divario tra la teoria strutturale astratta e la costruzione concreta.