Goldstone theorem

In a local quantum field theory obeying special relativity, with a positive physical state space, a conserved continuous internal global symmetry in field theory and a selected Lorentz-invariant ground state, a broken generator requires a massless Goldstone boson. For $G\to H$, there are $\dim G-\dim H$ symmetry-required Goldstone bosons in this setting; additional accidental massless excitations are possible. Jeffrey Goldstone's institutional biography identifies his work with Abdus Salam and Steven Weinberg on the zero-mass theorem.^[ref]

The Goldstone directions in the scalar mass matrix give a short classical proof at a smooth minimum. The quantum argument uses a conserved current $j^{\mu }$ and a scalar local operator $O$ whose expectation changes under the broken generator. The Ward identity for the current–local operator correlation function then has a nonzero contact term. After a Fourier transform, its divergence remains nonzero as four-momentum tends to zero. Lorentz invariance forces the vector–scalar correlator to have the form $p^{\mu }F(p^2)$, so $F$ must have a pole at $p^2=0$. The spectral representation associates that pole with a physical zero-mass excitation. A properly regulated spatial integral of the conserved current implements the broken generator; a well-defined global charge acting on the broken ground state cannot simply be assumed.

The hypotheses explain the boundaries of the result. A discrete symmetry has no infinitesimal generator and need not give a Goldstone boson. A gauge redundancy does not supply the physical global generator assumed here. In nonrelativistic matter the type-B Goldstone boson shows why one cannot universally count one independent mode per broken generator. Long-wavelength fluctuations can also prevent an assumed broken state from existing, as in the Mermin-Wagner theorem.

For a canonically normalized massless phase scalar field with shift $\pi \mapsto \pi +f\alpha$, the Noether current is $J^{\mu }=f{\partial }^{\mu }\pi$. With invariant one-particle normalization, the displayed matrix element follows from $⟨0|\pi (x)|\pi (p)⟩=e^{-ipx}$. Its divergence is $-f{p}^2{e}^{-ipx}=0$ on the massless shell, despite a nonzero current matrix element. This is the elementary current coupling of a Goldstone boson; conservation constrains its momentum contraction, not every component separately.

For a smooth invariant scalar potential, differentiating ${\partial }_{I}V(i{t}^a\varphi {)}^I=0$ at a classical vacuum gives $M^2(i{t}^a{\varphi }_0)=0$. The symmetry tangent space has dimension $\dim G-\dim H_0$, where $H_0$ is the full stabilizer subgroup. With a positive nonsingular scalar kinetic term, these are massless directions of the quadratic theory. Further zero eigenvalues are possible unless the Hessian matrix is positive on the normal complement.

For a complex scalar field with canonical kinetic term $|\partial \varphi {|}^2$ and potential $V=F(|\varphi {|}^2)$, take a broken-symmetry minimum $\varphi =v>0$, where $F^{\prime }(v^2)=0$. Writing $\varphi =v+(h+i\pi )/\sqrt{2}$ gives quadratic potential $F(v^2)+v^2{F}^{\prime \prime }(v^2)h^2$. Hence the canonical squared masses are $m_h^2=2v^2{F}^{\prime \prime }(v^2)$ and $m_{\pi }^2=0$. Coupling $D_{\mu }={\partial }_{\mu }+ie{A}_{\mu }$ gives gauge-boson squared mass $m_A^2=2e^2{v}^2$; the factor of two depends on defining $v$ as the complex field's vacuum value rather than its canonically normalized real component.

The Goldstone theorem guarantees zero directions tangent to the vacuum orbit, not the absence of other zero eigenvalues. For $V(\phi )=\kappa ({\phi }^T\phi -v^2{)}^4$, $\kappa >0$, the minima form the same sphere as in ordinary $O(n)$ breaking, but the entire Hessian matrix vanishes there. Thus all n scalar quadratic masses vanish, although only n-1 are symmetry-protected Goldstone bosons. Exact Goldstone counting requires nonzero curvature transverse to the orbit.

For $V=m^2{\varphi }^2/2+\lambda ({\varphi }^2{)}^2/4$, $m^2<0$, the vacuum manifold is a sphere of radius $v=\sqrt{-m^2/\lambda }$. At a chosen vacuum the Hessian matrix is $2\lambda v^{2}n{n}^T$, where $n$ is its unit direction. The radial scalar has mass squared $2\lambda v^2$; the $n-1$ angular modes are physical Goldstone bosons when the symmetry is global.

For the two-component case, write $\mathbf{\varphi }=(v+\rho )(\cos \theta ,\sin \theta )$. The kinetic term becomes $\frac{1}{2}({\partial }_{\mu }\rho {)}^2+\frac{1}{2}(v+\rho {)}^2({\partial }_{\mu }\theta {)}^2$. At quadratic order the canonically normalized angular field is $\pi =v\theta$, with no mass term. Its Euler-Lagrange equation is the wave equation, so ${\omega }^2=|\mathbf{k}{|}^2$ in units where the propagation speed is one. The radial field instead obeys ${\omega }^2=|\mathbf{k}{|}^2+2\lambda v^2$. Thus a common rotation costs no energy, whereas a slowly varying rotation propagates as a collective wave. With the selecting source of continuous vacuum selection by an external source, use $\pi =w\theta$ and obtain ${\omega }^2=|\mathbf{k}{|}^2+h/w$. This elementary dispersion relation separates a Goldstone boson, a pseudo-Goldstone boson and a massive radial excitation within one example.

A pseudo-Goldstone boson is a light mode produced when a spontaneously broken continuous symmetry is also weakly broken explicitly. Its mass vanishes with the explicit symmetry-breaking parameters.