Herm_2(H) complexification

The Herm_2(H) complexification is the $\mathbb C$ -vector space

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

with unit $I_{2}$ . 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

The diagonal contributes $2$ scalar coordinates, and the off-diagonal pairs contribute $4$ , giving dimension $6$ over $\mathbb C$ .

Jordan identity and range

The fixed subspace is closed under $X\circ Y$ , because $(XY)^*=Y^*X^*$ . Associativity of the ambient matrix algebra proves the Jordan identity, so the construction works in every positive size.

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.