BRST–BV Quantization and Anomalies

BRST and BV methods replace a singular quotient by gauge transformations with a graded complex whose cohomology represents gauge-invariant information. That replacement is exact only under regularity and resolution hypotheses. Quantization adds a measure-dependent master equation; local and global anomalies are different obstructions; and cancellation still does not prove a positive nonperturbative theory. This chapter keeps those implications separate from the first constraint surface to the last continuum-limit obligation.

Helpful background. The BRST differential and gauge-fixed complex provide the field-theory notation. The BV master equation and gauge fixing provide the odd-symplectic construction. What is an anomaly? distinguishes a quantum obstruction from ordinary explicit symmetry breaking.

Enter this chapter

The site-wide metric convention is $(+---)$. Cohomological degree is ghost number: the BRST differential $s$ has degree $+1$, the BV antibracket has degree $+1$, and antifields carry the complementary negative degrees determined by their associated fields. The Koszul–Tate differential lowers antifield number and resolves the stationary surface; the longitudinal differential follows gauge orbits; their controlled combination is BRST. Sign conventions can be translated, but degrees, parity, and left/right derivatives must be changed together.

There are four distinct targets. Classical BRST cohomology describes gauge-invariant functions modulo equations of motion under regularity assumptions. The classical master equation encodes gauge symmetry in an odd-symplectic Hamiltonian. The quantum master equation asks whether a measure-compatible deformation survives renormalization. A physical theory further requires regulator removal, locality, a positive representation, and dynamics. Barnich, Brandt, and Henneaux give the local cohomological machinery and its regularity hypotheses in Barnich, Brandt, and Henneaux 2000, §§5–7 and §§9–11, pp. 33–60 and 70–112; Gomis, París, and Samuel develop the master-equation and gauge-fixing mechanisms in Gomis, París, and Samuel 1995, §§4–6, pp. 43–89.

The dependency map should be read from left to right only. Exactness of the Koszul–Tate complex licenses a BRST model of the derived quotient; a proper BV action licenses regular gauge fixing; a compatible renormalization prescription licenses an order-by-order quantum identity when its obstruction class vanishes. Local descent and determinant-line holonomy then test different directions. None of these arrows terminates in nonperturbative existence.

Regularity and acyclicity make the Koszul–Tate complex a resolution; the longitudinal differential and higher terms then form the BRST operator. A proper odd-symplectic master action admits regular gauge fixing, while a measure and renormalized time-ordered products add the quantum master identity. Local descent classes and global determinant or Pfaffian holonomy are separate tests. Their cancellation permits the stated formal construction but does not supply convergence, a continuum limit, or a positive physical Hilbert space. The diagram is schematic and not to scale. Structured description and source data (JSON)

The chapter sequence

Read the pages in this order.

1. The Koszul–Tate resolution and BRST bicomplex resolves the stationary surface, introduces ghosts by reducibility stage, and states the acyclicity boundary.
2. BRST cohomology and derived invariants identifies degree-zero observables and explains when cohomology models a quotient rather than merely mapping to one.
3. Local BRST cohomology: consistent deformations and currents computes relative cohomology modulo the spacetime differential and derives the Yang–Mills Jacobi condition.
4. The BV complex and classical master equation builds the odd cotangent complex and interprets $(S,S)=0$ as nilpotence of the Hamiltonian differential.
5. Gauge-fixing fermions, canonical transformations, and observables treats gauge fixing as a Lagrangian choice and states the regularity and boundary hypotheses behind independence.
6. The quantum master equation and anomaly obstructions adds the BV Laplacian or its renormalized replacement and locates the obstruction class.
7. Local anomaly descent and Wess–Zumino consistency derives the descent equations and distinguishes consistent from covariant currents.
8. Global anomalies, determinant lines, and eta invariants detects holonomy and mod-two phases invisible to the local polynomial.
9. Anomaly cancellation and positive-Hilbert-space existence separates necessary cancellation tests from BRST positivity, reconstruction, and continuum existence.
10. Perturbative gauge QFT: constructions and scope constructs local Yang–Mills observables as formal series and records the infrared, convergence, and representation boundaries.
11. Chiral gauge perturbative construction: open obligations compares dimensional and Ginsparg–Wilson routes for an anomaly-free abelian multiplet without erasing global or continuum obligations.

The order matters. A cohomology group computed from a nonresolving complex need not describe the intended quotient. A solution of the classical master equation does not solve the quantum one. A vanishing local anomaly polynomial does not trivialize determinant-line holonomy. Finally, trivial local and global obstructions do not create the estimates needed for a positive continuum theory.

Hypotheses and licensed conclusions

Domains, hypotheses, licensed results, excluded upgrades, and failure tests for BRST–BV quantization

