Definition

For an element

A=(aqqˉb)[[nonassociativealgebra/octonionicspinfactorH2(O)]],a,bR,qO,A=\begin{pmatrix}a&q\\ \bar q&b\end{pmatrix} \in [[nonassociative-algebra/octonionic-spin-factor|H_2(\mathbb O)]], \qquad a,b\in\mathbb R,\quad q\in\mathbb O,

its determinant is the real quadratic polynomial

detA=abq2.\det A=ab-|q|^2.
Positivity

The positive cone of H2(O)H_2(\mathbb O) is the closure of the cone of matrices with a>0a>0 and detA>0\det A>0. Equivalently, AA is positive semidefinite when its associated real on O2\mathbb O^2 is nonnegative.

Polarization

Because the determinant is quadratic, it has a symmetric bilinear polarization

det(A,B)=12(det(A+B)detAdetB).\det(A,B)=\frac12\bigl(\det(A+B)-\det A-\det B\bigr).

This degree-two determinant and its polarization are the algebraic operations used in the .

Dimension warning

This determinant belongs to the rank-two spin factor. The H3(O)H_3(\mathbb O) has a cubic Jordan determinant, but there is no analogous ordinary determinant on arbitrary-size octonionic Hermitian matrices.

References
  1. Semyon Alesker, “Plurisubharmonic functions on the octonionic plane and Spin(9)\operatorname{Spin}(9)-invariant valuations on convex sets,” Journal of Geometric Analysis 18 (2008), 651–686. arXiv record. Relevant: §1.2.
  2. Jacques Faraut and Adam Korányi, Analysis on Symmetric Cones, Oxford University Press, 1994. Relevant: Euclidean Jordan algebras and spin factors.