Skip to content

Anomaly and Generalized-Symmetry Constraints on Infrared Phases

An ’t Hooft anomaly is an exact obstruction to gauging a declared global symmetry—or, equivalently, to coupling it to arbitrary background fields while preserving background-gauge invariance—by any choice of allowed local counterterms. Because the obstruction is unchanged along renormalization-group flow, it rules out infrared phases that cannot reproduce it. It does not, by itself, choose among all phases that can. The practical task is therefore to specify the symmetry and its backgrounds precisely, compute the obstruction modulo allowed counterterms, and test every proposed infrared realization against that same data.

Required background. ’t Hooft anomaly matching supplies the obstruction and inflow language, breaking higher-form symmetry and diagnosing phases supplies the extended-operator diagnostics, and theta terms, periodicity, and vacuum sectors supplies the global counterterm data.

Helpful background. Theta dependence, CP, and model-dependent branches gives the branch interpretation used in the Yang–Mills example.

Shared comparison. The sector and periodicity comparison supplies the global-form and theta-period inputs, while the exact and rigorous status comparison separates the exact anomaly obstruction from model-dependent infrared inference and open phase-selection questions.

Let GG denote the full global symmetry, including any higher-form factors, and let BB denote its background fields. A symmetry transformation g∈Gg\in G can act on the partition function as

ZX[g ⁣⋅ ⁣B]=ZX[B]exp⁡ ⁣(iAg[B]).Z_X[g\!\cdot\!B] =Z_X[B]\exp\!\bigl(i\mathcal A_g[B]\bigr).

The phase Ag[B]\mathcal A_g[B] is meaningful only modulo the variation of a local dd-dimensional counterterm. An ’t Hooft anomaly is the equivalence class that remains after every counterterm allowed by locality, quantization, the global form of GG, and the spacetime structure has been considered. Often it is represented by inflow from a (d+1)(d+1)-dimensional invertible action.

Generalized symmetries enlarge both sides of this statement. A pp-form symmetry couples to a (p+1)(p+1)-form background, and its charged observables are extended rather than local. Gaiotto, Kapustin, Seiberg, and Willett formulate these symmetries and their anomalies systematically in Gaiotto et al. 2015, §§ 1, 3, and 7. A current pedagogical treatment of higher-form symmetry, spontaneous breaking, discrete gauging, and the Yang–Mills time-reversal/center anomaly is Brennan and Hong 2023, §§ 2.2–2.5 and 3.3–3.7.

Three specifications are indispensable before drawing an infrared conclusion:

  • the faithful symmetry group, including quotients and higher-group extensions;
  • the admissible background bundles, defects, and spin or orientation structure;
  • the set of quantized local counterterms regarded as changes of scheme.

Changing any of them can change the anomaly question. A Lie algebra or an action on perturbative local fields is not enough.

Renormalization-group flow cannot change the anomaly class, so the infrared generating functional must have the same response:

[AUV]=[AIR].\bigl[\mathcal A_{\mathrm{UV}}\bigr] =\bigl[\mathcal A_{\mathrm{IR}}\bigr].

The brackets are essential: equality is modulo allowed local counterterms. The main infrared mechanisms are:

Infrared realizationHow the anomaly is reproducedWhat must be checked
Spontaneous symmetry breakingDistinct vacua are permuted; a low-energy order-parameter action or domain-wall inflow carries the responseThe broken subgroup, vacuum multiplicity, defects, and residual anomaly
Gapless degrees of freedomMassless fields or a conformal theory have anomalous currents or background dependenceThe full anomaly coefficients and faithful symmetry action, not only a matching central charge
Topological order or a TQFTLong-range entanglement and topological operators furnish the anomalous responseGenuine operator spectrum, symmetry fractionalization, and coupling to the same backgrounds
Symmetry extension or emergent gauge structureThe obstruction becomes trivial only after enlarging the infrared structureWhether the extension is dynamical and whether the original symmetry is recovered faithfully
Boundary of a higher-dimensional bulkBulk inflow cancels the boundary variationThat the proposed system really includes the bulk; this is not a stand-alone dd-dimensional realization

A unique, trivially gapped, symmetry-preserving vacuum has no nontrivial long-distance response and therefore cannot match a nonzero anomaly. Excluding that one option is powerful, but the table makes clear why the anomaly rarely selects a unique replacement.

The logic is summarized in the figure. Read it from the declared ultraviolet data to the obstruction, then across the parallel infrared alternatives; the branches are possibilities, not a dynamical decision tree.

