Eight-dimensional Octonion-like but Associative Normed Division Algebra

De auteurs presenteren een acht-dimensionale associatieve genormeerde delingsalgebra, afgeleid van de Clifford-algebra ${\mathrm{Cl}_{4,0}}$, die een octonion-achtige samenstellingswet volgt en een paralleliseerbare 7-sfeer oplevert die topologisch verschilt van de octonionische 7-sfeer.

De kern

Een Nieuw Soort Wiskundig Lego: Het "Octonion-achtige" Spel

Stel je voor dat wiskunde een enorme speelkast is met verschillende soorten blokken. We kennen de simpele blokjes (reële getallen), de dubbele blokjes (complexe getallen), en de vierkante blokken (kwaternionen). Maar er is ook een heel speciaal, exotisch blokje genaamd Octonion. Dit blokje is magisch omdat het in 8 dimensies werkt, maar het heeft een vreemd kenmerk: als je twee Octonions met elkaar vermenigvuldigt, is de volgorde belangrijk en maakt het resultaat soms "raar" (het is niet-associatief). Het is alsof je een Lego-blokje probeert te stapelen, maar het blijft soms vanzelf kantelen.

De auteur van dit artikel, Joy Christian, heeft een nieuw soort blokje ontdekt. Hij noemt het een "Octonion-achtige, maar associatieve" algebra.

Hier is wat hij doet, vertaald in alledaags taal:

1. Het Magische Spiegelspel (De "Geometrische Product")

In de normale wiskunde meten we de "grootte" (de lengte) van een getal of vector vaak met een simpele som van kwadraten (zoals de stelling van Pythagoras). Christian zegt echter: "Wacht even, laten we niet kijken naar de simpele som, maar naar hoe deze blokken echt met elkaar interageren."

Hij gebruikt een techniek uit de Geometrische Algebra. Stel je voor dat je twee mensen hebt die een touw vasthouden.

• De oude manier (scalair product) kijkt alleen naar hoe hard ze in dezelfde richting trekken.
• De nieuwe manier (geometrisch product) kijkt naar de volledige interactie: hoe ze trekken, duwen, en zelfs draaien.

Door deze "volledige interactie" te gebruiken, ontdekt Christian dat zijn nieuwe 8-dimensionale blokjes een heel speciale eigenschap hebben: Ze zijn "associatief". Dat betekent dat als je drie blokjes A, B en C hebt, het niet uitmaakt of je eerst (A x B) x C doet, of A x (B x C). Het resultaat is altijd hetzelfde. Dit is een groot voordeel ten opzichte van de echte Octonions, die hierin "moeilijk" doen.

2. Het Geheim van de "Split-Complexe" Getallen

In zijn nieuwe wereld gebruikt Christian een soort "tweeling-geest". Hij ziet elk getal als een paar: een "echt" deel en een "dubbel" deel.

• Normale complexe getallen gebruiken een getal $i$ waarbij $i^2 = -1$ (een cirkelbeweging).
• Christian gebruikt een getal $\varepsilon$ waarbij $\varepsilon^2 = +1$ (een spiegel- of hyperboolbeweging).

Dit klinkt abstract, maar het is alsof hij een nieuwe soort "magnetische" kracht in zijn wiskunde introduceert. Hierdoor gedragen zijn getallen zich net als gesplitste complexe getallen. Het resultaat? Hij kan een 8-dimensionale structuur bouwen die zich gedraagt als een perfecte, gladde bal (een 7-sfeer), maar dan gemaakt van deze nieuwe, "associatieve" blokken.

3. De 7-Sfeer: Een Perfecte Bal zonder Plooien

Stel je een ballon voor (een sfeer). In de wiskunde is het heel moeilijk om een "gladde" vectorveld over zo'n ballon te trekken zonder dat er ergens een "knoop" of "stop" ontstaat. Dit is bekend als het "Harees-van-de-Borst" probleem.

• De echte Octonions kunnen een 7-dimensionale ballon glad maken, maar omdat ze niet-associatief zijn, is de wiskunde eromheen erg rommelig.
• Christian's nieuwe algebra kan diezelfde 7-dimensionale ballon ook glad maken, maar dan met de netheid en orde van een associatieve algebra.

Het is alsof hij een nieuwe manier heeft gevonden om een touw perfect strak om een bal te wikkelen, zonder dat het ergens vastloopt, terwijl de oude manier (Octonions) dat wel deed, maar dan met een heel ingewikkeld knooppatroon.

4. Waarom is dit belangrijk? (De "Nul-deelers")

In de wiskunde bestaan er soms "geesten": getallen die niet nul zijn, maar als je ze vermenigvuldigt met een ander getal, krijg je toch nul. Dit heten "niet-nul nul-deelers". Dit is een nachtmerrie voor natuurkundigen die deeltjesfysica bestuderen, want het betekent dat informatie kan verdwijnen.

