Bioctonion

In mathematics, the algebra of bioctonions, or complex octonions, is the tensor product of the algebra of octonions and the algebra of complex numbers. It is often denoted ${\displaystyle \mathbb {O} \otimes \mathbb {C} }$ or ${\displaystyle \mathbb {O} _{\mathbb {C} }}$.

Thus, every bioctonion can be written as a + bi where a and b are octonions. Addition of bioctonions is defined by

${\displaystyle (a+bi)+(c+di)=(a+b)+(c+d)i}$

and multiplication of bioctonions is defined by

${\displaystyle (a+bi)(c+di)=(ac-bd)+(ad+bc)i.}$

We can define the conjugate of a bioctonion by

${\displaystyle (a+bi)^{*}=a-b^{*}i.}$

There is another equivalent scheme which obtains the bioctonions by repeated application of the Cayley–Dickson construction starting from the field of complex numbers, the trivial involution, and quadratic form z². Applying this construction once we obtain the biquaternions, and applying it again we obtain the bioctonions. This approach exhibits the bioctonions as an octonion algebra over the complex numbers.

Concretely, in this approach a bioctonion is written as a pair (p,q) where p and q are biquaternions. Addition of bioctonions is then defined by

${\displaystyle (p,q)+(r,s)=(p+r,q+s)}$

while multiplication of bioctonions is defined using biquaternion multiplication and the biconjugate ${\displaystyle p^{\ast }}$ of a biquaternion p, as follows:

${\displaystyle (p,q)(r,s)=(pr-s^{*}q,\ sp+qr^{*}).}$

In this approach the bioctonion z = (p,q) has conjugate z* = (p*, – q), and the norm N(z) of bioctonion z is z z* = p p* + q q*, which is a complex quadratic form with eight terms. For any pair of bioctonions y and z,

${\displaystyle N(yz)=N(y)N(z),}$

showing that N is a quadratic form admitting composition. Thus, the bioctonions form a composition algebra over the complex numbers.

Guy Roos explained how bioctonions are used to present the exceptional symmetric domains:^[1]

The explicit description of the exceptional domains ... involves 3x3 matrices with entries in the Cayley-Graves algebra ${\displaystyle \mathbb {O} _{\mathbb {C} }}$ of complex octonions ... The space ${\displaystyle H_{3}(\mathbb {O} _{\mathbb {C} })}$ of such matrices which are Hermitian with respect to the Cayley conjugation can be endowed with the structure of a Jordan algebra using a product that generalizes in a natural way the symmetrized product ${\displaystyle x\circ y={\tfrac {1}{2}}(xy+yx)}$ of ordinary square matrices. This algebra is known as the Albert algebra or exceptional Jordan algebra. It is the natural place to describe the exceptional symmetric domain of dimension 27. The second exceptional symmetric domain (of complex dimension 16) lives in the space ${\displaystyle M_{2,1}(\mathbb {O} _{\mathbb {C} })}$ of 2x1 matrices with octonion entries.

Complex octonions have been used to describe the generations of quarks and leptons.^[2]

• J. D. Edmonds (1978) Nine-vectors, complex octonion/quaternion hypercomplex numbers, Lie groups and the ‘real’ world, Foundations of Physics 8(3-4): 303–11, doi:10.1007/BF00715215 link from PhilPapers.
• J. Koeplinger & V. Dzhunushaliev (2008) "Nonassociative decomposition of angular momentum operator using complex octonions", presentation at a meeting of the American Physical Society
• D.G. Kabe (1984) "Hypercomplex Multivariate Normal Distribution", Metrika 31(2):63−76 MR 0744966
• A.A. Eliovich & V.I. Sanyuk (2010) "Polynorms", Theoretical and Mathematics Physics 162(2) 135−48 MR 2681963