Object and domain	Required hypotheses	Licensed result	Excluded converse or upgrade	Adversarial check
Stationary ideal and reducible gauge generators	Regular equations; complete Noether identities and reducibility tower; Koszul–Tate acyclicity in positive antifield number	A resolution of on-shell functions and a controlled BRST bicomplex	Nilpotence alone does not prove exactness or identify the intended quotient	Introduce a dependent equation or missed reducibility relation and exhibit surviving positive-antifield-number homology
Proper classical BV action on the odd cotangent space	Nondegenerate odd symplectic pairing; complete gauge generators; properness; $(S,S)=0$ with consistent degree and sign conventions	Nilpotent BV differential and a derived critical-locus model	A classical master action supplies neither a measure nor a quantum theory	Drop an antifield term encoding a field-dependent bracket and calculate $s^2$
Gauge-fixed BV integral or perturbative functional	Regular gauge fermion; Lagrangian slice avoiding singular strata; compatible measure or renormalization; vanishing boundary terms	Equality of BRST-closed observables under admissible canonical changes	Off-shell Green functions need not agree, and no global Gribov-free slice follows	Move the slice through a Faddeev–Popov zero mode or a boundary contribution
Renormalized quantum master identity	Local causal renormalization; consistency of the breaking; trivial obstruction in the relevant local BRST cohomology; admissible finite counterterms	Order-by-order restoration of the master identity and formal gauge-invariant observables	Formal solvability does not imply convergence, a global adiabatic limit, or positivity	Choose a nontrivial ghost-number-one cocycle and try to remove it with an exact counterterm
Local chiral anomaly in an even-dimensional theory	Specified representation, chirality, bundle, trace normalization, local functional class, and descent representative	Wess–Zumino-consistent anomaly class and its consistent/covariant-current relation	Vanishing de Rham anomaly polynomial does not exclude torsion or large-transformation anomalies	Use one $SU(2)$ Weyl doublet: the cubic local test vanishes while the Pfaffian changes sign
Determinant or Pfaffian line over background-field space	Specified spin structure and representation; family of Fredholm operators; control through zero modes; trivial holonomy on every relevant loop or bordism class	A globally consistent fermion phase for the tested parameter space	Triviality on one loop or component does not prove global triviality or interacting existence	Build the mapping torus of a large transformation and evaluate its eta phase or mod-two index
Candidate anomaly-free chiral gauge theory	All local and global cancellations; local regulator; all-order identities; cutoff and volume limits; locality; positive representation; nontrivial dynamics	A physical continuum theory only when every analytic and representation hypothesis is separately proved	Charge sums plus a formal BRST charge are not sufficient for a positive Hilbert space	Demand the missing uniform estimates and positivity theorem after the anomaly arithmetic succeeds

Structured table data (JSON) preserves the caption, scoped headers, rows, and reading order.

The table separates algebraic exactness, quantum consistency, and analytic construction. These are not alternative descriptions of the same checkpoint. A failure can leave earlier stages intact while blocking only the claimed upgrade.

The failure map starts from familiar formulas that remain syntactically meaningful after a hypothesis is dropped. Follow each dashed branch to the first conclusion that no longer follows; the lower box gives the strongest safe replacement.

Each branch removes one named condition. Incomplete identities leave unwanted Koszul–Tate homology; improperness leaves unresolved gauge directions; a Gribov horizon invalidates a global gauge-fixing-independence argument; a nontrivial descent class blocks local counterterm restoration; nontrivial eta or mod-two holonomy blocks a global fermion phase; and absent cutoff-uniform or positivity estimates block a physical continuum conclusion even after anomaly cancellation. The diagram is schematic and not to scale. Structured description and source data (JSON)

Scope boundaries

This chapter treats local BRST cohomology in the jet-bundle/local-functional setting and BV quantization perturbatively or in finite-dimensional schematic models where the measure is defined. Infinite-dimensional symbols such as $\Delta S$ are never assumed meaningful without a regulator or renormalized replacement. Gauge-fixing independence is local to regular families unless a global theorem controls singular strata and boundaries.

Local anomalies, global anomalies, and anomaly inflow communicate but are not interchangeable. A descent polynomial detects infinitesimal transformations; determinant-line holonomy detects global phase transport. Cancellation of both is a consistency requirement. Positive-Hilbert-space existence, convergence, infinite-volume control, and nonperturbative continuum limits require separate theorems. The abelian lattice result is quoted within its admissibility, sector, and charge-multiplicity hypotheses; it is not promoted to a general nonabelian chiral construction.

Review the chapter

Before accepting a BRST–BV claim, answer these questions.

1. What are the fields, ghosts, antifields, degrees, and parity conventions?
2. Which stationary ideal is being resolved, and where is positive-antifield-number acyclicity proved?
3. Are all reducibility stages and higher gauge brackets included?
4. Is the BV action proper, or merely a formal solution of the master equation on a singular complex?
5. What measure or renormalized time-ordering prescription gives meaning to the quantum master identity?
6. In which local cohomology group does an anomaly live, and which counterterms are admissible?
7. Has determinant or Pfaffian holonomy been tested beyond the identity component?
8. Does gauge-fixing independence stay inside one regular Lagrangian family?
9. Is the result coefficientwise in formal parameters, or is convergence actually established?
10. Which theorem supplies positivity and regulator removal rather than assuming them?

Synthesis exercise

A chiral representation has vanishing cubic and mixed anomaly coefficients, and a renormalization prescription restores the Slavnov–Taylor identity through two loops. May one conclude that its fermion measure is globally gauge invariant and that the theory has a positive physical Hilbert space?

Solution

No. The two-loop statement is local and coefficientwise. A global fermion phase additionally requires trivial determinant or Pfaffian holonomy on all relevant loops or bordism classes. Positivity requires a representation and a theorem showing that BRST cohomology inherits a positive inner product, together with any regulator-removal and completion arguments. Neither conclusion follows from the stated anomaly coefficients or finite perturbative order.

References

• Barnich, Glenn, Friedemann Brandt, and Marc Henneaux. “Local BRST Cohomology in Gauge Theories.” Physics Reports 338 (2000): 439–569. DOI; Open PDF.
• Dai, Xianzhe, and Daniel S. Freed. “Eta-Invariants and Determinant Lines.” Journal of Mathematical Physics 35 (1994): 5155–5194. DOI; Open PDF.
• Gomis, Joaquim, Jordi París, and Stuart Samuel. “Antibracket, Antifields and Gauge-Theory Quantization.” Physics Reports 259 (1995): 1–145. DOI; Open PDF.
• Wess, Julius, and Bruno Zumino. “Consequences of Anomalous Ward Identities.” Physics Letters B 37 (1971): 95–97. DOI.