---
title: Wess-Zumino Consistency Condition
url: https://www.emergentmind.com/topics/wess-zumino-consistency-condition
type: topic
---

# Wess-Zumino Consistency Condition

The **Wess–Zumino consistency condition** is the integrability condition imposed on anomalous symmetry variations of a quantum effective action. If infinitesimal transformations $\delta_\alpha$ act on the generating functional $W$ according to
\[
\delta_\alpha W=\mathcal A_\alpha,
\]
then closure of the symmetry algebra requires
\[
\boxed{\delta_{\alpha_1}\mathcal A_{\alpha_2}
-\delta_{\alpha_2}\mathcal A_{\alpha_1}
=\mathcal A_{[\alpha_1,\alpha_2]}}.
\]
For an Abelian symmetry, this reduces to
\[
\delta_{\alpha_1}\mathcal A_{\alpha_2}
=\delta_{\alpha_2}\mathcal A_{\alpha_1}.
\]
The condition states that an anomaly is not an arbitrary violation of a Ward identity but a cocycle compatible with the symmetry algebra. Its solutions are classified modulo variations of local counterterms, and therefore naturally form a cohomological problem.

## 1. Algebraic definition and cohomological interpretation

An anomaly is a $c$-number failure of an exact symmetry Ward identity that cannot be removed by an allowed local counterterm. Under a local counterterm $B$,
\[
W\longrightarrow W+B,
\]
the anomaly changes as
\[
\mathcal A_\alpha\longrightarrow
\mathcal A_\alpha+\delta_\alpha B.
\]
Anomalies differing by such a term are cohomologically equivalent. A nontrivial anomaly is therefore a nontrivial cocycle modulo coboundaries.

For a symmetry algebra with
\[
[\delta_a,\delta_b]=f_{ab}{}^c\delta_c,
\]
the consistency condition follows directly from applying the commutator to $W$:
\[
[\delta_a,\delta_b]W
=\delta_a\mathcal A_b-\delta_b\mathcal A_a
=f_{ab}{}^c\mathcal A_c.
\]
In BRST language, the anomaly is represented by a local form of ghost number one satisfying
\[
s a^n_1+d b^{n-1}_2=0.
\]
The corresponding equivalence relation is
\[
a^n_1\sim a^n_1+s b^n_0+d c^{n-1}_1,
\]
so the classification is given by the local BRST cohomology group
\[
H^{1,n}(s\mid d).
\]

For theories in which diffeomorphism invariance is preserved by a suitable Bardeen–Zumino counterterm, the pure diffeomorphism component can be removed and the relevant problem becomes
\[
H^{1,n}(s_{\mathrm w}\mid d),
\]
the cohomology of the Weyl BRST differential modulo total derivatives in the space of diffeomorphism-invariant local forms [0704.2472].

The cohomological formulation distinguishes three classes:

- **Nontrivial anomalies**: cocycles that are not removable by local counterterms.
- **Trivial anomalies**: BRST-exact terms modulo total derivatives.
- **Anomaly representatives**: expressions whose precise form depends on local counterterms, current multiplets, gauge fixing, and source conventions.

The Wess–Zumino condition is necessary for integrability, but it does not by itself establish that a particular anomaly is realized in a unitary quantum field theory.

## 2. Weyl anomalies and the BRST descent

For an infinitesimal Weyl transformation,
\[
\delta_\omega g_{\mu\nu}=2\omega g_{\mu\nu},
\]
the Weyl parameter is replaced in the BRST formulation by an anticommuting ghost $w$ of ghost number one:
\[
s_{\mathrm w}g_{\mu\nu}=2wg_{\mu\nu},
\qquad
s_{\mathrm w}w=0.
\]
Diffeomorphisms are generated by $\xi^\mu$, with
\[
s_{\mathrm p}g_{\mu\nu}=\mathcal L_\xi g_{\mu\nu},
\qquad
s_{\mathrm p}w=\xi^\rho\partial_\rho w.
\]
The full BRST differential is decomposed as
\[
s=s_{\mathrm p}+s_{\mathrm w}.
\]

