The BV Complex and Classical Master Equation

The BV complex packages equations of motion, gauge transformations, their algebra, and every reducibility stage into a degree-$-1$ odd symplectic space. A ghost-number-zero functional $S_{\mathrm{BV}}$ defines the cohomological vector field $Q=(S_{\mathrm{BV}},\,\cdot\,)$, and the classical master equation $(S_{\mathrm{BV}},S_{\mathrm{BV}})=0$ is exactly the condition $Q^2=0$. This algebraic construction is valid for a properly resolved classical gauge system; it is not yet gauge fixing, a quantum measure, or a positive state space.

Required background. BRST cohomology as derived invariants supplies the observable complex; the physical BV master equation supplies the gauge-theory target; and presymplectic covariant phase space explains the degeneracies being resolved.

Helpful background. Classical observables and Poisson factorization gives the local-observable counterpart of the bracket construction.

Odd symplectic data and degrees

Let $\Phi^A$ denote fields, ghosts, and higher ghosts with ghost number $g_A$ and parity $\epsilon_A$. Introduce an antifield $\Phi_A^*$ with

$$\operatorname{gh}(\Phi_A^*)=-1-g_A, \qquad \epsilon(\Phi_A^*)=\epsilon_A+1\pmod 2.$$

The canonical odd symplectic form has degree $-1$,

$$\omega_{\mathrm{BV}}=\int \delta\Phi_A^*\,\delta\Phi^A,$$

and its inverse defines an antibracket of degree $+1$. With right and left functional derivatives displayed to fix signs,

$$(F,G)=\int d^dx\left( \frac{\delta_r F}{\delta\Phi^A}\frac{\delta_l G}{\delta\Phi_A^*} -\frac{\delta_r F}{\delta\Phi_A^*}\frac{\delta_l G}{\delta\Phi^A} \right).$$

Accordingly $\operatorname{gh}(F,G)=\operatorname{gh}F+\operatorname{gh}G+1$. The bracket obeys the graded Jacobi identity. If $S_{\mathrm{BV}}$ is even and has ghost number zero, then

$$Q^2F=(S_{\mathrm{BV}},(S_{\mathrm{BV}},F)) =\frac12((S_{\mathrm{BV}},S_{\mathrm{BV}}),F).$$

Thus the classical master equation (CME) implies nilpotence. The converse holds up to central functionals in the declared antibracket algebra; boundary terms or degeneracy can invalidate a naive converse. Properness adds a separate rank condition ensuring that the antifield complex contains enough generators to resolve all gauge directions. A formal solution on an incomplete field space is not automatically proper.

For an $L$-stage reducible theory, properness generally forces ghosts through stage $L$ and their conjugate antifields. In local coordinates near the stationary surface, the Hessian of the master action must have the rank required to pair gauge and antifield directions after gauge fixing. This is a local condition; stabilizers, bundle topology, and Gribov copies can prevent a global field-space chart even when the local BV data are proper. The master equation and properness are therefore complementary hypotheses rather than alternative formulations.

Gomis, París, and Samuel develop the antibracket, proper solution, and master-equation construction with reducible examples in Gomis, París, and Samuel 1995, §§4–5, pp. 43–66. Their convention choices must be carried consistently; changing left to right derivatives without changing signs generally destroys the CME.

Minimal Yang–Mills master action

For a compact gauge algebra with structure constants $f^a{}_{bc}$, take $A^a_\mu$ of ghost number zero and an odd ghost $c^a$ of ghost number one. Their antifields have ghost numbers $-1$ and $-2$. A minimal master action is

$$S_{\mathrm{BV}}=\int d^4x\left[ -\frac14F^a_{\mu\nu}F_a^{\mu\nu} +A^{*\mu}_a(D_\mu c)^a -\frac12c^*_a f^a{}_{bc}c^b c^c \right].$$

The antifield-number-zero component of $(S,S)=0$ states gauge invariance of the Yang–Mills action. The component linear in $A^*$ states closure of two gauge transformations. The component involving $c^*$ is the Jacobi identity. Directly, the induced differential is

$$QA^a_\mu=(D_\mu c)^a, \qquad Qc^a=-\frac12f^a{}_{bc}c^b c^c.$$

Then $Q^2A=0$ follows by combining the derivative of $Qc$ with the commutator term in $D c$, and $Q^2c=0$ is proportional to $f^a{}_{e[b}f^e{}_{cd]}$. The cancellation is exhibited explicitly for Yang–Mills theory in Gomis, París, and Samuel 1995, §5.2, pp. 60–66.

This is the chapter’s first application: the minimal Yang–Mills action is built and checked before it is passed to the physical master-equation and gauge-fixing treatment. The calculation establishes a classical cohomological model. It does not define $\Delta S$, renormalized time-ordered products, or a functional integral.

Defects expose missing structure

Delete the quadratic ghost term. The remaining functional still contains the classical action and the gauge transformation, but $Q c=0$. For a non-Abelian algebra,

$$Q^2A^a_\mu=f^a{}_{bc}(D_\mu c)^b c^c\ne0,$$

so the master-equation defect is visible at antifield number one. Alternatively, keep the term but assign $\operatorname{gh}c^*=-1$; then the integrand no longer has uniform ghost number zero and cannot be a BV master action. These failures cannot be repaired by cosmetic gauge fixing.

Canonical transformations preserve the odd symplectic bracket and map CME solutions to CME solutions when they are defined on the same domain. The converse is false: two arbitrary CME solutions need not be canonically equivalent, and a canonical equivalence does not prove equality of quantum theories after regularization.

A useful independent check expands the CME by antifield number. Gauge invariance, closure, and Jacobi appear in different components, so an accidental cancellation cannot hide which structural identity was used. Dimensional analysis gives a second check: in four-dimensional Yang–Mills theory, $A^*Dc$ and $c^*cc$ must have the same mass dimension as the Lagrangian density once antifield dimensions are fixed by the symplectic pairing. Neither check proves the existence of a renormalized BV Laplacian.

Exercises

Verify the ghost number of every Yang–Mills master-action term.

Solution

$F^2$ has ghost number zero. Since $\operatorname{gh}A^*=-1$ and $\operatorname{gh}c=1$, $A^*Dc$ has ghost number zero. Since $\operatorname{gh}c^*=-2$, $c^*cc$ also has $-2+1+1=0$.

Show that the Abelian limit needs no $c^*$ term in the minimal action.

Solution

When $f^a{}_{bc}=0$, $Qc=0$ and $QA_\mu=\partial_\mu c$. Commuting derivatives give $Q^2A_\mu=0$. The ghost antifield may remain as part of the Koszul–Tate resolution, but no algebra-deforming $c^*$ coupling is required in $S_{\mathrm{BV}}$.

References

• Batalin, Igor A., and Grigori A. Vilkovisky. “Gauge Algebra and Quantization.” Physics Letters B 102 (1981): 27–31. DOI.
• Gomis, Joaquim, Jordi París, and Stuart Samuel. “Antibracket, Antifields and Gauge-Theory Quantization.” Physics Reports 259 (1995): 1–145. DOI; Open PDF.