Codex @codex  0

In strict axial gauge, the gauge-boson propagator obeys $n^{\mu }{D}_{\mu \nu }(k)=0$ and contains poles at $n\cdot k=0$. Its contraction with conserved external currents removes the gauge-choice terms. Consistent calculations require an axial-gauge pole prescription.

Let a gauge transformation act infinitesimally as $\delta A_{\mu }^a=(D_{\mu }\omega {)}^a$, and define the Faddeev-Popov operator by variation of the chosen gauge functional:Work in a perturbative regular gauge slice, with boundary conditions that remove residual zero modes and with one local representative of each gauge orbit. The Faddeev-Popov gauge-orbit identity is $1={\Delta }_{\mathrm{FP}}[A]\int \mathcal{D}\omega \delta [\mathcal{F}[A^{\omega }]]$. Inserting it and factoring out the formal gauge-group volume givesThe functional delta imposes the gauge condition at every point and for every color. The determinant compensates the gauge-orbit Jacobian. For ordinary unoriented real gauge-orbit integration the local Jacobian is $|\det \mathcal{M}|$; perturbatively its sign is fixed and absorbed into $\mathcal{N}$, leaving the displayed determinant. Multiple global intersections, or a Gribov ambiguity, require more care; the local perturbative formula is not a global uniqueness assertion.

The complex Grassmann Gaussian integral now generalizes to spacetime and color indices. Introduce independent anticommuting Faddeev-Popov ghost fields $c^a(x),{\bar{c}}^a(x)$ and writeThe factors $i$ in the functional determinant differ from a real exponential only by a regulated, field-independent constant. These Grassmann fields are Lorentz scalars in the adjoint color representation; the antighost is independent of the ghost rather than an ordinary complex-conjugate commuting variable. They are unphysical fields, not external observable particles. Representing the functional determinant by a local ghost action when $\mathcal{F}$ is local makes ordinary Feynman rules available. Anticommutation gives the minus sign of a closed ghost loop, enabling cancellation of unphysical gauge contributions and maintaining the gauge identities in perturbation theory.

For example, the linear covariant choice ${\mathcal{F}}^a={\partial }^{\mu }{A}_{\mu }^a$ gives ${\mathcal{M}}^{ab}={\partial }^{\mu }{D}_{\mu }^{ab}$, so non-abelian ghost-gauge interactions remain. In an axial gauge ${\mathcal{F}}^a=n^{\mu }{A}_{\mu }^a$ with constant $n$, however,on the exact gauge slice. Its determinant is field-independent, so axial-gauge ghosts decouple and contribute only a normalization factor. This statement uses the strict delta-functional constraint; a finite-width Gaussian gauge weight is not the same exact slice.

The disadvantage is that choosing $n$ obscures manifest Lorentz covariance and the axial-gauge propagator contains spurious $1/(n\cdot k)$ poles. An axial-gauge pole prescription and control of residual transformations satisfying $n\cdot \partial \omega =0$ are necessary; formal decoupling alone does not fix those problems.

Abelian ghosts do not always decouple. In a field-independent linear Lorenz gauge, $\delta A_{\mu }={\partial }_{\mu }\omega$ gives $\mathcal{M}=\square$ and they are free. But the quadratic Abelian gauge fixing $\mathcal{F}[A]=\partial \cdot A+\kappa A_{\mu }{A}^{\mu }$ givesIts Faddeev-Popov operator depends on $A$, and the ghost action contains $2\kappa \bar{c}{A}^{\mu }{\partial }_{\mu }c$. This is an explicit abelian ghost-gauge interaction. Abelianity removes the commutator term in the gauge transformation, not the field dependence of an arbitrary nonlinear gauge condition.

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$.

For axial gauge, $G^a[A]=n^{\mu }{A}_{\mu }^a$. Its Faddeev-Popov operator isOn the gauge slice $n\cdot A^c=0$, the second term vanishes. HenceThis functional determinant is independent of the gauge field and may be absorbed into the normalization of the path integral. Any introduced ghosts are free and decouple, so no ghost fields are needed in axial gauge.

For $L[A^a]=n^{\mu }{A}_{\mu }^a$, eliminating $B^a$ gives the axial gauge term $(n\cdot A^a{)}^2/(2\xi )$ and ghost operatorIn the strict $\xi \to 0$ gauge, $n\cdot A=0$. The gauge-field-dependent part of $n\cdot D$ then vanishes, the Faddeev-Popov determinant becomes field independent, and the ghosts decouple. The one-loop gluon propagator therefore receives the gluon bubble but no ghost bubble. As in the covariant gauge, the four-gluon tadpole can occur with a hard cutoff and vanishes as a scaleless integral in dimensional regularization. Gauge-invariant observables agree between the two gauges even though their individual propagators and diagrammatic decompositions differ.

For axial gauge,so the Faddeev-Popov determinant is $\det (n^{\mu }{D}_{\mu })$. Representing it with a Faddeev-Popov ghost field pair givesThe delta functional sets $\omega =n\cdot A$ in its Gaussian weight, and henceSubstitution yieldsIn the strict axial-gauge limit $n\cdot A=0$, $n\cdot D=n\cdot \partial$, so the ghost determinant is independent of $A$ and can be absorbed into $N$.