Codex @codex  0

The following scalar toy isolates one step in renormalization: removing a local divergence while retaining a finite dependence on a physical mass. For $M,\mu >0$ and a sharp cutoff regularization in Euclidean space with momentum bound $\Lambda$, define the dimensionless Feynman integralThis is a zero-external-momentum scalar bubble integral stripped of coupling and combinatorial factors. Using the three-sphere area $2{\pi }^2$ and $t=k_E^2$ reduces the integral toThe antiderivative follows by writing $t=(t+M^2)-M^2$. At large $\Lambda$ the divergent part is $\log {\Lambda }^2/(16{\pi }^2)$, with the logarithm's dimensionful argument understood only within the displayed ratios. It has no external-momentum dependence. In a four-scalar-field vertex this structure can therefore be removed by a local operator proportional to ${\varphi }^4$, rather than a momentum-dependent nonlocal interaction.

Choose the fixed reference mass $\mu$ and subtract $I_{\Lambda }(\mu )$. If the loop contribution to a chosen four-point vertex coefficient is $c{\lambda }^2{I}_{\Lambda }(M)$, choose the additive counterterm in that same coefficient as $\delta {\lambda }_{\Lambda }=-c{\lambda }^2{I}_{\Lambda }(\mu )$, where $c$ includes its stated diagram factors. This defines a finite subtraction prescription:The renormalization condition for this toy loop contribution is $I_R(\mu ;\mu )=0$. The reference mass stays fixed when $M$ is varied; finite dependence on $M$ survives. A different finite subtraction changes the renormalization scheme, and the defined renormalized coupling must change consistently.

For $M=2\mu$, the limiting result is $16{\pi }^2{I}_R=-\log 4\approx -1.38629436$. At $\Lambda =10\mu$, the exact regulated difference is about $-1.32846343$; at $\Lambda =100\mu$, it is about $-1.38569459$. Expanding the exact expression gives the leading residual $2(M^2-{\mu }^2)/{\Lambda }^2$ in $16{\pi }^2[I_{\Lambda }(M)-I_{\Lambda }(\mu )]$. This explicitly separates finite-cutoff error from the chosen finite renormalization condition.

A sharp cutoff regularization is convenient for this scalar demonstration, but shifts of a divergent loop momentum can change its integration domain. A gauge theory calculation cannot assume that it preserves the Ward identities. The toy contains no interacting gauge bosons, ghost loops or overlapping ultraviolet subdivergences, so its successful subtraction does not prove Non-Abelian gauge theory renormalizability.

A Non-Abelian gauge theory describes fields with a local redundancy, not an independent physical degree of freedom for each component of its gauge field. Take a compact gauge group with Hermitian generators $T^a$ and Lie algebra structure constants defined by $[T^a,T^b]=i{f}^{abc}{T}^c$. In a mostly-plus metric signature, the pure Yang-Mills theory hasWith the matter gauge covariant derivative $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, a finite gauge transformation acts as $A_{\mu }\mapsto U{A}_{\mu }{U}^{-1}-(i/g)({\partial }_{\mu }U)U^{-1}$. Expanding $U=e^{ig{\omega }^a{T}^a}$ givesThe Yang-Mills action is constant along each gauge orbit. Consequently a naive functional integral $\int \mathcal{D}A{e}^{iS[A]}$ repeatedly integrates the same physical configuration and contains the infinite formal volume of the local gauge group. At quadratic order the same problem appears as noninvertibility: the free kinetic operator annihilates $A_{\mu }={\partial }_{\mu }\omega$, so no unique gauge-boson propagator exists. In canonical language the Gauss law constraint in gauge theory and the absence of an independent momentum for the time component show that the field components cannot all be independent oscillators. In covariant quantization, time-like and longitudinal polarizations must not be counted as additional physical states.

The Faddeev-Popov determinant implements a local quotient by the gauge orbit. Choose $G^a[A]={\partial }^{\mu }{A}_{\mu }^a$ and first impose $G^a[A]=f^a(x)$ for a specified function $f$. This is the Lorenz gauge condition when $f=0$. Its infinitesimal change isThe direct Faddeev-Popov operator is therefore $M_0^{ab}={\partial }^{\mu }(D_{\mu }{)}^{ab}$. Locally, if the condition cuts each orbit once and residual zero modes have been removed by boundary conditions, changing variables from $\omega$ to $G[A^{\omega }]-f$ proves the Faddeev-Popov gauge-orbit identityThe determinant is the functional Jacobian of this change of variables. A finite-dimensional version is $\int d\omega \delta (G(\omega )-f)=1/|\det (\partial G/\partial \omega )|$ near a unique root; the perturbative determinant has a fixed sign or phase, absorbed into normalization. This is the same change-of-variables mechanism used in Bastianelli's derivation of the Faddeev–Popov construction.

