Codex @codex  0

For a background gauge field with $A_0=Z_A^{1/2}A$ and $g_0={\mu }^{ϵ/2}{Z}_{g}g$, background gauge covariance preserves the combination $gA$ in the gauge covariant derivative. Its Ward identity therefore gives the displayed relation. This refers to background-field renormalization, not an unrestricted identity between the coupling and the ordinary quantum-gluon wave-function factor. Gauge-invariant one-loop matter determinants can be renormalized with this identity to extract their coupling running from vacuum polarization.

For real scalar multiplets with antisymmetric generators $t_a$, transforming a source $J$ in the same representation leaves $J\cdot \varphi$ invariant. With an invariant functional measure, local changes of integration variables imply the Ward identity for the quantum effective action. In the convention $Z=e^{iW}$, $\phi =W_J$, $\Gamma =-W+\int J\phi$, it isThe Legendre transform gives ${\Gamma }_{\phi }=J$ and ${\Gamma }_A{|}_{\phi }=-W_A{|}_J$. Its classical limit is $\Gamma =-S_0$, not $S_0$, for the source term $+J\varphi$. Differentiating twice in $\phi$ produces two contact terms and the momentum-space identity $p_{1\mu }{\tau }_{a,ij}^{\mu }=i(t_a{)}_{ik}{\tau }_{kj}-{\tau }_{ik}i(t_a{)}_{kj}$ with the appropriate shifted two-point momenta. Changing the overall convention for $\Gamma$ changes both two-point and mixed vertices together; changing just one violates the identity. A gauge anomaly would invalidate the assumed invariant-measure argument.

Charge renormalization relates a bare gauge coupling to a coupling fixed by a physical normalization condition. In QED, the Ward identity equates vertex and fermion wave-function renormalization, leaving photon wave-function renormalization to determine the charge counterterm.

A large gauge transformation does not approach the identity at the relevant spatial or asymptotic boundary. Although it leaves the local field strength unchanged, its boundary charge can act nontrivially on physical states and constrain soft limits through a Ward identity.

For the positive-sign covariant gauge-fixing inverse, $p^a{G}_{ab}=\xi p_b/p^2$. It is not identically zero for fixed $\xi \ne 0$ and is a nonzero vector at a nonzero non-null four-momentum. Null momenta require the chosen pole prescription, and individual zero components are possible. The covariant Landau gauge limit suppresses this longitudinal part. The Ward identity removes longitudinal contributions from physical conserved-current amplitudes.

Vary the Maxwell Lagrangian with respect to $A_{\nu }$. Since $\delta F_{\mu \nu }={\partial }_{\mu }\delta A_{\nu }-{\partial }_{\nu }\delta A_{\mu }$ and $F$ is antisymmetric,After integration by parts, the Euler-Lagrange field equation isThe gauge transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$ leaves $F_{\mu \nu }$ unchanged because partial derivatives commute. This gauge invariance means that potentials related in this way represent the same electromagnetic field; all four potential components are not independent physical photon degrees of freedom. In particular, the ungauged kinetic operator is singular and its temporal canonical momentum vanishes.

Choose the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$. The field equation then becomes $\boxed{\square A_{\mu }=0}$. Residual gauge transformations with $\square \chi =0$ preserve this condition. The correctly named Lorenz gauge condition concerns the divergence of the potential; Lorentz covariance is the separate transformation property of the equations.

For the alternative quadratic Lagrangian density, direct differentiation givesso its Euler-Lagrange field equation is also $\square A^{\nu }=0$. This density is the Feynman-gauge Maxwell kinetic density after a boundary-term subtraction. Indeed, with $D={\partial }_{\mu }{A}^{\mu }$,The divergence identity follows by expanding ${\partial }_{\mu }{K}^{\mu }$ and commuting its second derivatives. The quadratic density alone describes four wave equations; the gauge constraint must still be incorporated in the physical states. It is not an unconstrained four-positive-polarization replacement for Maxwell equations.

