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 areFor 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.
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]
Jeffrey Goldstone by MIT Department of Physics. Biographical Sketch, paragraph 2: spontaneously broken relativistic field theories and the zero-mass theorem
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]
Guide to the Yoichiro Nambu Papers 1917-2009 by University of Chicago Library. Biographical Note, superconductivity origins and 2008 award
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]Quasi-Particles and Gauge Invariance in the Theory of Superconductivity by Yoichiro Nambu. Abstract, paragraphs 2–4: current corrections, Ward identity, Meissner response and collective pair excitations
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]
Nobel Lecture: Spontaneous symmetry breaking in particle physics: A case of cross fertilization by Yoichiro Nambu. p. 1016, Eqs. (1)–(7): quasiparticles, collective current, plasma frequency and pion analogy
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. ThereforeThis 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 givesAll 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 givesSince , its global minima form the vacuum manifoldHere 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 isEquivalently, the quadratic scalar potential is . Therefore the particle masses areThe 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 yieldsThese 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 givesThus, for a compactly supported , integration by parts givesThis 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.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 50 3 b Solution 2026-10-14
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.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 48 4 Solution Created 2026-10-03 Updated 2026-10-14
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 defineThe Euler-Lagrange field equations are . For a fixed-coordinate variation , the product rule gives the off-shell identityThis 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 formCombining with the preceding identity provesThis 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 givesThus 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 tensorIts 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 writtenTheir 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 currentFor 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 impliesThus 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.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 41 4 Solution Created 2026-10-03 Updated 2026-10-14
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 thatFor 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 , whereThe 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, , hasIts 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:ThereforeThis 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.
Past exam of the quantum field theory course of the University of Oxford 2018 1 a Solution 2026-10-25
Divide the infinitesimal variation by its constant parameter , so the transformation generator is . The variation of the kinetic term isand 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 currentIts 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 isA 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 isBoth 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 givesThe Hamiltonian density also contains the nonnegative terms . Its lowest-energy configurations therefore have no time or spatial variation and minimize the displayed square. ThusThe 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 satisfiesLet be a stationary vacuum and differentiate this identity with respect to . At , the term proportional to vanishes, leavingThe 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 isFor 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 givesThus 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 requiresOther 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.
