Codex @codex  0

The gauge-invariant Yang-Mills action integrates over physically equivalent configurations along each gauge orbit. At the quadratic level its gauge-field kernel has longitudinal zero directions: in momentum space $K_{\mu \nu }(k)=-k^2{\eta }_{\mu \nu }+k_{\mu }{k}_{\nu }$ satisfies $K_{\mu \nu }{k}^{\nu }=0$. It therefore has no inverse from which to construct a gauge-boson propagator. Gauge fixing both removes the redundant orbit integration and supplies an invertible quadratic operator away from the ordinary physical propagator poles.

For the covariant condition ${\partial }^{\mu }{A}_{\mu }=0$, the Faddeev-Popov determinant is that of ${\partial }^{\mu }{D}_{\mu }$. Its representation by odd Faddeev-Popov ghost fields and antighost fields produces the displayed ghost term. In a nonabelian theory $D_{\mu }$ depends on the gauge field, so the determinant is not an irrelevant constant: ghost interactions must be retained. The even Nakanishi-Lautrup field $b$ writes gauge fixing in a form with off-shell BRS symmetry. For $\xi \ne 0$, its algebraic equation is $b=-\partial \cdot A/\xi$, giving $-(\partial \cdot A{)}^2/(2\xi )$ after elimination. At $\xi =0$ it imposes the gauge condition as a Lagrange multiplier.

For the nilpotence proof, write the adjoint bracket as $[X,Y{]}^a=f^{abc}{X}^b{Y}^c$, with coefficients in a Grassmann algebra. If $|X|,|Y|$ are their parities, this is a graded Lie bracket:Thus two odd fields have a symmetric bracket, in particular $[c,c]$ need not vanish. The transformations become $s{A}_{\mu }=D_{\mu }c$, $sc=-[c,c]/2$, $s\bar{c}=-b$, $sb=0$, and $s$ obeys the left graded Leibniz rule.

Because $D_{\mu }$ is even, $D_{\mu }[c,c]=[D_{\mu }c,c]+[c,D_{\mu }c]=2[D_{\mu }c,c]$. Varying both the field and the connection in $D_{\mu }c$ now givesFor the ghost,The last equality is the graded Jacobi identity applied to three copies of the odd field $c$. In components the remaining expression is $\frac{1}{2}{f}^{abc}{f}^{bde}{c}^d{c}^e{c}^c$; its coefficient is antisymmetrized over $c,d,e$, and the ordinary Jacobi identity for the structure constants makes that antisymmetrization zero. Finally $s^2\bar{c}=-sb=0$ and $s^{2}b=0$. HenceThis is off-shell nilpotence of the Yang-Mills BRST quartet.

To verify invariance of the complete Lagrangian, $s{F}_{\mu \nu }=[F_{\mu \nu },c]$, obtained from $[D_{\mu },D_{\nu }]c=[F_{\mu \nu },c]$. Thus $s(F_{\mu \nu }^a{F}^{\mu \nu a})=0$ because the product of the two curvature components is symmetric in their color labels while $f^{abc}$ is antisymmetric. The remaining terms vary asThe last term vanishes by the already proved $s^{2}A=0$, and the first and third terms cancel pointwise. ThereforeEquivalently, the covariant gauge-fixing density as a BRST variation is $s\Psi$ with $\Psi =-{\bar{c}}^a(\partial \cdot A^a+\xi b^a/2)$. The graded sign from moving $s$ past $\bar{c}$ produces the positive ghost term, and $s^2\Psi =0$ proves its invariance. No integration-by-parts qualification is needed for the density as written.

Let $Q=Q_{\mathrm{BRS}}$ be the BRS charge. The physical state space is its BRST cohomology, usually at ghost number zero:Nilpotence ensures $\mathrm{im}Q\subseteq \ker Q$. A state $Q|\chi ⟩$ is orthogonal to every closed state because $⟨\psi |Q|\chi ⟩=⟨Q\psi |\chi ⟩=0$, and its norm is $⟨\chi |Q^2|\chi ⟩=0$. Thus adding an exact state changes neither physical inner products nor amplitudes. Self-adjointness here is relative to the stated indefinite Hermitian form; a nonzero self-adjoint nilpotent operator could not exist on a positive-definite state space. Positivity must be proved on the quotient, not assumed on the gauge/ghost space.

Fix a color label and a nonzero momentum $k$, and take the usual nontrivial asymptotic charge, $\alpha \ne 0$. Nilpotence on a vector state gives $Q|c⟩=0$, because at least one component of $k$ is nonzero. Nilpotence on the antighost state then givesThe two coefficients are complex conjugates as required by self-adjointness: using the given ghost pairing,Thus the antighost-to-vector coefficient is ${\alpha }^{\ast }$, as the printed bar notation indicates. These conditions are the massless shell condition and the consistency of the charge with the inner products.

