Gauge Fixing, BRST, and BV

Gauge fixing, BRST, and BV answer three related but different questions. A gauge condition chooses local representatives of gauge orbits; the Faddeev–Popov determinant measures the resulting change of variables; and the BRST differential organizes the gauge-fixed fields into a graded complex. The BV formalism enlarges that complex when the gauge generators are reducible, when their algebra closes only on shell, or when generators must be tracked together with equations of motion and quantum obstructions.

The distinctions among these steps are essential. Invertibility of the Faddeev–Popov operator is a local-slice condition. Nilpotency of the classical BRST differential is an algebraic condition. A Slavnov–Taylor or master identity for the renormalized quantum theory is a regulator, measure, and counterterm condition. A Gribov zero mode can invalidate the first without destroying the displayed classical algebra, and an anomaly can obstruct the third while classical nilpotency remains true.

This chapter uses Maxwell theory and compact Yang–Mills theory as its continuous thread. The four-field BRST complex is first displayed for Yang–Mills theory with an off-shell-closed gauge algebra and irreducible generators in a local perturbative patch. The later pages explain what changes for global gauge-fixing problems, cohomological observables, functional identities, and BV extensions. Detailed loop calculations belong to Gauge Theories, nonperturbative quotient constructions and renormalized BV theorems belong to Mathematical QFT, and boundary transformations carrying physical charge are not silently included among the redundancies divided out here.

Helpful background. Gauge Orbits, Gauss Constraints, and Stabilizers supplies the orbit geometry. Regulated Bosonic Field Integrals supplies the measure language, while Chains, Homology, Cohomology, and Exact Sequences supplies the kernel-modulo-image pattern used below. These pages are recommended preparation, not prerequisites for using this overview as a route map.

Parent volume. Symmetry and Gauge Structure

Jump to: choose a route · follow the structural chain · use the exact chapter guide · review the chapter

Diagnose your preparation

Use these checks to choose an entry point. An Unsure result identifies a repair route; it does not block the rest of the overview.

Orbit space and regulated measures. Ready: You can explain why integrating over every gauge representative overcounts configurations and why a regulated change of variables carries a Jacobian. Enter The Faddeev–Popov Construction. Unsure: You treat division by the gauge-group volume as an ordinary finite constant without specifying stabilizers, residual transformations, or a measure. Repair: Use the orbit and regulated-integral background pages above.

Grassmann variables and graded signs. Ready: You can evaluate a finite-dimensional Berezin Gaussian and apply a graded Leibniz rule. Enter Ghosts, Auxiliary Fields, and Gauge-Parameter Dependence; after that page and the local Faddeev–Popov construction are secure, continue to The BRST Differential and Gauge-Fixed Complex. Unsure: You regard $c$ and $\bar c$ as ordinary commuting fields or automatically as Hermitian conjugates. Repair: Use Graded Algebra, Grassmann Variables, and Berezin Integration and Grassmann Functional Integrals for Free Fermions.

Local versus global gauge fixing. Ready: You distinguish a local transverse slice from a global choice of one representative on every orbit. Enter Gribov Copies and the Limits of Local Gauge Fixing. Unsure: You infer a global quotient from $\det M_A\neq0$ at one configuration. Repair: Use Local Potentials and Global Gauge Configurations and, when topology matters, Homotopy, Degree, Winding, and Covers.

Complexes and cohomology. Ready: You can explain why a nilpotent map $s$ makes exact elements closed and why physical information may live in $\ker s/\operatorname{im}s$. If the BRST differential page is already secure, enter BRST Cohomology and Physical Observables; otherwise establish that differential first. Unsure: You call every $s$-closed expression physical without fixing ghost number, domain, or the class of exact terms. Repair: Use the cohomology background page linked above.

Generating functionals and renormalization. Ready: You can couple sources to fields and composite variations, Legendre transform to an effective action, and distinguish a classical identity from a renormalized one. If the BRST differential is already secure, enter Slavnov–Taylor and Zinn-Justin Identities; otherwise use the BRST page first. Unsure: You expect $sS=0$ by itself to prove that every regulator and counterterm preserves BRST. Repair: Use Currents, Sources, and Generating Functionals and Symmetry and Counterterms.