Christian toont aan dat in zijn nieuwe wereld, als je de regels correct toepast (door de "geometrische" grootte te gebruiken in plaats van de simpele som), deze geesten verdwijnen. Als je twee niet-nul getallen vermenigvuldigt, krijg je nooit nul. Dit maakt zijn algebra een "verdelingsalgebra": je kunt altijd delen, en er zijn geen valkuilen.

Samenvatting in één zin

Joy Christian heeft een nieuw soort wiskundig bouwpakket ontworpen dat net zo krachtig is als de beroemde Octonions (8 dimensies), maar dan zonder de "drukte" en onvoorspelbaarheid; het is een geordende, associatieve wereld die perfect werkt voor het modelleren van complexe ruimtes, zoals die in de kwantummechanica of de relativiteitstheorie.

De kernboodschap: Hij heeft een nieuwe manier gevonden om 8-dimensionale ruimte te beschrijven die zowel de kracht van de Octonions heeft als de stabiliteit van de gewone getallen, waardoor het een krachtig gereedschap wordt voor de toekomstige natuurkunde.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Eight-dimensional Octonion-like but Associative Normed Division Algebra" van Joy Christian, geschreven in het Nederlands.

Titel: Acht-dimensionale Octonion-achtige maar Associatieve Genormeerde Delingsalgebra

1. Het Probleem en de Context

In de wiskunde en theoretische fysica zijn er slechts vier genormeerde delingsalgebra's over de reële getallen: de reële getallen ($\mathbb{R}$), de complexe getallen ($\mathbb{C}$), de quaternions ($\mathbb{H}$) en de octonions ($\mathbb{O}$). Deze corresponderen respectievelijk met de paralleliseerbare sferen $S^0$, $S^1$, $S^3$ en $S^7$.

• De eerste drie algebra's zijn associatief.
• De octonions zijn niet-associatief (maar wel alternatief).
• Volgens het stelling van Frobenius kunnen er geen andere eindig-dimensionale associatieve delingsalgebra's over de reële getallen bestaan dan $\mathbb{R}$, $\mathbb{C}$ en $\mathbb{H}$. Dit creëert een schijnbare paradox: hoe kan een 8-dimensionale algebra bestaan die zowel een delingsalgebra is als associatief, gezien de octonions (de enige andere 8-dimensionale optie) niet-associatief zijn?

Het artikel adresseert de misvatting dat Clifford-algebra's (die per definitie associatief zijn) niet als genormeerde delingsalgebra's kunnen fungeren in 8 dimensies zonder "niet-nul nul-delers" (non-zero zero divisors) te introduceren, tenzij specifieke normalisatievoorwaarden worden toegepast.

2. Methodologie

De auteur presenteert een specifieke 8-dimensionale even subalgebra van de 16-dimensionale associatieve Clifford-algebra $Cl_{4,0}$.

• Basisconstructie: De algebra, aangeduid als $K_\lambda$, wordt gedefinieerd als een conformale voltooiing van een 3D-ruimte. De basis bestaat uit acht elementen:
  $$K_\lambda = \text{span}\{ 1, \lambda e_x e_y, \lambda e_z e_x, \lambda e_y e_z, \lambda e_x e_\infty, \lambda e_y e_\infty, \lambda e_z e_\infty, \lambda I_3 e_\infty \}$$
  Hierbij is $I_3 = e_x e_y e_z$ en $e_\infty$ een extra vector die de Euclidische ruimte "sluit". $\lambda = \pm 1$ bepaalt de oriëntatie.
• Dual-Quaternion Representatie: De elementen van $K_\lambda$ worden geïnterpreteerd als "dual-quaternions" (of bi-quaternions) van de vorm $Q_z = q_r + q_d \varepsilon$, waarbij $q_r$ en $q_d$ quaternions zijn en $\varepsilon$ een operator is met de eigenschap $\varepsilon^2 = +1$ (in plaats van $-1$ als bij complexe getallen, of $0$ als bij standaard dual getallen). Dit maakt de coëfficiënten algebra vergelijkbaar met gesplitste complexe getallen (split-complex numbers).
• Definitie van de Norm: Het cruciale methodologische punt is de definitie van de norm. In plaats van de gebruikelijke scalair product ($X \cdot X^\dagger$) te gebruiken, gebruikt de auteur het fundamentele geometrische product ($X X^\dagger$).
  • Norm: $||X|| = \sqrt{X X^\dagger}$.
  • Om een scalair resultaat te verkrijgen (en de algebra tot een delingsalgebra te maken), wordt een normalisatievoorwaarde opgelegd: het coëfficiënt van de pseudoscalar $\varepsilon$ in het product $X X^\dagger$ moet nul zijn. Dit leidt tot de orthogonaliteitsvoorwaarde: $q_r q_d^\dagger + q_d q_r^\dagger = 0$.

3. Belangrijkste Bijdragen

