Codex @codex  0

Expanding the ghost covariant derivative in Yang-Mills theory produces an interaction between the Faddeev-Popov ghost field, Faddeev-Popov antighost field, and gauge boson. For the displayed kinetic convention, Fourier factors $e^{-ipx}$ and all momenta incoming give vertex $-g{f}^{abc}{k}_{\mu }$, where $k$ is the antighost momentum. The structure constants encode the Adjoint representation. Propagator, vertex, Fourier, and ghost-order conventions must be chosen consistently.

A ghost propagator is the two-point function $⟨Tc(x)\bar{c}(y)⟩$ of a Faddeev-Popov ghost field and its independent Faddeev-Popov antighost field. For quadratic action $\int \bar{c}Mc$ and source ordering consistent with that field ordering, the Grassmann integral gives $G_c=i{M}_F^{-1}$. The subscript specifies the causal pole prescription. For the negative derivative kinetic term $-\int \partial \bar{c}\cdot \partial c$, the Fourier kernel is $M=-p^2$. With signature $(-,+,+,+)$ this gives $G_c=-i/(p^2-i0)$. Field normalization multiplies the inverse kernel accordingly, while an antighost sign redefinition changes propagator and vertex signs together. Anticommuting statistics and loop signs do not turn these auxiliary fields into physical asymptotic particles.

The Polyakov action introduces an independent worldsheet metric $h_{ab}$:Its redundancies are worldsheet diffeomorphisms and Weyl transformations. A Polyakov path integral over all metrics without dividing by this gauge volume would count physically equivalent configurations repeatedly. Fixing conformal gauge therefore needs the Faddeev-Popov determinant, not merely the substitution of a flat metric into the action.

After using the Weyl transformation to remove the trace of a metric variation, the infinitesimal worldsheet diffeomorphism ghost operator isThe Faddeev-Popov determinant of this operator is represented by anticommuting fields: a vector Faddeev-Popov ghost $c^a$ and a symmetric traceless Faddeev-Popov antighost field $b^{ab}$. In Euclidean coordinates their worldsheet ghost action is, up to a consistent overall normalization,The two chiral copies of this bc system have conformal weights $(2,-1)$ and anticommutators $\{b_m,c_n\}={\delta }_{m+n,0}$. They are auxiliary fields for the gauge determinant, not additional spacetime particles. Their use is different from the unwanted timelike negative-norm string states of covariant matter quantization.

The chiral holomorphic stress-energy tensor of the bc system isDouble contractions in its operator product expansion give the central charge of reparameterization ghosts $c_{\mathrm{gh}}=-26$. Equivalently, a fermionic bc system with antighost weight $\lambda$ has $c=1-3(2\lambda -1{)}^2$, and $\lambda =2$ gives $-26$. The free coordinate matter contributes $c_{\mathrm{m}}=D$. Thus the total worldsheet Weyl anomaly vanishes for the flat critical bosonic string theory precisely whenThis statement assumes no additional matter or compensating Liouville field theory.

BRST symmetry expresses the gauge symmetry after gauge fixing by replacing its infinitesimal parameter with the Grassmann variable $c$. In one chiral conformal patch, its graded action has the formthere is an analogous barred copy for a closed string. The Grassmann parity makes $s^{2}X=0$: the term from $sc$ cancels the term from applying $s$ to $\partial X$, while the term with $c^2$ vanishes. The gauge-fixed chiral transformations are on shell when their conservation equations are used. At the quantum level, BRST nilpotence also tests the anomaly.

For example, an open string BRST charge can be written using the matter Virasoro generators asUse the ghost oscillator vacuum $b_{n\ge 0}|0{⟩}_{mathrmgh}=c_{n>0}|0{⟩}_{mathrmgh}=0$ and the corresponding oscillator normal ordering. In this convention the last term is $-c_0$ in the critical theory. With a differently shifted ghost $L_0$, the displayed intercept must be shifted consistently; one must not count the same shift twice. Squaring $Q_B$ shows why both critical conditions are needed. Its anomalous terms, in this convention, have coefficientsThe independent cubic and linear terms vanish at $D=26$, $a=1$. The equivalent chiral BRST current is $j_B=c(T_{mathrmm}+T_{mathrmgh}/2)+(3/2){\partial }^{2}c$, with its contour integral defining the charge.