If the effective action has a Weyl anomaly, its local representative is an integrated $n$-form $a^n_1$. The Wess–Zumino condition is
\[
s a^n_1+d b^{n-1}_2=0.
\]
Separating diffeomorphism and Weyl components yields a descent sequence,
\[
s_{\mathrm w}a^n_1+s_{\mathrm p}b^{n-1}_2+d c^{n-2}_3=0,
\]
\[
s_{\mathrm w}b^{n-1}_2+s_{\mathrm p}c^{n-2}_3+d e^{n-3}_4=0,
\]
and so forth.

A useful reformulation combines the BRST differential with the exterior derivative:
\[
\widetilde s=s+d.
\]
For a local total form, the total degree is
\[
\operatorname{totdeg}
=\text{form degree}+\text{ghost number}.
\]
An anomaly of ghost number one and form degree $n$ corresponds to a $\widetilde s$-closed total form of degree $n+1$:
\[
\widetilde s\,\widetilde a=0.
\]
The physical anomaly is the top form-degree component of $\widetilde a$.

The cohomological analysis organizes local variables into tensor variables and generalized connections. The tensor variables include the Weyl tensor and its Weyl-covariant derivatives; the generalized curvature contains the Weyl tensor and Cotton tensor. The relevant curved-space algebra is a field-dependent, or **soft**, algebra rather than an ordinary finite-dimensional Lie algebra. In the flat-space limit, it reduces to the conformal algebra $\mathfrak{so}(n,2)$.

## 3. Classification of purely gravitational Weyl anomalies

The general algebraic classification in arbitrary spacetime dimension gives a sharp distinction between even and odd dimensions. The nontrivial primitive cocycle requires
\[
n=2m.
\]
Consequently, consistency permits nontrivial purely gravitational Weyl anomalies only in even dimensions.

For $n=2m$, the general anomaly has the form
\[
a^n_1
=
c_{\mathrm A}\,w\,\mathcal E_{2m}\,d^{2m}x
+\sum_i c_i\,w\,I_{2m}^{(i)}(g)\,d^{2m}x
+s_{\mathrm w}b^n_0+d c^{n-1}_1.
\]
Here $\mathcal E_{2m}$ is the Euler density, $I_{2m}^{(i)}$ are strictly Weyl-invariant scalar densities, and the last two terms are trivial anomalies.

The two nontrivial sectors are:

| Sector | Representative | Descent |
|---|---|---|
| Type A | $w\,\mathcal E_{2m}$ | Nontrivial |
| Type B | $w\,I_{2m}(g)$ | Trivial |
| Trivial | $s_{\mathrm w}b^n_0+d c^{n-1}_1$ | Removable |

The Euler density is
\[
\mathcal E_{2m}
=
\frac{1}{2^m}\sqrt{-g}\,
\varepsilon^{\mu_1\nu_1\cdots\mu_m\nu_m}
\varepsilon_{\rho_1\sigma_1\cdots\rho_m\sigma_m}
R^{\rho_1\sigma_1}{}_{\mu_1\nu_1}
\cdots
R^{\rho_m\sigma_m}{}_{\mu_m\nu_m}.
\]
The type-A anomaly is therefore
\[
\mathcal A_{\mathrm A}[w,g]
=
c_{\mathrm A}\int_{M_{2m}}w\,\mathcal E_{2m}\,d^{2m}x.
\]

Type-B anomalies are constructed from strictly Weyl-invariant densities, including contractions of Weyl tensors and their Weyl-covariant derivatives:
\[
a^n_{\mathrm B}
=
w\,I_n(g)\,d^nx.
\]
Since
\[
s_{\mathrm w}I_n(g)=0,
\qquad
s_{\mathrm w}w=0,
\]
one has
\[
s_{\mathrm w}a^n_{\mathrm B}=0.
\]
They consequently satisfy the consistency condition without a nontrivial chain of lower-degree descent forms.

