Consistent and Covariant Anomalies
The consistent and covariant currents are two local representatives of the same perturbative anomaly data, designed to answer different questions. The consistent current is obtained by differentiating one effective action. It therefore obeys functional integrability and its anomalous variation realizes the gauge algebra. The covariant current is obtained by a local Bardeen–Zumino improvement. It transforms homogeneously under gauge transformations, but in an anomalous theory it is generally not the functional derivative of any four-dimensional effective action.
Neither current is universally preferable. The consistent representative is the one relevant to gauging, source differentiation, and Wess–Zumino consistency. The covariant representative is useful when a locally covariant operator or response equation is required. Their anomaly coefficients can differ—even by a factor of three in the pure four-dimensional Abelian example—although their vanishing conditions agree. This page treats that local perturbative distinction on a closed spacetime; boundary and global data require additional input.
Required background. Perturbative Chiral and Gauge Anomalies supplies the all-left-handed convention, representation coefficients, local cancellation tests, and the warning that a covariantly regulated current is not yet an effective-action Ward identity.
One effective action defines the consistent current
Section titled “One effective action defines the consistent current”Work first on a closed oriented Euclidean spin four-manifold . Continue the site’s physical Lorentzian left-handed field to negative Euclidean chirality, as on the prerequisite page. Let be a Hermitian matrix-valued source connection with all couplings and charges absorbed, and write
All products of differential forms below are wedge products. Define the Euclidean effective action and its consistent current three-form operationally by
In components, this is the familiar functional derivative
with the trace pairing understood. Because both derivatives act on the same functional, commuting variations give the integrability, or functional-curl, condition
This is the functional form of Bose symmetry among current insertions. It is not an optional property of a current claimed to come from . The equality is distributional: contact terms must be retained in the same renormalization scheme on both sides.
Fix the anomaly-form convention by defining the integrated anomaly functional
On a closed , covariant integration by parts then gives
The commutator of two transformations closes with . Applying this closure to the same functional yields
This is the Wess–Zumino consistency condition in the present convention. It follows from effective-action integrability; it does not say that itself transforms covariantly. In an anomalous theory it generally does not. The current, functional-curl, and consistency chain is developed explicitly in Takeuchi and Endo 2017, § 2, article pp. 3–6, eqs. (2.8)–(2.27), especially (2.11)–(2.14), (2.23)–(2.25), Open PDF, while the gauge-algebra derivation of the consistency condition appears in Bilal 2008, § 9.1, arXiv v1, pp. 69–71, eqs. (9.2)–(9.9), Open PDF. The original condition is due to Wess and Zumino 1971, pp. 95–97. The full descent construction is deferred to the next page.
A local Bardeen–Zumino shift defines the covariant current
Section titled “A local Bardeen–Zumino shift defines the covariant current”A different regularization can make the current transform homogeneously in the adjoint representation. Equivalently, start from the consistent current and add a local connection polynomial:
For the physical left-handed convention above, one convention-matched four-dimensional Bardeen–Zumino three-form is
Its covariant divergence changes the anomaly representative:
The consistent and covariant four-forms in this representative are
These expressions use the standard representative that preserves diffeomorphism and local-Lorentz covariance and places the mixed violation in the gauge-current Ward identity. A local counterterm can redistribute that mixed violation, so the displayed placement is part of the convention.
The covariant anomaly transforms in the adjoint. If and the test parameters are held fixed, then
The factor of two differs from the consistent Wess–Zumino equation. It disappears only when the relevant commutator contribution vanishes, including for an Abelian group Cohen, Lu, and Zhang 2023, § 3.4, arXiv v1, pp. 18–21, eqs. (3.40)–(3.42), Open PDF.
The price of covariance is that the functional curl of is generally nonzero. Thus normally cannot equal for any single four-dimensional functional . This remains a real distinction even for an Abelian group: the elementary Abelian Wess–Zumino commutator is trivial, but the Hessian symmetry required of a functional derivative can still fail. The original local construction is given in Bardeen and Zumino 1984, §§ 1–3, pp. 423–436; a heat-kernel calculation of the current difference and functional curl appears in Takeuchi and Endo 2017, §§ 2 and 4, article pp. 3–6 and 8–11, eqs. (2.17)–(2.27) and (4.1)–(4.25), Open PDF.
A four-dimensional Weyl fermion fixes the relative coefficients
Section titled “A four-dimensional Weyl fermion fixes the relative coefficients”Specialize to one physical Lorentzian left-handed fermion of compact charge . Write , , , and
After factoring out the gauge parameter, the two local Ward representatives are
The pure coefficient in the covariant divergence is therefore three times the consistent coefficient. The mixed gauge–gravity terms agree in this particular diffeomorphism- and local-Lorentz-preserving representative; that agreement should not be detached from the representative choice. Opposite chirality reverses both lines.
The corresponding Abelian current improvement gives a direct sign and factor check:
and hence
The Abelian functional curl exposes the distinction that the commuting Wess– Zumino equation cannot. Define the field-space one-form
For two independent variations on a closed ,
which is generally nonzero. Thus the Abelian covariant current is not the gradient of one effective action even though the Abelian Wess–Zumino commutator vanishes identically. The general relation between this functional curl and the current/anomaly difference is Takeuchi and Endo 2017, § 2.2, article pp. 4–6, eqs. (2.17)–(2.27), Open PDF.
The factor of three is special to the pure Abelian cubic term. The non-Abelian consistent expression contains , whereas the covariant expression contains ; they are not related by multiplying the entire functional by a universal number. What is universal is the pure-gauge zero test: both use the same symmetrized cubic tensor. With factors, cancellation of the mixed gauge–gravity term additionally requires the linear charge trace to vanish. A modern regulator comparison that exhibits the covariant and Wess–Zumino-consistent prescriptions, their relative coefficients, and their common cubic-trace cancellation condition is Cohen, Lu, and Zhang 2023, §§ 3.4 and 4.2, arXiv v1, pp. 18–21 and 24–27, eqs. (3.36)–(3.51) and (4.15)–(4.20), Open PDF. The characteristic-form normalization and chirality reversal are fixed in Álvarez-Gaumé and Vázquez-Mozo 2024, §§ 2–3, arXiv v2, pp. 4–8, eqs. (6)–(11), (17)–(19), and (22), Open PDF.
The two representatives answer different questions
Section titled “The two representatives answer different questions”The comparison below is local and perturbative, at fixed chirality, regulator, and counterterm scheme. Read across each row: construction from a single effective action forces integrability and Wess–Zumino consistency, whereas the Bardeen–Zumino improvement generally loses integrability and, in the non-Abelian case, Wess–Zumino consistency in exchange for a homogeneously transforming local current. For commuting Abelian transformations the Wess–Zumino condition is vacuous, but the integrability distinction remains.
| Question | Consistent representative | Covariant representative |
|---|---|---|
| Construction | Functional derivative of one regulated effective action | Consistent current plus a local Bardeen–Zumino current |
| Gauge transformation | Generally not homogeneous when the theory is anomalous | Transforms homogeneously in the adjoint representation |
| Functional integrability | Yes: its functional curl vanishes | Generally no: it need not be a derivative of an effective action |
| Ward condition | Obeys Wess–Zumino consistency | Has a covariant divergence; non-Abelian Wess–Zumino consistency generally fails |
| Local freedom | An allowed local action counterterm gives another integrable representative | A local current improvement gives covariance but is not generally an action counterterm |
| Appropriate use | Gauging, generating-functional Ward identities, descent, and source differentiation | Covariant local response equations and covariantly transforming operator insertions |
| Shared limit | Does not decide large-gauge phases, torsion, or boundary charge data | Does not decide large-gauge phases, torsion, or boundary charge data |
The table does not identify two independent anomaly classes. It compares two representatives connected by local data. In particular, choosing the covariant current cannot turn a nonzero dynamical gauge anomaly into a consistent gauge theory.
Bardeen counterterms redistribute mixed Ward identities
Section titled “Bardeen counterterms redistribute mixed Ward identities”Three local operations are easy to conflate. First, an admissible local action counterterm changes the effective action,
Its current shift is integrable by construction:
This changes the consistent representative but not a nontrivial anomaly class. Second, adding converts the current to a covariant one; because that current is generally nonintegrable, this operation is not usually generated by a four-dimensional action counterterm. Third, a Bardeen counterterm involving several backgrounds can redistribute a mixed consistent anomaly among their Ward identities.
A simple closed-manifold calculation makes the third operation concrete. Take globally defined potentials on trivial bundles, with and . For real , choose the imaginary Euclidean counterterm
Under and , integration by parts gives
Changing therefore moves a fixed mixed variation between the two consistent Ward identities; it does not remove the total obstruction. In a mixed dynamical/background problem, the allowed choice is constrained by the dynamical gauge Ward identity. After that identity is preserved, a remaining divergence means that the putative continuous current is ABJ-broken, perhaps to a subgroup. It should not automatically be called an ‘t Hooft anomaly of an exact global before the surviving symmetry has been identified. If all connections instead probe genuine exact global symmetries and remain nondynamical, the remaining class is background ‘t Hooft-anomaly data.
The distinction between a current improvement and an effective-action counterterm is emphasized in Bilal 2008, § 4.2, arXiv v1, pp. 20–22, eqs. (4.17)–(4.19), Open PDF. Redistribution in the standard vector–axial example, including the counterterm relating two assignments, is shown in Cohen, Lu, and Zhang 2023, § 5.3, arXiv v1, pp. 32–33, eqs. (5.17)–(5.24), Open PDF. Redistribution of the mixed gauge–gravity representative is discussed in Bilal 2008, § 11.3.2, arXiv v1, pp. 92–93, eqs. (11.29)–(11.38), Open PDF. The physical distinction between a dynamical gauge obstruction and background anomaly data is reviewed in Bhardwaj et al. 2024, §§ 4.1–4.2.1, arXiv v2, pp. 60–69, Open PDF.
Local current shifts do not change global data
Section titled “Local current shifts do not change global data”The derivations above used a closed manifold. On a region with boundary, the integration-by-parts step instead reads
The surface term is not part of the bulk divergence. Boundary conditions determine which transformations preserve the field domain; transformations with nonzero boundary values may carry charges rather than represent gauge redundancies. At fixed Lorentzian time on a bounded spatial region , the improved charge differs by the bulk Bardeen–Zumino charge,
Its balance law includes both boundary flux and the difference of the two bulk divergences:
Equality of bulk local classes therefore does not imply equality of bounded-region charges without specified boundary conditions, boundary counterterms, edge degrees of freedom, or inflow. The support assumption behind the usual integration by parts is explicit in Bilal 2008, § 9, arXiv v1, p. 69, eq. (9.1), Open PDF; a Maxwell example separating boundary-vanishing gauge transformations from charged boundary symmetries is given in Harlow and Wu 2020, Introduction and § 3.3, arXiv v4, pp. 1–3 and 26–27, eqs. (3.18)–(3.25), Open PDF.
A local perturbative Bardeen–Zumino polynomial cannot by itself determine or erase a nontrivial determinant-line holonomy, a torsion phase under a large transformation, the global form of the gauge group, or the charge lattice. Globally admissible counterterms can change representatives, but triviality of the global anomaly remains a separate question. These are not refinements of the factor of three. Similarly, constitutive relations and anomaly-induced transport require a hydrodynamic effective theory, not just the local Ward representative derived here.
Common pitfalls
Section titled “Common pitfalls”Calling the covariant current more physical in every setting. Covariance is useful, but gauging and source differentiation require the integrable consistent representative. The appropriate current is selected by the question being asked.
Treating the Bardeen–Zumino current as an action counterterm. It is a local current improvement and is generally nonintegrable. Only shifts of the form arise from a local four-dimensional counterterm.
Multiplying every consistent anomaly by three. The factor of three holds for the pure four-dimensional Abelian cubic term. The non-Abelian expressions have different polynomial structure, and the mixed gauge–gravity coefficient agrees in the representative used here.
Mistaking a representative shift for cancellation. A counterterm may move a mixed variation between Ward identities, and a Bardeen–Zumino polynomial may make a current covariant. Neither operation removes a nontrivial class while preserving all required dynamical gauge symmetries.
Ignoring boundaries or large transformations. The local divergence identity assumes the surface term vanishes. It neither fixes boundary charges nor detects global and torsion anomalies.
Check your understanding
Section titled “Check your understanding”-
Why must the functional curl of vanish?
Solution
The consistent current is one functional derivative of . Its functional curl is the antisymmetric part of the second derivative of the same bosonic functional. Commuting those derivatives makes that antisymmetric part zero. A nonzero curl therefore rules out interpreting the current as .
-
Starting from the two anomaly forms, compute their difference and reproduce it from .
Solution
Subtraction gives ; the mixed terms cancel in the chosen representative. Since ,
-
A left-handed spectrum has charges . What happens to the consistent and covariant Abelian gauge anomalies?
Solution
The cubic sum is . The pure Abelian consistent coefficient therefore vanishes, and the covariant coefficient—three times the same cubic sum—vanishes as well. The linear sum also vanishes, so the displayed mixed gauge–gravity coefficient is zero. This checks only the declared local Abelian anomalies, not global obstructions.
-
Why can a Bardeen–Zumino improvement change an integrated charge on a bounded region even though it is local?
Solution
The charge difference is the bulk integral ; locality does not force that integral to vanish. Its time derivative is controlled jointly by the Bardeen–Zumino flux through and by the integrated difference of the two bulk divergences. Boundary conditions, boundary currents, or inflow are therefore needed before the two bounded-region charges can be compared.
-
In the two-background counterterm example, what does changing do?
Solution
It changes the Ward identity by a term proportional to and the Ward identity by a term proportional to . Thus it redistributes one mixed consistent variation between the two currents. The total nontrivial anomaly class is unchanged, and any dynamical gauge Ward identity still has to be exact.
What to carry forward
Section titled “What to carry forward”- Wess–Zumino Consistency and Descent derives the consistency equation and representative shifts from the descent sequence.
- Anomaly Polynomials and Inflow explains how a complete bulk–boundary system cancels a boundary variation without declaring the isolated boundary theory anomaly-free.
- Global and Torsion Anomalies treats large transformations and phases invisible to every local current polynomial.
- Local Anomaly Descent and Wess–Zumino Consistency gives the theorem-first relative local-cohomology classification.
- Charged and Anomalous Hydrodynamics uses current representatives inside constitutive relations and transport.
References
Section titled “References”- Álvarez-Gaumé, Luis, and Miguel Á. Vázquez-Mozo. “Anomalies and the Green–Schwarz Mechanism.” In Handbook of Quantum Gravity, edited by Cosimo Bambi, Leonardo Modesto, and Ilya L. Shapiro, 2241–2284. Singapore: Springer, 2024. DOI. Open PDF, arXiv v2.
- Bardeen, William A., and Bruno Zumino. “Consistent and Covariant Anomalies in Gauge and Gravitational Theories.” Nuclear Physics B 244, no. 2 (1984): 421–453. DOI.
- Bhardwaj, Lakshya, Lea E. Bottini, Ludovic Fraser-Taliente, Liam Gladden, Dewi S. W. Gould, Arthur Platschorre, and Hannah Tillim. “Lectures on Generalized Symmetries.” Physics Reports 1051 (2024): 1–87. DOI. Open PDF, arXiv v2.
- Bilal, Adel. “Lectures on Anomalies.” LPTENS-08/05, arXiv:0802.0634v1, 2008. Stable record. Open PDF.
- Cohen, Timothy, Xiaochuan Lu, and Zhengkang Zhang. “Anomalies from the Covariant Derivative Expansion.” Physical Review D 107, no. 11 (2023): 116015. DOI. Open PDF, arXiv v1.
- Harlow, Daniel, and Jie-qiang Wu. “Covariant Phase Space with Boundaries.” Journal of High Energy Physics 2020, no. 10 (2020): 146. DOI. Open PDF, arXiv v4.
- Takeuchi, Masaharu, and Ryusuke Endo. “Heat Kernel Approach to the Relations between Covariant and Consistent Currents in Chiral Gauge Theories.” Progress of Theoretical and Experimental Physics 2017, no. 3 (2017): 033B03. DOI. Open PDF.
- Wess, Julius, and Bruno Zumino. “Consequences of Anomalous Ward Identities.” Physics Letters B 37, no. 1 (1971): 95–97. DOI.