BV Quantization and Obstruction–Deformation Complexes

BV quantization is an order-by-order deformation problem. The classical master equation makes the interacting BV differential square to zero. At each power of $\hbar$, the quantum master equation produces a degree-one cocycle; its local cohomology class is the obstruction to continuing the quantization, while inequivalent continuations—when the class vanishes—form a torsor for degree-zero local cohomology. This statement is perturbative and does not imply convergence or positivity.

Required background. Elliptic complexes and factorization observables supplies the gauge resolution and propagator, while classical observables and Poisson factorization supplies the odd bracket and classical differential.

Helpful background. Ward identities and anomalous obstructions gives the Lorentzian cohomological comparison, and formal interacting constructions fixes the evidence ceiling of the $\hbar$-adic result.

Classical master data

Let $(\mathcal E,Q,\omega)$ be an elliptic BV complex with degree-$-1$ symplectic pairing and induced bracket $\{-,-\}$. An interaction $I_0$ of ghost number zero satisfies the classical master equation

$$QI_0+\frac12\{I_0,I_0\}=0.$$

Consequently the interacting differential

$$Q_{I_0}=Q+\{I_0,-\}$$

squares to zero. This identity simultaneously encodes gauge invariance, closure of the gauge algebra up to homotopy, and compatibility with equations and Noether identities. It is stronger than invariance of the action under a few displayed transformations because it includes the entire resolved complex.

At a positive length scale $L$, heat-kernel regularization produces a smooth BV kernel, a regulated Laplacian $\Delta_L$, and a bracket $\{-,-\}_L$. An effective interaction $I[L]\in\mathcal O_{\mathrm{loc}}(\mathcal E)[[\hbar]]$ must satisfy the scale-$L$ quantum master equation

$$QI[L]+\frac12\{I[L],I[L]\}_L +\hbar\Delta_L I[L]=0,$$

in the Euclidean convention used here. Other sources move factors of $i$ between the action, bracket, and Laplacian; the invariant check is nilpotence of the quantum observable differential. The effective BV formulation and its renormalized QME are proved in Costello 2011, Chapters 5–12 and recast for factorization observables in Costello and Gwilliam 2021, Chapters 7–8.

The obstruction class

Assume a compatible solution has been chosen through order $\hbar^k$. Substituting $I[L]=I_0+\hbar I_1[L]+\cdots$ into the QME, the coefficient at order $\hbar^{k+1}$ has the form

$$Q_{I_0}I_{k+1}[L]+\mathfrak O_{k+1}[L]=0.$$

The lower-order equations and graded Jacobi identity imply $Q_{I_0}\mathfrak O_{k+1}=0$. Locality and renormalization-group compatibility place the obstruction in the complex of local functionals, not merely in all functions on fields. Its class

$$[\mathfrak O_{k+1}] \in H^1\bigl(\mathcal O_{\mathrm{loc}},Q_{I_0}\bigr)$$

must vanish. If $\mathfrak O_{k+1}=Q_{I_0}B$, the counterterm $I_{k+1}=-B$ cancels it. Two choices differ by a closed degree-zero functional; modulo canonical transformations, the deformation choices are controlled by $H^0$. This is the precise content of “anomalies are obstructions”: not every anomaly is a number, and a vanishing representative in one regulator is meaningful only after locality and comparison maps have been checked.

The class must also be compatible across scales. A counterterm chosen independently at each $L$ may cancel the displayed equation pointwise while violating homotopy renormalization-group flow. The actual deformation complex therefore consists of local functionals with the covariance, symmetry, scaling, and scale-transport conditions imposed. This restriction can turn a formally exact cocycle in the unrestricted functional complex into a genuine local obstruction. Conversely, changing gauge fixing or regulator should transport the class by a quasi-isomorphism; dependence of its vanishing on such an auxiliary choice signals an incomplete comparison.

Chern–Simons around an acyclic connection

Let $M$ be a closed oriented three-manifold, $G$ compact with invariant form $\kappa$, and $A_0$ a flat connection. The shifted de Rham complex

$$\mathcal E=\Omega^\bullet(M;\operatorname{ad}P)[1], \qquad Q=\mathrm d_{A_0},$$

has BV pairing $\int_M\kappa(\alpha\wedge\beta)$ and cubic interaction $I_0(a)=\tfrac16\int_M\kappa(a\wedge[a,a])$. Flatness and the invariant Jacobi identity give the classical master equation. If $H^\bullet(M;\operatorname{ad}P)=0$, the background is acyclic, so the kinetic complex has no residual zero modes and a propagator can be chosen without first integrating over a finite-dimensional moduli space.

The one-loop obstruction lives in the degree-one local cohomology of this complex. A valid calculation must show that its class vanishes or identify the allowed counterterm; it must then track the separate framing dependence of the perturbative invariant. Acyclicity removes zero modes but does not remove the framing anomaly. The physical master-equation setup is developed at Master Equations and BV Gauge Fixing.

Failure boundaries

Vanishing of $[\mathfrak O_1]$ licenses extension through one loop, not all loops. Even vanishing at every formal order yields an element of $\mathbb C[[\hbar]]$, not a convergent function. Local anomaly cancellation also does not construct a positive Hilbert space, select a global gauge slice, or establish a nonperturbative measure. Finally, if the background is reducible rather than acyclic, the zero-mode sector must be retained as a derived finite-dimensional problem; deleting it changes the theory rather than fixing a gauge.

Exercises

Prove that $Q_{I_0}^2=0$ from the classical master equation.

Solution

For any observable $F$, graded Jacobi gives $Q_{I_0}^2F=\{QI_0+\tfrac12\{I_0,I_0\},F\}$. The expression in braces vanishes by the classical master equation, so the square is zero.

If two counterterms cancel the same obstruction, where does their difference live?

Solution

If $Q_{I_0}B=Q_{I_0}B'=-\mathfrak O$, then $Q_{I_0}(B-B')=0$. Thus their difference defines a degree-zero cohomology class; exact differences correspond to infinitesimal canonical redefinitions.

References

• Costello, Kevin. Renormalization and Effective Field Theory. Mathematical Surveys and Monographs 170. American Mathematical Society, 2011. AMS.
• Costello, Kevin, and Owen Gwilliam. Factorization Algebras in Quantum Field Theory, Volume 2. Cambridge University Press, 2021. doi:10.1017/9781316678664.