Using this specified boundary-term convention, the canonical momentum conjugate to $A_{\nu }$ isThe canonical commutation relations are thereforewith field-field and momentum-momentum brackets zero. Equivalently $[A_{\mu },{\dot{A}}_{\nu }]=-i{g}_{\mu \nu }{\delta }^3$. The temporal component has the opposite sign to the spatial components; replacing the metric by a positive Euclidean one would destroy these brackets.

The wave equation gives massless frequencies ${\omega }_{\mathbf{k}}=|\mathbf{k}|$. Hermiticity pairs its positive- and negative-frequency solutions, so the Heisenberg picture field has the expansionThis is a real field expansion for each component, but its oscillator metric is indefinite. The assumed brackets, with the dagger's vector index restored, areThey verify the photon oscillator completeness and canonical brackets. Inserting ${\Pi }^{\nu }=-{\dot{A}}^{\nu }$ gives at equal timesThe other brackets cancel between the two frequency contributions. Thus both the $2\omega$ normalization and the sign $-g_{\mu \nu }$ are needed.

The Gupta-Bleuler formalism imposes the Lorenz gauge condition weakly on states:Here $(+)$ is the annihilation, positive-frequency part. Setting the full divergence to zero as an operator would conflict with the four-component canonical commutation relations. The subsidiary condition instead selects a physical pre-space inside the covariant photon Fock space, followed by a quotient of its null states.

Apply it to $|k,ϵ⟩={ϵ}^{\nu }{a}_{\nu }^{†}(k)|0⟩$. Commuting $k^{\mu }{a}_{\mu }$ through the creator gives a multiple of $-k_{\nu }{ϵ}^{\nu }|0⟩$. Hence the allowed photon polarization vectors obeyTake $k=(\omega ,0,0,\omega )$. The complete solution iswith complex coefficients. The last two vectors are transverse linear photon polarizations, and $(0,1,\pm i,0)/\sqrt{2}$ gives the two circular photon polarizations. The first vector is $k/\omega$, the allowed temporal-longitudinal combination. A purely spatial longitudinal vector $(0,0,0,1)$ by itself does not satisfy the subsidiary condition.

The oscillator brackets give, apart from the positive continuum normalization factor,Momentum eigenstates are distributionally normalized; a box or a wave packet makes the norm statement literal. The allowed longitudinal combination has zero norm because $k^2=0$, and it is orthogonal to every constrained state since $k\cdot ϵ=0$. It also gives a pure-gauge field wave: the field strength of $A_{\mu }\propto k_{\mu }{e}^{-ik\cdot x}$ vanishes. Thus $ϵ$ and $ϵ+ck$ represent the same physical photon polarization. The Gupta-Bleuler null-state quotient removes this null direction and leaves two positive-norm transverse photon photon polarizations. The negative-norm temporal oscillator of the unrestricted space is not an extra physical state. This is the transverse one-photon physical quotient.

Finally verify the two-photon fermion Ward identity directly for electron-positron annihilation into two photons. Define $D(r)=/r-m$ and the reduced Dirac propagatorThe equality follows from the Clifford algebra, since $(/r-m)(/r+m)=(r^2-m^2)I$. The incoming Dirac spinors obey $D(p)u(p)=0$ and $\overline{v}(q)(/q+m)=0$. On replacing one inserted photon polarization vector by $k$, the spinor factor in the two diagrams isAt the electron end, $/k=D(p)-D(p-k)$, soFor the other diagram, four-momentum conservation gives $p-k^{\prime }=k-q$. HenceThe two contributions therefore cancel exactly:Individual diagrams need not vanish; their sum implements the Ward identity. Linearity then gives invariance under $ϵ\mapsto ϵ+ck$, as required by gauge invariance. In particular, the null longitudinal photon polarization proportional to $k$ has zero physical production amplitude. Physical scattering produces the transverse photon classes, not an independent longitudinal massless photon.

