Consider two real scalar fields with positive , standard kinetic terms, and the displayed scalar potential. At , the circle group rotates one field into the other: this is a global symmetry in field theory, with the same rotation at every point in space. The vacuum manifold is the circle . Choose and differentiate the scalar potential twice:
The scalar mass matrix assigns a restoring force to the radial displacement, whereas its tangent is one of the Goldstone directions in the scalar mass matrix. Moving around the circle costs no potential energy; moving between neighbouring points in space can still cost gradient energy. Flat angular potential energy therefore means a soft collective excitation, not that every spatial pattern is free.
A positive source explicitly selects the positive direction. The minimum is , where is the positive solution of . The two eigenvalues of the scalar mass matrix there are
For example, and give , and . The light angular excitation becomes a Goldstone boson as , while the radial mass stays finite. The source changes both the preferred direction and the radius; expanding about the old point at nonzero would miss that shift.
Figure 1.
An external source selects an orientation and lifts the angular flat direction
. Original dimensionless scalar potential example with . Dashed circles mark the zero-source vacuum manifold. The right panel follows a radial line or a circular angular path, with potential energy measured from the minimum appropriate to that path. A circular path has zero angular potential energy at ; a straight tangent displacement agrees only to quadratic order. Details.
Goldstone theorem Created 2026-09-24 Updated 2026-10-18
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 , there are 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 and a scalar local operator 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 , so must have a pole at . 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.
Yoichiro Nambu's superconductivity work led to the spontaneous symmetry breaking ideas recognized by his share of the 2008 Nobel Prize in Physics.[ref] His 1960 treatment made the Meissner effect response consistent with gauge invariance by including collective pair contributions alongside the quasiparticles. The resulting Ward identity relates the interaction correction to the current and the self-energy; retaining the quasiparticles alone omits part of the response.[ref]
The individual Nobel lecture explains the bridge to particle: the superconductivity gap suggested a dynamically generated fermion mass, and the accompanying collective excitation suggested a light pion. It also notes that the long-range Coulomb interaction turns the charged phase response into a plasmon. A neutral global phase mode and a charged material therefore need different low-momentum descriptions.[ref]
In 1961, Yoichiro Nambu and Giovanni Jona-Lasinio supplied a four-fermion model with a self-consistent mass and a massless pseudoscalar bound state: an idealized pion. Their original constituents were nucleon fields. Their introduction explicitly distinguishes the zero-mass neutral collective excitation from its charged plasma counterpart and allows approximate chiral symmetry as the explanation of a nonzero pion mass. This is a model of dynamical symmetry breaking, rather than a microscopic derivation of Quantum chromodynamics.[ref]
In the modern two-light-quark account, chiral symmetry breaking leaves isospin intact and produces three Goldstone bosons in the exact non-anomalous chiral limit. Small quark masses explicitly break that chiral symmetry, so the observed pions are pseudo-Goldstone bosons. The chiral protection of a fermion mass identifies the distinct obstruction to inserting an explicit fermion mass into a chirally symmetric equation. The useful lesson is that massive individual excitations and much lighter collective excitations can coexist because they describe different motions of an interacting state.
A concrete experimental motivation for treating the electromagnetic response carefully is the Field-cooled Meissner experiment. MIT's realization cools lead in a solenoid field using helium gas. A nearby thermometer follows the cooling; a test coil feeds an integrator and oscilloscope. Expulsion gives a pulse, warming reverses it, and switching off the field while the sample is normal checks its sign. A change in alternating-field response alone can reflect normal electrical conductivity. This readout tests magnetic flux expulsion, not the spectrum or existence of a neutral Goldstone boson.[ref]
For a global symmetry in field theory, different orientations can be physically distinct states. A local gauge symmetry instead includes redundant descriptions of the same physical state. A gauge-dependent field expectation alone is consequently insufficient as a physical criterion for spontaneous symmetry breaking. The Higgs mechanism changes the physical mode content when the gauge field is dynamical; the global Goldstone theorem alone does not prove that mechanism. In particular, the massless direction of a gauge-fixed scalar potential need not appear as a separately observable massless particle.
For any fixed , the source contribution obeys , because and . Equality occurs only at when . Thus the global ground state lies on the positive first axis. Minimize there:
For , . For , , so increases strictly from to . There is exactly one root , and it is the unique global minimum. Therefore
This argument selects the true ground state even if the full cubic has additional negative stationary roots.
Expand , , . The source is linear, so it shifts the expansion point but has zero Hessian matrix. The scalar mass matrix is diagonal at the new vacuum expectation value:
Eliminating with the stationary equation gives
All three squared masses are positive. The masses themselves are the positive square roots of these expressions.
The source explicitly reduces the stated SO(3) symmetry to SO(2); the selected vacuum state preserves that remaining SO(2). There is consequently no spontaneously broken exact continuous global symmetry in field theory to which the Goldstone theorem applies. For small , the two angular excitations are pseudo-Goldstone bosons. Their squared masses vanish as , while and .
Put . Completing the square in the scalar potential gives
Since , its global minima form the vacuum manifold
Here denotes the positive square root of the parameter . The origin is a local maximum, not a ground state. Choose . Its stabilizer subgroup is the SO(2) subgroup of rotations in the plane, so the stated SO(3) global symmetry in field theory is spontaneously broken to SO(2).
Write , , . The kinetic terms stay canonically normalized, while the scalar mass matrix is
Equivalently, the quadratic scalar potential is . Therefore the particle masses are
The two angular Goldstone bosons match . The radial displacement changes and costs potential energy, giving the massive Higgs mode. These are tree-level masses; the Goldstone theorem protects the angular zero-mass modes in the exact global theory.
The Goldstone theorem states that spontaneous breaking of a continuous internal global symmetry in field theory in a local relativistic quantum field theory produces a zero-mass Goldstone boson for each independent broken generator, under the usual positive-state-space and conserved-current hypotheses. For there are symmetry-required Goldstone bosons. This count assumes a Lorentz-invariant vacuum state; nonrelativistic counting can differ.
At the classical level, invariance of the scalar potential gives . Differentiating at a stationary vacuum expectation value yields
These are the Goldstone directions in the scalar mass matrix. Broken generators have , so their independent directions have zero quadratic mass with a canonical kinetic term. The theorem guarantees these modes; it does not exclude further accidental zero-mass modes. A local gauge symmetry is a redundancy and does not meet the physical global-symmetry hypothesis: the Higgs mechanism can instead supply longitudinal particle polarizations of massive gauge bosons.
For the local variation , , the terms proportional to cancel and the differentiated phase gives
Thus, for a compactly supported , integration by parts gives
This Dirac current is the Noether current in the convention . Using the convention with a plus sign reverses the Noether current and the conserved charge together. There is one independent global symmetry in field theory, with four spacetime components of its Noether current. The associated conserved charge is , with vacuum subtraction when required.
A gauge redundancy relates different field representatives of the same physical configuration. For example, the transformation just exhibited changes and the scalar phase but leaves , and all other gauge-invariant operators unchanged. Fixing a gauge removes this freedom; it does not remove a physical symmetry-related state. In canonical quantization, local transformations trivial at the boundary are generated by the Gauss law constraint in gauge theory, and physical states satisfy that constraint.
A global symmetry in field theory instead has a spacetime-independent parameter and can act nontrivially on physical states. For a continuous global symmetry in field theory, Noether theorem gives a conserved charge that generates the transformation and labels the states; discrete global symmetries do not acquire a Noether current from the same infinitesimal theorem. These are statements about physical transformations, rather than merely whether a parameter is written as a constant or a function.
Boundary conditions matter in gauge theory. gauge transformations that vanish at spatial infinity are redundancies, while transformations nontrivial at infinity may act through a physical electric charge. In particular a constant phase transformation can survive as a global charge symmetry rather than being quotiented out with the local gauge redundancy. Thus local gauge redundancy is a redundancy of description; genuine global symmetry in field theory can distinguish physical states and charges, with the boundary qualification made explicit.
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 and define
The Euler-Lagrange field equations are . For a fixed-coordinate variation , the product rule gives the off-shell identity
This identity is the proof's essential integration-by-parts step.
For a general spacetime symmetry write and . At a fixed point , while the volume-element variation contributes . Suppose action invariance takes the form
Combining with the preceding identity proves
This is the Noether current for a spacetime symmetry. It also covers internal symmetries, for which . A constant parameter corresponds to one Noether current; several independent parameters give several currents. Integrating the continuity equation gives
Thus 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 for translation in direction . Then , and the internal-form proof with gives the canonical energy-momentum tensor
Its four spatial integrals are the conserved energy and momentum. For a real scalar field with density this becomes . Direct differentiation gives , which vanishes by the field equation.
Lorentz symmetry conserves angular momentum and boost charges. For that scalar example, is symmetric, so the Lorentz transformation currents can be written
Their divergence is . 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 , the constant transformation leaves the density invariant. Using and gives the Noether current
For a Dirac field, the corresponding variations , yield instead , 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 and one . 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 : its electromagnetic field tensor is unchanged. For charged matter use together with . Differentiating shows , so the coupled Dirac action is locally gauge invariant. A local phase applied to free matter alone produces extra derivatives of 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 . In the pure Maxwell field, action invariance under a compactly supported implies
Thus holds off shell, directly because 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.
A symmetry preserves the action, possibly up to a boundary term. In a classical field theory, this connects transformations of fields to conserved quantities. In a quantum field theory, it also constrains states, observables and scattering amplitudes. Continuous symmetries have Noether currents; discrete symmetries can be equally important without supplying a current through the same theorem.
For a local density depending on fields and their first derivatives, define and . Suppose a one-parameter transformation has fixed-coordinate variation and satisfies . The Noether's first theorem asserts that
For Grassmann-valued fields the derivatives and ordering are chosen consistently; the same integration-by-parts argument applies. To prove the theorem, expand the density variation and integrate its derivative term once algebraically:
Comparison with the assumed divergence gives . On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge and . Thus is conserved whenever the boundary flux vanishes. Boundary conditions are part of the conservation statement; the local identity alone does not discard nonzero flux.
Translations illustrate the theorem in every relativistic field theory. For and , the current is , where
The four charges are energy and momentum. For the Klein-Gordon field they reduce to the expressions derived in Question 1. Lorentz invariance gives angular momentum and boost currents. With a symmetric improved stress-energy tensor, these are . The canonical Dirac expression also carries an intrinsic spin current; improvement incorporates it into the symmetric tensor. Together translations and Lorentz transformations form the Poincaré group.
Internal symmetries act on field components without moving spacetime points. The global phase symmetry of a complex scalar field, , has
Its charge distinguishes particles and antiparticles. A Dirac phase transformation gives . This is preserved by the real-scalar Yukawa interaction, because the phases of and cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on has orthogonal internal rotations. Their antisymmetric currents can be written .
Discrete examples include for an even real-scalar potential, parity symmetry in quantum field theory, and charge conjugation, which interchanges a complex scalar with its conjugate and reverses the electromagnetic potential. Discrete transformations are not generated by an infinitesimal continuous parameter, so Noether theorem does not attach a local conserved current to each of them. Nevertheless they forbid interaction terms and relate physical processes.
A global symmetry in field theory uses parameters constant across spacetime and can act nontrivially on physical states. A gauge redundancy allows arbitrary spacetime-dependent parameters and relates descriptions of the same physical configuration. In scalar electrodynamics, replacing the scalar's global phase by a local phase requires the compensating gauge transformation of and the gauge covariant derivative; the invariant contraction uses the opposite representation for . In Yang-Mills theory, matter transforms in a representation of a non-Abelian gauge group and the gauge potential transforms so that covariant derivatives and field strengths transform covariantly. Gauge fixing, such as Coulomb gauge, chooses representatives of these descriptions rather than changing physical predictions. The current-contracted propagator identity of Question 3 illustrates why a noncovariant gauge choice leaves scattering Lorentz invariant.
The arbitrary local parameter produces a stronger statement than one independent conserved charge for each function. For the abelian scalar transformation, vary the action with an arbitrary compactly supported and integrate its derivative term:
Therefore
This consequence of Noether second theorem, the Noether identity for abelian scalar gauge symmetry, holds off shell: gauge invariance makes the field equations dependent. In Hamiltonian language the same redundancy is reflected by the Gauss law constraint in gauge theory and the elimination of unphysical gauge degrees of freedom. Gauge transformations that vanish at the boundary are redundancies; transformations with nontrivial boundary behaviour can instead carry physical surface charges. This is why identifying every gauge transformation with a zero-charge operation would be too strong.
Finally, symmetry of the action need not imply symmetry of a chosen vacuum. For a complex scalar with a symmetry-preserving potential whose minima occur at nonzero , different constant phases label degenerate vacua. Choosing one breaks the global phase symmetry of the state; the Goldstone theorem supplies a massless mode under its usual relativistic assumptions. When the same phase is gauged, the Higgs mechanism describes the phase degree of freedom becoming the longitudinal polarization of a massive gauge boson; the local redundancy is still present in the underlying description. At the quantum level a classical symmetry can also fail through a quantum anomaly, so a classical Noether derivation alone does not guarantee an exact quantum Ward identity. Conserved charges, physical global transformations and local gauge redundancy are related but distinct consequences of symmetry.
Divide the infinitesimal variation by its constant parameter , so the transformation generator is . The variation of the kinetic term is
and that of is . Thus the Lagrangian density is invariant pointwise, without a nonzero boundary current. The finite transformation is a rotation of the two real scalar fields, giving an SO(2) global symmetry in field theory.
Noether's theorem supplies the parameter-independent Noether current
Its divergence is , since the first-derivative terms cancel. Both fields obey the same Klein-Gordon equation, so this vanishes on solutions. With spatial boundary conditions giving zero flux at infinity, the Noether charge is
A finite box with periodic boundary conditions works as well. The spatial integral is conserved because the local continuity equation converts its time derivative into a boundary flux; neither vanishing local current nor constant individual fields is required. Equivalently, transforms as , exhibiting the equivalent global U(1) symmetry and fixing the sign of the generator.
The continuous internal global symmetry in field theory is
Both and are unchanged. The group is the circle group, acting by phase rotations. The ordinary derivatives do not make it a local gauge symmetry: spacetime-dependent would add derivative terms. There is also the discrete symmetry of complex conjugation; in the two-real-field description the full internal invariance is , whose connected component is this .
The scalar potential is . Completing the square gives
The Hamiltonian density also contains the nonnegative terms . Its lowest-energy configurations therefore have no time or spatial variation and minimize the displayed square. Thus
The minima form a circle of phases. Selecting the real positive representative chooses one vacuum and spontaneously breaks the continuous global symmetry in field theory. The stationarity at is a local maximum of the radial potential, not the ground state.
Goldstone's theorem states that a spontaneously broken continuous internal global symmetry in field theory of a local relativistic quantum field theory produces massless Goldstone bosons. For a Lorentz invariance vacuum breaking to its stabilizer , there are independent symmetry-required massless directions. Additional accidentally massless modes are possible. A gauge redundancy does not obey this physical-state counting, and nonrelativistic systems need not have one independent mode per broken generator.
For the classical proof, consider real scalar fields with a positive canonical kinetic term and an invariant smooth scalar potential . An infinitesimal generator satisfies
Let be a stationary vacuum and differentiate this identity with respect to . At , the term proportional to vanishes, leaving
The Hessian matrix is the scalar mass matrix. An unbroken generator has ; broken generators span the tangent space of the vacuum manifold . Each independent nonzero tangent vector is a zero eigenvector of . The quadratic Euler-Lagrange equations in these directions are , giving the massless dispersion relation . This proves the classical result and explains why the Goldstone bosons describe motion along the degenerate minima rather than against a restoring curvature.
Assume . At zero source, the vacuum manifold is the sphere of radius . The source tilts the scalar potential by . Its force should be small compared with the radial restoring-force scale , so a useful quantitative condition is
For nonzero , the exact global symmetry in field theory of the Lagrangian is , rotating . The global vacuum aligns with the source:
This vacuum preserves the entire remaining symmetry. There is therefore no exact Goldstone boson for . Expanding the scalar potential to quadratic order gives
Thus there are degenerate light pseudo-Goldstone bosons and one heavy radial scalar. The small-source condition makes their squared masses parametrically smaller than the radial squared mass. Sending to zero restores the original massless modes.
The breaking of the internal global symmetry in field theory to removes generators. The relativistic Goldstone theorem therefore requires
Other states fall into multiplets of the unbroken special unitary group, but their masses are not fixed by this counting. For the usual diagonal embedding , the Goldstone bosons form its adjoint multiplet.
If small explicit symmetry-breaking terms are added, the broken-generator directions generally acquire small curvature, producing light pseudo-Goldstone bosons rather than exactly massless states. Their squared masses tend to zero with those breaking parameters. Small breaking can also split multiplet degeneracies. These claims concern a small perturbation of the broken phase; approximate symmetry alone does not establish which vacuum is selected.