A general one-particle vector representative is $|\epsilon ⟩={\epsilon }^{\mu }|A_{\mu }⟩$. It is closed precisely when $k_{\mu }{\epsilon }^{\mu }=0$. The vector state $k^{\mu }|A_{\mu }⟩=Q|\bar{c}⟩/\bar{\alpha }$ is exact, so representatives obeyThe ghost state is also exact: choose $v^{\mu }$ with $\alpha v\cdot k=1$, then $Q(v^{\mu }|A_{\mu }⟩)=|c⟩$. The antighost state is not closed because its image is a nonzero longitudinal vector. More explicitly, closure of a general sum of vector, ghost and antighost states forces the antighost coefficient to vanish and the vector polarization to be orthogonal to $k$; its ghost component disappears in the quotient. Thus the full one-particle cohomology already reduces toWith the mostly-plus Minkowski metric, choose a Lorentz frame with $k^{\mu }=(\omega ,0,0,\omega )$, $\omega >0$. Closure gives ${\epsilon }^3={\epsilon }^0$, and the norm isSubtracting a multiple of $k$ sets ${\epsilon }^0={\epsilon }^3=0$. Consequently positive one-particle BRST cohomology consists of two transverse positive-norm polarizations per color, represented by $|A_1⟩,|A_2⟩$. A nonzero class has strictly positive norm; the zero-norm longitudinal direction was precisely the exact direction removed.

The qualifications $k\ne 0$ and $\alpha \ne 0$ are essential to this one-particle argument. The zero-momentum sector requires separate treatment, and the trivial-charge case cannot yield the asserted removal of negative-norm vector states from the stated relations alone. Abstract nilpotence and self-adjointness by themselves do not guarantee positive cohomology.

Let $R_i(x)={\partial x_{g(\theta )}/\partial {\theta }_i|}_{\theta =0}$ be the infinitesimal orbit tangent vectors. Since $F_j(x_0)=0$, Taylor expansion givesThis explains the stated linearization. For a linear group representation, $R_i(x)=t_{i}x$ in the corresponding action convention.

Two assumptions are implicit in the advertised integration formula. The slice must be regular, and the determinant sign must be fixed if the absolute value is omitted. Uniqueness alone does not imply regularity: translations on the line with $F(x)=x^3$ have a unique gauge-fixed representative but $M(0)=0$. For ordinary real integration the Dirac delta distribution change-of-variables formula uses $|\det M|$. The choice $F(x)=-x$ instead has a unique regular zero and negative determinant, illustrating why its sign cannot simply be dropped.

Assume a regular gauge slice with one representative on each orbit, and choose the action convention $(x_{g_0}{)}_{g(\theta )}=x_{g(\theta )g_0}$, matching the specified right-invariance of Haar measure. For the unique $x_0=x_{g_0}$ with $F(x_0)=0$, put $g=g(\theta )g_0$. The Haar density is one at the identity, so changing from $\theta$ to $F$ near the unique zero givesThe integral is orbit invariant by the right-invariance of Haar measure. Thus $\Delta (x)=I(x{)}^{-1}$ is also orbit invariant, and on the gauge slice it equals $|\det M(x)|$. Insert $1=\Delta (x)I(x)$ into the original integral and use its invariant volume measure and invariant $f$:In the second line set $y=x_g$. This proves the finite-dimensional Faddeev-Popov gauge reductionChoose a positive orientation of the regular slice to obtain the question's $\det M$ form. If the group volume is infinite, its cancellation in normalized quantities is formal or regulated. Multiple intersections and residual zero modes invalidate the simple identity; in a gauge theory these are the Gribov ambiguity and residual gauge transformations.

The Yang-Mills action counts every gauge orbit redundantly in its path integral, and its quadratic gauge-field operator has gauge zero modes. A gauge fixing condition removes this redundancy, while the Faddeev-Popov determinant supplies the orbit-to-slice Jacobian. This is a local perturbative construction with the same regularity qualifications as the finite-dimensional derivation.

Take the linear condition $G[A]=F^{\mu }{A}_{\mu }$. Under an infinitesimal gauge transformation $\delta A_{\mu }=D_{\mu }\omega$, its change is $\delta G=F^{\mu }{D}_{\mu }\omega$. Hence the Faddeev-Popov operator is $\mathcal{M}[A]=F^{\mu }{D}_{\mu }$. For Lorenz gauge, $F^{\mu }={\partial }^{\mu }$. The gauge covariant derivative acts in the Adjoint representation.

Average the sharp constraint $G=h$ over $h$ with Gaussian weight $\exp [-i\int h^2/(2\xi )]$. This replaces it by $\exp [-i\int G[A{]}^2/(2\xi )]$. The Gaussian gauge fixing with an auxiliary field identity rewrites that factor asby completing the square. The bosonic Nakanishi-Lautrup field $b$ is nondynamical: its algebraic field equation is $b=-G[A]/\xi$. At $\xi =0$ it is a Lagrange multiplier enforcing $G[A]=0$.

The Grassmann Gaussian integral exponentiates the determinant, up to a field-independent phase, asThe independent anticommuting Faddeev-Popov ghost field $c$ and Faddeev-Popov antighost field $\bar{c}$ are spacetime scalars in the Adjoint representation. They represent the Jacobian and do not describe physical external fermions. Combining these factors givesThe parameter $\xi$ selects the Gaussian averaging of the gauge condition. In an anomaly-free regulated treatment, physical gauge-invariant observables are independent of this choice. One way to express this is BRST symmetry: with $sA=Dc$, $s\bar{c}=-b$ and $sb=0$, the gauge and ghost terms are $s[-\bar{c}\cdot (G+\xi b/2)]$. The ghost transformation supplies the off-shell nilpotence of the Yang-Mills BRST quartet, and gauge-fixing parameter independence from BRST symmetry explains why these auxiliary fields do not change the physical content.