Odd symplectic geometry. Ready: You can work with a graded phase space, left and right derivatives, and a Lagrangian submanifold. If the BRST differential is already secure, enter BV Fields, Antifields, and the Odd Symplectic Structure; otherwise use the BRST page first. Unsure: You identify antifields with ordinary complex conjugates or treat the BV antibracket as an ungraded Poisson bracket. Repair: Use Symplectic Forms, Hamiltonian Flows, and Poisson Brackets and Lagrangian Submanifolds and Generating Functions.

Choose a route

• Build the full quantization chain. Read the local Faddeev–Popov construction $\to$ ghosts and auxiliary fields $\to$ the limits of a local slice $\to$ the BRST differential $\to$ BRST cohomology $\to$ functional identities $\to$ BV graded geometry $\to$ master equations and gauge fixing. At the end, you can state exactly which local, algebraic, and quantum hypotheses support a gauge-fixed observable claim.

• Quantize a perturbative Yang–Mills model. Read the Faddeev–Popov construction $\to$ ghosts and auxiliary fields $\to$ the BRST differential $\to$ Slavnov–Taylor identities. Continue to Gauge-Fixed Yang–Mills Theory and the Ghost Sector for loop-level applications.

• Identify physical observables or states. Read the BRST differential $\to$ BRST cohomology, adding the local Faddeev–Popov domain and Gribov limits whenever the gauge patch or zero modes matter. This route separates algebraic cohomology from positivity, boundary, and quantum-identity assumptions.

• Classify counterterms or candidate anomalies. Read the BRST differential $\to$ BRST cohomology $\to$ Slavnov–Taylor and Zinn-Justin identities. For the BV form of the question, continue through BV fields and antifields to master equations after securing the Lagrangian-submanifold background. The theorem-level local cohomology continues in BRST Cohomology and Derived Invariants.

• Handle reducibility or an open gauge algebra. Use the BRST differential to fix the off-shell-closed algebra with irreducible generators as the baseline, then read BV fields and antifields $\to$ master equations and BV gauge fixing. The later BV Complex and the Classical Master Equation supplies a theorem-first continuation.

The arrows specify a productive reading order, not a logical implication. Start later when the earlier construction and its domain have already been established for the theory at hand.

From a local slice to cohomological control

1. Choose which transformations are redundancies

Let $\mathcal C$ be a regulated configuration space and let $\mathcal G_0$ denote the transformations that the problem declares to be gauge redundancies. On a region with boundary, $\mathcal G_0$ is not automatically the set of all maps into the gauge group: its parameters must preserve the field space and boundary conditions, and transformations with nonzero physical surface charge must not be divided out as if they were null. This declaration also fixes the admissible ghost boundary conditions.

For a gauge condition $F^a[A]=0$ and a local coordinate $\alpha^a$ on $\mathcal G_0$, define the Faddeev–Popov operator

$$M_A^{ab}(x,y) := \left. \frac{\delta F^a[A^\alpha](x)} {\delta\alpha^b(y)} \right|_{\alpha=0}.$$

Within a patch where the slice is transverse and residual zero modes have been treated, the formal identity has the form

$$1 = \Delta_{\mathrm{FP}}[A] \int_{\mathcal G_0}\mathcal D\alpha\, \delta\!\left(F[A^\alpha]\right), \qquad \Delta_{\mathrm{FP}}[A]=\det M_A .$$

This is a local change-of-variables statement, not a theorem that $F[A]=0$ meets every orbit exactly once. Its normalization also depends on the treatment of stabilizers and any residual group volume. The complete derivation and finite-dimensional diagnostic are developed in The Faddeev–Popov Construction Weinberg 1996, § 15.5, pp. 19–23.

