Orthogonal Idempotents in Symmetric Tensor Powers of Composition Algebras

Titel: Orthogonale Idempotenten in Symmetrische Tensorpachten van Compositional Algebra's

1. Probleemstelling en Context

Het artikel richt zich op de expliciete constructie van een volledige verzameling van primitieve orthogonale idempotenten in de ring van symmetrische tensorpachten ($\text{Sym}^n C$) van compositional algebra's $C$ over de reële getallen $\mathbb{R}$. Specifiek worden twee gevallen bestudeerd:

• De Hamilton-kwaternionen ($\mathbb{H}$), een algebra van dimensie 4.
• De Cayley-octonionen ($\mathbb{O}$), een algebra van dimensie 8.

De structuur van $\text{Sym}^n C$ is reeds bekend als een directe som van centrale eenvoudige algebra's:
$$\text{Sym}^n C = \bigoplus_{m=\lceil n/2 \rceil}^{n} S_m^{(n)}C$$
waarbij $S_m^{(n)}C \cong T_{2m-n}C$. Hoewel de decompositie en de centrale idempotenten ($e_{m,C}^{(n)}$) die de componenten scheiden, eerder zijn geconstrueerd (in eerdere werken van de auteur en anderen), ontbreekt een expliciete beschrijving van de primitieve idempotenten binnen deze componenten. Het doel is om deze primitieve idempotenten expliciet te formuleren, zowel voor de reële algebra's als voor hun uitbreiding naar de complexe getallen ($\mathbb{C}$).

2. Methodologie

De auteur hanteert een gestructureerde algebraïsche aanpak die voortbouwt op eerdere resultaten uit de literatuur (voornamelijk referenties [3], [4], [5]):

1. Decompositie via Centrale Idempotenten:
   Het werk maakt gebruik van de centrale idempotenten $e_{m,C}^{(n)}$ die de algebra $\text{Sym}^n C$ ontleden in zijn eenvoudige componenten $S_m^{(n)}C$. Volgens het stelling van Wedderburn-Artin zijn deze componenten isomorf met matrixalgebra's over $\mathbb{R}$, $\mathbb{H}$ of $\mathbb{C}$.

2. Expliciete Constructie in Complexificaties:
   Voor de complex geïntegreerde algebra's ($\mathbb{H} \otimes \mathbb{C}$ en $\mathbb{O} \otimes \mathbb{C}$) worden primitieve idempotenten geconstrueerd door gebruik te maken van een specifieke basis van de kwaternionen en octonionen.

   • Er wordt een element $a = \frac{1}{2}(1 + i e_1)$ gedefinieerd (waarbij $e_1$ een eenheidsvector is en $i = \sqrt{-1}$).
   • De verzameling $\{a, a^c\}$ vormt een complete set van primitieve idempotenten in de complexe deelalgebra $\mathbb{C}[e_1]$.
   • Door tensorproducten van $a$ en zijn complex geconjugeerde $a^c$ te symmetriseren (via de symmetrisatie-operator $\vee$), worden idempotenten in $\text{Sym}^n(\mathbb{H} \otimes \mathbb{C})$ gegenereerd.

3. Terugkeer naar Reële Structuur:
   Om de idempotenten in de reële algebra's ($\text{Sym}^n \mathbb{H}$ en $\text{Sym}^n \mathbb{O}$) te vinden, worden combinaties van de complexe idempotenten gebruikt die invariant zijn onder complex conjugatie.

   • Voor oneven $n$ worden sommen van de vorm $x + x^c$ gebruikt.
   • Voor even $n$ wordt gebruik gemaakt van extra structuren, zoals het element $\square = \frac{1}{2}(1 \otimes 1 + e_1 \otimes e_1)$ en de actie van specifieke elementen uit de algebra om de primitiviteit te garanderen.

4. Inbedding van $\mathbb{H}$ in $\mathbb{O}$:
   Een cruciale stap is het gebruik van de inbedding van de kwaternionen in de octonionen ($\mathbb{H} \subset \mathbb{O}$). De auteur toont aan dat de associatieve deelalgebra $\text{Sym}^n \mathbb{H} \cdot e_{m,O}^{(n)}$ isomorf is met een directe som van componenten van $\text{Sym}^n \mathbb{H}$. Dit stelt hem in staat om de resultaten voor $\mathbb{H}$ direct toe te passen op specifieke deelalgebra's van $\text{Sym}^n \mathbb{O}$.

