Perturbative Gauge QFT: Constructions and Scope

Perturbative algebraic QFT constructs renormalized interacting fields and local observable algebras as formal power series, including gauge theories when the relevant BRST Ward identities can be imposed. Its theorems are powerful precisely because their codomain is explicit: an algebra over $\mathbb C[[\hbar,g]]$, not a convergent operator algebra at a numerical coupling. This page assembles Yang–Mills observables through second order and records which conclusions are formal, local, infrared, or Hilbert-space statements.

Required background. The quantum master equation supplies the renormalized gauge identity; the pAQFT Bogoliubov map constructs interacting fields; and BV obstruction–deformation theory interprets anomalies cohomologically.

Helpful background. Adiabatic limits and interacting nets distinguish local from global switching; formal-series construction and states fix the coefficientwise meaning; gauge fields on curved backgrounds provide the free complex; reducible $p$-form systems require ghosts for ghosts; and curved-spacetime BRST–BV renormalization supplies local-covariance conditions.

Formal local algebras and the Bogoliubov map

Fix a globally hyperbolic spacetime, a gauge-fixed free BV complex, a Hadamard two-point function, and the algebra $\mathfrak F_{\mu c}$ of microcausal functionals. Renormalized time-ordered products $T_n$ are multilinear maps satisfying causal factorization, microlocal spectrum, locality/covariance, field independence, and the chosen normalization conditions. For a compactly supported interaction $V$, define the formal $S$-matrix

$$S(V)=1+\frac{i}{\hbar}T_1(V) +\frac{1}{2!}\left(\frac{i}{\hbar}\right)^2T_2(V,V)+\cdots$$

and the relative $S$-matrix $S_V(F)=S(V)^{-1}\star S(V+F)$. The interacting field is the Bogoliubov derivative

$$R_V(F)=\left.\frac{\hbar}{i}\frac{d}{dt} S(V)^{-1}\star S(V+tF)\right|_{t=0}.$$

Writing $V=gV_1$, causal perturbation theory gives the coefficientwise expansion

$$R_V(F)=F+gR_1(V_1;F) +\frac{g^2}{2}R_2(V_1,V_1;F)+O(g^3).$$

Each coefficient is a well-defined distribution after extension to coincident points according to the renormalization axioms. The symbol $O(g^3)$ is formal: no remainder estimate at nonzero $g$ is asserted. Causal factorization lets one define a local interacting algebra in a region where the switching function equals one, without demanding a global adiabatic limit.

Yang–Mills through second order

The exact first application returns to the BV master equation and gauge fixing. Start from the free gauge-fixed fields $(A,c,\bar c,B)$ and antifields, take $V_1$ to contain the cubic Yang–Mills vertex, ghost coupling, and antifield terms encoding the nonlinear BRST transformation, and include the quartic vertex at order $g^2$. For a compactly supported gauge-invariant free observable such as $F(f)=\int f\,\operatorname{tr}(F_{\mu\nu}F^{\mu\nu})$, the formula above defines $R_V(F)$ through second order.

This construction is physically gauge-consistent only if the renormalization prescription satisfies the anomalous master Ward identity with vanishing removable obstruction. Cohomologically trivial breakings can be absorbed by finite local counterterms; a nonzero class in the relevant local BRST cohomology blocks the identity. Hollands constructs the algebra of gauge-invariant Yang–Mills fields as formal series on globally hyperbolic spacetimes and establishes the required hierarchy of Ward identities under his hypotheses Hollands 2008, §§3–4, especially §§4.5–4.7. Fredenhagen and Rejzner formulate the renormalized BV operator and quantum master equation within pAQFT Fredenhagen and Rejzner 2013, §§4.2–4.3, pp. 716–721.

The mechanism is inductive. Causal factorization fixes $T_n$ away from the total diagonal. Extending distributions to the diagonal leaves finite local ambiguities. The Ward-identity violation at order $n$ is local and satisfies a consistency condition; triviality of its BRST class permits a counterterm that restores the identity without changing lower orders. This is an all-orders recursive construction, not a summation theorem.

Five distinct status questions

For the second-order Yang–Mills object, the master identity is verified coefficientwise once the obstruction class is removed. Gauge-parameter independence holds for BRST-cohomology classes under admissible changes of gauge fixing and compatible renormalization; off-shell Green functions can change. The infrared statement is only local algebraic independence from how a switching function is changed outside the causal region. A global massless adiabatic limit is not thereby obtained. Convergence at numerical $g$ is unproved. A positive physical representation is conditional on a suitable free state and BRST positivity/deformation hypotheses; the formal algebra alone is not a completed Hilbert-space theory.

An independent check uses causal factorization twice: change the switching function outside the causal hull of the observable and construct the intertwiner between the two local algebras. Separately apply the interacting BRST differential to $R_V(F)$ and verify vanishing modulo exact terms through $g^2$. Neither check bounds the growth of higher coefficients.

The adversarial failure is to present a finite-order, renormalized Green function as an existing positive-metric continuum theory. The coefficient can satisfy locality and Ward identities while the series diverges, the global infrared limit fails, or no positive representation exists. The valid conclusion is a formal local construction with specified identities and coefficientwise observables.

Exercises

Why can $S(V)$ be inverted without a convergence proof?

Solution

Its constant coefficient is the identity. Every series $1+gA_1+g^2A_2+\cdots$ has a unique inverse in a unital formal power-series algebra, obtained recursively coefficient by coefficient. This algebraic inverse says nothing about convergence at numerical $g$.

State what second-order BRST closure establishes.

Solution

It establishes that the coefficients through $g^2$ of the interacting BRST variation vanish, or are exact in the specified complex, after the allowed counterterms. It does not establish closure of a summed operator, convergence, a global adiabatic limit, or positivity.

References

• Fredenhagen, Klaus, and Katarzyna Rejzner. “Batalin–Vilkovisky Formalism in Perturbative Algebraic Quantum Field Theory.” Communications in Mathematical Physics 317 (2013): 697–725. DOI; Open PDF.
• Hollands, Stefan. “Renormalized Quantum Yang–Mills Fields in Curved Spacetime.” Reviews in Mathematical Physics 20 (2008): 1033–1172. DOI; Open PDF.