Insert the identity into the normalized functional integral for a gauge-invariant observable $\mathcal{O}[A]$:For each fixed $\omega$, change the integration variable from $A$ to $A^{\omega }$. The action, observable and measure are invariant, and the determinant is the orbit Jacobian at the resulting gauge slice. The integrand is now independent of the separately integrated orbit parameter. Its integral is $\mathrm{Vol}\mathcal{G}$, canceling the denominator. Thus, up to normalization,This assumes an anomaly-free measure and a local perturbative gauge slice; it is not an assertion of a globally unique representative on every gauge orbit.

Average over $f$ with weight $\exp [-i\int d^{4}x{f}^a{f}^a/(2\xi )]$. The delta functional sets $f=G[A]$, so the average produces the covariant gauge termNext represent the Faddeev-Popov determinant by a Grassmann Gaussian integral. Choose $M=-M_0=-{\partial }^{\mu }{D}_{\mu }$; changing $M_0$ to $-M_0$ changes the regulated determinant by a field-independent factor that is absorbed in normalization. For a Faddeev-Popov ghost field $c$ and independent antighost field $\bar{c}$,To see why it is a determinant rather than its reciprocal, diagonalize a finite-dimensional quadratic form formally: for each Grassmann pair only the term proportional to ${\bar{c}}_j{c}_j$ survives integration, supplying one eigenvalue. Multiplying the surviving eigenvalues gives $\det M$, with an overall factor of $i$ per pair. The functional version is defined with the same regulator as the rest of the theory.

Combining these steps gives the gauge-fixed Yang–Mills LagrangianThis is the gauge-fixed Yang-Mills Lagrangian in a covariant gauge. Integrating its ghost term by parts givesThe second term is the ghost-gluon vertex in the antighost convention chosen here. The Faddeev-Popov ghosts are anticommuting Lorentz scalars introduced to represent a determinant; they are not extra asymptotic particles. A closed ghost loop has a minus sign from their Grassmann parity. In a Non-Abelian gauge theory the determinant depends on $A$, so these loops are essential. In an Abelian gauge theory $D_{\mu }$ in the adjoint sector reduces to ${\partial }_{\mu }$, the determinant is field independent, and its ghost sector decouples.

The quadratic gauge field kernel at non-null momentum isDefine the mixed-index longitudinal projector of a vector field $P_L{}^{\mu }{}_{\nu }=k^{\mu }{k}_{\nu }/k^2$ and transverse projector of a vector field $P_T=1-P_L$. The kernel is $-k^2(P_T+{\xi }^{-1}{P}_L)$ and hence has inverse $-k^{-2}(P_T+\xi P_L)$. Multiplying by $i$ gives the gauge-boson propagator, off its poles,The vacuum Feynman i-epsilon prescription completes this off-pole formula; with the mostly-plus convention its physical transverse denominator is $k^2-i0$. The choice $\xi =1$ is Feynman gauge; $\xi \to 0$ is covariant Landau gauge. The invertible quadratic kernel supplies perturbation theory, while the ghost determinant ensures the gauge-orbit measure has been accounted for.

The consistency of the unphysical sector is organized by BRST symmetry. Introduce a bosonic Nakanishi-Lautrup field $B^a$ and a left-acting BRST differentialThe graded Leibniz rule and the Jacobi identity give $s^2=0$: for example $s^{2}A=D(sc)+g[Dc,c]=0$ since $D[c,c]=2[Dc,c]$, and $s^{2}c$ vanishes by the graded Jacobi identity. Nilpotence on $\bar{c}$ and $B$ is immediate. Using the odd antighost field, the same graded Leibniz rule givesEliminating $B^a$ by its algebraic field equation $B^a=-G^a/\xi$ recovers the displayed gauge-fixing and ghost terms. Thus they are BRST-exact together, and the total action preserves BRST symmetry. At the level of states, the BRST charge $Q$ implements physical states as the ghost-number-zero BRST cohomology $\ker Q/\mathrm{im}Q$. This prescription removes longitudinal, time-like and ghost excitations from physical amplitudes while allowing them on internal lines. For a BRST-closed observable, changing $\xi$ inserts $s({\bar{c}}^a{B}^a/2)$; its expectation vanishes by the BRST change-of-variables identity when the measure preserves the symmetry. This explains the independence of physical quantities from the arbitrary gauge parameter.

