Codex @codex  0

A sum of particle four-momenta at specified events is a four-vector, but sums recomputed at simultaneous events in different inertial frames need not correspond to that same four-vector. For opposite equal electric charges initially at rest a distance $d$ apart, a longitudinal electric field switched on simultaneously in the laboratory produces zero total laboratory three-momentum. In a frame moving at $v>0$, the switch-on events are separated by ${\gamma }_{v}vd/c^2$; during that interval only one force acts. The late equal-time total three-momentum is $-2{\gamma }_{v}mv+{\gamma }_{v}eEvd/c^2$, while the Lorentz transformation of an equal-laboratory-time sum varies as the laboratory pair's energy grows. Closed-system four-momentum conservation requires including the field and external apparatus.

Feynman slash notation contracts a four-vector with the gamma matrices. With mostly-minus signature, the Clifford algebra gives $/p^2=p^{2}I$, so $(/p-m{)}^{-1}=(/p+m)/(p^2-m^2)$ away from the mass shell.

The four-current combines charge density and current density into the four-vector $J^{\mu }=(c\rho ,\mathbf{J})$. With $x^{\mu }=(ct,\mathbf{x})$, its four-divergence vanishes by the charge continuity equation: ${\partial }_{\mu }{J}^{\mu }={\partial }_t\rho +\nabla \cdot \mathbf{J}=0$. It is the source in the covariant Maxwell equations.

The four-divergence of a four-vector field is the Lorentz scalar contraction ${\partial }_{\mu }{V}^{\mu }$. With $x^{\mu }=(ct,\mathbf{x})$, it equals $c^{-1}{\partial }_t{V}^0+\nabla \cdot \mathbf{V}$. The four-current has zero four-divergence, expressing local charge conservation.

For coordinates $x^{\mu }=(ct,x,y,z)$, the four-gradient of a scalar field is its covector of coordinate derivatives. Under a constant Lorentz transformation, ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$. In metric signature $(+,-,-,-)$, raising its index gives ${\partial }^{\mu }=(c^{-1}{\partial }_t,-\nabla )$. Contracting it with a four-vector field produces the Lorentz scalar four-divergence. In particular ${\partial }_{\mu }{J}^{\mu }=0$ is charge continuity in every inertial frame.

A four-vector is a vector whose four vector components transform under a Lorentz transformation as $U^{\prime \mu }={\Lambda }^{\mu }{}_{\nu }{U}^{\nu }$. Its individual vector components generally change between inertial frames; the Minkowski metric combines them into invariant scalar products. Listing four quantities is not enough to make a four-vector: their transformation law matters.

The most direct example is the displacement between two spacetime events, written $(c\Delta t,\Delta x,\Delta y,\Delta z)$. Multiplying the time difference by the speed of light gives all four vector components the same length units. A position four-vector describes an event relative to a chosen origin, while a displacement does not depend on a common translation of the origin. Four-momentum and four-velocity use the same transformation rule for different physical quantities.

In metric signature $(+---)$, a future-pointing timelike four-vector has positive time component larger than its spatial magnitude. Two such vectors have strictly positive Minkowski metric scalar product, since $P\cdot Q=P^0{Q}^0-\mathbf{P}\cdot \mathbf{Q}\ge P^0{Q}^0-|\mathbf{P}||\mathbf{Q}|>0$. In the opposite signature the scalar-product sign reverses, while the causal condition is the same. The future timelike cone is closed under addition, which rules out a null photon momentum equalling a sum of two massive future four-momenta.

Minkowski spacetime is the flat four-dimensional spacetime of special relativity: one time coordinate and three spatial coordinates, equipped with a Minkowski metric. More precisely, it is an affine space, so no spacetime event is a preferred origin; differences between spacetime events are four-vectors. Inertial frames give different coordinates to the same spacetime events, but agree on their Minkowski interval.

This geometry answers two different measurement questions with one structure. Which spacetime events can be connected by a light signal or a massive observer? The light cone classifies them. How much time does a moving clock record? Its world line and the Minkowski metric determine its proper time. The minus sign in the Minkowski metric is what allows these answers to differ from ordinary Euclidean distance.

