Ward identity

For an on-shell amplitude $\mathcal{M}={ϵ}_{\mu }(k){\mathcal{M}}^{\mu }$ with an external photon, gauge invariance implies $k_{\mu }{\mathcal{M}}^{\mu }=0$.

For tree Electron-Positron annihilation into three photons, all six orders along the fermion line must be summed. Write $D(r)=/r-m$ and $S(r)=D(r{)}^{-1}=(/r+m)/(r^2-m^2)$. Contracting an internal photon with its momentum gives $S(R)/qS(r)=S(R)-S(r)$ when $q=r-R$. Contracting an end photon removes its adjacent Dirac propagator by the external Dirac equation, with a minus sign at the electron end and a plus sign at the positron end. For either fixed order of the two uncontracted photons, the three insertion positions therefore telescope to zero. Summing their two orders proves the Ward identity. The mass terms in both remaining Dirac propagators are essential when $m\ne 0$. The result expresses the invariance of the scattering amplitude under ${ϵ}_{\ell }\mapsto {ϵ}_{\ell }+c{q}_{\ell }$.

Define the proper electromagnetic vertex with the electric charge removed, and define $S^{-1}$ without the propagator's overall factor $i$. The displayed off-shell identity follows by localizing the vector symmetry in a time-ordered correlation function, including the contact terms at the charged-field insertions, and amputating. Its on-shell form gives the Ward identity for physical photon amplitudes. At zero photon momentum it identifies the vertex with the momentum derivative of the inverse fermion propagator.

In a gauge-preserving regularization and consistent renormalization convention, the proper-vertex Ward-Takahashi identity in QED equates the vertex and electron wave-function renormalization constants. With ${\psi }_0=Z_2^{1/2}\psi$ and $A_0=Z_3^{1/2}A$, the vertex coefficient gives $e_0={\mu }_R^{ϵ}{Z}_{1}e/(Z_2\sqrt{Z_3})$, proving the displayed charge relation in $d=4-2ϵ$. Gauge invariance restricts counterterms but does not forbid charge running.

The two photon orders in a tree-level charged-fermion amplitude must be summed. Contracting one photon vertex with its momentum writes the contracted slash as a difference of inverse Dirac propagators. The external Dirac equations remove the on shell inverse factors; the two remaining terms have equal size and opposite sign. Thus the sum vanishes under the momentum replacement although individual diagrams generally do not. This implements the gauge equivalence of photon polarization vectors.

Localizing an infinitesimal symmetry inside a normalized path integral turns current conservation into a distributional identity. The variation of each inserted field contributes a delta function at that insertion. The displayed sign uses $\delta S=-\int ({\partial }_{\mu }{ϵ}^a)j_a^{\mu }$; the opposite current convention reverses the left side. Measure anomalies or noninvariant boundary states can add terms.

The soft photon theorem factorizes emission of a low-energy photon into the hard amplitude times ${\sum }_i{\eta }_i{Q}_i{p}_i\cdot ϵ/(p_i\cdot q)$. Its Ward identity is equivalent to conservation of total electric charge.