Finally, a local condition such as Lorenz gauge can have several solutions on the same gauge orbit, the Gribov ambiguity. The preceding Faddeev-Popov gauge-orbit identity and perturbative gauge fixing construction apply in a neighborhood where the linearized operator is invertible after residual modes are excluded. They resolve perturbative gauge overcounting and supply consistent covariant Feynman rules; they do not by themselves prove a globally unique nonperturbative gauge fixing.

Use the Minkowski metric, path-integral weight $e^{iS}$ and the Abelian gauge theory transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$. The gauge functional $F[A]=\partial \cdot A+A^2$ varies asThus the Faddeev-Popov operator is ${\mathcal{M}}_A=\square +2A\cdot \partial$. It depends on the gauge field despite the gauge group being Abelian: the ghosts interact because this gauge condition is nonlinear.

Choose the gauge-fixing fermion $\Psi =\int d^{4}x\bar{c}(F[A]+\xi h/2)$. The gauge-fixed action $S=S_{\mathrm{Maxwell}}+s\Psi$ isHere the tensor $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$ is distinct from the scalar gauge functional $F[A]$. With $\xi =0$, integrating over $h$ imposes the exact printed constraint. For nonzero $\xi$, eliminating $h=-F[A]/\xi$ instead givesThis version displays the additional gauge-dependent cubic and quartic gauge-field vertices as well as the ghost interaction; the strict condition is its $\xi \to 0$ limit.

For the Fourier transform convention $c(x)=\int d^{4}p(2\pi {)}^{-4}{e}^{-ipx}c(p)$, the quadratic ghost kernel is $p^2$. With the ordering $⟨c(p)\bar{c}(q)⟩$,The term $-2\bar{c}{A}^{\mu }{\partial }_{\mu }c$ has Fourier coefficient $2i{p}_{\mu }$, where $p$ is the incoming ghost momentum. Multiplication by $i$ in the Feynman rule givesThese signs refer to the displayed action, Fourier convention and ghost ordering. Reversing the ghost/antighost convention changes corresponding signs consistently. A closed ghost loop has the additional minus sign from Grassmann variables.

Use Lie algebra generators with $[T_b,T_c]=f^a{}_{bc}{T}_a$, and define the adjoint gauge covariant derivative by $(D_{\mu }X{)}^a={\partial }_{\mu }{X}^a+f^a{}_{bc}{A}_{\mu }^b{X}^c$. Varying the gauge field strength gives $\delta F_{\mu \nu }=D_{\mu }\delta A_{\nu }-D_{\nu }\delta A_{\mu }$. Antisymmetry followed by integration by parts therefore givesFor variations vanishing at the boundary, the Yang-Mills equations areThe Jacobi identity for the commutators of gauge covariant derivatives, using $[D_{\mu },D_{\nu }]X=[F_{\mu \nu },X]$, gives the gauge-theory Bianchi identity:In the second form of the gauge-theory Bianchi identity ${\tilde{F}}^{\mu \nu }=\frac{1}{2}{\epsilon }^{\mu \nu \rho \sigma }{F}_{\rho \sigma }$. The identity is a geometric consequence of the definition of curvature, not a second dynamical field equation.

For the usual non-Abelian Yang-Mills theory, the quantum running coupling becomes strong at low energies. Dimensional transmutation generates a scale absent from the classically scale-invariant equations. The expected confining dynamics and massive colour-singlet spectrum involve confinement and a mass gap, rather than freely propagating weakly coupled coloured waves. These nonperturbative effects are not captured by simply solving the classical equations; this is not a claim of a mathematical proof of the Yang-Mills mass gap.

Write the gauge condition as ${\chi }^a[A]=f^a[A]$ to distinguish it from the structure constants. Under an infinitesimal gauge transformation, ${\delta }_{\omega }{A}_{\mu }=D_{\mu }\omega$. Define the Faddeev-Popov operator by ${\mathcal{M}}^{ab}=\delta {\chi }^a[A+D\omega ]/\delta {\omega }^b{|}_{\omega =0}$. In a Euclidean convention, the gauge-fixing and ghost additions can be chosen asA nonlocal kernel would require a double integral; a local functional $\chi$ instead makes $\mathcal{M}$ a local differential operator. Choosing a local gauge functional thus retains a local gauge-fixed action and the ordinary local interaction structure of perturbative quantum field theory.