The uniqueness of the type-A class is understood modulo trivial anomalies and additions of type-B terms. The integrated Euler density is topological,
\[
\chi(M_{2m})\propto
\int_{M_{2m}}\mathcal E_{2m}\,d^{2m}x,
\]
but the local anomaly $w\mathcal E_{2m}$ remains a nontrivial local cohomology class.

## 4. Nontrivial descent and relation to chiral anomalies

The type-A anomaly is distinguished by a genuinely nontrivial descent. Its total cocycle contains a sequence
\[
\widetilde a_{[2m]},
\widetilde a_{[2m-1]},
\ldots,
\widetilde a_{[m]},
\]
with descent equations
\[
s_{\mathrm w}b^{2m}_1+d b^{2m-1}_2=0,
\]
\[
s_{\mathrm w}b^{2m-1}_2+d b^{2m-2}_3=0,
\]
and so on until
\[
s_{\mathrm w}b^m_{m+1}=0.
\]
The bottom element is nontrivial in the relevant local cohomology, and the descent cannot be shortened by BRST-exact or $d$-exact redefinitions.

The construction uses the Weyl two-form
\[
W^\mu{}_\nu
=
\frac12W^\mu{}_{\nu\rho\sigma}
\,dx^\rho\wedge dx^\sigma,
\]
together with generalized Weyl-connection variables. Its closure relies on the tracelessness of the Weyl tensor, Bianchi identities, the relation between the covariant derivative of the Weyl tensor and the Cotton tensor, and the vanishing of contractions forbidden by tracelessness and antisymmetry.

This structure is analogous to the Stora–Zumino descent of a non-Abelian chiral anomaly. In Yang–Mills theory, an invariant polynomial such as
\[
\operatorname{Tr}(F^{m+1})
\]
generates a sequence of descent equations whose ghost-number-one component is the anomaly. The type-A Weyl anomaly has the same cohomological architecture: a nontrivial bottom cocycle is lifted through successive equations involving a BRST differential and the exterior derivative.

The analogy is not an identity. The chiral anomaly is associated with an ordinary Lie algebra and invariant trace polynomials, whereas the type-A Weyl anomaly involves a curved, soft algebra containing $GL(n)$ transformations, Weyl transformations, covariant derivatives, Weyl tensors, and Cotton tensors. The Euler density is also structurally different from a standard Yang–Mills characteristic polynomial. The common feature is the local BRST-cohomological descent.

## 5. Wess–Zumino actions and trace identities

A Wess–Zumino action integrates a consistent anomaly. For a dilaton $\tau$ transforming as
\[
\tau\longrightarrow\tau+\Lambda\sigma,
\]
the Weyl-invariant metric is
\[
\widehat g_{\mu\nu}=e^{-2\tau/\Lambda}g_{\mu\nu}.
\]
If $\Gamma_{\mathrm{ren}}[g,\tau]$ is the renormalized action and $\widehat\Gamma_{\mathrm{ren}}[g,\tau]$ is its Weyl-gauged version, then
\[
\Gamma_{\mathrm{WZ}}[g,\tau]
=
\Gamma_{\mathrm{ren}}[g,\tau]
-\widehat\Gamma_{\mathrm{ren}}[g,\tau].
\]
Its Weyl variation is
\[
\delta_\sigma\Gamma_{\mathrm{WZ}}[g,\tau]
=
\int d^dx\,\sqrt g\,\sigma\,\mathcal A[g].
\]
Applying two Weyl transformations gives
\[
\delta_{\sigma_1}\delta_{\sigma_2}\Gamma_{\mathrm{WZ}}
-
\delta_{\sigma_2}\delta_{\sigma_1}\Gamma_{\mathrm{WZ}}
=0.
\]
This is the Wess–Zumino consistency condition for the Abelian Weyl algebra.