1. Constructie van een Associatieve 8D Delingsalgebra: De auteur bewijst dat $K_\lambda$ een associatieve algebra is die voldoet aan de wet van de compositie voor normen: $||XY|| = ||X|| ||Y||$. Dit is uniek omdat de enige bekende 8-dimensionale genormeerde algebra (de octonions) niet-associatief is.
2. Oplossing van het "Niet-Nul Nul-Deler" Dilemma: Het artikel toont aan dat elementen die op het eerste gezicht lijken op "niet-nul nul-delers" (zoals $X = 1+\varepsilon$ en $Y = 1-\varepsilon$, waarbij $XY=0$) niet kunnen worden genormaliseerd tot een niet-nul scalair getal binnen de gestructureerde ruimte van de algebra. Zodra de correcte normalisatievoorwaarde (orthogonaliteit van $q_r$ en $q_d$) wordt toegepast, verdwijnen deze elementen uit de genormeerde delingsalgebra.
3. Topologisch Verschil met de Octonionische $S^7$: De auteur toont aan dat de 7-sferen ($S^7$) die voortvloeien uit deze algebra een andere topologie hebben dan de klassieke octonionische $S^7$. De restrictie die de 8D ruimte reduceert tot de 7-sfeer is anders:
   • Octonions: $q_0^2 + q_1^2 + \dots + q_7^2 = \rho^2$.
   • $K_\lambda$: $-q_0 q_7 + \lambda(q_1 q_6 + q_2 q_5 + q_3 q_4) = 0$ (orthogonaliteitsvoorwaarde) gecombineerd met de Pythagorese afstand.
4. Paralleliseerbaarheid: Het wordt aangetoond dat de door de auteur geconstrueerde $S^7$ paralleliseerbaar is met behulp van de associatieve algebra $K_\lambda$, analoog aan hoe de octonionische $S^7$ paralleliseerbaar is met niet-associatieve octonions.

4. Resultaten

• Compositiewet: Het artikel bewijst strikt wiskundig dat voor elke twee elementen $X, Y \in K_\lambda$ die voldoen aan de normalisatievoorwaarde, de relatie $||XY|| = ||X|| ||Y||$ geldt. Dit betekent dat $K_\lambda$ een genormeerde delingsalgebra is.
• Afwezigheid van Nul-delers: Binnen de genormaliseerde versie van de algebra bestaan er geen niet-nul nul-delers. Als $XY = 0$, dan moet $X=0$ of $Y=0$.
• Associativiteit: In tegenstelling tot de octonions, behoudt $K_\lambda$ de associativiteit ($(XY)Z = X(YZ)$), wat het toepasbaar maakt in contexten waar associativiteit vereist is (zoals bepaalde groepstransformaties in de kwantummechanica).
• Geometrische Interpretatie: De algebra wordt geïnterpreteerd als een 8-dimensionale ruimte die een 7-sfeer bevat met een teleparallel geometrie (nul kromming, maar niet-nul torsie), wat relevant is voor relativistische kwantumtheorieën.

5. Betekenis en Implicaties

• Wiskundige Significantie: Het artikel daagt de interpretatie uit dat er geen 8-dimensionale associatieve genormeerde delingsalgebra kan bestaan. Het toont aan dat dit mogelijk is door het gebruik van de geometrische product-norm in plaats van de scalair product-norm, en door een specifieke orthogonaliteitsvoorwaarde op te leggen. Dit verrijkt het begrip van Hurwitz' stelling over de compositie van kwadratische vormen.
• Fysische Toepassingen:
  • Kwantummechanica: De auteur suggereert dat deze algebra nuttig kan zijn voor het modelleren van kwantumcorrelaties zonder de problemen van niet-associativiteit die Jordan's pogingen tot een "uitgebreide kwantumtheorie" (met octonions) in de jaren 30 en 40 frustreren.
  • Verwijdering van Singulariteiten: In toepassingen zoals conformale meetkundige algebra (CGA) in engineering en computer vision, kan het gebruik van deze algebra helpen om "singulariteiten" of niet-nul nul-delers te elimineren die vaak optreden bij standaard implementaties.
  • Relativistische Theorie: Omdat de algebra associatief is, is deze compatibel met fysiek betekenisvolle transformatiegroepen (zoals de Poincaré-groep), in tegenstelling tot niet-associatieve algebra's.

Conclusie:
Joy Christian presenteert een wiskundig onderbouwd model van een 8-dimensionale, associatieve, genormeerde delingsalgebra ($K_\lambda$) die is afgeleid van de Clifford-algebra $Cl_{4,0}$. Door een specifieke normalisatie te gebruiken die gebaseerd is op het geometrische product, creëert hij een ruimte die de compositiewet van normen respecteert, vrij is van niet-nul nul-delers, en een 7-sfeer met een unieke topologie oplevert die paralleliseerbaar is. Dit werk biedt een alternatief voor de octonions in situaties waar associativiteit cruciaal is.