research28 min studyLesson 76 in Physics

Quantum anomalies and consistency

Distinguish anomalous global currents from inconsistent gauge symmetries and test a chiral charge assignment.

On this page

What you’ll understand

  • Explain how a classical symmetry can fail after quantization.
  • Test local Abelian gauge-anomaly coefficients in an all-left-handed convention.
  • Use anomaly matching as an infrared constraint without claiming it solves a theory.

A symmetry of the classical action need not be a symmetry of the quantum measure and regulator together. When the failure survives every permissible local repair, it is an anomaly. Whether that is a physical effect or a fatal inconsistency depends on which symmetry failed. We will work with four-dimensional chiral fermions and keep local gauge anomalies separate from global-current anomalies and global topological anomalies.

The action is not the whole path integral

A Ward identity is derived by changing variables in a path integral. Classically invariant action terms are only part of the calculation: the functional measure and ultraviolet definition must also be transformed. For a chiral rotation of fermions, the regulated Jacobian can be nontrivial. The axial anomaly is therefore not the claim that classical algebra was performed incorrectly; it says that the classical symmetry cannot be maintained together with the other required quantum properties in the specified theory.

A global current may have an anomalous divergence in background gauge fields while the theory remains perfectly consistent. The familiar axial-current example is compatible with preserving the electromagnetic gauge current. By contrast, an uncanceled anomaly in a dynamical gauge redundancy obstructs the Ward or BRST identities needed to remove unphysical polarizations. A four-dimensional chiral gauge theory must cancel its relevant gauge anomalies, or supply an explicitly specified additional mechanism that restores consistency. Ignoring a gauge anomaly is not an acceptable approximation.

AU(1)3∝∑i∈left Weylqi3,AU(1)-gravity2∝∑i∈left Weylqi\mathcal A_{U(1)^3}\propto\sum_{i\in\mathrm{left\ Weyl}}q_i^3,\qquad \mathcal A_{U(1)\text{-gravity}^2}\propto\sum_{i\in\mathrm{left\ Weyl}}q_i
These are cancellation tests for local perturbative anomalies of an ordinary four-dimensional U(1) chiral spectrum. Overall normalization is not needed to test zero; all fermions are expressed as left-handed Weyl fields.↔ Scroll wide equations horizontally.

Count chirality before counting charges

A right-handed Weyl field of charge qq contributes with the opposite chirality sign from a left-handed field of the same charge. A convenient bookkeeping method rewrites it as a left-handed charge-conjugate field of charge −q-q. A vectorlike Dirac pair then appears as left-handed charges qq and −q-q, whose cubic and linear sums vanish. Forgetting this conversion produces a fictitious anomaly even in ordinary vectorlike electrodynamics.

Cancellation of the linear sum does not imply cancellation of the cubic sum. Nor do these two Abelian checks exhaust a general model: non-Abelian cubic anomalies, mixed gauge factors, and possible global gauge anomalies must be considered for the actual group and representation. For example, a mixed non-Abelian-squared–U(1) coefficient weights the Abelian charge by the representation's Dynkin index and multiplicities. State the complete particle representations and chirality convention before declaring a proposed model anomaly free.

AG2U(1)∝∑iqi T(Ri),tr⁡Ri(TaTb)=T(Ri)δab\mathcal A_{G^2U(1)}\propto\sum_i q_i\,T(R_i),\qquad \operatorname{tr}_{R_i}(T^aT^b)=T(R_i)\delta^{ab}
The sum uses left-handed Weyl fields and includes multiplicities from spectator representations. This mixed local-anomaly test is only one of the consistency conditions for a product gauge group.↔ Scroll wide equations horizontally.

A global obstruction can constrain the infrared

An 't Hooft anomaly obstructs coupling a global symmetry consistently to arbitrary background gauge fields while preserving the desired symmetry properties. The original theory with those nondynamical sources switched off can still be consistent. Integrating out short-distance modes cannot erase the obstruction, so an infrared description must reproduce it. Gapless particles, symmetry breaking with suitable effective terms, or more subtle long-distance structures can carry the required information.

Anomaly matching is a constraint rather than a unique solution algorithm. Several infrared phases may satisfy the same matching conditions, and one must track the same symmetry, normalization, and allowed local counterterms on both sides. A global anomaly also differs from a local anomaly detected by a triangle diagram: topology can reveal obstructions invisible to the simple cubic sums above. The practical habit is to state exactly which anomaly has been checked and which consistency questions remain open.

A spectrum that passes one test and fails another

Four left-handed Weyl fermions have U(1) charges 1, 1, 1, and −3. Test the two local Abelian coefficients displayed above.

  1. The linear sum is 1 + 1 + 1 − 3 = 0, so the mixed U(1)–gravitational coefficient vanishes for this spectrum.

  2. The cubic sum is 1 + 1 + 1 − 27 = −24, which is nonzero.

  3. If this U(1) is dynamical, these fermions alone define an anomalous gauge spectrum. Adding only neutral fields cannot change either sum, so it cannot fix the nonzero cubic coefficient.

The result

The charge assignment fails the cubic gauge-anomaly test even though its linear charge sum vanishes. One successful cancellation is not a certificate for the whole theory.

Explore the model

Interactive lab

Interactive lab · vectors

Cancellation requires the correct weighted sum

Change an arrow's angle and magnitude and inspect its two projections. Use cancellation of signed components as an analogy for adding signed fermionic contributions; then perform the actual cubic-charge sum in the worked example. The arrow components are not anomaly coefficients and cannot test a chiral gauge spectrum.

Cancellation requires the correct weighted sumPlayback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. Current readings: x component: 1.393; y component: 0.975; Magnitude: 1.7. All parameters are adjustable with the labeled controls below.−7.46−3.7303.737.46−3.5−1.7501.753.5xyvvₓ = 1.39
Vectorx / y projectionsTrace marker
x component
1.393
y component
0.975
Magnitude
1.7
t = 0 s

Playback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. 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 forDifferent consistency conditions weight the same matter content differently; one zero sum does not force all others to vanish.

Check your understanding

What follows from an uncanceled local anomaly of a dynamical gauge symmetry?

Try it yourself

For a left-handed charge pair +2 and −2, compute the linear and cubic sums. Then explain why that result alone does not certify an arbitrary larger product-group theory.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Opposite charges cancel odd powers; other group representations may add independent conditions.

Compare with the solution

The linear sum is 2 − 2 = 0 and the cubic sum is 8 − 8 = 0. This vectorlike Abelian pair passes these two tests. Additional chiral matter, mixed anomalies involving other factors, non-Abelian anomalies, and global gauge anomalies still require checks in the complete theory.

Take it with you

  • The quantum measure and regulator participate in symmetry identities.
  • Gauge anomalies are consistency conditions; anomalous global symmetries can encode real physics.
  • Anomaly matching constrains long-distance possibilities without uniquely selecting a phase.

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.