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.

The Faddeev-Popov operator for $n\cdot A=0$ is $n\cdot D$. Its interaction contains $\bar{c}(n\cdot A)c$ and vanishes on the strict gauge slice. Equivalently, its ghost-gluon vertex is proportional to $n_{\mu }$ and the axial-gauge propagator obeys $n_{\mu }{D}^{\mu \nu }=0$. The residual determinant is field independent; its zero modes and $n\cdot p$ singularities still require a compatible axial-gauge pole prescription. Faddeev-Popov ghost decoupling does not mean that the free Faddeev-Popov ghost two-point function is zero.

Contract the numerator of the quoted light cone gauge propagator with $n_{\mu }$:Thus every internal gluon emerging from a ghost-gluon vertex contributes a factor $n_{\mu }{\tilde{\Delta }}^{\mu \nu }=0$. Every ghost-dependent contribution to a physical gluon or matter amplitude vanishes. Equivalently, the strict condition $n\cdot A=0$ removes the Faddeev-Popov ghost interaction in i, leaving the field-independent determinant $\det (n\cdot \partial )$, which cancels from normalized correlators.

This is ghost decoupling in strict axial gauge, not a statement that the free Faddeev-Popov ghost propagator itself is zero. The algebra assumes a consistent axial-gauge pole prescription for $n\cdot p=0$ and treatment of residual gauge zero modes. The overall sign assigned to the displayed vector propagator does not enter the contraction proof. With the mostly-minus convention and the usual $-F^2/4$ action, its conventional prefactor is $-i/(p^2+i0)$; the source prints $+i$. Either prefactor gives the same zero contraction, so no sign correction is needed to obtain the requested ghost-decoupling result.

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