In a d-dimensional theory, fully specified symmetry, global-form, background, spacetime, and counterterm data produce an anomaly class that excludes a unique trivial symmetric gap, while the surviving matching mechanisms remain parallel compatible possibilities rather than a phase choice.

Anomaly matching constrains the infrared without solving it. Every surviving option must reproduce the same counterterm-equivalence class under the stated global-form and spacetime assumptions; the schematic is not a claim that all options occur in one model.

For a proposed infrared phase, run the following steps in order.

  1. Name the faithful symmetry. Quotient any subgroup acting trivially and include higher-form factors or higher-group extensions.
  2. Specify the backgrounds. State the admissible bundles, defects, orientation or spin structure, and boundary conditions.
  3. List allowed counterterms. Quantization matters; an expression that is local but not globally well defined is not an allowed scheme change.
  4. Compute the equivalence class. Transform the regulated generating functional and reduce the result modulo those counterterms.
  5. Test, then select. Reject infrared proposals that cannot reproduce the class. Among the survivors, use spectra, order parameters, extended operators, finite-size scaling, or another controlled dynamical calculation to determine what actually occurs.

Stopping after step 4 gives a constraint. Skipping directly from step 4 to a favored phase mechanism is the characteristic overclaim this page is designed to prevent.

CP and center symmetry at theta equal to pi

Section titled “CP and center symmetry at theta equal to pi”

Consider four-dimensional pure SU(N)SU(N) Yang–Mills theory with no matter that screens its electric ZN(1)\mathbb Z_N^{(1)} one-form symmetry. Take XX to be a closed oriented four-manifold without boundary; no spin structure is assumed in the convention that follows. Couple the one-form symmetry to B∈H2(X,ZN)B\in H^2(X,\mathbb Z_N) and normalize its Pontryagin square so that ∫XP(B)\int_X\mathcal P(B) is valued modulo 2N2N. The counterterm contributes the phase

exp⁡Sp[B]=exp⁡ ⁣[2πi p2N∫XP(B)],p∼p+2N.\exp S_p[B] =\exp\!\left[ \frac{2\pi i\,p}{2N} \int_X\mathcal P(B) \right], \qquad p\sim p+2N.

Equivalently, SpS_p is defined only modulo 2πi2\pi i. Gauge invariance requires pNpN to be even: for even NN, every integral pp is allowed, while for odd NN, pp is restricted to even values. On a spin manifold some counterterms become identified differently, so the quantization must be recomputed rather than silently copied from this general-oriented convention. At θ=π\theta=\pi, CP first sends θ\theta to −π-\pi and the return to +π+\pi uses a 2π2\pi shift. In the BB background that shift changes the counterterm, so CP acts by

p⟼−p+N−1(mod2N).p\longmapsto-p+N-1\pmod{2N}.

For even NN, the fixed-point equation 2p=N−1(mod2N)2p=N-1\pmod{2N} has no solution because its left side is even and its right side is odd. No allowed counterterm preserves both CP and the one-form symmetry at θ=π\theta=\pi: this is the direct mixed anomaly. For odd NN, an allowed even fixed point exists at θ=π\theta=\pi, so there is no such local anomaly there. At θ=0\theta=0, however, CP acts as p↦−pp\mapsto-p and the natural fixed choice is p=0p=0; no single choice preserves CP at both endpoints. This is the weaker but still constraining global inconsistency. The full cochain and continuum derivations are given in Gaiotto et al. 2017, §§ 2.2–2.4.

Under these assumptions, the familiar confining proposal with unbroken center symmetry and a unique trivial gapped CP-invariant vacuum at θ=π\theta=\pi is excluded. Several outcomes remain:

  • CP can break, giving degenerate vacua whose interchange realizes the obstruction;
  • the electric ZN(1)\mathbb Z_N^{(1)} symmetry can break, diagnosed by a perimeter rather than area law for genuine center-charged Wilson loops; this abandons the confining, unbroken-center premise and the resulting phase must still match the anomaly;
  • the theory can become gapless at the special theta value;
  • a nontrivial topological sector can remain in the infrared;
  • an intervening transition can invalidate an assumed smooth interpolation, especially in the odd-NN global-inconsistency case.

The often-drawn two-branch cusp is compatible with the first option, not derived uniquely from the anomaly. If CP breaks, anomaly inflow also constrains the degrees of freedom supported by a wall between the two vacua.