The graded identity $\{Q_B,b_n\}=L_n^{\mathrm{tot}}$ recovers the gauge constraints. In particular, on $|\psi ⟩\otimes |0{⟩}_{mathrmgh}$, BRST-closed imposes $L_{n>0}^{\mathrm{m}}|\psi ⟩=0$ and $(L_0^{\mathrm{m}}-1)|\psi ⟩=0$. Physical states are classes in BRST cohomology,at the appropriate ghost number: one for the usual open-string vertex and two for the closed-string vertex, with the closed-string zero-mode and closed-string level matching conditions also imposed. Since $Q_B^2=0$, an exact shift preserves closure. BRST Ward identities make exact insertions decouple from physical amplitudes and establish gauge independence. Together with the no-ghost theorem for the critical bosonic string, this explains how the auxiliary ghosts enforce gauge invariance while the physical spectrum retains positive norm.

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.

Without gauge fixing, gauge-equivalent configurations are integrated repeatedly, and the quadratic gauge-field operator has zero modes along infinitesimal gauge transformations. It therefore has no inverse with which to define perturbative propagators. A gauge condition removes these directions locally in the perturbative expansion. The associated Faddeev-Popov determinant can be represented by anticommuting Faddeev-Popov ghost fields and Faddeev-Popov antighost fields.

First make the normalization explicit. For the fields literally occurring in the action with overall $1/g^2$, putThe resulting kinetic terms are canonical, and the interaction terms carry powers of $g$. We use signature $(-,+,+,+)$ and incoming Fourier modes $e^{ipx}$, consistent with the displayed $p^2-i0$ denominators. The quadratic action in the canonical fields isColor indices are diagonal. Introduce the longitudinal and transverse projectors $P_{L,\mu \nu }=p_{\mu }{p}_{\nu }/p^2$ and $P_T=\eta -P_L$. The gauge kinetic matrix is $-p^2(P_T+{\xi }^{-1}{P}_L)$, with inverse $-(P_T+\xi P_L)/p^2$. The ghost kinetic operator is $-p^2$. The Gaussian functional integral and Grassmann integral therefore giveThe longitudinal formula is understood as the Feynman-prescribed inverse of the kinetic operator; away from its poles the projector inversion is ordinary algebra. The propagators for the original unrescaled fields are $g^2$ times these expressions. Using $P_{T}p=0$ and $P_{L}p=p$ giveswith either normalization. This is the longitudinal gauge propagator contraction.

The canonical ghost interaction comes directly from the covariant derivative:For incoming antighost momentum $p$, the derivative supplies $i{p}^{\mu }$; the expansion of $e^{iS}$ supplies another $i$. Thus the ghost-gluon vertex is $g{p}^{\mu }{f}_{abc}$, as requested. For unrescaled fields its coefficient is instead $p^{\mu }{f}_{abc}/g^2$. The printed order-$g$ rule presupposes canonical normalization; keeping the overall $1/g^2$ and an order-$g$ vertex for the same unrescaled variables would mix conventions. Choosing Fourier modes $e^{-ipx}$ instead reverses the vertex sign and must be done consistently for all momentum assignments.

