Carry an exact global-symmetry anomaly into the infrared
Use background response to reject incomplete infrared spectra while keeping anomaly constraints distinct from a dynamical solution.
On this page
The question for today
What you’ll understand
- Identify the exact global symmetry whose anomaly is being matched.
- Compare complete ultraviolet and infrared anomaly data.
- Explain why matching is a necessary constraint rather than a unique prediction of the infrared phase.
Strong interactions can replace elementary ultraviolet fields by an infrared description containing bound states, Goldstone modes, or other collective degrees of freedom. An exact global symmetry's anomalous background response cannot simply disappear during this reorganization. 't Hooft anomaly matching turns that persistence into a constraint on proposed low-energy descriptions. It is especially powerful when direct strong-coupling calculations are unavailable, but it does not by itself select a unique spectrum or prove a particular condensate forms.
Match an exact symmetry, not a classically conserved label
Start with the actual quantum global symmetry G and its allowed background fields. An axial U(1) explicitly violated by dynamical gauge configurations is not automatically part of G, even if the massless classical Lagrangian has that rotation. By contrast, a 't Hooft anomaly is an obstruction to gauging an otherwise exact global symmetry, revealed by its background generating functional. Its currents can be conserved at zero background while their sourced Ward identities have a nontrivial variation.
The symmetry's global form, charge lattice, and spacetime structures must agree in ultraviolet and infrared comparisons. Rescaling one side's charges without rescaling its background connection changes the problem. Matching one polynomial coefficient is also insufficient when mixed or gravitational terms survive. Local counterterms can shift representatives, so equality means the same anomaly class after allowed local choices, not necessarily identical-looking formulas for every current in two unrelated subtraction schemes. Global anomaly phases require matching beyond the perturbative polynomial as well.
Use spectators to understand the renormalization-group constraint
A useful argument weakly gauges the global symmetry as a diagnostic and adds spectator fermions whose anomaly cancels the ultraviolet matter contribution. Choose the probe coupling weak enough that it does not rearrange the original dynamics over the scales of interest. The spectators retain their anomaly while the interacting sector flows toward lower energies. If the symmetry remains unbroken, the complete probe-gauged theory must still be consistent, forcing the infrared sector to cancel the same spectator contribution.
This reasoning compares responses rather than particle identities. The infrared charged excitations may be composite and have entirely different quantum numbers from the ultraviolet elementary fields, yet their combined anomaly must agree. Integrating out massive modes can leave Wess–Zumino terms or other background-dependent contributions that must be retained in the effective description. Counting only the visible low-energy particles while omitting those terms can falsely suggest that matching has failed. Conversely, declaring omitted heavy fields to cancel everything is not an infrared explanation unless their residual action is specified.
Interpret a failure as a constraint on the proposed description
A nonzero anomaly rules out a completely trivial, unique, symmetry-preserving gapped infrared vacuum with no additional anomaly-carrying sector or ambient bulk. It can require gapless degrees of freedom, spontaneous symmetry breaking with an appropriate Goldstone effective action, or another nontrivial realization allowed by the particular anomaly and dimension. These possibilities are not interchangeable universal solutions. Some anomaly types forbid proposed gapped topological realizations too, so the precise class must be analyzed instead of invoking topological order as an automatic escape.
Even a successful set of charge sums proves only that the proposed spectrum passes those necessary tests. Stability, interactions, confinement, and whether the required composites exist remain dynamical questions. For a broken symmetry, a Wess–Zumino–Witten term can carry information absent from an ordinary two-derivative Goldstone action. The practical workflow is to specify a candidate infrared realization, compute all relevant anomaly data, and reject mismatches before spending effort on a detailed dynamical construction.
Work it through
Reject a spectrum that matches only the linear sum
An exact global U(1) has three ultraviolet left-handed Weyl fields of charges . A proposed unbroken infrared description contains only two massless Weyl fields of charges and no additional anomaly-carrying terms or sectors. Compare the linear and cubic coefficients. Does the matching test validate this proposal?
The ultraviolet linear sum is , while its cubic sum is . Thus it has a nontrivial cubic background anomaly even though its mixed gravitational coefficient vanishes.
The candidate infrared pair has and . It matches the linear test but misses the entire cubic anomaly. The pair is vectorlike under the global symmetry.
Under the stipulated absence of other infrared contributions, the proposed unbroken description is incomplete or impossible. An infrared set with the original three charges would pass these two algebraic tests, but that observation would not prove those excitations actually occur after strong dynamics.
The proposal fails because its cubic anomaly is zero rather than −6. Matching the linear sum alone is insufficient; the result constrains the candidate without determining the true infrared phase.
The living notebook
Explore the model
Interactive lab · probability
Compare more than one invariant summary
Reset and set both controls to success probability p = 0.5 and trials n = 4; predict mean 2 and variance 1. Reset and set both controls to p = 1 and n = 2; predict mean 2 and variance 0. These exact binomial laws agree in one summary and differ in another. The comparison is an analogy for checking independent anomaly coefficients, not a model of quantum fields, a renormalization-group flow, or random measurements.
- Mean · np
- 5
- Variance · np(1−p)
- 2.5
- Total probability
- 1
These are exact binomial probabilities for independent trials with one fixed success probability. Playback tours the distribution; it does not resample outcomes. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forAgreement in one quantity does not establish agreement in the full data required by a matching problem.
Pause & reason
Check your understanding
Your turn
Try it yourself
A second exact global U(1) has ultraviolet left-handed charges . An infrared proposal uses the conjugate charges , with the same background connection and no other anomaly sector. Compare C₁ and C₃. Can adding a vectorlike pair of charges r and −r repair a mismatch?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Conjugating every charge reverses odd charge sums. A vectorlike pair contributes zero to both sums for any r.
Compare with the solution
Both linear sums vanish. The ultraviolet cubic coefficient is , while the infrared coefficient is . Thus the proposal has the opposite cubic anomaly and fails in the fixed charge convention. Adding r and −r changes neither coefficient because and . It cannot repair the mismatch. Renaming the symmetry generator on only one side would change the prescribed background identification rather than solve this matching problem.
Keep the idea
Take it with you
- Match the actual exact global symmetry with the same background conventions.
- All anomaly-carrying sectors and effective terms belong in the infrared comparison.
- Matching rejects inconsistent proposals but does not uniquely solve strong dynamics.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.