For a real delta functional, the literal Jacobian is $\lvert\det M_A\rvert$. On the oriented perturbative patch used below, its sign is fixed, so we write $\det M_A$—the signed determinant represented by ghosts. Crossing a zero of the determinant is a separate global-domain issue.

2. Exponentiate the determinant and retain the auxiliary field

A Berezin Gaussian represents $\det M_A$ by independent Grassmann-odd ghost and antighost fields $c^a$ and $\bar c^a$. A Nakanishi–Lautrup field $b^a$ keeps the gauge-fixing sector local and permits off-shell closure of the nonminimal BRST doublet. With the convention introduced below, a useful gauge-fixing fermion is

$$\Psi = \int d^dx\, \bar c^a \left( F^a[A]+\frac{\xi}{2}b^a \right).$$

Applying the left BRST differential gives

$$\begin{aligned} S_{\mathrm{gf+gh}} =s\Psi &= \int d^dx\, \left( b^aF^a[A] +\frac{\xi}{2}b^ab^a -\bar c^a M_A^{ab}c^b \right). \end{aligned}$$

Eliminating $b^a$ gives $b^a=-F^a/\xi$ and replaces its two terms by $-F^aF^a/(2\xi)$. Off-shell nilpotency on the antighost is then no longer manifest; it holds only after the relevant equation of motion is used. This does not make the entire BRST differential “on shell,” and retaining $b$ avoids the qualification. The ghost representation, gauge-parameter family, and observable-versus-off-shell dependence are separated in Ghosts, Auxiliary Fields, and Gauge-Parameter Dependence Fuster, Henneaux, and Maas 2005, § 7, p. 17, Open PDF.

Indeed, after eliminating $b$,

$$s^2\bar c^a = -\frac1\xi(M_Ac)^a \simeq0,$$

where the last equality uses the antighost equation of motion. The $A$ and $c$ transformations remain off-shell nilpotent in this closed-algebra example.

3. Replace infinitesimal gauge motion by an odd differential

Take Hermitian generators with $[T^a,T^b]=if^{abc}T^c$, use $D_\mu=\partial_\mu-igA_\mu^aT^a$, and choose $\delta_\epsilon A_\mu^a=(D_\mu\epsilon)^a$. The BRST differential $s$ is odd, has ghost number $+1$, and acts from the left:

$$s(XY)=(sX)Y+(-1)^{|X|}X(sY).$$

For Yang–Mills theory with an off-shell-closed gauge algebra and irreducible generators,

$$\begin{aligned} sA_\mu^a&=(D_\mu c)^a =\partial_\mu c^a+g f^{abc}A_\mu^bc^c, & \operatorname{gh}(A)&=0, \\ sc^a&=-\frac g2 f^{abc}c^bc^c, & \operatorname{gh}(c)&=+1, \\ s\bar c^a&=b^a, & \operatorname{gh}(\bar c)&=-1, \\ sb^a&=0, & \operatorname{gh}(b)&=0. \end{aligned}$$

Here $A$ and $b$ are even, while $c$ and $\bar c$ are odd. In matrix notation the second rule is $sc=igc^2$ in these conventions; an unqualified symbol such as $-\tfrac12[c,c]$ is avoided because the meaning of the bracket depends on how the Grassmann and Lie-algebra gradings are combined.

The BRST complex for Yang–Mills theory with an off-shell-closed gauge algebra and irreducible generators in a local perturbative Faddeev–Popov patch, with $b$ retained so that $s^2=0$ off shell. The labeled solid nodes form the nonminimal contractible doublet. Dashed boxes mark the two limitations rather than differential arrows: $\ker M_A\neq0$ can invalidate the local slice, while an anomaly can obstruct the quantum identity without changing the displayed classical nilpotency. The diagram is schematic and not to scale.

Open the BRST complex as a full-size vector figure.

