Eight-dimensional Octonion-like but Associative Normed Division Algebra

The paper presents an eight-dimensional associative normed division algebra derived from the even sub-algebra of the Clifford algebra $\mathrm{Cl}_{4,0}$, which utilizes a geometric product-based norm and split-complex coefficients to define a parallelizable 7-sphere with a topology distinct from that of the octonionic 7-sphere.

The Gist

Imagine you are trying to build a set of mathematical "building blocks" that can describe the universe. For centuries, mathematicians have known about four special types of these blocks:

1. Real Numbers (1D line)
2. Complex Numbers (2D plane)
3. Quaternions (4D space, used for 3D rotations in video games)
4. Octonions (8D space, the most exotic and mysterious of them all)

There is a famous rule in mathematics (Hurwitz's Theorem) that says you can only have "perfect" number systems in dimensions 1, 2, 4, and 8. The catch? The 8D system, the Octonions, is weird. It breaks the golden rule of arithmetic: Associativity.

Associativity is the rule that says $(A \times B) \times C$ is the same as $A \times (B \times C)$.

• With real numbers, complex numbers, and quaternions, this works perfectly.
• With Octonions, it does not. The order in which you group the numbers changes the answer. This makes Octonions incredibly difficult to use in physics because the laws of physics usually rely on that grouping rule holding true.

The Paper's Big Idea: A "Twin" to the Octonions

The author, Joy Christian, proposes a new set of 8D building blocks. He calls it an "Octonion-like but Associative" algebra.

Think of it this way:

• The Octonion is like a wild, untamed horse. It has incredible power and can run in 8 dimensions, but it kicks and bucks (it's non-associative), making it hard to ride for practical physics.
• This New Algebra is like a genetically modified version of that horse. It still has 8 dimensions and the same incredible power, but it has been "tamed." It follows the associative rule (it doesn't kick), making it much easier to use for calculations.

How Does It Work? (The Magic Trick)

The author builds this new algebra using a tool called Geometric Algebra. Instead of just multiplying numbers, he multiplies "shapes" (vectors, planes, volumes).

Here is the secret sauce:

1. The "Split" Trick: In standard math, we usually measure the "size" (norm) of a number by squaring its parts and adding them up (like the Pythagorean theorem: $a^2 + b^2$).
2. The Twist: The author uses a slightly different way to measure size. He uses the Geometric Product. In this system, the "size" of a number isn't just a simple real number; it behaves a bit like a "split-complex" number (a number that has a real part and a part that squares to +1, rather than -1).
3. The Constraint: To make this new 8D system work as a perfect "division algebra" (meaning you can always divide by a number without getting nonsense), he adds a specific rule: The "real" part of the number must be perfectly perpendicular (orthogonal) to its "dual" part.

When you apply this rule, something magical happens:

• The system remains 8-dimensional.
• It remains Associative (the grouping rule works!).
• It still obeys the "Composition Law": If you multiply two numbers, the size of the result is exactly the size of the first number times the size of the second number ($||XY|| = ||X|| \times ||Y||$).

The Shape of the Universe: The 7-Sphere

In mathematics, the set of all numbers with a size of 1 forms a sphere.

• In 8 dimensions, this is called a 7-Sphere ($S^7$).
• The Octonions form a 7-Sphere, but because they are non-associative, the sphere is "twisted" in a way that makes it hard to define a smooth, consistent direction at every point (it's not "parallelizable" in the standard sense).

The author shows that his new algebra also forms a 7-Sphere. However, because his algebra is associative, this sphere is "smooth" and "parallelizable." You can imagine walking across the surface of this sphere and carrying a compass that never gets confused or spins wildly. It stays consistent everywhere.

Why Should You Care? (The Analogy)

Imagine you are trying to navigate a city.

• Octonions are like a city where the street signs change meaning depending on which block you are on. If you turn left, then right, you might end up somewhere different than if you turn right, then left. It's chaotic.
• This New Algebra is like a city with a perfect grid system. Left-then-Right is always the same as Right-then-Left.

The Author's Claim:
The author suggests that this new, "tamed" 8D algebra might be the missing key to understanding Quantum Mechanics.

• Physicists have tried to use Octonions to explain quantum weirdness, but the lack of associativity made it fail (as noted by Dirac in the 1930s).
• This new algebra keeps the 8D power needed for quantum theory but fixes the "grouping" problem.
• The author argues that the strange correlations seen in quantum experiments (like entanglement) might actually be the natural geometry of this specific 7-Sphere, rather than "spooky action at a distance."

Summary in One Sentence

This paper introduces a new, 8-dimensional mathematical system that acts like the famous Octonions but follows the standard rules of arithmetic (associativity), potentially offering a smoother, more logical geometric foundation for understanding the deepest mysteries of quantum physics.

Technical Summary

Here is a detailed technical summary of the paper "Eight-dimensional Octonion-like but Associative Normed Division Algebra" by Joy Christian.

1. Problem Statement

The paper addresses a fundamental tension in mathematics and physics regarding the existence of normed division algebras.

• The Constraint: According to Hurwitz's theorem and Frobenius' theorem, the only finite-dimensional associative normed division algebras over the real numbers are the Reals ($\mathbb{R}$), Complex numbers ($\mathbb{C}$), and Quaternions ($\mathbb{H}$), corresponding to dimensions 1, 2, and 4.
• The Octonion Exception: The only other normed division algebra is the Octonions ($\mathbb{O}$), which exists in dimension 8. However, the Octonions are non-associative and non-commutative. This non-associativity has historically hindered their application in standard quantum mechanics and relativistic field theories, which rely heavily on associative structures (e.g., the Poincaré group).
• The Paradox: The author posits that there exists an 8-dimensional algebra that satisfies the normed division property ($||XY|| = ||X|| ||Y||$) but remains associative, thereby challenging the conventional interpretation that the 8-dimensional sphere ($S^7$) can only be parallelized via non-associative Octonions.

2. Methodology

The author constructs the algebra using Geometric Algebra (Clifford Algebra) rather than traditional component-based algebraic definitions.

• Algebraic Construction:
  • The author defines an 8-dimensional even sub-algebra, denoted as $K_\lambda$, within the 16-dimensional Clifford algebra $Cl_{4,0}$.
  • The basis is constructed using an orthonormal set of vectors $\{e_x, e_y, e_z\}$ in $\mathbb{R}^3$ and an additional vector $e_\infty$ (representing a point at infinity in conformal geometry).
  • The basis elements are: $\{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\}$, where $I_3 = e_x e_y e_z$ is the pseudoscalar and $\lambda = \pm 1$ is an orientation parameter.
• Dual Quaternion Representation:
  • Elements of $K_\lambda$ are expressed as "dual quaternions" (or bi-quaternions) of the form $Q_z = q_r + q_d \varepsilon$.
  • Here, $q_r$ and $q_d$ are standard quaternions, and $\varepsilon$ is a dual operator defined as $\varepsilon = -\lambda I_3 e_\infty$.
  • Crucially, unlike standard dual numbers where $\varepsilon^2=0$, here $\varepsilon^2 = +1$. This makes the coefficient algebra resemble split-complex numbers rather than standard complex numbers.
• Norm Definition:
  • The paper distinguishes between the scalar product (inner product) and the geometric product.
  • The norm is defined via the geometric product: $||X|| = \sqrt{X X^\dagger}$, where $X^\dagger$ is the reverse (conjugate).
  • A specific normalization constraint is imposed to ensure the norm is a scalar: $q_r q_d^\dagger + q_d q_r^\dagger = 0$. This constraint forces the "non-scalar" part of the geometric product to vanish, effectively projecting the multivector magnitude onto the real axis.

3. Key Contributions

A. Construction of an Associative Normed Division Algebra

The primary contribution is the rigorous demonstration that $K_\lambda$ is an associative algebra that satisfies the composition law:
$$||XY|| = ||X|| ||Y||$$
This holds for all multivectors $X, Y \in K_\lambda$ provided they are normalized according to the specific geometric product definition. This challenges the notion that 8-dimensional normed division algebras must be non-associative.

B. Resolution of "Zero Divisors"

A common objection to such algebras is the existence of "non-zero zero divisors" (elements $X, Y \neq 0$ such that $XY=0$).

• The paper acknowledges that in the un-normalized algebra, elements like $X = \alpha(1+\varepsilon)$ and $Y = \gamma(1-\varepsilon)$ yield $XY=0$.
• However, the author proves that these elements cannot be normalized to non-vanishing scalar magnitudes under the defined geometric norm without violating the algebraic closure or the normalization constraint.
• Once the correct normalization criterion (setting the pseudoscalar coefficient to zero) is applied, the algebra becomes a true division algebra with no non-zero zero divisors.

C. Topological Distinction of the 7-Sphere

The paper defines a 7-sphere ($S^7$) embedded in the 8-dimensional space of $K_\lambda$.

• Octonionic $S^7$: Defined by the constraint $\sum_{i=0}^7 q_i^2 = \rho^2$.
• $K_\lambda$ $S^7$: Defined by the orthogonality constraint $q_r q_d^\dagger + q_d q_r^\dagger = 0$ (which translates to $-q_0 q_7 + \lambda q_1 q_6 + \lambda q_2 q_5 + \lambda q_3 q_4 = 0$).
• The author argues that while both are 7-spheres of radius $\rho$, they possess different topologies due to the distinct defining constraints.

D. Parallelizability via Associative Algebra

The paper demonstrates that the constructed $S^7$ is parallelizable using the associative algebra $K_\lambda$.

• It constructs a global frame of seven linearly independent, non-vanishing tangent vector fields on $S^7$ using the geometric product of the basis elements.
• This implies that the 7-sphere can be parallelized without invoking non-associative Octonions, utilizing instead the associative structure of the Clifford algebra sub-algebra.

4. Results

1. Composition Law Proven: The paper provides a step-by-step proof (including Appendices B and D) that the scalar-valued composition law $||XY|| = ||X|| ||Y||$ holds for $K_\lambda$.
2. Associativity Confirmed: Since $K_\lambda$ is a sub-algebra of the Clifford algebra $Cl_{4,0}$, it inherits associativity by definition.
3. Division Property: The algebra is proven to be a division algebra; $XY=0$ implies $X=0$ or $Y=0$ for all normalized elements.
4. Geometric Interpretation: The algebra is shown to be isomorphic to the tensor product of Quaternions and Split-Complex numbers ($\mathbb{H} \otimes \mathbb{C}'$), constrained by orthogonality.
5. Curvature: The construction leads to a teleparallel geometry for $S^7$ where the Riemann curvature tensor vanishes ($R^\alpha_{\beta\gamma\delta} = 0$), characterized entirely by a torsion tensor.

5. Significance

• Theoretical Physics: The existence of an associative 8-dimensional normed division algebra opens new avenues for formulating physical theories (such as quantum mechanics and gravity) that require 8-dimensional structures but cannot tolerate the non-associativity of Octonions. This could resolve issues in attempts to generalize quantum theory (e.g., Jordan algebras) where non-associativity previously caused incompatibility with the Poincaré group.
• Mathematical Geometry: It provides a new perspective on the parallelizability of spheres. While the parallelizability of $S^7$ is a known topological fact, this paper offers a concrete algebraic mechanism using associative Clifford algebras rather than non-associative Octonions.
• Applications: The author suggests applications in Conformal Geometric Algebra (CGA) for engineering and computer vision, potentially removing singularities in calculations involving 3D rotations and translations.
• Clarification of Norms: The paper emphasizes a critical distinction in Geometric Algebra between the scalar product and the geometric product for defining norms, arguing that using the scalar product in this specific context leads to inconsistencies (apparent zero divisors) that are resolved by the geometric product definition.

In summary, Joy Christian presents a mathematically rigorous construction of an 8-dimensional associative normed division algebra, challenging the exclusivity of non-associative Octonions in dimension 8 and offering a new framework for parallelizable spheres with potential implications for fundamental physics.