3. Belangrijkste Resultaten

De paper levert expliciete formules voor volledige verzamelingen van primitieve orthogonale idempotenten in de volgende gevallen:

A. Voor de Kwaternionen ($\mathbb{H}$)

• Complex geval ($\text{Sym}^n \mathbb{H} \otimes \mathbb{C}$):
  De auteur geeft een verzameling van $\frac{1}{4}(n+2)^2$ (voor even $n$) respectievelijk $\frac{1}{4}(n+1)(n+3)$ (voor oneven $n$) idempotenten. Deze worden uitgedrukt als lineaire combinaties van gesymmetriseerde tensorproducten van $a$ en $a^c$, vermenigvuldigd met de centrale idempotent $e_{\ell,H}^{(n)}$.
• Reëel geval ($\text{Sym}^n \mathbb{H}$):
  • Voor oneven $n$: De verzameling heeft grootte $\frac{1}{8}(n+1)(n+3)$. De idempotenten worden geconstrueerd door sommen van complex geconjugeerde paren te nemen.
  • Voor even $n$: De verzameling heeft grootte $\frac{1}{4}(n+2)^2$. De constructie vereist een splitsing van bepaalde termen met behulp van het element $\square$ en een parameter $\delta \in \{-1, 1\}$ om de primitiviteit te waarborgen.

B. Voor de Octonionen ($\mathbb{O}$)

De resultaten voor $\mathbb{O}$ zijn beperkt tot een specifieke associatieve deelalgebra: $\bigoplus_{m=\lceil n/2 \rceil}^n (\text{Sym}^n \mathbb{H} \cdot e_{m,O}^{(n)})$. Omdat $\mathbb{O}$ niet-associatief is, is de volledige structuur van $\text{Sym}^n \mathbb{O}$ complexer, maar de auteur toont aan dat de hierboven beschreven deelalgebra's wel degelijk associatief zijn en volledig kunnen worden ontleed.

• Grootte van de verzamelingen:
  • Voor het complexe geval: $\frac{1}{24}(n+2)(n+3)(n+4)$ (even $n$) of $\frac{1}{24}(n+1)(n+3)(n+5)$ (oneven $n$).
  • Voor het reële geval: $\frac{1}{24}(n+2)(n+3)(n+4)$ (even $n$) of $\frac{1}{48}(n+1)(n+3)(n+5)$ (oneven $n$).

C. Specifieke Voorbeelden

In Sectie 4.4 wordt een concreet voorbeeld uitgewerkt voor $n=2$ en $m=2$. De auteur toont expliciet aan hoe de gevonden idempotenten ($\tau_0, \tau_1, \tau_2, \tau_3$) zich verhouden tot een maximale set van orthogonale idempotenten in de octonion-component $T_2\mathbb{O}$, en hoe deze kunnen worden ontbonden in elementaire componenten ($\rho_i$).

4. Significatie en Bijdrage

1. Expliciete Constructie: De belangrijkste bijdrage is de overgang van een existentiebewijs (dat dergelijke idempotenten bestaan vanwege de structuurtheorema's van algebra's) naar een expliciete, berekenbare formule. Dit maakt het mogelijk om concrete berekeningen uit te voeren in deze hoge-dimensionale tensorruimten.
2. Verbinding tussen Reëel en Complex: Het artikel biedt een helder kader om de structuur van de reële algebra's te begrijpen door ze te analyseren via hun complexificatie en vervolgens terug te keren naar de reële structuur.
3. Toepassing op Octonionen: Hoewel octonionen niet-associatief zijn, toont het werk aan dat bepaalde deelalgebra's binnen hun symmetrische tensorpachten wel degelijk een rijke, expliciet beschrijfbare associatieve structuur hebben. Dit opent de deur voor verdere studies naar representatietheorie en decompositie in niet-associatieve contexten.
4. Combinatorische Formules: De paper levert exacte tellers (formules in $n$) voor het aantal primitieve idempotenten, wat essentieel is voor het begrijpen van de dimensie en de rang van de bijbehorende projectieve modules.

Kortom, het artikel vult een belangrijke leemte in de literatuur over compositional algebra's door de abstracte decompositie van symmetrische tensorpachten om te zetten in concrete algebraïsche objecten die direct kunnen worden gebruikt in verdere wiskundige analyse.