Text equivalent. The odd differential raises ghost number by one. It maps the even gauge field $A_\mu^a$ of ghost number zero to the odd gauge direction $(D_\mu c)^a$ of ghost number one, and it maps the odd ghost $c^a$ of ghost number one to the even expression $-\tfrac g2f^{abc}c^bc^c$ of ghost number two. A second application gives $s^2A=s^2c=0$. The odd antighost $\bar c^a$ of ghost number $-1$ maps to the even auxiliary field $b^a$ of ghost number zero, which maps to zero; this pair is a contractible nonminimal doublet. At ghost number zero, closed functionals are candidate observables and exact functionals are trivial. The diagram separately marks three scope limits: a zero mode of $M_A$ can obstruct the local slice, a nonremovable quantum anomaly can obstruct the Slavnov–Taylor identity. Reducible generators require ghosts-for-ghosts, whereas closure only on shell requires antifield-dependent master-action terms; BV supplies antifields and organizes both extensions.

Nilpotency follows from the same Lie-algebra structure that closes the gauge transformations: the terms in $s^2A$ cancel, $s^2c=0$ follows from the Jacobi identity, and $s^2\bar c=sb=0$ is immediate. The claim is off shell here because the gauge algebra closes off shell, the generators are irreducible after stabilizers are treated, and $b$ has been retained. It does not assert that the local Faddeev–Popov inverse exists everywhere or that the quantum measure is anomaly free Srednicki 2007, § 74, pp. 448–455; Fuster, Henneaux, and Maas 2005, §§ 4–7, pp. 8–18, Open PDF.

4. Take cohomology only after declaring the complex

On a declared space $\mathcal F$ of functionals, the ghost-number-zero cohomology is

$$H^0(s,\mathcal F) = \frac{ \ker\!\left(s:\mathcal F^0\to\mathcal F^1\right) }{ \operatorname{im}\!\left(s:\mathcal F^{-1}\to\mathcal F^0\right) }.$$

Thus $s\mathcal O=0$ makes $\mathcal O$ closed, while $\mathcal O=sX$ makes it exact. The $(\bar c,b)$ doublet is contractible and does not change this cohomology under the usual hypotheses. The phrase “physical observables are BRST cohomology” is nevertheless incomplete until one fixes the functional space, ghost number, boundary conditions, treatment of zero modes, and quantum identity. Local densities modulo total derivatives use the relative cohomology $H(s\mid d)$, while a state-space construction uses the cohomology of a BRST charge $Q_{\mathrm{BRST}}$ and requires separate analytic and positivity control Barnich, Brandt, and Henneaux 2000, §§ 2.2–2.7 and § 7, pp. 5–19 and 56–60, Open PDF.

5. Promote the symmetry statement to a quantum identity

Sources coupled to the nonlinear variations $s\Phi$ turn BRST invariance into a functional identity for the generating functional and, after a Legendre transform, the effective action $\Gamma$. Schematically,

$$\mathcal S(\Gamma)=0$$

is the Slavnov–Taylor or Zinn-Justin identity. It is not merely the classical equation $sS=0$: the regulator, measure, composite-operator definition, subtractions, boundary conditions, and allowed counterterms must all be specified. The linearization of $\mathcal S$ about a solution organizes admissible counterterms and consistency conditions.

If restoration fails at a quantum order, one may find

$$\mathcal S(\Gamma) = \hbar\,\mathcal A+O(\hbar^2).$$

The consistency condition makes a local ghost-number-one BRST class a candidate obstruction. It is a realized anomaly only after trivial breakings removable by local counterterms have been separated. Classical $s^2=0$ neither proves nor is disproved by this quantum failure Gomis, París, and Samuel 1995, §§ 8.1–8.7, pp. 101–118 in the arXiv edition, Open PDF; Barnich, Brandt, and Henneaux 2000, §§ 8–9 and §§ 12.2–12.3, pp. 61–80 and 117–120, Open PDF.

6. Enlarge to BV when the four-field complex is insufficient

For fields and ghosts $\Phi^A$, introduce antifields $\Phi_A^*$ with shifted ghost number and opposite parity. The resulting odd symplectic structure defines the BV antibracket $(\,\cdot\,,\,\cdot\,)$. A classical master action $S_{\mathrm{BV}}$ satisfies