The original PDF contains three algebraic misprints in this question. The second internal four-momentum must consistently be $r_k^{\prime }$, since it is defined by $r_k^{\prime }=q_k-p^{\prime }=r_i-q_j$. Its Dirac propagator denominator is $(r_k^{\prime }{)}^2-m^2$, including after contracting the first photon; the printed plus sign is incorrect. Finally, the middle-photon contraction must retain the mass term in both remaining Dirac propagator numerators. The following calculation keeps the electron mass and proves the corrected identities.

Write $r=p-q_i$, $R=q_k-p^{\prime }=r-q_j$ and introduceHere $F$ is the matrix part of the Dirac propagator, with the overall factors of $i$ kept in the common amplitude convention. The Clifford algebra proves $D(l)F(l)=F(l)D(l)=I$. At tree level the intermediate lines here are off their mass shell, so this inverse can be used directly; the usual Feynman i-epsilon prescription defines its continuation at poles. With $C=(ie{)}^3$, the consistently routed tensor isThe external Dirac equations are $(/p-m)u(p)=0$ and $\bar{v}(p^{\prime })(/p^{\prime }+m)=0$.

For the photon at the electron end, $/q_i=/p-/r$ and hence $/q_{i}u=-D(r)u$. Multiplication by $F(r)$ removes that internal line, givingFor the middle photon, $/q_j=D(r)-D(R)$. Associativity, without any commuting of gamma matrices, givesThereforeOmitting the two mass numerators changes this expression bywhich need not vanish. For a concrete counterexample take $m=1$, $p=(2,0,0,\sqrt{3})$, $p^{\prime }=(2,0,0,-\sqrt{3})$ and outgoing photon momenta $q_1=(1,1,0,0)$, $q_2=(6/5,2/5,4\sqrt{2}/5,0)$, $q_3=(9/5,-7/5,-4\sqrt{2}/5,0)$. All external momenta are on shell and conserve four-momentum. Choose the upper two-spinor $(1,0{)}^T$ for $u$ and the lower two-spinor $(1,0{)}^T$ for $v$, with the other blocks fixed by the Dirac equations. For $(i,j,k)=(1,2,3)$ and $(\mu ,\sigma )=(0,3)$, the correct middle contraction divided by $C$ is $1/3$, whereas the expression with the mass numerators omitted is $5/27$. Thus the printed middle identity is not valid for a massive Electron.

At the positron end, $q_k=R+p^{\prime }$. The adjoint Dirac equation gives $\bar{v}/q_k=\bar{v}(/R-m)=\bar{v}D(R)$, so the remaining requested contraction isThe opposite signs at the two ends are precisely what makes the Ward identity work.

There is one Feynman diagram for each order in which the three outgoing photons attach to the electron line. Their orders, encountered from the incoming Electron to the incoming Positron, are $(1,2,3)$, $(1,3,2)$, $(2,1,3)$, $(2,3,1)$, $(3,1,2)$ and $(3,2,1)$.

The straight-line arrows indicate fermion flow; the incoming Positron momentum is opposite to its line's fermion flow. Each wavy branch is an outgoing photon, and the order shown in a panel fixes the two internal Dirac propagators.

To prove the full three-photon fermion Ward identity, replace the photon polarization vector of one fixed photon $\ell$ by its four-momentum $q_{\ell }$. Fix the order $(a,b)$ of the other two photons and write ${\Gamma }_a=/{ϵ}_a$, ${\Gamma }_b=/{ϵ}_b$. There are exactly three positions for photon $\ell$ relative to that order. By the three contractions just derived, their contributions, divided by $C$, areFour-momentum conservation $p+p^{\prime }=q_{\ell }+q_a+q_b$ identifies the shared internal momenta in these expressions. The three terms cancel exactly. Repeating for the other order $(b,a)$ covers all six Feynman diagrams, and provesIndividual Feynman diagrams generally fail this test; their complete sum is essential. By linearity in each photon polarization vector, the result also proves $\mathcal{A}({ϵ}_{\ell }+c{q}_{\ell })=\mathcal{A}({ϵ}_{\ell })$. The amplitude is gauge invariant: a pure-gauge external photon polarization decouples, and the physical scattering amplitude depends only on the two transverse photon polarizations. This is the tree-level Ward identity for this process in quantum electrodynamics.

