Obstruction–Deformation Complexes and Quantization Classes

A deformation problem is controlled not just by its parameters but by a cochain complex. Degree-one cohomology contains obstructions, degree-zero cohomology parameterizes inequivalent corrections after an obstruction vanishes, and degree-minus-one cohomology records infinitesimal equivalences between those corrections. In perturbative BV quantization the complex must be the local deformation complex. Exactness in an unrestricted complex is insufficient, because a nonlocal primitive is not an admissible counterterm.

Required background. BV Quantization and Obstruction–Deformation Complexes supplies the effective BV equation. L∞ Algebras, Formal Moduli, and Field Equations supplies the Maurer–Cartan interpretation. Deformation Quantization, Formality, and Star Products supplies the order-by-order associativity analogy. Helpful background. Ward Identities and Anomalous Obstructions explains the physical meaning of a nonzero class. Microlocal Renormalization Ambiguities and Their Classification supplies the distributional extension problem behind local counterterms.

The obstruction class at one perturbative order

Let $I_0$ be a classical interaction satisfying the classical master equation, and let

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

act on the complex $C^\bullet_{\mathrm{loc}}$ of admissible local functionals, with any symmetry and scaling restrictions included in the definition of that complex. Seek an effective quantum interaction

$$I=I_0+\hbar I_1+\hbar^2I_2+\cdots$$

satisfying the renormalized quantum master equation. If terms through order $\hbar^{n-1}$ have been chosen, the coefficient at order $\hbar^n$ has the form

$$d_{I_0}I_n+\Theta_n=0.$$

The lower-order master equation and the graded Jacobi identity imply $d_{I_0}\Theta_n=0$. Therefore $[\Theta_n]\in H^1(C^\bullet_{\mathrm{loc}},d_{I_0})$ is the obstruction. A lift exists exactly when this class vanishes. If $\Theta_n=d_{I_0}B_n$, one may take $I_n=-B_n$; any two choices differ by a closed degree-zero cochain. Modulo degree-minus-one equivalences, the set of lifts is a torsor for $H^0$. This is the field-theoretic version of the standard obstruction–deformation pattern.

Costello’s inductive construction makes the statement precise with simultaneous loop and polynomial-degree filtrations: the obstruction is closed and a lift is exactly a cochain whose differential is its negative Costello 2007, Lemma 13.1.2, pp. 53–54. The proof uses the master equation at the previous filtration stage; it does not assume that every closed local cochain is exact.

At first quantum order one can write schematically

$$\Theta_1=\Delta_{\mathrm{ren}}I_0,$$

where $\Delta_{\mathrm{ren}}$ denotes the finite local remnant of the regulated BV contraction. The notation is schematic because the unregulated BV Laplacian on local functionals is not defined. A regulator, subtraction prescription, and removal limit are part of the construction. Changing the prescription changes $\Theta_1$ by an allowed coboundary when the comparison theorem’s hypotheses hold, so the cohomology class—not a chosen representative—is the invariant obstruction.

First application: perturbative Chern–Simons theory

Connect this deformation problem to Chern–Simons Actions and Level Quantization. Let $M$ be a closed oriented three-manifold, $G$ compact with an invariant nondegenerate pairing, and $A_0$ a flat connection such that

$$H^\bullet(M,\operatorname{ad}P_{A_0})=0.$$

Acyclicity removes perturbative zero modes around $A_0$. The BV fields are $\Omega^\bullet(M,\operatorname{ad}P)[1]$, and the cubic Chern–Simons interaction supplies $I_0$. With heat-kernel regularization, the candidate one-loop obstruction is the local degree-one cocycle obtained from the short-distance boundary of the configuration-space integral. In flat space, Costello proves that there are no counterterms and that the uncorrected Chern–Simons interaction satisfies the renormalized master equation Costello 2007, Theorem 15.2.1, pp. 69–70. Thus the field-dependent local obstruction class represented by $\Theta_1$ vanishes in that scheme and under those hypotheses.

The global theorem is deliberately weaker than a statement about the complete partition function: it constructs a solution canonically up to contractible choice modulo field-independent constants Costello 2007, Theorem 15.0.6, pp. 66–67. Those constants matter for framing dependence. Around an acyclic flat connection, Axelrod and Singer compute the metric variation of the two-loop contribution and show that subtracting a specified multiple of the gravitational Chern–Simons functional, defined after choosing a framing, removes that metric dependence Axelrod–Singer 1992, Theorem 5.5 and Corollary 5.6, PDF pp. 29–30. A later paper supplies the full compactified-configuration-space treatment of the perturbation theory.

Consequently there are two related but distinct classifications. Field-dependent QME lifts are controlled by the local BV cohomology and are canonical modulo constants in Costello’s construction. Restoring the field-independent perturbative invariant requires a framing-dependent gravitational counterterm; after a framing is fixed, remaining choices are the permitted closed degree-zero local terms and an overall normalization. This does not derive the integer level condition from perturbation theory. Large-gauge invariance and the global form of $G$ impose that separate nonperturbative requirement.

An independent check is degree and locality. $\Theta_n$ has ghost number one, as required for an anomaly, whereas $I_n$ and an allowed counterterm have ghost number zero. The gravitational Chern–Simons correction is local in the background metric but depends on a framing; it therefore belongs to the field-independent background sector that the modulo-constants theorem excludes.

Failure test: a nonlocal primitive

Suppose $\Theta_1$ is closed in the local complex but becomes exact only after applying a Green operator $G$:

$$\Theta_1=d_{I_0}(G\Theta_1).$$

The kernel of $G$ has support away from the diagonal, so $G\Theta_1$ is generally nonlocal. Adding it to the action would correlate separated regions and violate the admissible counterterm condition. The obstruction therefore remains nonzero in $H^1(C^\bullet_{\mathrm{loc}})$ even though it vanishes in a larger complex of all cochains. This is the requested adversarial failure: unrestricted exactness does not license a local quantization.

There is also no converse from a vanishing first obstruction. Higher $\Theta_n$ can be nonzero, a regulator-removal estimate can fail, or the resulting formal series can have no nonperturbative meaning. The theorem at each order establishes one lift in a specified local formal problem, not a complete quantum field theory.

Exercises

Assume $[\Theta_n]=0$ and let $I_n$ and $I'_n$ be two solutions of $d_{I_0}I_n=-\Theta_n$. Show that their difference defines a class in $H^0$.

Solution

Subtracting the two equations gives $d_{I_0}(I_n-I'_n)=0$. Both terms have degree zero, so their difference is a degree-zero cocycle. Changing either solution by $d_{I_0}$ of a degree-minus-one cochain is an equivalence, leaving a class in $H^0(C^\bullet_{\mathrm{loc}},d_{I_0})$.

Why does acyclicity of $A_0$ simplify, but not prove, perturbative Chern–Simons quantization?

Solution

Acyclicity removes harmonic zero modes and makes the gauge-fixed kinetic operator invertible on the relevant complement, so a propagator can be defined without residual finite-dimensional fields. It does not by itself control ultraviolet collisions, prove the local obstruction class vanishes, fix framing dependence, or impose large-gauge level quantization.

References

• Axelrod and Singer 1992, Chern–Simons Perturbation Theory, in Proceedings of the XXth International Conference on Differential Geometric Methods in Theoretical Physics, World Scientific, 3–45. Open PDF
• Costello 2007, Renormalisation and the Batalin–Vilkovisky Formalism, arXiv:0706.1533 [math.QA]. Open PDF