$$(S_{\mathrm{BV}},S_{\mathrm{BV}})=0, \qquad s_{\mathrm{BV}}X=(S_{\mathrm{BV}},X).$$

The graded Jacobi identity then gives

$$s_{\mathrm{BV}}^2X = \frac12 \bigl((S_{\mathrm{BV}},S_{\mathrm{BV}}),X\bigr) =0.$$

The master action can encode gauge generators, reducibility relations, and open-algebra terms in one graded object. Gauge fixing selects a suitable Lagrangian submanifold, often described by a gauge-fixing fermion. The classical master equation is a statement about the extended classical action; the Zinn-Justin equation is an identity for the effective action. They are related but not interchangeable.

The quantum master equation additionally requires a definition of the BV Laplacian and compatible measure or regulator. BV does not by itself supply those analytic data. The detailed sign conventions and gauge-fixing construction are developed in the last two pages Gomis, París, and Samuel 1995, §§ 4.1–4.6 and §§ 6.1–6.6, pp. 48–58 and 68–88 in the arXiv edition, Open PDF.

A recent open-access application uses classical BV–BRST data to organize partition functions and gauge-invariant operator counting. It explicitly sets aside interactions and quantum corrections, so it demonstrates current use of the formalism rather than validating a general interacting quantum master equation Grassi and Hulik 2025, §§ 1–3.2, pp. 2–7, final Open PDF.

Exact chapter guide

The Faddeev–Popov Construction

The Faddeev–Popov Construction derives the local insertion of a gauge condition, the operator $M_A$, its determinant, and the treatment of residual group volume and stabilizers. Use it when the main question is how formal orbit overcounting becomes a gauge-fixed functional integral. It deliberately stops before loop implementation and before a nonperturbative construction of the global quotient.

Required background. Secure Gauge Orbits, Gauss Constraints, and Stabilizers and Regulated Bosonic Field Integrals before using the determinant identity.

Ghosts, Auxiliary Fields, and Gauge-Parameter Dependence

Ghosts, Auxiliary Fields, and Gauge-Parameter Dependence turns the determinant into a Grassmann integral, introduces the $b$ field and covariant gauge families, and separates off-shell gauge-parameter dependence from physical gauge independence. Use it to understand why ghosts have their statistics, why they decouple in a linear Abelian gauge, and why a BRST argument needs more than formal determinant algebra.

Required background. Complete The Faddeev–Popov Construction, Grassmann Functional Integrals for Free Fermions, and Graded Algebra, Grassmann Variables, and Berezin Integration.

Gribov Copies and the Limits of Local Gauge Fixing

Gribov Copies and the Limits of Local Gauge Fixing explains multiple intersections of an orbit with one gauge condition, Faddeev–Popov zero modes, and the orientation-level meaning of Gribov regions and horizons. Its positive result is as important as its warning: a global slice may fail while perturbation theory remains valid in an appropriate local patch. Confinement scenarios and lattice implementations lie beyond its scope.

Required background. The local Faddeev–Popov construction is required; the local-versus- global configuration pages in the preparation diagnostic are useful repairs.

The BRST Differential and Gauge-Fixed Complex

The BRST Differential and Gauge-Fixed Complex develops ghost number, graded Leibniz signs, the four-field transformations, off-shell versus on-shell closure, and BRST-exact gauge fixing for an off-shell-closed algebra with irreducible generators. Use it before any cohomological or functional-identity claim. Algebras that close only on shell and systems with reducible generators are deferred to the BV pages.

Required background. Complete Ghosts, Auxiliary Fields, and Gauge-Parameter Dependence and Lie Groups, Lie Algebras, the Exponential Map, and the Adjoint Action.

BRST Cohomology and Physical Observables

BRST Cohomology and Physical Observables states the hypotheses under which closed representatives modulo exact ones encode observables or states. It distinguishes functional, local, and state cohomology and tracks the doublet mechanism, positivity, boundaries, zero modes, global structure, and anomalies. It does not substitute a slogan for a rigorous state-space construction.

