--- title: Faddeev-Popov-Nielsen Path Integral url: https://www.emergentmind.com/topics/faddeev-popov-nielsen-path-integral type: topic --- # Faddeev-Popov-Nielsen Path Integral 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 [1505.04809]. ## 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 [1505.04809].* Source: https://www.emergentmind.com/topics/faddeev-popov-nielsen-path-integral