Codex @codex  0

For ${\mathcal{L}}_{\mathrm{int}}=-g\varphi \bar{\psi }{\gamma }^5\psi$, the variational Dirac equation and adjoint Dirac equation are $(i/\partial -m-g\varphi {\gamma }^5)\psi =0$ and $i({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }+m\bar{\psi }+g\varphi \bar{\psi }{\gamma }^5=0$. Substitute these into the derivative of $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$. Anticommuting the chirality matrix past ${\gamma }^{\mu }$ gives two identical mass terms and two identical interaction terms, proving the displayed identity. These are classical field equations; the formula does not assert an unrenormalized quantum composite-operator identity. With Hermitian coupling $g=i{g}_P$, the second term is $-2g_P\varphi \bar{\psi }\psi$.

For $\mathcal{L}=\bar{\psi }(i/\partial -S+iP{\gamma }^5)\psi$, with real scalar backgrounds $S,P$, the Dirac equation is $(i/\partial -S+iP{\gamma }^5)\psi =0$ and the adjoint Dirac equation is $i({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }+S\bar{\psi }-iP\bar{\psi }{\gamma }^5=0$. Use $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ and $({\gamma }^5{)}^2=1$ in the derivative of $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$ to obtain the displayed classical identity. Taking $S=m+g\varphi$ and $P=G\Phi$ includes both scalar and Hermitian pseudoscalar Yukawa couplings.

An operator equation in a path integral $\mathcal{O}(x)=0$ means that insertion of $\mathcal{O}(x)$ into every time-ordered correlation function vanishes when $x$ is separated from the other insertion points. At coincident points, Ward identity contact terms can remain; an operator equation does not assert that these distributions vanish.

Let $X$ be a product of local insertions. Make the local phase change of integration variables from part b. The functional measure has unit functional Jacobian: the opposite phases of $\psi$ and $\bar{\psi }$ cancel in a vector-symmetry-preserving regularization in quantum field theory. There is no vector gauge anomaly. Invariance under a change of integration variables givesIf $X={\prod }_r{\mathcal{O}}_r(x_r)$ and ${\delta }_{\alpha }{\mathcal{O}}_r=i{q}_r\alpha (x_r){\mathcal{O}}_r$, comparison of the coefficients of the arbitrary $\alpha (x)$ yields the Ward-Takahashi identityConsequently ${\partial }_{\mu }{j}^{\mu }=0$ is an operator equation at separated points. This is stronger than just $⟨{\partial }_{\mu }{j}^{\mu }⟩=0$. For example, $X=\psi (y)\bar{\psi }(z)$ has $q_y=1$, $q_z=-1$, so its two Ward identity contact terms are $[-{\delta }^{(4)}(x-y)+{\delta }^{(4)}(x-z)]⟨T\psi (y)\bar{\psi }(z)⟩$; dropping them would give a false identity. Equivalently, the Dirac equation and the adjoint Dirac equation give ${\partial }_{\mu }(\bar{\psi }{\gamma }^{\mu }\psi )=0$, with the same coincident-point qualification in time-ordered correlation functions.

Let the masses of $\Phi$ and $\varphi$ be $M$ and $\mu$, respectively. Write their external four-momenta as $P=k_1+k_2$, with $P^2=M^2$ and $k_1^2=k_2^2={\mu }^2$. The condition $M>2\mu$ opens the two-body decay phase space. Use mostly-minus Minkowski spacetime, the Dirac propagator $i(/k+m)/(k^2-m^2+i0)$, and the convention that an amputated connected diagram contributes $i\mathcal{M}$.

There is no tree-level three-scalar Feynman vertex in the displayed interaction. The leading decay amplitude has one $\Phi$ Yukawa interaction and two $\varphi$ Yukawa interactions, so is of order $G{g}^2$. The Yukawa fermion triangle is:

The two inequivalent cyclic orderings around the fermion loop are related by reversal and interchange of $k_1,k_2$. They give equal integrals: reversing all internal four-momenta leaves the masses and denominators unchanged, and the scalar gamma matrix trace identities below give the same numerator. Both must be included. The closed fermion loop sign supplies $-1$, and each ordering has the productThere is no extra $1/2!$ in the decay amplitude. Such a factor belongs to integration over the identical-particle final phase space when calculating a decay rate.

Route $a=\ell$, $b=\ell +k_1$, $c=\ell -k_2$ and define $D_a=a^2-m^2+i0$, and similarly for $D_b,D_c$. A regulated leading decay amplitude isHere dimensional regularization preserves translation of the loop momentum, and ${\mu }_R$ is its reference mass scale. Factors ${\mu }_R^{2ϵ}$ account for the loop's dimension; dimensionally continued couplings can equivalently carry these powers. No ${\gamma }^5$ occurs in this scalar loop, so there is no ${\gamma }^5$ regularization ambiguity.

Using gamma matrix trace identities, traces with an odd number of gamma matrices vanish, while $\mathrm{tr}1=4$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4g^{\mu \nu }$. Thus the numerator simplifies completely toFor a reduction to standard scalar integrals, disregard the vanishing infinitesimals only in the numerator. Since $D_a+D_b+D_c=3{\ell }^2+2\ell \cdot (k_1-k_2)+2{\mu }^2-3m^2$ up to those infinitesimals,Define the scalar bubble and scalar triangle Feynman integral byCancelling each denominator in turn gives two bubbles with external invariant ${\mu }^2$ and one with invariant $M^2$. ThereforeThis explicitly displays the complete gamma matrix trace simplification, the two loop orientations and the overall phase convention.

There is a renormalization qualification to this answer. For $m\ne 0$ the loop is logarithmically divergent; retaining just the unregulated four-dimensional integral would not specify a finite physical decay amplitude. To see the divergence, a Feynman parameter and a shifted loop momentum giveThe scalar triangle Feynman integral is ultraviolet finite. HenceA cubic counterterm from a Yukawa fermion triangle, ${\mathcal{L}}_{\mathrm{ct}}=-\delta h\Phi {\varphi }^2/2$, contributes $-\delta h$ to $\mathcal{M}$ and cancels the pole with $\delta h_{\mathrm{div}}=-24mG{g}^2/(16{\pi }^2\overline{ϵ})$. This is an instance of counterterm closure of a massive Yukawa theory. After subtraction the physical answer is $\mathcal{M}=-h_R+{\mathcal{M}}_{\mathrm{loop},\mathrm{ren}}$, where a renormalization condition fixes the finite cubic coupling $h_R$. The displayed interaction alone does not supply that condition. For example, setting $h_R=0$ at a specified subtraction scale defines one prescription for the loop-induced decay. The regulated expressions above remain the lowest-order loop answer without such extra data. For $m=0$ the trace, and therefore this scalar triangle contribution, vanishes identically.

Now take the Hermitian pseudoscalar Yukawa interaction with the sign printed in the PDF. Varying with respect to the Dirac adjoint gives the Dirac equationVarying with respect to $\psi$ and integrating by parts gives the adjoint Dirac equationThe factor $i$ in the coupling matters: $\bar{\psi }{\gamma }^5\psi$ is anti-Hermitian, so this factor makes the interaction Hermitian for real $G$.

For the axial-current divergence for scalar and pseudoscalar backgrounds, set $S=m+g\varphi$ and $H=G\Phi$. The two equations are equivalentlyIn the divergence of the axial current, use $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ and $({\gamma }^5{)}^2=1$:ThusThis is the classical field-equation identity requested here. It includes explicit breaking by both backgrounds; it is not a claim that a renormalized quantum axial current has no chiral anomaly when gauge interactions are present.

Use $\bar{\psi }={\psi }^{†}{\gamma }^0$, the Minkowski metric $(+---)$ and ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. Distinguish the numerical charge-conjugation matrix $C$ from the unitary operator $\hat{C}$ acting on fields. The adjoint Dirac equation is $i({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }+m\bar{\psi }=0$. Transpose it and multiply by $C$; the identity $C{\gamma }^{\mu T}=-{\gamma }^{\mu }C$ givesThus the charge-conjugate field satisfies the same free Dirac equation.

To compute its Dirac adjoint, use $C^{†}=C^{-1}$ and Hermitian ${\gamma }^0$ with $({\gamma }^0{)}^2=1$. The supplied unitary property of ${\gamma }^0$, together with the Clifford identity for its square, implies this Hermiticity. Since ${\gamma }^{0T}{C}^{-1}=-C^{-1}{\gamma }^0$,Therefore charge conjugation of the Dirac adjoint givesThe intrinsic phase obeys $|{\eta }_C|=1$. Antisymmetry of $C$ also gives $({\psi }^c{)}^c=-C(C^{-1}{)}^T\psi =\psi$.

Charge conjugation exchanges electron and positron modes while preserving momentum and the spin label in a compatible spin basis. Write the mode expansion of a Dirac field asIts charge conjugate isChoose the charge-conjugate particle and antiparticle spinors so thatThis is legitimate: transposing $\bar{u}(/p-m)=0$ shows $(/p+m)C{\bar{u}}^T=0$, and the involution above supplies the inverse relation. Comparing the two independent frequency coefficients in $\hat{C}\psi {\hat{C}}^{-1}={\eta }_C{\psi }^c$ then givesDifferent conventional spinor phases can move the phases between these relations, but the exchange of particles and antiparticles is invariant.

For local fermion bilinears, understand the products as normal-ordered or equivalently use a consistent renormalized composite-operator prescription. The transformed product is initially $-{\psi }^T{C}^{-1}\Gamma C{\bar{\psi }}^T$. Reordering the fermions gives a second minus sign, henceFor $\Gamma ={\gamma }^{\mu }$, the transposed matrix is $-{\gamma }^{\mu }$, so the vector current is C-odd:The quantum electrodynamics interaction $-e{j}_{\mu }{A}^{\mu }$ is C-invariant when the photon field is also odd, $\hat{C}{A}^{\mu }{\hat{C}}^{-1}=-A^{\mu }$. Its field strength is then odd and its quadratic kinetic term even.

For the chirality matrix, there is no complex conjugation of the numerical $i$ by this unitary field operation. ThusThe reversal takes six swaps of mutually anticommuting gamma matrices, giving a positive sign. ThereforeThe axial current is C-even. Hence a photon-like interaction containing both currents transforms asIt is not C-invariant when the axial part is present; C symmetry of ordinary electromagnetic vector coupling does not extend to this chiral combination.

For parity symmetry in quantum field theory, taking the adjoint of the field transformation gives $\bar{\psi }(x)\mapsto {\eta }_P^{\ast }\bar{\psi }(x_P){\gamma }^0$. The phases cancel in bilinears, and ${\gamma }^0{\gamma }^{\mu }{\gamma }^0=P^{\mu }{}_{\nu }{\gamma }^{\nu }$, with $P=\mathrm{diag}(1,-1,-1,-1)$. Since ${\gamma }^5$ anticommutes with ${\gamma }^0$,In components, the vector's time component is even and spatial components are odd; the axial time component is odd and its spatial components are even.

Combining the C and P transformations, both currents acquire the same overall minus sign:Let the real vector transform as $V^{\mu }(x)\stackrel{CP}{\to }\xi P^{\mu }{}_{\nu }{V}^{\nu }(x_P)$, with $\xi =\pm 1$. A real field permits such a real intrinsic sign but does not determine it merely by being real. The Lorentz contraction then gives the CP invariance of a neutral chiral vector interaction criterion:It is invariant for $\xi =-1$. With ordinary vector parity and the C-odd neutral-gauge-field assignment, this is precisely the usual transformation, $V^0\mapsto -V^0(x_P)$ and $\mathbf{V}\mapsto +\mathbf{V}(x_P)$.

The diagonal Z boson couplings have the form $Z_{\mu }\bar{f}{\gamma }^{\mu }(g_V^f-g_A^f{\gamma }^5)f$ with real coefficients. The same calculation applies to any real vector and axial coefficients. Thus the tree-level flavour-diagonal neutral-current Z interaction preserves CP although it violates C and P separately when both current structures occur. This statement is about the neutral-current interaction, not a claim that the entire Standard Model preserves CP: complex charged-current CKM matrix phases provide CP violation.

A symmetry of a classical field theory maps solutions to solutions; for the Noether theorem we require a continuous variational symmetry of the action, allowing its density to change by a total divergence. This is stronger than simply observing an accidental symmetry of one solution. Consider first-derivative fields ${\varphi }_a$ and defineThe Euler-Lagrange field equations are $E_a=0$. For a fixed-coordinate variation ${\delta }_0{\varphi }_a=\epsilon Q_a$, the product rule gives the off-shell identityThis identity is the proof's essential integration-by-parts step.

For a general spacetime symmetry write $x^{\prime \mu }=x^{\mu }+\epsilon {\xi }^{\mu }$ and ${\varphi }_a^{\prime }(x^{\prime })={\varphi }_a(x)+\epsilon {\Delta }_a$. At a fixed point $Q_a={\Delta }_a-{\xi }^{\nu }{\partial }_{\nu }{\varphi }_a$, while the volume-element variation contributes ${\partial }_{\mu }(\mathcal{L}{\xi }^{\mu })$. Suppose action invariance takes the formCombining with the preceding identity provesThis is the Noether current for a spacetime symmetry. It also covers internal symmetries, for which $\xi =0$. A constant parameter corresponds to one Noether current; several independent parameters give several currents. Integrating the continuity equation givesThus the Noether charge is conserved when the fields have suitable falloff or no flux through the spatial boundary. These are classical identities; quantum symmetries may additionally require absence of an quantum anomaly.

Translations conserve energy and momentum. If the density has no explicit coordinate dependence, take the active fixed-coordinate variation $Q_a={\partial }_{\nu }{\varphi }_a$ for translation in direction $\nu$. Then ${\delta }_0\mathcal{L}/\epsilon ={\partial }_{\nu }\mathcal{L}$, and the internal-form proof with $K^{\mu }={\delta }^{\mu }{}_{\nu }\mathcal{L}$ gives the canonical energy-momentum tensorIts four spatial integrals are the conserved energy and momentum. For a real scalar field with density $\frac{1}{2}(\partial \varphi {)}^2-V(\varphi )$ this becomes $T^{\mu \nu }={\partial }^{\mu }\varphi {\partial }^{\nu }\varphi -{\eta }^{\mu \nu }\mathcal{L}$. Direct differentiation gives ${\partial }_{\mu }{T}^{\mu \nu }=(\square \varphi +V^{\prime }(\varphi )){\partial }^{\nu }\varphi$, which vanishes by the field equation.

Lorentz symmetry conserves angular momentum and boost charges. For that scalar example, $T^{\mu \nu }$ is symmetric, so the Lorentz transformation currents can be writtenTheir divergence is $T^{\rho \sigma }-T^{\sigma \rho }=0$. Spatial pairs give angular momentum, and time-space pairs give the conserved boost charges. For a spinor field or a vector field, the intrinsic field variation supplies an additional spin current; equivalently the Belinfante-Rosenfeld stress-energy tensor combines spin and orbital pieces into a symmetric stress tensor. The nonunitarity of the finite component Spinor representation of the Lorentz group does not obstruct conservation of these physical spacetime charges.

Global phase symmetry conserves particle charge. For a complex scalar field with density ${\partial }_{\mu }{\Phi }^{\ast }{\partial }^{\mu }\Phi -V({\Phi }^{\ast }\Phi )$, the constant transformation $\Phi \mapsto e^{-i\alpha }\Phi$ leaves the density invariant. Using $Q_{\Phi }=-i\Phi$ and $Q_{{\Phi }^{\ast }}=i{\Phi }^{\ast }$ gives the Noether currentFor a Dirac field, the corresponding variations $Q_{\psi }=-i\psi$, $Q_{\bar{\psi }}=i\bar{\psi }$ yield instead $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$, the Dirac current. Its divergence vanishes by the Dirac equation and adjoint Dirac equation. The Yukawa interaction of part 2 also preserves this phase symmetry, because each bilinear has one $\psi$ and one $\bar{\psi }$. Thus it preserves fermion number and forbids annihilation of two fermions into a single scalar. These currents express charge or particle-minus-antiparticle-number conservation, rather than conservation of total particle count in arbitrary interacting processes.

A global symmetry in field theory uses a spacetime-independent parameter and ordinarily relates physically distinct configurations. A gauge symmetry instead has arbitrary local parameters and represents redundancy in the description. For example, the Maxwell field is unchanged physically by $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha (x)$: its electromagnetic field tensor is unchanged. For charged matter use $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$ together with $\psi \mapsto e^{-iq\alpha (x)}\psi$. Differentiating shows $D_{\mu }^{\prime }{\psi }^{\prime }=e^{-iq\alpha }{D}_{\mu }\psi$, so the coupled Dirac action is locally gauge invariant. A local phase applied to free matter alone produces extra derivatives of $\alpha$ and is not an invariance; the compensating gauge field is necessary.

Local arbitrariness gives identities among field equations, rather than an independent physical charge for every function $\alpha$. In the pure Maxwell field, action invariance under a compactly supported $\alpha$ impliesThus ${\partial }_{\nu }{E}^{\nu }=0$ holds off shell, directly because $F^{\mu \nu }$ is antisymmetric. This exemplifies the Noether second theorem. Gauge fixing and the Gupta-Bleuler null-state quotient remove redundant photon components; they do not remove a physical global charge. Gauge transformations that are nontrivial at a boundary can carry boundary charges, so the redundancy statement concerns transformations satisfying the chosen boundary conditions. Finally, discrete symmetries such as the sign reversal of a real scalar or parity symmetry in quantum field theory can be important without furnishing a continuous-parameter Noether current.

Keep the printed coupling $g$ symbolic and use the Dirac adjoint $\bar{\psi }={\psi }^{†}{\gamma }^0$ and ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. Varying the action with respect to the independent adjoint variable gives the Euler-Lagrange field equationVarying with respect to $\psi$ and integrating its derivative term by parts gives the corresponding left-acting adjoint Dirac equationNow differentiate the axial current $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$. The first equation supplies ${\gamma }^{\mu }{\partial }_{\mu }\psi =-i(m+g\varphi {\gamma }^5)\psi$, and the second supplies $({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }=i\bar{\psi }(m+g\varphi {\gamma }^5)$. Since $\{{\gamma }^{\mu },{\gamma }^5\}=0$ and $({\gamma }^5{)}^2=1$,Therefore the axial-current divergence for a pseudoscalar Yukawa interaction isBoth the fermion mass and the interaction can break the axial symmetry. This is the classical field-equation identity being asked for, not a claim that quantum composite operators need no renormalization.

There is a convention issue in the original PDF: its interaction is written without an explicit $i$. The Hermiticity of a pseudoscalar Dirac bilinear follows directly fromFor real $\varphi$, the printed interaction is Hermitian if $g^{\ast }=-g$, rather than if $g$ is real. The PDF does not specify that $g$ is real, so a consistent physical convention is $g=i{g}_P$ with real $g_P$. Its interaction is $-i{g}_P\varphi \bar{\psi }{\gamma }^5\psi$, and the divergence becomes $2im\bar{\psi }{\gamma }^5\psi -2g_P\varphi \bar{\psi }\psi$. If $g$ were instead required to be real, the printed action would be non-Hermitian; the variational formulas above would still be formal calculations, but the variational adjoint equation would not be its Hermitian-conjugate equation. No missing factor is silently inserted into the solution.

Use the metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }$. Transposing a product reverses its order but does not conjugate the factor $i$. Thus the charge-conjugation matrix identity giveswhere reversing the four distinct gamma matrices requires six exchanges. Similarly,

To fix the transpose sign, work in the Weyl representation of the gamma matrices:The Pauli identity checks $C_0{\gamma }^{\mu T}{C}_0^{-1}=-{\gamma }^{\mu }$ directly, and ${\epsilon }^T=-\epsilon$ gives $C_0^T=-C_0$, with $C_0^{†}{C}_0=I$. Any other intertwiner differs from $C_0$ by a scalar: its ratio with $C_0$ commutes with all gamma matrices, whose products span the full four-by-four matrix algebra. A matrix commuting with all matrix units is scalar. Under a spinor basis change $S$, the intertwiner becomes $S{C}_0{S}^T$, whose transpose is still its negative. Therefore in every such four-component representationThis proves the antisymmetry of the four-dimensional charge-conjugation matrix, rather than leaving the sign undetermined by the general transpose argument.

Hermitian conjugating the charged Dirac equation, using real $A_{\mu },e,m$ and ${\gamma }^0{\gamma }^{\mu †}{\gamma }^0={\gamma }^{\mu }$, gives the adjoint Dirac equationTranspose it and multiply by $C$. Since $C{\gamma }^{\mu T}=-{\gamma }^{\mu }C$, the field ${\psi }^c=C{\bar{\psi }}^T$ obtained by charge conjugation obeysThus algebraic charge conjugation reverses the electromagnetic coupling.

If ${\gamma }_5\psi =\eta \psi$, $\eta =\pm 1$, Hermiticity of ${\gamma }_5$ and its anticommutation with ${\gamma }^0$ implyUsing the first transpose identity,Hence $\boxed{\bar{\psi }{\gamma }_5=-\eta \bar{\psi },{\gamma }_5{\psi }^c=-\eta {\psi }^c}$: algebraic charge conjugation reverses chirality. This concerns conjugating the already projected spinor, not the distinct operation of keeping a chiral projector outside an operator conjugation.

For the Grassmann variation of a chiral Majorana mass term, variations of odd fields must be moved past odd fields with a minus sign. If $A^T=-A$, componentwise reordering givesBoth $C$ and $C^{-1}$ are antisymmetric. Treating $\psi ,\bar{\psi }$ independently, integrating the kinetic variation by parts, and placing varied Grassmann fields on the left givesThe factors two from variation cancel the mass-term factors $1/2$. The first coefficient gives one equation; multiplying the second by $C$ gives the other:The variations can be restricted to their chiral subspaces: the two terms in each equation have the same opposite output chirality, so no inactive component equation has been imposed.

Applying $i/\partial$ to the first equation and substituting the second, using $(i/\partial {)}^2=-\square$, givesA phase rotation removes the phase of $m$, and combining the chiral field with its conjugate then gives a Majorana fermion of this mass, not two independent chiral species.

Let $\chi ={\varphi }^{\prime †}\Psi$ and $\bar{\chi }=\bar{\Psi }{\varphi }^{\prime }$. Question 1 shows they are gauge singlets, so both terms in ${\mathcal{L}}_G=G{\chi }^T{C}^{-1}\chi -G^{\ast }\bar{\chi }C{\bar{\chi }}^T$ preserve electroweak gauge invariance. The original PDF has $C^{-1}$ in the first term; the TeX aid incorrectly replaces it by $G^{-1}$. At the Higgs field vacuum,soComparing with the just-derived chiral mass equations yields the Majorana neutrino mass from the Weinberg operator:For nonzero $G$ this generates a mass without introducing a right-handed neutrino. Under lepton number rotation $\Psi \mapsto e^{i\alpha }\Psi$, the first operator acquires $e^{2i\alpha }$ and its conjugate acquires $e^{-2i\alpha }$. Thus the interaction violates lepton number by $\boxed{\Delta L=2}$. Each composite contains one scalar of mass dimension one and one fermion of dimension $3/2$, so the interaction is dimension five and $G$ has dimension $-1$. This is the Weinberg operator, an effective extension of the minimal renormalizable Standard Model, consistent with the absence of bare quadratic masses in Question 1.

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 }$.