Required background. Secure The BRST Differential and Gauge-Fixed Complex and the cohomology background page linked in the preparation diagnostic.

Slavnov–Taylor and Zinn-Justin Identities

Slavnov–Taylor and Zinn-Justin Identities couples sources to nonlinear BRST variations and derives the functional identity, its linearized operator, and the associated gauge-fixing and ghost equations. Use it to understand how renormalized vertices and counterterms are constrained and how local cohomology enters anomaly analysis. Full algebraic-renormalization proofs and model-specific identities continue elsewhere.

Required background. Secure The BRST Differential and Gauge-Fixed Complex and Currents, Sources, and Generating Functionals.

BV Fields, Antifields, and the Odd Symplectic Structure

BV Fields, Antifields, and the Odd Symplectic Structure introduces the graded field–antifield space, parity and ghost-number shifts, the odd symplectic form, and the antibracket. It shows how generators, equations of motion, reducibility, and higher relations fit into one complex. Derived critical loci and shifted-symplectic theorems remain the responsibility of Mathematical QFT.

Required background. Secure The BRST Differential and Gauge-Fixed Complex and Symplectic Forms, Hamiltonian Flows, and Poisson Brackets.

Master Equations and BV Gauge Fixing

Master Equations and BV Gauge Fixing interprets the classical and quantum master equations, gauge-fixing Lagrangians and fermions, canonical transformations, the BV Laplacian, observables, and anomaly obstruction. Use it when the main question is why two perturbative gauge choices can describe the same physics and which measure assumptions are needed. Renormalized BV theorems and explicit gauge-theory computations are later continuations.

Required background. Complete BV Fields, Antifields, and the Odd Symplectic Structure and Lagrangian Submanifolds and Generating Functions.

Conventions and the Maxwell–Yang–Mills thread

The site uses metric signature $(+---)$. This overview fixes Hermitian generators, $[T^a,T^b]=if^{abc}T^c$, and the left differential displayed above. Other sources distribute signs and factors of $i$ differently among $D_\mu$, $\delta_\epsilon A_\mu$, $sc$, $s\bar c$, the gauge-fixing fermion, and the antibracket. Translate a source as a complete convention set rather than changing one rule in isolation. The BV pages also declare left and right functional derivatives before fixing antibracket signs.

In Maxwell theory, the structure constants vanish:

$$sA_\mu=\partial_\mu c, \qquad sc=0, \qquad s\bar c=b, \qquad sb=0.$$

For a linear covariant gauge, $M_A$ is field independent. At fixed geometry and ghost boundary conditions, after zero modes are treated, its determinant is an overall factor in normalized gauge-field correlators and the ghosts decouple from $A_\mu$. That factor need not be ignorable in an absolute partition function or when boundary or geometric data are compared. This is a special Abelian simplification, not evidence that the BRST complex is unnecessary. Covariant Free-Photon Quantization and the Propagator supplies the free physical-subspace comparison.

In non-Abelian Yang–Mills theory, $M_A$ generally depends on $A$, so ghosts interact and the gauge-fixed identities constrain vertices. The Abelian limit $f^{abc}\to0$ must recover the Maxwell rules above. On a region with boundary, both theories require a declared subgroup $\mathcal G_0$ of redundancies: ghost boundary conditions represent its infinitesimal parameters, not charged boundary transformations that the theory retains as physical symmetries.

What local gauge fixing can and cannot establish

A nonzero determinant is local information. If $M_A$ is invertible at a configuration, an implicit-function argument may produce a transverse slice near that orbit. It does not prove a single global intersection. Singer’s obstruction is specifically a theorem for connections over $S^4$ with compact non-Abelian structure group, not a universal statement about every gauge problem Singer 1978, pp. 7–12, Open PDF.