In four dimensions, a representative anomaly is
\[
\mathcal A[g]
=
\beta_a\left(F-\frac23\Box R\right)+\beta_bG,
\]
where
\[
F=C_{\mu\nu\rho\sigma}C^{\mu\nu\rho\sigma},
\]
and
\[
G=R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}
-4R_{\mu\nu}R^{\mu\nu}+R^2.
\]
The $\Box R$ term is scheme dependent and can be changed by a finite local counterterm proportional to $\int\sqrt g\,R^2$.

The four-dimensional dilaton Wess–Zumino action terminates at quartic order:
\[
\Gamma_{\mathrm{WZ}}^{(n)}=0
\qquad (n>4).
\]
More generally, in $d=2k$ dimensions,
\[
\Gamma_{\mathrm{WZ}}^{(n)}=0
\qquad (n>2k).
\]
Because dilaton derivatives generate trace insertions, the vanishing of higher dilaton vertices gives recursive relations among traced stress-tensor correlators. In four dimensions only the first four trace levels can be independent; higher traced correlators are determined recursively by lower-point correlators. The finite polynomial degree of the Wess–Zumino action is the mechanism that closes the apparently infinite trace Ward-identity hierarchy [1306.4248].

## 6. Extensions beyond ordinary effective-action anomalies

The Wess–Zumino architecture applies more broadly than local Weyl and gauge anomalies, but the precise object being classified changes.

### Holographic consistency