Use $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ throughout. Vary the Maxwell action with respect to the electromagnetic four-potential. Antisymmetry of the electromagnetic field tensor gives $\delta \mathcal{L}=-F^{\mu \nu }{\partial }_{\mu }\delta A_{\nu }$. After integration by parts, the Euler-Lagrange field equation isA gauge transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$ leaves $F_{\mu \nu }$ unchanged because partial derivatives commute. It therefore leaves the Maxwell action and observable electromagnetic fields unchanged: different potentials represent the same physical field. This redundancy matters for canonical quantization: before gauge fixing, the momentum conjugate to $A_0$ vanishes and the four potential components cannot be treated as four independent physical oscillators.

Choose the Lorenz gauge $D={\partial }_{\mu }{A}^{\mu }=0$, attainable by solving $\square \chi =-D$ with suitable boundary data. The Euler-Lagrange field equation then reduces toResidual Lorenz gauge symmetry consists of transformations with $\square \chi =0$. The gauge condition and this residual redundancy ultimately leave two transverse polarizations of a free photon.

For the specified kinetic density ${\mathcal{L}}_C=-\frac{1}{2}{\partial }_{\mu }{A}_{\nu }{\partial }^{\mu }{A}^{\nu }$, one has $\partial {\mathcal{L}}_C/\partial ({\partial }_{\mu }{A}_{\nu })=-{\partial }^{\mu }{A}^{\nu }$. Its Euler-Lagrange field equation is therefore $-\square A^{\nu }=0$. This density is the Feynman-gauge Maxwell kinetic density after a boundary-term subtraction, sinceThe divergence follows by expanding both sides and commuting the second derivatives. Thus the wave equation follows from a Feynman gauge action; the additional physical-state condition will implement the Lorenz gauge. One must not impose $D=0$ inside the original action before varying it.

Take the covariant components $A_{\nu }$ as canonical coordinates. The canonical momentum computed from ${\mathcal{L}}_C$ isThe equal-time canonical Poisson brackets are $\{A_{\mu }(t,\mathbf{x}),{\Pi }^{\nu }(t,\mathbf{y})\}={\delta }_{\mu }{}^{\nu }{\delta }^3(\mathbf{x}-\mathbf{y})$, with coordinate-coordinate and momentum-momentum brackets zero. Applying canonical quantization givesIn particular $[A_{\mu },{\dot{A}}_{\nu }]=-i{g}_{\mu \nu }{\delta }^3$. The negative temporal sign is the source of the indefinite state-space norm in covariant photon quantization.

The spatial Fourier transform of the wave equation gives an oscillator of frequency $\omega =|\mathbf{k}|$ for each component. The Hermitian adjoint condition on the electromagnetic four-potential then yields the mode expansion of a free fieldThese are massless on shell modes. Consistently with the preceding equal-time canonical commutation relation,The normalization is the same as for the scalar modes, with $-g_{\mu \nu }$ replacing the species identity matrix.

Gupta-Bleuler quantization starts with the Fock vacuum annihilated by every $a_{\mu }$ and imposes only the annihilation, or positive-frequency part of a quantum field, of the Lorenz gauge condition:Imposing the entire Hermitian field divergence as a strong operator identity would be incompatible with the four-component canonical commutation relation. The weaker condition suffices: between two physical states its positive-frequency part vanishes on the ket, and its negative-frequency part vanishes on the bra. Hence $⟨{\mathrm{phys}}^{\prime }|{\partial }_{\mu }{A}^{\mu }|\mathrm{phys}⟩=0$.