A zero mode needs diagnosis. $\ker M_A\neq0$ says that the local inverse used by the Faddeev–Popov construction fails. The mode may reflect a stabilizer or a tangent/Gribov obstruction; a zero mode is not by itself a second finite representative. Gribov and fundamental modular regions require additional global analysis Vandersickel and Zwanziger 2012, §§ 2.1–2.2, pp. 12–27, Open PDF.

Classical nilpotency is not anomaly freedom. The Jacobi identity can give $s^2=0$ while the regulated measure or renormalized effective action fails to satisfy the quantum functional identity. Conversely, a Gribov problem does not automatically appear as failure of the displayed algebraic $s^2=0$.

The boundary declaration is part of the complex. Ghost boundary conditions must encode transformations that the theory actually regards as redundant. If a transformation preserves the field space but carries a surface charge, dividing by it changes the physical theory. Use Boundary Symmetry, Surface Charges, and Edge Modes to make that classification first.

Cohomology depends on its domain. $H^0(s)$ for unrestricted functionals, $H(s\mid d)$ for local densities modulo total derivatives, and $H(Q_{\mathrm{BRST}})$ for states are different objects. Boundary terms, zero modes, completion, positivity, and the quantum identity can change the physical interpretation.

BV is an organizing formalism, not an automatic quantization theorem. The classical master equation encodes the gauge structure. The quantum master equation additionally needs a well-defined $\Delta$, measure, regulator, and renormalization prescription. Reducible generators require additional ghost levels, while algebras that close only on shell require antifield-dependent terms rather than an unqualified reuse of the four-field diagram.

Boundaries and canonical exits

• For perturbative Yang–Mills vertices and loops, continue to Gauge-Fixed Yang–Mills Theory and the Ghost Sector and Perturbative Yang–Mills Consistency. Those pages own model-specific Feynman rules, cancellations, and renormalized amplitudes.

• For theorem-level local slices and quotient geometry, continue to Local Slices, Gauge Fixing, and Faddeev–Popov Geometry. That page owns analytic hypotheses beyond the bounded physical construction used here.

• For a structural BV complex and master-equation treatment, continue to The BV Complex and the Classical Master Equation and Gauge-Fixing Fermions, Canonical Transformations, and Observables.

• For anomalies as physical consistency and matching conditions, continue to Anomalies, Inflow, and Matching. That chapter distinguishes perturbative, global, mixed, and inflow statements after the quantum identity has been defined.

• For a change of variables at the measure level, use Changes of Variables and Regulated Jacobians. It owns the regulated Jacobian logic that a formal determinant does not settle.

Review the chapter

A strong response should name the domain, convention, and failure mode rather than rely on “gauge independence” or “BRST cohomology” as an unexplained slogan.

1. Separate the three tests. A gauge condition has $\ker M_A\neq0$, while the classical transformations still satisfy $s^2=0$. What has failed, and what has not? A complete response identifies failure of the local Faddeev–Popov inverse, diagnoses stabilizer versus copy information before claiming a second intersection, and does not infer either a classical nilpotency failure or a quantum anomaly.

Review with: the Faddeev–Popov construction and Gribov limits. If unsure: repair the local identity first, then diagnose the zero mode.

2. Check the Abelian limit. Set $f^{abc}=0$ in the four BRST rules and use a linear covariant gauge. A complete response obtains $sA_\mu=\partial_\mu c$, $sc=0$, $s\bar c=b$, and $sb=0$, explains why $M_A$ is field independent and the ghosts decouple from $A_\mu$, and retains the complex as the algebraic account of the gauge-fixed theory.

Review with: ghosts and auxiliary fields and the BRST differential. If unsure: check the field independence of $M_A$ before taking the Abelian limit.

3. Track the auxiliary field. Start from $\Psi=\int\bar c(F+\xi b/2)$ and eliminate $b$. A complete response derives $b=-F/\xi$ and the term $-F^2/(2\xi)$, tracks the ghost sign using the graded Leibniz rule, and says specifically that off-shell closure on the antighost has been lost—not that every BRST relation has become on shell.

Review with: ghosts and auxiliary fields and the BRST differential. If unsure: keep $b$ until the graded variation has been computed.