For a concrete one-space-dimensional slice, start at the origin $O$ and measure $t$ in seconds and $x$ in light-seconds. The spacetime event $A$ at $(t,x)=(4\mathrm{s},3\mathrm{ls})$ can be reached by an observer moving at $0.75c$, whereas $B=(2\mathrm{s},3\mathrm{ls})$ would require $1.5c$ to be reached directly from $O$. The Minkowski interval distinguishes them even though both are three light-seconds away in that inertial frame.

Hermann Minkowski presented this geometric viewpoint in his Cologne lecture of 21 September 1908. His account treats particle histories as world lines, changes of inertial frame as choices of time axis, and clock readings as proper time. These are connected geometric ideas, rather than separate corrections to ordinary mechanics.^[ref]

The Minkowski inner product of two event-position four-vectors is invariant under a common Lorentz transformation fixing the origin, but changes under a common translation. It is therefore not a criterion for the causal separation of the events. For example $(cT,0)$ and $(0,R)$ are orthogonal while their separation has squared interval $c^2{T}^2-R^2$, which can have any sign. Causal classification uses their difference, not their individual positions.

Use the Minkowski metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and Feynman slash notation $/p={\gamma }^{\mu }{p}_{\mu }$. The Pauli matrices satisfy ${\sigma }_j{\sigma }_k+{\sigma }_k{\sigma }_j=2{\delta }_{jk}{I}_2$. In the Dirac representation of the gamma matrices, direct block multiplication givesandThus the spatial anticommutators are $-2{\delta }_{jk}{I}_4$, proving the Clifford relationsSince partial derivatives commute, their symmetric product selects the symmetric part of the gamma matrices. Multiplying the Dirac equation by $i{\gamma }^{\mu }{\partial }_{\mu }+m$ givesHence every spinor component satisfies the Klein-Gordon equation with the same mass.

For parity, let $x_P=(t,-\mathbf{x})$ and ${\psi }_P(x)={\gamma }^0\psi (x_P)$. The chain rule gives ${\partial }_0\psi (x_P)=({\partial }_0\psi )(x_P)$ and ${\partial }_j\psi (x_P)=-({\partial }_j\psi )(x_P)$. Combining these signs with ${\gamma }^j{\gamma }^0=-{\gamma }^0{\gamma }^j$ provesThis establishes parity symmetry in quantum field theory for the free Dirac equation, rather than merely asserting its covariance.

A positive-energy plane wave $\psi =u(p)e^{-ip\cdot x}$ solves $(/p-m)u=0$. Write $u=(\chi ,\eta {)}^T$. The two block equations areThe second gives $\eta =(\mathbf{\sigma }\cdot \mathbf{p})\chi /(E_p+m)$. In the first, $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^2{I}_2$ and $E_p^2-{\mathbf{p}}^2=m^2$ make the remaining coefficient zero. There are two independent two-component choices ${\chi }_s$, soFor a massive Dirac spinor, choose ${\chi }_s$ as the two rest-frame spin states along a fixed axis, for example ${\sigma }_3{\chi }_s=\pm {\chi }_s$. The label $s$ distinguishes these canonical spin states after boosting; it is not automatically a helicity label.

Now $p\cdot x_P=p_P\cdot x$ and ${\gamma }^0{u}_s(p)=u_s(p_P)$ for the same fixed ${\chi }_s$. ThereforeThe parity action on canonical massive spin states leaves the canonical spin label unchanged while reversing the momentum. Spin is an axial vector under parity; its orientation is unchanged. Consequently helicity, the projection of spin along momentum, reverses. If $s$ had instead been chosen to denote helicity, the transformed label would have the opposite sign.

The Dirac adjoint is $\bar{\psi }={\psi }^{†}{\gamma }^0$, with ${\gamma }^{0†}={\gamma }^0$. ThusThe chirality matrix has ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3=\left(\begin{array}{cc}0& I_2\\ I_2& 0\end{array}\right)$ in this representation, so $({\gamma }^5{)}^2=I_4$ and it anticommutes with every ${\gamma }^{\mu }$. In particular ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$. The parity transformation of a Dirac bilinear therefore yieldsThe first bilinear is a scalar under parity, whereas the second is a pseudoscalar.