Adding matter can explicitly remove the one-form symmetry by screening Wilson lines. Changing SU(N)SU(N) to SU(N)/ZkSU(N)/\mathbb Z_k changes the genuine line operators, background sums, and discrete theta parameters. Working on non-spin manifolds can change counterterm quantization. Massless fermions can make the continuous theta angle redundant through an anomalous chiral rotation.

Any of these changes requires returning to the first step. It is invalid to retain the pure-SU(N)SU(N) anomaly conclusion after changing the very backgrounds that defined it.

The same caution applies to numerics and semiclassics. A finite-volume spectrum or a controlled compactification can provide decisive dynamical evidence for one matching option, but agreement with the anomaly is a consistency check, not proof that the same phase persists after every limit is taken.

Naming only the Lie algebra. Anomalies depend on the global symmetry, genuine extended operators, and admissible bundles.

Treating counterterm dependence as arbitrariness. Individual response phases can change by allowed counterterms; the nontrivial equivalence class cannot.

Concluding “therefore symmetry breaking.” Symmetry breaking is one matching mechanism. Gapless or topological infrared physics may also reproduce the obstruction.

Importing the even-NN statement to odd NN. The former is a direct anomaly at θ=π\theta=\pi; the latter is naturally expressed as an incompatibility between counterterm choices at two theta values.

Suppose a theory has a nontrivial anomaly for an unbroken symmetry GG. Explain why a unique trivial gapped vacuum cannot match it, and identify the missing premise if one instead proposes two degenerate vacua.

Solution

A unique trivial gapped vacuum has a local infrared generating functional. Its background variation can therefore be removed by a local counterterm, so its anomaly class is zero. This contradicts the nonzero ultraviolet class. Two degenerate vacua can match the anomaly only if GG acts on the vacuum set and the associated walls or low-energy action reproduce the required background phase; degeneracy by itself is insufficient.

Let Ag[B]\mathcal A_g[B] be shifted by the variation C[g ⁣⋅ ⁣B]−C[B]C[g\!\cdot\!B]-C[B] of an allowed local counterterm C[B]C[B]. Show that whether the anomaly class is trivial is unchanged.

Solution

After adding CC, the transformed partition function acquires

Ag′[B]=Ag[B]+C[g ⁣⋅ ⁣B]−C[B].\mathcal A'_g[B] =\mathcal A_g[B]+C[g\!\cdot\!B]-C[B].

Thus A′\mathcal A' and A\mathcal A are representatives of the same equivalence class. If one can be removed by an allowed counterterm, so can the other; if neither can, the obstruction remains.

Apply the counterterm map p↦−p+N−1p\mapsto-p+N-1 to N=2N=2 and N=3N=3. In each case, decide whether θ=π\theta=\pi has a direct anomaly and compare its CP-preserving counterterm with the one at θ=0\theta=0.

Solution

For N=2N=2, pp is defined modulo 44 and a fixed point would obey 2p=1(mod4)2p=1\pmod4, which has no solution. The theory therefore has the direct mixed CP/center anomaly at θ=π\theta=\pi.

For N=3N=3, allowed pp values are even modulo 66. The fixed-point equation is 2p=2(mod6)2p=2\pmod6, and the allowed solution is p=4p=4. Thus CP can be preserved at θ=π\theta=\pi. At θ=0\theta=0, the fixed choice is p=0p=0, so one regulator choice cannot preserve CP at both points: the obstruction is a global inconsistency rather than a direct anomaly at π\pi.

Continue from constraints to phase evidence

Section titled “Continue from constraints to phase evidence”

The anomaly calculation ends with a set of allowed infrared responses. The Nonperturbative Gauge Dynamics research field owns dated evidence about which response is realized in a particular theory and regime. For theorem-level formulations of anomaly, superselection, and construction, continue to Mathematical QFT; this page does not upgrade a physics argument into a proof.

  • Brennan, T. Daniel, and Sungwoo Hong. “Introduction to Generalized Global Symmetries in QFT and Particle Physics.” arXiv:2306.00912 (2023). arXiv.
  • Gaiotto, Davide, Anton Kapustin, Nathan Seiberg, and Brian Willett. “Generalized Global Symmetries.” Journal of High Energy Physics 2015, no. 2 (2015): 172. arXiv. DOI.
  • Gaiotto, Davide, Anton Kapustin, Zohar Komargodski, and Nathan Seiberg. “Theta, Time Reversal, and Temperature.” Journal of High Energy Physics 2017, no. 5 (2017): 091. arXiv. DOI.

Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.