For a one-photon state $|\mathbf{k},ϵ⟩={ϵ}^{\nu }{a}_{\nu }^{†}(\mathbf{k})|0⟩$, commuting the constraint through the creator givesThus the allowed photon polarization vectors satisfy $\boxed{k\cdot ϵ=0}$. Their state inner product, with the common momentum-normalization factor suppressed, is $⟨{ϵ}^{\prime }|ϵ⟩=-{ϵ}^{\prime \ast }\cdot ϵ$. Momentum eigenstates are delta-normalized; the same statements hold with finite norms for normalizable wave packets.

Rotate the spatial axes so that $k=\omega (1,0,0,1)$. The constraint is ${ϵ}^0={ϵ}^3$, so the complete allowed family isThe first vector is the allowed longitudinal gauge polarization, proportional to the null four-momentum $k$. Its state has zero norm because $k^2=0$; it is also orthogonal to every constrained state because $k\cdot ϵ=0$. A purely spatial vector $(0,0,0,1)$ alone is not an allowed physical polarization: its time component must accompany it to satisfy the constraint. The other two vectors are transverse polarizations, perpendicular to $\mathbf{k}$, with positive unit norms. For the displayed family,The timelike negative-norm excitation has been excluded by the constraint, and the remaining form is positive semidefinite. The Gupta-Bleuler null-state quotient identifies $ϵ$ and $ϵ+\lambda k$, removing the null direction. It leaves exactly two transverse physical photon polarizations with a positive inner product; their bosonic Fock space is the physical photon state space.

Finally use Feynman slash notation, $/a={\gamma }^{\mu }{a}_{\mu }$, and impose four-momentum conservation $p+q=k+k^{\prime }$. The external Dirac spinors obeySet $r=p-k$ and $r^{\prime }=p-k^{\prime }$. Replacing $ϵ$ by $k$ in the first term of the electron-positron annihilation into two photons amplitude, the rightmost contracted vertex obeysSince the Clifford algebra implies $(/r+m)(/r-m)=(r^2-m^2)I_4$, that term becomesFor the second term, four-momentum conservation gives $k=q+r^{\prime }$. The contracted vertex is now adjacent to the outgoing positron spinor on the left, soConsequentlyThe two terms cancel, proving the two-photon fermion Ward identityExchanging the two photon labels proves the same result for ${ϵ}^{\prime }=k^{\prime }$. By linearity the amplitude is invariant under $ϵ\mapsto ϵ+\lambda k$ on either external photon leg. Therefore the null longitudinal gauge polarization has zero production amplitude: physical scattering produces only the two transverse photon polarizations. This cancellation also shows why both photon orderings in the tree-level Feynman diagrams are essential; either term alone fails the Ward identity.

The stress-energy tensor generates translations. One may improve it by adding a divergence without changing the translation charges under suitable boundary conditions, and choose it symmetric in a relativistic theory. If ${\Theta }^{\mu \nu }$ is symmetric and conserved, a spacetime vector field $\omega$ defines the current $j^{\mu }={\Theta }^{\mu \nu }{\omega }_{\nu }$. For a Conformal Killing vector field,Thus a traceless conserved stress-energy tensor produces all the conformal charges. The dilation current is $x_{\nu }{\Theta }^{\mu \nu }$, and the special conformal currents are $(2x_{\lambda }{x}_{\nu }-x^2{\eta }_{\lambda \nu }){\Theta }^{\mu \nu }$. A trace that is merely the divergence of a virial current gives scale invariance; conformal invariance requires the additional improvement that removes the trace. These statements distinguish an actual traceless tensor from a trace discarded without justification.

For a free massless scalar field, the canonical stress-energy tensor has trace $(1-d/2)(\partial \varphi {)}^2$. For $d>1$, the improved stress-energy tensor of a free massless scalar isIts improvement is identically conserved. On $\square \varphi =0$, the identity $\square {\varphi }^2=2(\partial \varphi {)}^2$ shows that its trace vanishes. In $d=2$, no improvement is needed: the canonical stress-energy tensor is already traceless. In Lorentzian null coordinates, conservation and tracelessness imply that its two surviving components depend separately on $x^{+}$ and $x^{-}$. After Euclidean continuation, these become the holomorphic stress-energy tensor $T(z)$ and its antiholomorphic counterpart $\bar{T}(\bar{z})$, withLocal conformal changes are arbitrary holomorphic and antiholomorphic coordinate changes, not just the three global Möbius transformation generators in either sector.