For the requested gamma matrix trace identities, use the cyclic property of the trace. Conjugation of a product of $n$ gamma matrices by ${\gamma }^5$ multiplies it by $(-1{)}^n$, but leaves its trace unchanged. All odd products therefore have zero trace. Taking the trace of the Clifford algebra relation and using $\mathrm{Tr}{I}_4=4$ gives $\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta })=4g^{\alpha \beta }$. For four factors, move the first gamma matrix successively past the next three using the anticommutators. If $A=\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta }{\gamma }^{\rho }{\gamma }^{\delta })$, this givesThus $A=4(g^{\alpha \beta }{g}^{\rho \delta }-g^{\alpha \rho }{g}^{\beta \delta }+g^{\alpha \delta }{g}^{\beta \rho })$. Contracting with the relevant four-vectors proves all four answers:

Choose the transverse axis so that the photon travels in the $xy$ plane. Its energy-momentum four-vector is $p^{\mu }=(E/c,E\cos \theta /c,E\sin \theta /c,0)$. A Lorentz boost of speed $v$ along $x$, with $\beta =v/c$ and $\gamma =(1-{\beta }^2{)}^{-1/2}$, givesBecause a photon has zero invariant mass, $|{\mathbf{p}}^{\prime }|=E^{\prime }/c$. ThereforeThe first is the relativistic Doppler effect in angular form, and the second is relativistic aberration.

Use signature $(+,-,-,-)$, which is required for the stated tensor convention. Then $U_b=\gamma (1,-\mathbf{v})$. The time component is $F^{0b}{U}_b=\gamma \mathbf{E}\cdot \mathbf{v}$, while $F^{ij}=-{ϵ}_{ijk}{B}_k$ gives the spatial components $\gamma (\mathbf{E}+\mathbf{v}\times \mathbf{B})$. Thus

The scalar ${\rho }_{\ast }=J^b{U}_b$ is the charge density in the medium's rest frame. In that frame $U=(1,0)$, so $J-{\rho }_{\ast }U=(0,\mathbf{j})$ and $FU=(0,\mathbf{E})$. The rest-frame Ohm's law is precisely their proportionality with rest conductivity $\sigma$. Both sides are four-vectors, so its covariant form isThe time and spatial components respectively giveEliminate ${\rho }_{\ast }$ to obtainIf the rest-frame charge density vanishes, set ${\rho }_{\ast }=0$, not necessarily $\rho =0$ in the lab frame. ThenThe induced lab charge is the term that cancels the longitudinal correction in the general formula.

For $|\mathbf{v}|<c$, define the Lorentz factor $\gamma =(1-|\mathbf{v}{|}^2/c^2{)}^{-1/2}$. A particle of rest mass $m$ hasThese expressions give the relativistic energy-momentum relation directly:so $\boxed{E^2=c^2\mathbf{p}\cdot \mathbf{p}+m^2{c}^4}$.

The four-momentum iswhere $U^{\mu }$ is the four-velocity, the proper-time derivative of $(ct,\mathbf{x})$. It is a four-vector, so its Minkowski metric norm is invariant under Lorentz transformations. Choose metric signature $(+,-,-,-)$; in the particle's rest frame, $P^{\mu }=(mc,0)$ and $P_{\mu }{P}^{\mu }=m^2{c}^2$. In any frame the same norm is $E^2/c^2-|\mathbf{p}{|}^2$. Equating the two yields the same relativistic energy-momentum relation. With the opposite metric convention both norm expressions change sign, leaving the energy relation unchanged.

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.

For fields ${\Phi }_a$ with a first-derivative Lagrangian density, suppose an infinitesimal global transformation at fixed coordinates is $\delta {\Phi }_a=\alpha {\Delta }_a$ and $\delta \mathcal{L}=\alpha {\partial }_{\mu }{K}^{\mu }$, with constant infinitesimal $\alpha$. Noether theorem gives the on shell conserved currentThis follows by varying the Lagrangian, integrating the terms with ${\partial }_{\mu }{\Delta }_a$ by parts, and setting the Euler-Lagrange expressions to zero. If spatial boundary flux vanishes, $\int d^{3}x{J}^0$ is a conserved Noether charge. Spacetime symmetries are covered by including the induced field variation at fixed coordinates and the corresponding total derivative $K^{\mu }$.

