Faddeev-Popov-Nielsen Path Integral

• Faddeev-Popov-Nielsen path integral formalism is a mathematical framework that quantizes gauge theories by implementing gauge-fixing and introducing ghost fields.
• It represents the Faddeev-Popov determinant via Grassmann-odd ghost fields to manage redundant gauge degrees of freedom effectively.
• The formalism ensures consistency with slice-invariant Feynman rules and identities like Ward and Nielsen, maintaining gauge-parameter independence in perturbative evaluations.

The Faddeev-Popov-Nielsen path integral formalism is a foundational perturbative construction for quantum gauge theories, enabling explicit evaluation of path integrals in the presence of gauge symmetries. It provides a rigorous treatment of gauge-fixing, the representation of the Faddeev-Popov determinant by Grassmann-odd ghost fields, and the derivation of slice-invariant Feynman rules and gauge-parameter independence identities. This formalism was presented in a mathematically succinct way by Nguyen, with finite-dimensional algebraic "toy models" establishing the essential logic, and with explicit formulas lifted to the infinite-dimensional setting encountered in quantum field theory (Nguyen, 2015).

1. Formal Path Integral Prior to Gauge Fixing

Let $M$ be a smooth $n$-manifold equipped with a volume form $dV$ and a smooth action $S: M \rightarrow \mathbb{R}$. The finite-dimensional partition function is

$$I(h)\;=\;\int_{M}dV(x)\,\exp(-S(x)/h)\,, \qquad h\to0$$

Assuming a Lie group $G$ acts freely and volume-preservingly on $M$ and $S$ is $G$-invariant, the integral formally divides out the gauge degrees of freedom: $$I(h) = \mathrm{Vol}(G)\,\int_{M/G} dV_{M/G}(y)\,\exp(-S(y)/h)$$ In infinite-dimensional quantum field theory, the analogous formal path integral over fields $\phi$ is

$Z = \int D\phi\,\exp(-S[\phi]/\hbar)$

with the gauge symmetry rendering the group volume infinite unless gauge-fixing is imposed.

2. Faddeev–Popov Gauge-Fixing and Determinants

Gauge-fixing is achieved by selecting a function $F: M \rightarrow Q$ so that $S = F^{-1}(q_0)$ provides a local slice transversal to the $G$-action. The Faddeev–Popov unity insertion is expressed algebraically as

$$1 = \int_{g \in G} \delta(F(g \cdot x))\,\Delta_{FP}(g \cdot x)\,Dg$$

The Faddeev-Popov determinant is defined via the infinitesimal action $\ell_x: \mathfrak{g} \to T_xM$: $\Delta_{FP}(x) = \det\bigl(dF_x \circ \ell_x\bigr)$ Inserting this into the path integral and integrating over gauge orbits yields the gauge-fixed partition function: $$I(h) = \int_{S} dV_{S}(x)\,\Delta_{FP}(x)\,e^{-S(x)/h}$$ The perturbative equivalence of different gauge slices is mathematically guaranteed (Thm. 2.3).

A weighted variant involves inserting $\exp[-H(F(x))/h]$ for a function $H$ with a unique nondegenerate minimum at $q_0$, modifying the formal degree but leaving perturbative Feynman rules unchanged (Thm. 2.5, 2.9).

3. Ghost Fields and the Gauge-Fixed Path Functional

In infinite-dimensional field theory, mimicking the finite-dimensional procedure yields

$$Z = \int D\phi\,\delta(F[\phi])\,\Delta_{FP}[\phi]\,e^{-S[\phi]/\hbar}$$

The Faddeev–Popov determinant is represented by a Grassmann integral: $$\Delta_{FP}[\phi] = \det M[\phi] = \int Dc\,D\bar{c}\, \exp\Bigl(-\int d^dx\, \bar{c}^a(x) M^{ab}[\phi] c^b(x)\Bigr)$$ Introducing ghost fields $c(x)$ and antighosts $\bar{c}(x)$, the final gauge-fixed generating functional is

$$Z = \int D\phi\,Dc\,D\bar{c}\, \exp\Bigl(-S[\phi] - \int d^dx\,\bar{c}^a(x) M^{ab}[\phi] c^b(x)\Bigr)$$