In Feynman gauge, $\xi =1$, the one-loop ghost two-point graph has one internal ghost line and one internal gauge line joined by two such vertices. The external ghost line is open, so it does not carry a closed ghost-loop minus sign. With an orthonormal adjoint basis, the structure constants are totally antisymmetric, and the color product along this line is $f_{adc}{f}_{cdb}=-C{\delta }_{ab}$. The two internal propagators supply $(-i{)}^2=-1$, leaving a positive color-and-vertex factor for the amputated insertion. DefineThe amputated insertion is $i{\delta }_{ab}{g}^2{I}_d(p)C$. Restoring the two external canonical ghost propagators gives the one-loop contributionThe literal unrescaled correlator in the question is $g^2{G}^{(1)}$, hence of order $g^4$, whereas its tree term is $-i{\delta }_{ab}{g}^2/(p^2-i0)$. In $d\ne 4$ the dimensionless renormalized coupling convention adds ${\mu }^{4-d}$ multiplying $g^2$ in the canonical loop term.

To evaluate the Feynman integral, combine the denominators with a Feynman parameter:Shift $\ell =k-(1-\alpha )p$. The denominator becomes $[{\ell }^2+\alpha (1-\alpha )p^2-i0{]}^2$, and the numerator is $p\cdot \ell +(1-\alpha )p^2$. The odd term vanishes in translation-invariant dimensional regularization. For spacelike $p$, a Wick rotation converts the remaining integral into a Euclidean one and cancels the prefactor $1/i$. The needed radial integral isIndeed, spherical coordinates and $u={\ell }_E^2/M^2$ leave a beta integral ${\int }_0^{\infty }{u}^{d/2-1}(1+u{)}^{-2}du=\Gamma (d/2)\Gamma (2-d/2)$; the angular factor cancels $\Gamma (d/2)$. Establish this first in a convergent range and then analytically continue in $d$. Substituting $M^2=\alpha (1-\alpha )p^2$ yieldsThis is the printed result, including the factor $1/i$ in its Minkowski-space definition. Equivalently the parameter integral is $B(d/2-1,d/2)$. Symmetry under $k\leftrightarrow p-k$ also gives $I_d(p)$ as $p^2/2$ times the massless scalar bubble, independently checking the numerator factor.

Write $ϵ=4-d$. Since $\Gamma (ϵ/2)=2/ϵ+O(1)$ and the parameter integral tends to ${\int }_0^1(1-\alpha )d\alpha =1/2$, the pole isHere $p$ is off shell and nonzero, separating the ultraviolet pole from massless infrared issues. The unrescaled amplitude has an extra factor $g^2$. The divergence is proportional to the existing ghost kinetic operator, so the one-loop ghost kinetic counterterm in Feynman gauge is local:It inserts $-i\delta Z_c{p}^2$ into the inverse propagator, cancelling the divergent insertion $+i{g}^{2}C{I}_d(p)$. With the two external propagators attached, its contribution is $+i{\delta }_{ab}\delta Z_c/p^2$, cancelling the displayed connected amplitude pole. In the original variables the same action term is $-\delta Z_c\partial \bar{c}\cdot \partial c/g^2$. If instead one defines dimensional regularization by $d=4-2ϵ$, the identical counterterm is written $\delta Z_c=g^{2}C/(32{\pi }^2ϵ)$; the factor of two is purely the regulator convention.

The ghost kinetic term as printed is $-{\partial }^{\mu }{\bar{c}}^a{\partial }_{\mu }{c}^a$. Integration by parts gives ${\bar{c}}^a\square c^a$, so its Fourier-space quadratic kernel is $K_c^{ab}(p)=-p^2{\delta }^{ab}$. Completing the Grassmann square in the same generating functional givesKeep the source order fixed, using a left derivative for $\bar{\eta }$ and a right derivative for $\eta$. Including the two insertion factors produces $⟨Tc\bar{c}⟩=i{K}_{c,F}^{-1}$, just as in the Gaussian generating functional for a Dirac field. ThereforeThe minus sign follows from the particular ghost Lagrangian in this paper. A convention with the opposite ghost kinetic sign has the opposite $c\bar{c}$ propagator; redefining the Faddeev-Popov antighost field changes its interaction and source signs at the same time. Mixing propagator and vertex conventions would give an erroneous loop sign. This is the ghost propagator for a negative derivative kinetic term.