In holographic settings, local RG transformations are interpreted as normal deformations in an emergent radial direction. The holographic Wess–Zumino condition is the hypersurface-deformation algebra
\[
\{H(\sigma),H(\sigma')\}
=
H_\mu\!\left(
g^{\mu\nu}
(\sigma\partial_\nu\sigma'
-\sigma'\partial_\nu\sigma)
\right).
\]
Two normal deformations therefore differ by a tangential diffeomorphism. Under the assumptions of a single-valued metric phase space and a local Hamiltonian, this algebra selects the ADM Hamiltonian of general relativity. The associated Hamilton–Jacobi recursion produces the holographic Weyl anomaly. In four boundary dimensions, the Einstein-gravity result has
\[
a=c
\]
[1712.07955].

### Entanglement entropy

For a theory consistently coupled to gravity, shape deformations of an entangling surface $\Sigma$ obey a Wess–Zumino-like integrability condition. The shape variation takes the form
\[
\delta_\xi S_E
=
\int_\Sigma d^ny\,\sqrt h\,F\,n_\mu\xi^\mu,
\]
and
\[
Q(\xi,F)=
\int_\Sigma d^ny\,\sqrt h\,n_\mu\xi^\mu F.
\]
Successive deformations must satisfy
\[
\delta_{\xi_1}Q(\xi_2,F)
-\delta_{\xi_2}Q(\xi_1,F)
=
Q([\xi_2,\xi_1],F).
\]
The “anomaly” is supported on the entangling surface rather than throughout spacetime. Local surface and volume counterterms generate scheme-dependent solutions, while nontrivial solutions are proposed as finite local geometric terms that cannot be removed by such counterterms [1109.5672].

### Wess–Zumino terms in effective field theory

In coset constructions, a Wess–Zumino term is a non-invariant $D$-form potential $\beta_D$ for a closed invariant $(D+1)$-form:
\[
\omega_{D+1}=d\beta_D,
\qquad
d\omega_{D+1}=0.
\]
The form is nontrivial in relative Lie algebra cohomology when it cannot be written as the derivative of an invariant $D$-form. Its variation is a total derivative,
\[
\delta\beta_D=d\alpha_{D-1}.
\]
This is the classical EFT counterpart of the anomaly descent architecture. Galileons, selected conformal galileons, fluid terms, and supersolid terms are classified in this manner, whereas the construction is not itself a quantum anomaly calculation [1203.3191] [1403.6509].

### Supersymmetric anomalies and enlarged source spaces

In supersymmetric theories, Wess–Zumino consistency must be formulated on the complete space of sources and compensating fields. Imposing Wess–Zumino gauge too early can make supersymmetry and flavor transformations appear to commute when they do not on the enlarged multiplet. A local counterterm can remove an apparent supersymmetry anomaly, while transferring local terms into the flavor or $R$-symmetry Ward identity. The genuinely cohomological anomaly remains unchanged [2011.09978].

For nonlinear renormalization anomalies in perturbative algebraic quantum field theory, the ordinary condition is extended. If $\Delta_X(F)$ is a nonlinear anomaly map, its consistency relation contains functional derivatives of $\Delta_X$ and terms involving the classical variation of the interaction. In the notation of the anomalous Master Ward Identity,
\[
\begin{aligned}
\Delta_{[X,Y]}(F)
={}&
\left\langle(\Delta_Y)'(F),\Delta_X(F)\right\rangle
-\left\langle(\Delta_X)'(F),\Delta_Y(F)\right\rangle\\
&+\partial_X\Delta_Y(F)-\partial_Y\Delta_X(F)\\
&-\left\langle(\Delta_Y)'(F),\partial_X(L+F)\right\rangle
+\left\langle(\Delta_X)'(F),\partial_Y(L+F)\right\rangle.
\end{aligned}
\]
For quadratic interactions this reduces to the ordinary Wess–Zumino relation. In the non-Abelian Yang–Mills application, the extended condition excludes nontrivial anomalies in conservation of the interacting gauge current, modulo finite renormalizations [2210.05908] [2409.10122].

### Global and bordism refinements

The infinitesimal Wess–Zumino condition does not detect all global anomalies. For Wess–Zumino–Witten terms on spin manifolds, consistency additionally requires independence of the higher-dimensional extension and absence of torsion obstructions under large gauge transformations. These conditions are classified by spin bordism and invertible field theory. In $Sp$ QCD, the ungauged WZW class transgresses to the ultraviolet anomaly polynomial, while the relevant pullback and torsion analysis determines whether gauging leaves a residual global anomaly [2404.06185].

## 7. Limitations, ambiguities, and physical significance

Several distinctions are essential.

First, **consistent** and **covariant** anomalies are different representatives. A consistent anomaly is obtained by varying an effective action and satisfies the Wess–Zumino condition. A covariant anomaly transforms covariantly but generally differs by a local Bardeen–Zumino polynomial.

Second, Wess–Zumino consistency is broader than the standard anomaly-polynomial construction. Some Wess–Zumino-consistent terms are not naturally generated by the familiar descent from a closed invariant polynomial. Examples include certain coupling-dependent current anomalies and the CP-odd Pontryagin term in the four-dimensional Weyl anomaly [1804.02940].

Third, satisfying the condition does not guarantee realization by separated-point correlators of ordinary primary operators. Anomalies can instead involve twisted non-primary operators or semi-local and fully local correlators. Additional requirements such as unitarity, locality, positivity, spectrum, charge quantization, and the permitted class of counterterms determine whether a consistent cocycle occurs in a particular theory.

Finally, local consistency and global consistency are logically distinct. The equation
\[
\delta_{\alpha}\mathcal A(\beta)
-\delta_{\beta}\mathcal A(\alpha)
=
\mathcal A([\alpha,\beta])
\]
tests infinitesimal symmetry algebra closure. Bordism and invertible-field-theory methods additionally test large transformations, extension independence, torsion anomalies, and the definition of exponentiated actions on arbitrary manifolds.

The central principle is therefore
\[
\boxed{
\text{symmetry algebra}
\longrightarrow
\text{anomaly cocycle}
\longrightarrow
\text{consistency condition}
\longrightarrow
\text{cohomological classification modulo counterterms}
}.
\]
For Weyl anomalies, this classification yields the Euler-density type-A sector, strictly Weyl-invariant type-B sectors, and trivial counterterm variations. In broader effective, holographic, supersymmetric, perturbative, and topological settings, the same integrability principle governs the allowed obstruction, while the relevant cochain complex and the global consistency requirements depend on the theory under consideration.

Source: https://www.emergentmind.com/topics/wess-zumino-consistency-condition