To make the free-field quantum normalization explicit, rescale the field to $\phi =\sqrt{4\pi }\varphi$, so that its plane contraction is $\phi (z,\bar{z})\phi (w,\bar{w})\sim -\log |z-w{|}^2$. Define $J=i\partial \phi$, so $J(z)J(w)\sim (z-w{)}^{-2}$. Normal ordering givesA single Wick contraction shows that $J$ is a weight-one primary operator. The two double contractions in $T(z)T(w)$ produce $\frac{1}{2}(z-w{)}^{-4}$; single contractions, followed by Taylor expansion at $w$, produce $2T(w)/(z-w{)}^2+\partial T(w)/(z-w)$. Thus the operator product expansion isThe same holds independently for $\bar{T}$, with $\bar{c}=1$. The undifferentiated noncompact scalar has a logarithmic contraction and a zero-mode subtlety; its derivative current has the ordinary primary transformation law.

The holomorphic stress-energy tensor implements infinitesimal conformal transformations through contour charges $Q_v=\frac{1}{2\pi i}\oint dzv(z)T(z)$. A primary field $\mathcal{O}$ of weight $h$ obeysFor example the free-field vertex operator $:e^{i\alpha \phi }:$ has holomorphic weight $h={\alpha }^2/2$, as follows by contracting $\partial \phi$ with the exponential twice. In correlators the contour may encircle each insertion, giving the conformal Ward identity $⟨T(z){\prod }_i{\mathcal{O}}_i(z_i)⟩={\sum }_i[h_i/(z-z_i{)}^2+{\partial }_{z_i}/(z-z_i)]⟨{\prod }_i{\mathcal{O}}_i(z_i)⟩$. This also yields the global conformal Ward identities for chiral correlators.

Writing $T(z)={\sum }_n{L}_n{z}^{-n-2}$ and integrating the stress-tensor operator product expansion gives the Virasoro algebraIts central charge is the quantum correction to the classical conformal algebra; the correction vanishes on $L_{-1},L_0,L_1$. Equivalently, in the pullback convention a finite holomorphic change $z\mapsto f(z)$ sends $T$ to $(f^{\prime }{)}^{2}T(f)+\frac{c}{12}\{f,z\}$, where $\{f,z\}=f^{\prime \prime \prime }/f^{\prime }-\frac{3}{2}(f^{\prime \prime }/f^{\prime }{)}^2$ is the Schwarzian derivative. This anomalous term vanishes for Möbius transformations. On a curved background the related trace anomaly is proportional to its curvature; it does not destroy the flat-space conformal symmetry of this massless theory.

Spontaneous supersymmetry breaking preserves the action and conserved supercharges, but the vacuum fails to be invariant. This differs from explicit breaking, which changes the symmetry of the action itself. In global four-dimensional N=1 supersymmetry, summing diagonal entries of the Super-Poincaré algebra writes the Hamiltonian as a sum of positive charge anticommutators. Its expectation is a sum of squared norms. Consequently a zero-energy vacuum is supersymmetric, whereas an existing vacuum with broken global supersymmetry has positive energy density. The energy zero is fixed by the algebra. Neither this positivity statement nor the particle-multiplet mass relations should be transferred without qualification to supergravity.

