Ward–Takahashi identity

The Ward–Takahashi identity applies to correlation functions in momentum space, which do not necessarily have all their external momenta on-shell. Let :\mathcal{M}(k; p_1 \cdots p_n; q_1 \cdots q_n) = \epsilon_{\mu}(k) \mathcal{M}^{\mu}(k; p_1 \cdots p_n; q_1 \cdots q_n) be a QED correlation function involving an external photon with momentum k (where \epsilon_{\mu}(k) is the polarization vector of the photon and summation over \mu=0,\ldots,3 is implied), n initial-state electrons with momenta p_1 \cdots p_n, and n final-state electrons with momenta q_1 \cdots q_n. Also define \mathcal{M}_0 to be the simpler amplitude that is obtained by removing the photon with momentum k from our original amplitude. Then the Ward–Takahashi identity reads :\begin{align} k_{\mu} \mathcal{M}^{\mu}(k; p_1 \cdots p_n; q_1 \cdots q_n) = e \sum_i \left[ \mathcal{M}_0\right. & (p_1 \cdots p_n; q_1 \cdots (q_i-k) \cdots q_n) \\ & \left. - \mathcal{M}_0(p_1 \cdots (p_i+k) \cdots p_n; q_1 \cdots q_n) \right] \end{align} where e is the charge of the electron and is negative in sign. Note that if \mathcal{M} has its external electrons on-shell, then the amplitudes on the right-hand side of this identity each have one external particle off-shell, and therefore they do not contribute to S-matrix elements. == Ward identity ==

The Ward identity is a specialization of the Ward–Takahashi identity to S-matrix elements, which describe physically possible scattering processes and thus have all their external particles on-shell. Again let \mathcal{M}(k) = \epsilon_{\mu}(k) \mathcal{M}^{\mu}(k) be the amplitude for some QED process involving an external photon with momentum k, where \epsilon_{\mu}(k) is the polarization vector of the photon. Then the Ward identity reads: : k_{\mu} \mathcal{M}^{\mu}(k) = 0 Physically, what this identity means is the longitudinal polarization of the photon which arises in the ξ gauge is unphysical and disappears from the S-matrix. Examples of its use include constraining the tensor structure of the vacuum polarization and of the electron vertex function in QED. == Derivation in the path integral formulation ==

In the path integral formulation, the Ward–Takahashi identities are a reflection of the invariance of the functional measure under a gauge transformation. More precisely, if \delta_\varepsilon represents a gauge transformation by \varepsilon (and this applies even in the case where the physical symmetry of the system is global or even nonexistent; we are only worried about the invariance of the functional measure here), then :\int \delta_\varepsilon \left(\mathcal{F} e^{iS}\right) \mathcal{D}\phi = 0 expresses the invariance of the functional measure where S is the action and \mathcal{F} is a functional of the fields. If the gauge transformation corresponds to a global symmetry of the theory, then, :\delta_\varepsilon S=\int \left(\partial_\mu\varepsilon\right)J^\mu\mathrm{d}^dx = -\int\varepsilon \partial_\mu J^\mu\mathrm{d}^dx for some "current" J (as a functional of the fields \phi) after integrating by parts and assuming that the surface terms can be neglected. Then, the Ward–Takahashi identities become :\langle\delta_\varepsilon\mathcal{F}\rangle - i\int\varepsilon\langle\mathcal{F}\partial_\mu J^\mu \rangle\mathrm{d}^dx = 0 This is the QFT analog of the Noether continuity equation \partial_\mu J^\mu=0. If the gauge transformation corresponds to an actual gauge symmetry then :\int\delta_\varepsilon\left(\mathcal{F}e^{i\left(S+S_{gf}\right)}\right)\mathcal{D}\phi = 0 where S is the gauge invariant action and S_{\mathrm{gf}} is a non-gauge-invariant gauge fixing term. Gauge-fixing terms are required so as to be able to perform second quantization of a classical gauge theory. The path-integral (Lagrangian) formulation of quantum field theory does not entirely avoid the need for gauge-fixing, as there is still a need to compute the asymptotic states of the scattering matrix (e.g in the interaction picture.) In short, gauge-fixing is required, but it breaks the overall gauge invariance of the theory. The Ward–Takahashi identities then describe exactly how all of the different fields are tied to one-another, under an infinitessimal gauge transformation. These Ward–Takahashi identities are generated by the Ward operator; in the linearized form, the Ward operator is the BRST operator. The corresponding charge is the BRST charge. When the gauge theory is formulated on a fiber bundle, the Ward–Takahashi identities correspond to a (global) right-action in the principle bundle: they are generated by the Lie derivative on the vertical bundle. When the functional measure is not gauge invariant, but happens to satisfy :\int\delta_\varepsilon\left(\mathcal{F}e^{iS}\right)\mathcal{D}\phi = \int\varepsilon\lambda\mathcal{F}e^{iS}\mathrm{d}^dx with \lambda is some functional of the fields \phi, the corresponding relation gives the anomalous Ward–Takahashi identity. The conventional example is the chiral anomaly. This example is prominent in the sigma model theory of nuclear forces. In this theory, the neutron and proton, in an isospin doublet, feel forces mediated by pions, in an isospin triplet. This theory has not one, but two distinct global symmetries: the vector \overline\psi\gamma_\mu\psi and the axial vector \overline\psi\gamma_5 \gamma_\mu\psi symmetries; equivalently, the left and right chiral symmetries. The corresponding currents are the isovector current (the rho meson) and the axial vector current. It is not possible to quantize both at the same time (due to the anomalous Ward–Takahashi identity); by convention, the vector symmetry is quantized so that the vector current is conserved, while the axial vector current is not conserved. The rho meson is then interpreted as the gauge boson of the vector symmetry, whereas the axial symmetry is spontaneously broken. The breaking is due to quantization, that is, due to the anomalous Ward–Takahashi identity (rather than to a Higgs-style Mexican-hat potential, which results in an entirely different kind of symmetry breaking). The divergence of the axial current relates the pion-nucleon interaction to pion decay, fixing g_A\approx 1.267 as the axial coupling constant. The Goldberger–Treiman relation f_\pi g_{\pi N \overline N} \simeq g_A m_N relates g_A to the pion decay constant f_\pi. In this way, the chiral anomaly provides the canonical description of the pion-nucleon interaction. ==References==