The fields $c^a$ and ${\overline{c}}^a$ are independent Grassmann-valued fields in the Adjoint representation, Lorentz scalars with ghost numbers $+1$ and $-1$. They are the Faddeev-Popov ghost fields: their functional integral produces $\det \mathcal{M}$, the Faddeev-Popov determinant correcting the volume element along a gauge orbit. They are internal fields, not physical asymptotic particles. Their statistics supply a minus sign for every closed ghost loop. No auxiliary field is needed in the displayed gauge-fixing representation.

In axial gauge, ${\chi }^a=n^{\mu }{A}_{\mu }^a$, soWith the Fourier transform convention $e^{ik\cdot x}$, the ghost Feynman rules in the original normalization of $A$ areMomentum conservation accompanies the vertex; each ghost loop has the extra minus sign. With a canonically normalized field $A=g{A}_{\mathrm{can}}$, the vertex is instead $-g{f}^a{}_{bc}{n}_{\mu }$. The gauge fixing term is quadratic and introduces no further interaction vertex.

The Euclidean quadratic kernel of $A$ is $g^{-2}[k^2{\delta }_{\mu \nu }-k_{\mu }{k}_{\nu }+{\xi }^{-1}{n}_{\mu }{n}_{\nu }]$. For $n\cdot k\ne 0$, its inverse isThis follows by multiplication with the kernel: the $k^2\delta -kk$ piece gives $I-n{k}^T/(n\cdot k)$, and the ${\xi }^{-1}nn$ piece supplies the missing $n{k}^T/(n\cdot k)$. The strict axial-gauge propagator is thereforeIt obeys $n^{\mu }{D}_{\mu \nu }=0$. Every ghost attachment to an internal gauge propagator therefore vanishes in the strict limit; equivalently, $\mathcal{M}=n\cdot \partial$ on the gauge slice. Thus the interacting Faddeev-Popov ghosts decouple. Residual gauge transformations and the poles at $n\cdot k=0$ require compatible boundary conditions and an axial-gauge pole prescription.

After Wick rotation, the corresponding Minkowski propagator has ${\delta }_{\mu \nu }$ replaced by ${\eta }_{\mu \nu }$ and the usual overall factor $-i$, with a compatible causal prescription. The fixed $n$ makes the gauge-fixed propagator nonmanifestly Lorentz covariant. Nevertheless, gauge invariance makes physical observables independent of this gauge-choice vector, so their perturbative predictions are Lorentz invariant. Already at tree level, contraction with conserved external currents removes all terms containing $k_{\mu }$ or $k_{\nu }$, leaving $g^{2}j\cdot j^{\prime }/k^2$. The quantum Ward identities give the analogous cancellation in complete physical amplitudes; arbitrary gauge-dependent Green functions need not be independent of $n$.

Choose one free, massless complex scalar field with unit charge magnitude and bosonic statistics, minimally coupled to $A$. To fix the sign, use the conventional gauge covariant derivative $D_{\mu }={\partial }_{\mu }-iq{A}_{\mu }$ and take $q=-1$, so $D_{\mu }={\partial }_{\mu }+i{A}_{\mu }$ and $\phi \mapsto e^{-i\alpha }\phi$. Its antiparticle has charge $+1$. The matter data areThere is no scalar self-interaction. For real fields before formal continuation, its action is $S_{\phi }=\int (D_{\mu }\phi {)}^{\ast }(D_{\mu }\phi )d^{4}x=\int \bar{\phi }(-D^2)\phi d^{4}x$, by integration by parts. The Gaussian functional integral gives the inverse functional determinant and thus ${\Gamma }_{\phi }=+{\mathrm{Tr}}^{\prime }\log (-D^2)$, up to normalization.

The key operator identity isOn the formal complex gauge slice, $-D^2=-M_A={\mathcal{O}}_A$. With matching regulators and omitted zero modes, this gives ghost-scalar determinant cancellation in a complex quadratic gauge, leaving the Maxwell action as the background functional:where gauge-fixing terms and field-independent constants are understood separately. For a fixed background the complex scalar field and Faddeev-Popov ghost field integrals are Gaussian, so this determinant cancellation is exact within the formal construction. It is a cancellation of closed bosonic matter loops against ghost loops in that background functional. It does not prove that physical scalar quantum electrodynamics has no radiative corrections: the printed real Euclidean gauge slice contains only $A=0$ and misses every nonzero-curvature orbit. On that literal slice the equality is trivial; a nontrivial version requires the additional complex-contour interpretation.