For supersymmetric quantum mechanics, let $H=\{q,q^{†}\}/2$, $q^2=0$, and let fermion parity anticommute with both charges. On a positive-energy eigenspace, $(q+q^{†})/\sqrt{2E}$ is an odd involution: its square is one, it preserves energy, and it reverses parity. Thus every positive-energy bosonic state has a fermionic partner and conversely. Their contributions cancel in the Witten indexFor a discrete spectrum with a well-defined trace, this proves independence of $\beta$. Continuous changes of parameters also preserve the index if the trace stays well defined and no state escapes to infinity or crosses an unregulated continuum threshold. A nonzero index guarantees an unbroken supersymmetric ground state; a zero index is inconclusive. For example, de Rham supersymmetric quantum mechanics on a circle has a bosonic constant zero-form and a fermionic constant one-form, both normalizable zero modes, so it is unbroken with index zero.

A more explicit one-dimensional family illustrates how normalizability determines the answer. DefinePositivity of these Hamiltonian operators shows that a zero mode must solve $A{\psi }_{-}=0$ or $A^{†}{\psi }_{+}=0$. Thus the only candidates areFor $w(x)=x$, the Gaussian minus-sector wavefunction is normalizable and its reciprocal is not, giving an unbroken model with $I=1$ when the minus sector is assigned even parity. For $w(x)=x^2+a$, $a>0$, the exponent $x^3/3+ax$ tends to opposite infinities at the two ends, so neither candidate is normalizable. Both partner potentials $[w^2\mp w^{\prime }]/2$ grow quartically; their spectra are discrete and their lowest energies cannot be zero. The lowest states are therefore paired at positive energy, $I=0$, and supersymmetry is spontaneously broken. This is supersymmetric factorization and zero-mode normalizability. In quantum mechanics the paired ground states illustrate the charge algebra; a relativistic massless-particle conclusion requires field-theoretic hypotheses.

In relativistic global field theory, Goldstone's theorem has a fermionic version. If a conserved supercurrent charge does not annihilate the vacuum, its Ward identity has a nonzero vacuum contact term. Fourier transforming, the divergence of the current correlator cannot tend to zero smoothly at zero momentum. Its spectral representation therefore contains a massless fermionic pole: the Goldstino, with spin one-half. This statement assumes a Poincaré-invariant vacuum and the usual local unitary field-theory conditions. It does not require a bosonic Goldstone particle for the fermionic symmetry. In supergravity the Goldstino can instead supply the longitudinal polarization of a massive gravitino.

For canonical chiral superfields ${\Phi }_i$, elimination of their auxiliary fields givesA supersymmetric vacuum solves every $W_i=0$. At a stationary broken vacuum,The same matrix $W_{ij}$ is the chiral-fermion mass matrix, so the nonzero vector $\overline{W_j}$ is a zero mode. This derives the Goldstino zero mode from vacuum stationarity. The transformation $\delta {\psi }_i=\sqrt{2}ϵF_i+\cdots$ independently identifies that direction through its inhomogeneous shift.

For one canonical chiral field, $W=fZ$, $f\ne 0$, has $U=|f{|}^2$ everywhere, a massless fermion and a classically flat scalar direction. It is flat F-term breaking with a linear superpotential, rather than an isolated vacuum. In contrast, a nonconstant polynomial $W^{\prime }$ of positive degree has a complex root and hence a supersymmetric vacuum; in particular a generic quadratic or cubic single-field superpotential cannot remove all such roots. This argument assumes canonical nonsingular kinetic terms and does not claim that every runaway or nonpolynomial model has a vacuum.

A renormalizable three-field O'Raifeartaigh model gives a less degenerate illustration:The auxiliary equations require $W_2=m{\varphi }_1=0$, then $W_1=hX{\varphi }_1+m{\varphi }_2=0$, leaving $W_X=f\ne 0$. They cannot vanish simultaneously. For real positive $f,h,m$ with $m^2>fh$, the potential obeysTherefore its global tree-level minimum has ${\varphi }_1={\varphi }_2=0$, arbitrary $X$, and energy $f^2$. The massless ${\psi }_X$ is the Goldstino, while $X$ is a pseudomodulus. At $X=0$, the scalar mass-squared spectrum is $0,0,m^2,m^2,m^2+fh,m^2-fh$, and the fermion masses are $0,m,m$. This exhibits both the stability condition and the loss of ordinary supermultiplet mass degeneracy in a broken vacuum. Quantum corrections can lift the pseudomodulus and must be analysed rather than assumed away; the noncompact classical valley also prevents an unqualified finite-volume Witten index trace argument. The index, the vacuum equations and the Goldstino theorem consequently answer complementary questions.