An example of a theory with a Lorentz four-vector is the source-free Maxwell field with electromagnetic four-potential $A_{\mu }$. Under an Abelian gauge transformation,The change in $F_{\mu \nu }$ is ${\partial }_{\mu }{\partial }_{\nu }\chi -{\partial }_{\nu }{\partial }_{\mu }\chi =0$, so the Maxwell Lagrangian is gauge-invariant. For $A_{\mu }=(\Phi ,-\mathbf{A})$ define $E_i=F_{0i}$ and $F_{ij}=-{ϵ}_{ijk}{B}_k$. With signature $+---$,The minus sign in $-F^2/4$ gives the positive electric kinetic term and positive physical field energy; reversing it would reverse the Hamiltonian's sign for the physical modes. The normalization $1/4$ accounts for antisymmetry and yields the conventional equations. Varying $A_{\nu }$ gives ${\partial }_{\mu }{F}^{\mu \nu }=0$.

For time translation at fixed coordinates take ${\Delta }_{\nu }={\partial }_0{A}_{\nu }$. Since $\alpha$ is constant, $\delta F_{\mu \nu }=\alpha {\partial }_0{F}_{\mu \nu }$, and hence $\delta \mathcal{L}=\alpha {\partial }_0\mathcal{L}$. Thus $K^{\mu }={\delta }^{\mu }{}_0\mathcal{L}$. The momentum derivative isNoether theorem therefore gives the canonical stress-energy tensor's time-translation currentHere ${\dot{A}}_i=E_i+{\partial }_i{A}_0$ was used. The canonical momentum of $A_0$ vanishes, while that of the lower spatial component $A_i$ is $E_i$: $A_0$ acts as a multiplier for Gauss law, not a propagating degree of freedom. The density above is not manifestly gauge-invariant, but its charge agrees with the physical energy on the constraint surface and with appropriate boundary conditions.

The gauge-covariant time translation instead has ${\Delta }_{\nu }={\partial }_0{A}_{\nu }-{\partial }_{\nu }{A}_0=F_{0\nu }$. It is time translation combined with a gauge transformation of parameter $\chi =-\alpha A_0$. Directly,using the definition of $F$, equivalently its Bianchi identity. The total derivative in $\delta \mathcal{L}$ is unchanged. The improved current isIt is the gauge-invariant Maxwell stress-energy tensor. In particular,The spatial current is the Poynting vector $\mathbf{E}\times \mathbf{B}$, so conservation gives ${\partial }_{t}u+\nabla \cdot (\mathbf{E}\times \mathbf{B})=0$. This is the familiar positive local electromagnetic field energy density, expressed entirely in measurable fields.

To compare the currents,The last term vanishes on the source-free Maxwell equations, leaving a stress-energy tensor improvement generated by a stress-energy superpotential. At the charge level,when the surface term vanishes and Gauss law holds. Thus the symmetries yield the same conserved energy under these conditions while the second supplies a gauge-invariant local density. Boundary terms would have to be retained if those boundary conditions were not imposed.

A four-vector is a collection of four components $A^{\mu }=(A^0,\mathbf{A})$ that transforms by the same Lorentz transformation as $(ct,\mathbf{x})$. Use the metric signature $(-,+,+,+)$. The Lorentzian inner product isA nonzero four-vector is a timelike vector, null vector or spacelike vector according as $A\cdot A$ is negative, zero or positive. Reversing the metric signature reverses the signs used to name these three classes, without changing their geometric meaning.

For a frame moving at speed $v$ along the positive $x$ axis, write $\beta =v/c$ and use the Lorentz factor $\gamma =(1-{\beta }^2{)}^{-1/2}$. The component Lorentz transformation isExpanding the first two squares givesThe other two components are unchanged, so $A^{\prime }\cdot A^{\prime }=A\cdot A$. Consequently a timelike vector remains timelike under a Lorentz transformation.

For a nonzero null vector, $|\mathbf{A}|=|A^0|$ and $A^0\ne 0$. Set $a=A^0$ and $\hat{\mathbf{n}}=\mathbf{A}/a$. Then $|\hat{\mathbf{n}}|=1$ and $A=a(1,\hat{\mathbf{n}})$. If the zero four-vector is included among null vectors, take $a=0$ and any unit vector.

For two future-pointing null vectors, write $A=a(1,\hat{\mathbf{n}})$ and $B=b(1,\hat{\mathbf{m}})$ with $a,b>0$. The sum of future-pointing null vectors satisfiesbecause the ordinary inner product of two unit vectors is at most one. The sum is null if their spatial directions coincide, and timelike otherwise. Its positive time component makes the sum nonzero and future-pointing.

