Codex @codex  0

Continue with metric signature $+---$. The Pauli matrices obey $\{{\sigma }^i,{\sigma }^j\}=2{\delta }^{ij}{I}_2$. Block multiplication in the chiral gamma-matrix representation givesandHence $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }{I}_4$, the required Clifford algebra. Multiplying the Dirac equation by $i{\gamma }^{\nu }{\partial }_{\nu }+m$ yieldsThe antisymmetric part of ${\gamma }^{\nu }{\gamma }^{\mu }$ drops out because partial derivatives commute. Therefore every component of the Dirac spinor satisfies the Klein-Gordon equation. The converse is not true: four arbitrary scalar solutions need not obey the first-order Dirac equation.

The Lorentz group consists of real invertible matrices $\Lambda$ preserving the Minkowski metric: ${\Lambda }^{T}g\Lambda =g$. Writing $\Lambda =I+\omega +O({\omega }^2)$ gives ${\omega }_{\mu \nu }=-{\omega }_{\nu \mu }$, so there are six continuous parameters: three spatial rotation angles and three boost rapidities. The Proper orthochronous Lorentz group is the connected component with determinant $+1$ that preserves time orientation. Parity and time reversal are additional discrete operations and are not encoded by the six real parameters in an exponential near the identity.

For the real-generator convention used here, vector generators can be writtenTake ${\Omega }_{\rho \sigma }=-{\Omega }_{\sigma \rho }$ and use the same parameters in the spinor representation. The Lorentz-spinor generators from a Clifford algebra areTo verify the Lorentz algebra, first commute a generator with one gamma matrix:For example, this follows by moving ${\gamma }^{\tau }$ through each product using the Clifford anticommutator. Applying the commutator derivation rule to $\frac{1}{4}[{\gamma }^{\tau },{\gamma }^{\nu }]$ then givesNo extra factor of $i$ belongs in these generators with this commutator convention. Hermitian-generator conventions shift the factors of $i$ into the brackets and the exponential instead.

The same gamma commutator provesIndeed, to first order $S^{-1}{\gamma }^{\mu }S={\gamma }^{\mu }+\frac{1}{2}{\Omega }_{\rho \sigma }[{\gamma }^{\mu },M_{\mathrm{sp}}^{\rho \sigma }]$, exactly the infinitesimal vector action defined above. Exponentiating proves the finite relation. The spinor field transforms as ${\psi }^{\prime }(x^{\prime })=S(\Lambda )\psi (x)$ with $x^{\prime }=\Lambda x$; combining this relation with ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$ preserves the Dirac equation. A $2\pi$ rotation gives $S=-I_4$, so the spinor matrices give the double-cover spin representation, rather than a single-valued ordinary representation of the Lorentz group itself.

For a boost in direction $i$, $M_{\mathrm{sp}}^{0i}=\frac{1}{2}{\gamma }^0{\gamma }^i$ is Hermitian, with eigenvalues $\pm \frac{1}{2}$. A real rapidity $\eta$ therefore produces eigenvalues $e^{\pm \eta /2}$ in $S$, whose moduli are not one. The finite-component spinor representation is not unitary for boosts, although the rotation matrices are unitary. The Lorentz group is noncompact; this does not forbid the unitary infinite-dimensional action on the physical Hilbert space of states.

Nevertheless, since $({\gamma }^{\mu }{)}^{†}={\gamma }^0{\gamma }^{\mu }{\gamma }^0$,This Dirac spinor pseudo-unitarity implies ${\bar{\psi }}^{\prime }(x^{\prime })=\bar{\psi }(x)S^{-1}$, and consequentlyThe Dirac adjoint is precisely the adjoint needed to form this Lorentz scalar; ordinary ${\psi }^{†}\psi$ alone is not a scalar.

Let ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3=\mathrm{diag}(-I_2,I_2)$. It anticommutes with every gamma matrix and commutes with every $M_{\mathrm{sp}}^{\rho \sigma }$, so $S^{-1}{\gamma }^{5}S={\gamma }^5$. Thus the axial current transforms as a four-vector under proper Lorentz transformations:Under parity it is an axial vector, acquiring the additional pseudovector sign. Contracting two axial currents cancels that sign and uses the invariant metric. Therefore $j_{5\mu }{j}_5^{\mu }$ is compatible with Lorentz invariance, including parity invariance of this contraction. Lorentz invariance of the interaction does not require the axial current to be conserved.