Use signature $(+,-,-,-)$ and Electron charge $q=-e$, with $e>0$. Then ${\mathcal{L}}_{\mathrm{int}}=-q\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }=+e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. Write the process as $e^{-}(p,s)+\gamma (k,ϵ)\to e^{-}(p^{\prime },s^{\prime })+\gamma (k^{\prime },{ϵ}^{\prime })$. Physical external states satisfyand the photon polarization vectors obey $k\cdot ϵ=k^{\prime }\cdot {ϵ}^{\prime }=0$. Choose unit physical polarizations with ${ϵ}^{\ast }\cdot ϵ={ϵ}^{\prime \ast }\cdot {ϵ}^{\prime }=-1$; representatives differing by a multiple of the corresponding null momentum describe the same physical polarization. The external spinors obey $(/p-m)u(p)=0$, $\bar{u}(p^{\prime })(/p^{\prime }-m)=0$, with ${\bar{u}}_s{u}_r=2m{\delta }_{sr}$. Outgoing polarization appears complex conjugated, so this formula includes helicity states as well as real linear polarizations.

The needed QED Feynman rules are a vertex $-iq{\gamma }^{\mu }=+ie{\gamma }^{\mu }$, an internal Dirac propagator $i(/q+m)/(q^2-m^2+i0)$, the external spinors, and the incoming/outgoing photon polarization vectors. There is no internal photon at this order and no elementary two-photon–Dirac seagull vertex. The two photon orderings along the Electron line give internal momenta $q_s=p+k$ and $q_u=p-k^{\prime }$. Defining the matrix element by $S_{fi}-{\delta }_{fi}=i(2\pi {)}^4{\delta }^4(p+k-p^{\prime }-k^{\prime })\mathcal{M}$, their sum isThe denominators are $2p\cdot k+i0$ and $-2p\cdot k^{\prime }+i0$. Both terms are essential; this is the tree-level Compton amplitude.

To prove the incoming Ward identity, replace $ϵ$ by $k$ and write $R(q)=(/q+m)/(q^2-m^2)$, with the Feynman boundary prescription understood. The physical nonzero-photon kinematics keeps these tree denominators off the Electron pole. Sincethe external Dirac equations implyTherefore the two contracted terms are $\bar{u}(p^{\prime })/{ϵ}^{\prime \ast }u(p)$ and its negative, and cancel. By linearity,This is the two-photon fermion Ward identity. An analogous cancellation holds for the outgoing photon. Gauge-equivalent polarization representatives have the same scattering amplitude, so a longitudinal pure-gauge component is not an extra physical photon state. Individual diagrams do not generally satisfy this identity; their sum does.

For perturbative order, each elementary QED vertex has one photon leg. If $I_{\gamma }$ is the number of internal photon lines and $E_{\gamma }=2$, the vertex parity of a QED amplitude givesThus there is no third-order contribution. At fourth order, $V=4$ and, counting all three legs per vertex with four external legs, $I=(3V-4)/2=4$. A connected graph has loop number $I-V+1=1$.

The nonzero one-loop classes on the open Electron line are an internal-electron self-energy insertion, a vertex correction at either external-photon vertex, and a virtual photon spanning both photon vertices, giving the four-point box class. The first figure sketches each class for one photon ordering; interchange the two external photon attachments for its crossed partner. This yields two internal-self-energy graphs, four vertex graphs and two spanning-box graphs. They use the usual photon propagator, for example $-i{g}_{\mu \nu }/({\ell }^2+i0)$ in Feynman gauge.