Or, concisely: $$Z = \int D\phi\,Dc\,D\bar{c}\, \exp\Bigl(-S[\phi] - \langle \bar{c},\,M[\phi]\,c \rangle\Bigr)$$ where $$\langle \bar{c},\,M[\phi]\,c \rangle = \int d^dx\,\bar{c}^a M^{ab}[\phi] c^b$$.

4. Wick Expansion and Perturbative Evaluation

For perturbative calculations, the gauge-fixed action and ghost operator are expanded about a classical solution $\phi_0$: $$S[\phi] = S[\phi_0] + \frac{1}{2} \int (\phi-\phi_0) S''[\phi_0] (\phi-\phi_0) + \text{(higher-order)}$$ An analogous expansion applies to $M[\phi]$ for ghosts. Propagators are defined by the inverses:

• Bosonic: $G(x,y) = (S''[\phi_0])^{-1}$
• Ghost: $G_{gh}(x,y) = (M[\phi_0])^{-1}$

Wick’s theorem prescribes that correlation functions are computed by summing over all pairwise contractions, with ghost loop contractions contributing a minus sign.

5. Invariance Properties of the Wick Expansion

Coordinate-invariance of the Wick expansion for finite-dimensional integrals is established (Thm. 1.5), implying independence from the choice of local coordinates. The key lemma is the vanishing of the Wick expansion for total derivatives (Lemma 1.4).

Gauge-condition invariance (Thm. 2.8) asserts that the Wick expansion of the gauge-fixed integral does not depend on the choice of gauge slice $S$. In infinite dimensions, the perturbative expansion and resulting Feynman rules are likewise independent of which gauge-fixing function $F$ or gauge parameter $\xi$ is adopted.

6. Ward and Nielsen Identities

Ward-type identities derive from infinitesimal symmetries $\delta_\epsilon \phi$ of $S$: $$0 = \int D\phi\, \delta_\epsilon (O[\phi] e^{-S[\phi]/\hbar}) = \langle \delta_\epsilon O + \tfrac{1}{\hbar} O \delta_\epsilon S \rangle$$ In gauge theory, choosing the BRST differential yields the Slavnov–Taylor identities.

Nielsen identities describe the dependence of the quantum effective action $\Gamma[\Phi]$ on the gauge parameter $\xi$. The gauge-fixed action takes the form

$$S_{\rm tot}[\phi;\xi] = S_{\rm inv}[\phi] + \tfrac{1}{2\xi} \int F[\phi]^2 + \bar{c}\,M[\phi]\,c$$

and the formal identity is

$$\frac{\partial \Gamma[\Phi]}{\partial \xi} = -\langle \partial_\xi S_{\rm tot} \rangle_{\Phi} = -\langle \frac{1}{2\xi^2} \int F[\phi]^2 \rangle_{\Phi}$$

This guarantees that on-shell observables are independent of $\xi$.

7. Mathematical Structure: Formalism, Regularization, and Limitations

The Wick expansion utilized in the Faddeev–Popov-Nielsen formalism is inherently an algebraic formal power series in $h$ or $\hbar$; no convergence is assumed, only an asymptotic meaning when a regulator is imposed (Section 3).

In infinite dimensions, regulators (lattice, cutoff, dimensional, heat-kernel, etc.) are required so all propagator and loop integrals are finite. Counterterms are selected to maintain the finiteness of the $\hbar$-expansion after removing the regulator.

The finite-dimensional proofs of slice- and coordinate-invariance (Thm. 2.3, 2.8) hold at the algebraic level. Their infinite-dimensional analogs are rigorously valid order-by-order in perturbation theory, once a gauge-invariant regularization procedure is implemented.

The Wick expansion is generally only asymptotic, even in finite dimensions (Thm. 3.2). In quantum field theory, this leads to a reliance on the perturbative viewpoint unless nonperturbative constructions (e.g., through localization or surgery in specific low-dimensional models) are available—these lie outside the reach of standard Faddeev–Popov treatment.

This article relies on "The Perturbative Approach to Path Integrals: A Succinct Mathematical Treatment" by Nguyen (Nguyen, 2015).