4. Classify an observable claim. A local density $\mathcal O$ has $s\mathcal O=dK$. A complete response does not place it naively in $H^0(s)$; it identifies the relative local cohomology $H(s\mid d)$, fixes ghost number and boundary treatment, and separates the classical class from its quantum realization.

Review with: BRST Cohomology and Physical Observables. If unsure: write the chosen complex and equivalence relation before naming its cohomology.

5. Diagnose a broken functional identity. A calculation gives $\mathcal S(\Gamma)=\hbar\mathcal A+O(\hbar^2)$. A complete response checks the regulator, measure, subtraction prescription, and consistency condition; tests whether $\mathcal A$ is removable by a local counterterm; and calls a nontrivial ghost-number-one class a candidate obstruction before establishing a realized anomaly.

Review with: Slavnov–Taylor and Zinn-Justin Identities and Symmetry and Counterterms. If unsure: separate removable local breakings before classifying $\mathcal A$.

6. Decide when BV is required. A model has reducible gauge generators and an algebra that closes only modulo equations of motion. A complete response explains why the four-field Yang–Mills complex is insufficient, adds ghosts-for-ghosts and antifields with their gradings, and uses the master action to encode the higher relations. It does not claim that the classical master equation alone defines the quantum measure.

Review with: BV fields and antifields and master equations. If unsure: list reducibility and closure failures separately before adding fields.

7. Respect a charged boundary transformation. A parameter preserves the boundary conditions but its differentiable generator has a nonzero surface charge. A complete response excludes that direction from the subgroup $\mathcal G_0$ divided out as redundancy unless the theory explicitly changes its physical declaration, and it does not impose ghost boundary conditions that erase the charge by assumption.

Review with: Boundary Symmetry, Surface Charges, and Edge Modes and Gauge Orbits, Gauss Constraints, and Stabilizers. If unsure: classify the generator and its surface term before choosing ghost boundary conditions.

Continue from here

For the complete sequence, begin with The Faddeev–Popov Construction. If the local determinant and Grassmann representation are already secure, enter The BRST Differential and Gauge-Fixed Complex and then choose between BRST Cohomology and Slavnov–Taylor and Zinn-Justin Identities. Use the BV pages when reducibility, open closure, antifields, or the master equations are the actual question. Return to Symmetry and Gauge Structure to choose another chapter.

References

• Barnich, Glenn, Friedemann Brandt, and Marc Henneaux. “Local BRST Cohomology in Gauge Theories.” Physics Reports 338, nos. 5–6 (2000): 439–569. DOI. Open PDF, arXiv v3.
• Fuster, Andrea, Marc Henneaux, and Axel Maas. “BRST-Antifield Quantization: A Short Review.” International Journal of Geometric Methods in Modern Physics 2, no. 5 (2005): 939–964. DOI. Open PDF, arXiv v2.
• Gomis, Joaquim, Jordi París, and Stuart Samuel. “Antibracket, Antifields and Gauge-Theory Quantization.” Physics Reports 259, nos. 1–2 (1995): 1–145. DOI. Open PDF, arXiv v1.
• Grassi, Pietro Antonio, and Ondrej Hulik. “BV Formalism and Partition Functions.” SciPost Physics 18, no. 6 (2025): 202. DOI. Open PDF, SciPost version of record.
• Singer, I. M. “Some Remarks on the Gribov Ambiguity.” Communications in Mathematical Physics 60, no. 1 (1978): 7–12. DOI. Open PDF.
• Srednicki, Mark. Quantum Field Theory. Cambridge: Cambridge University Press, 2007. DOI. Author page and errata.
• Vandersickel, Nele, and Daniel Zwanziger. “The Gribov Problem and QCD Dynamics.” Physics Reports 520, no. 3 (2012): 175–251. DOI. Open PDF, arXiv v2.
• Weinberg, Steven. The Quantum Theory of Fields. Volume II: Modern Applications. Cambridge: Cambridge University Press, 1996. DOI.