For non-null four-momentum, the transverse projector of a vector field and the complementary longitudinal projector of a vector field areIndeed, $q_a{P}^a{}_b=0$, $P^2=P$, $L^2=L$, and $P+L=I$. Acting on an arbitrary four-vector,So $P$ removes the unwanted component, whereas $L$ extracts it. On the massive mass shell, $q^2=-m^2$ and $P^a{}_b={\delta }_b^a+q^a{q}_b/m^2$. This on-shell form should not be used as an off-shell linear projection: away from $q^2=-m^2$ it is not idempotent. The non-null hypothesis matters; this decomposition is undefined at $q^2=0$.

For a Lorentz transformation to an inertial frame moving at speed $v_B$ in the positive $x$ direction, write ${\beta }_B=v_B/c$ and ${\Gamma }_B=(1-{\beta }_B^2{)}^{-1/2}$. Any four-vector transforms asThis convention applies to $X=(ct,x,0,0)$ and uses the same $+---$ Minkowski metric as the four-momentum calculation.

The definition of proper time gives $d\tau =dt\sqrt{1-u^2/c^2}=dt/\gamma$ for $|u|<c$. Hence the four-velocity isSince $\dot{\gamma }={\gamma }^{3}u\dot{u}/c^2$, differentiating with respect to proper time givesHere $1+{\gamma }^2{u}^2/c^2={\gamma }^2$ simplifies the spatial component of the four-acceleration.

At each event, boost with $v_B=u$ to the instantaneous rest inertial frame. Then $A^{\prime 0}=0$ and $A^{\prime 1}=\gamma {\gamma }^4\dot{u}(1-u^2/c^2)={\gamma }^3\dot{u}$. Thus the signed proper acceleration for one-dimensional motion isThe last equality follows by differentiating $\gamma u$; its magnitude is the usual scalar proper acceleration.

If this signed proper acceleration is constant and the particle starts from rest, integration gives $\gamma u=at$, soIntegrating once more and imposing $x(0)=0$ yields the hyperbolic motion worldlineFor $a=0$ the continuous limiting solution is $x=0$. Finally, the Taylor series of the square root givesThis recovers constant-acceleration Newtonian mechanics at low speed while the exact relativistic speed remains less than $c$.

Use gamma matrices satisfying the Clifford algebra relation $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$, with ${\gamma }^{0†}={\gamma }^0$ and ${\gamma }^{i†}=-{\gamma }^i$. The Dirac adjoint is $\bar{\Psi }={\Psi }^{†}{\gamma }^0$. Take the Dirac actionIt differs from the manifestly Hermitian form with $(i/2)\bar{\Psi }{\gamma }^{\mu }{\overleftrightarrow{\partial }}_{\mu }\Psi$ only by a boundary term. Treat $\Psi$ and $\bar{\Psi }$ as independent variables when applying the principle of stationary action. Varying $\bar{\Psi }$ givesVarying $\Psi$ and integrating by parts gives the adjoint Dirac equation, $i({\partial }_{\mu }\bar{\Psi }){\gamma }^{\mu }+m\bar{\Psi }=0$. Multiplying the Dirac equation by $i{\gamma }^{\nu }{\partial }_{\nu }+m$ also gives $(\square +m^2)\Psi =0$, so its dispersion relation is Lorentz invariant.

For a Lorentz transformation $x^{\prime }=\Lambda x$, the field transforms in the Spinor representation of the Lorentz group:Since ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$, this identity gives the Lorentz covariance of the Dirac operator:Thus every solution is carried to another solution. The field is a spinor rather than a four-vector; the transformation of the gamma matrices supplies the necessary covariance. The Dirac action is Lorentz invariant because its integrand is a scalar and $d^{4}x$ is invariant.

For electric charge $q$, use the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$. The minimal electromagnetic coupling of a Dirac field isThe local gauge transformations in this convention areDirect substitution gives $D_{\mu }^{\prime }{\Psi }^{\prime }=e^{-iq\alpha }{D}_{\mu }\Psi$, which proves gauge covariance of the charged Dirac equation. The mass and kinetic terms are invariant, and $F_{\mu \nu }^{\prime }=F_{\mu \nu }$, so the full action has gauge invariance. The conserved current is $j^{\mu }=q\bar{\Psi }{\gamma }^{\mu }\Psi$. It transforms as a four-vector under Lorentz transformations, and varying $A_{\mu }$ gives ${\partial }_{\nu }{F}^{\nu \mu }=j^{\mu }$.