Past exam of the mathematics course of the University of Cambridge / 2014 / ia / Paper 1 / 8C (Vectors and Matrices)

Expanding the commutator immediately gives $[A,A]=0$, $[A,B]=-[B,A]$, and $[A,\lambda B]=\lambda [A,B]$. For its matrix trace, writeConsequently every matrix commutator is traceless: $\boxed{\mathrm{tr}[A,B]=0}$. This is the trace of a matrix commutator identity, valid for arbitrary square matrices over the complex numbers.

The conjugate transpose reverses multiplication. If $A^{†}=-A$ and $B^{†}=-B$, thenThus the commutator is again a skew-Hermitian matrix. The order reversal is what produces the required minus sign.

For $a=(a_1,a_2,a_3)$ the map has the explicit formIts diagonal entries sum to zero and its conjugate transpose is its negative, because the three coordinates are real. Hence it is traceless and a skew-Hermitian matrix.

Direct multiplication of the given basis matrices yieldsThe reverse products give the negative commutators, and equal-index commutators vanish. Bilinearity then givesThus the cross product is represented by the commutator:This realizes the cross-product model of su(2) with exactly the normalization and cyclic orientation used here.

Every traceless skew-Hermitian matrix of size two has the formso it equals $\mathcal{M}(c)$ for $c=(2p,2\mathrm{Re}w,2\mathrm{Im}w)$. If $c=0$, take $A=B=0$. Otherwise choose a unit vector $u$ perpendicular to $c$ and set $a=u$, $b=c\times u$. The vector triple product gives $a\times b=c$.

By part (iii), choosing $A=\mathcal{M}(a)$ and $B=\mathcal{M}(b)$ gives the required representationIn fact both factors can themselves be chosen as traceless skew-Hermitian matrices. The cross-product model of su(2) explains this geometric commutator construction.