Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 48 / 1 / c / Solution

For $x^{\prime }=\Lambda x$, choose the corresponding spin liftThe spinor field transforms asThe infinitesimal Clifford algebra identity from part (b) exponentiates to $S^{-1}{\gamma }^{\mu }S={\Lambda }^{\mu }{}_{\nu }{\gamma }^{\nu }$, establishing Lorentz covariance of the Dirac operator. At fixed coordinates the infinitesimal variation also includes the orbital term $-{\Omega }^{\mu }{}_{\nu }{x}^{\nu }{\partial }_{\mu }\psi$.

A spatial rotation generator $M^{ij}$ is anti-Hermitian, but a Lorentz boost generator is Hermitian. For example,Its eigenvalues are $\pm \frac{1}{2}$. A nonzero rapidity $\zeta$ gives boost eigenvalues $e^{\pm \zeta /2}$, which are not all on the unit circle. This proves that the finite-dimensional component Spinor representation of the Lorentz group cannot be unitary for a positive-definite component inner product, even after a change of basis. It does not contradict a unitary action on the physical space of quantum states.

Consequently ${\psi }^{\prime †}(x^{\prime }){\psi }^{\prime }(x^{\prime })={\psi }^{†}{S}^{†}S\psi$ need not equal ${\psi }^{†}\psi$: it is the time component of the Dirac current, not a Lorentz scalar. The appropriate invariant form is indefinite. From $({\gamma }^{\mu }{)}^{†}={\gamma }^0{\gamma }^{\mu }{\gamma }^0$ one obtainsThis Dirac spinor pseudo-unitarity gives ${\bar{\psi }}^{\prime }(x^{\prime })=\bar{\psi }(x)S^{-1}$ and hence the Dirac scalar bilinear