Herm_n(O) complexification

For integers $1\leq n\leq3$ , The Herm_n(O) complexification is the $\mathbb C$ -vector space

\operatorname{Herm}_{n}((\mathbb O\otimes_{\mathbb R}\mathbb C))=\{X\in M_{n}((\mathbb O\otimes_{\mathbb R}\mathbb C)):X^*=X\}, \qquad X\circ Y=\tfrac12(XY+YX),

with unit $I_{n}$ . Here $X^*=\overline X^T$ , using the standard conjugation of the coefficient algebra. That conjugation is extended complex-linearly, so it fixes the newly adjoined complex scalars.

Coordinates and dimension

There are $n$ diagonal scalar coordinates and $n(n-1)/2$ independent coefficient-algebra entries. Thus the dimension over $\mathbb C$ is $n+8n(n-1)/2$ .

Jordan identity and range

Sizes one, two, and three satisfy the Jordan identity. The symbolic family in this catalogue is restricted to those sizes; ordinary Hermitian octonionic matrices in arbitrary size are not a uniform Jordan-algebra family.

Scalar convention

This is the complexification of the corresponding real Hermitian Jordan algebra. Its complex-bilinear product and real restriction give different category views; it is not the space of ordinary self-adjoint matrices on a complex Hilbert space.

References

Holger P. Petersson, A survey on Albert algebras, Sections 2.2, 2.5–2.7 and 7.8; printed pages 2–3 and 19.