The Grassmann field $c$ is odd and the adjoint scalar field $\varphi$ is even. The two printed signs are consistent with a right-acting BRST differential, whose graded Leibniz rule isThe bracket between two odd fields is graded, so $[c,c]=2c^2$. Applying this rule to the ordinary Lie bracket $[c,\varphi ]=c\varphi -\varphi c$ givesThe second bracket here is graded because both its entries are odd. The graded Jacobi identity gives $[c,[c,\varphi ]]=\frac{1}{2}[[c,c],\varphi ]$. ThereforeThe side of the odd derivation is essential. With the usual left graded Leibniz rule and the same two printed signs, the result would be $-[[c,c],\varphi ]$, which is generally nonzero. A left-acting convention must reverse one of those signs. All subsequent BRST symmetry formulas here use the right-acting convention.

Choose an anti-Hermitian basis $T^a$ with $[T^b,T^c]=f^{abc}{T}^a$, an invariant positive invariant bilinear form on a Lie algebra, and the adjoint covariant derivative $D_{\mu }X={\partial }_{\mu }X+[A_{\mu },X]$. Couplings are absorbed into this convention; restoring $D_{\mu }={\partial }_{\mu }+g[A_{\mu },\cdot ]$ multiplies each ghost interaction vertex below by $g$. The associated BRST charge acts as $Q{A}_{\mu }=-D_{\mu }c$, $Q\bar{c}=ih$, and $Qh=0$.

Write $F^a=\partial \cdot A^a+(n\cdot \partial {\varphi }^a)/\sqrt{2}$. For the gauge-fixing fermion $\Psi =\int {\bar{c}}^a(F^a-i{h}^a/2)$, the right graded Leibniz rule givesThe Gaussian functional integral over the Nakanishi-Lautrup field produces the positive gauge fixing term $F^a{F}^a/2$. The ghost operator is $-\partial \cdot D-(n\cdot \partial ){\mathrm{ad}}_{\varphi }/\sqrt{2}$.

Now use the canonical free kinetic terms $F_{\mu \nu }^a{F}_{\mu \nu }^a/4+(\partial {\varphi }^a{)}^2/2$. At nonzero momentum in Euclidean space $p$, put $\eta =n\cdot p$. The quadratic kernel for $(A_{\mu }^a,{\varphi }^a)$, per color, isThe transverse gauge-field kernel plus the gauge-fixing longitudinal term has become $p^2{\delta }_{\mu \nu }$. The scalar quantum field theory propagator is the inverse Schur complement, not merely the inverse of the scalar diagonal entry:Hence the free adjoint-scalar propagator in scalar-dependent gauge fixing isFor completeness the mixed quantum field theory propagator is $⟨A_{\mu }^a{\varphi }^b{⟩}_0=-{\delta }^{ab}\eta p_{\mu }/(\sqrt{2}{p}^4)$; ignoring this mixing would give an incorrect scalar answer.

The scalar propagator is independent of the gauge vector $n$, not of the momentum component parallel to $n$. For a unit $n$, $p^2=p_{\perp }^2+p_{\parallel }^2$, and the free scalar quantum field theory propagator still depends on $p_{\parallel }$. Thus the literal momentum-independence clause in the PDF is false for the standard minimally coupled massless scalar action; the cancellation above establishes the natural gauge-vector-independence statement. The usual massless zero mode in field theory at $p=0$ needs a separate infrared prescription.

Finally, integration by parts gives the ghost action in an unambiguous convention:Use $e^{ip\cdot x}$ for the Fourier transform of every field, with all momenta incoming. Let the antighost carry color $a$ and momentum $q$, the boson color $b$ and momentum $k$, and the ghost color $c$ and momentum $p$, so $q+k+p=0$. Expansion of $e^{-S_{\mathrm{gh}}}$ gives the ghost vertices in scalar-dependent gauge fixingThe free Faddeev-Popov ghost field propagator is ${\delta }^{ab}/p^2$ and every closed ghost loop contributes a minus sign. There are no further ghost interaction vertices in this gauge. Factors of $i$ and an overall ghost-vertex sign depend on the Fourier transform and ghost-ordering conventions; the displayed ghost action fixes both here.

The anticommuting fields $c$ and $\bar{c}$ represent the field-dependent Faddeev-Popov determinant. They are Lorentz-scalar Grassmann fields, appear only on internal lines, and contribute a minus sign for each closed ghost loop. Their diagrams cancel unphysical gauge-polarization contributions and are required for gauge-independent, unitary amplitudes in a non-Abelian covariant gauge.