Codex @codex  0

Use gauge-fixing term $({\partial }^{\mu }b)\cdot A_{\mu }$, ghost term $-({\partial }^{\mu }\bar{c})\cdot D_{\mu }c$, and the left-acting BRST differential with $s\bar{c}=b$. Localizing the odd parameter on the left yields $\delta S=-\int ({\partial }_{\mu }ϵ)j_B^{\mu }$. Moving it through the antighost derivative determines the last sign. Changing the overall Noether convention reverses this current; rewriting gauge fixing by integration by parts changes its improvement term. Every summand has ghost number one.

For a left-acting BRST differential with $sA=Dc$, $s\bar{c}=b$, $sb=0$, choose $\Psi ={\bar{c}}^a(\partial \cdot A^a+\xi b^a/2)$. The graded Leibniz rule gives $s\Psi =b\partial \cdot A+\xi b^2/2-\bar{c}\partial \cdot Dc$. Integrating the auxiliary Gaussian yields $-(\partial \cdot A{)}^2/(2\xi )-\bar{c}\partial \cdot Dc$. At $\xi =1$ this is Feynman gauge. Opposite antighost or exact-action sign conventions require a corresponding change of fermion.

// Target: relativistic-quantum-field.bigb

In conformal gauge, let the odd left-acting BRST differential act by $sX=c^{+}{\partial }_{+}X+c^{-}{\partial }_{-}X$ and $s{c}^{\pm }=c^{\pm }{\partial }_{\pm }{c}^{\pm }$. The graded Leibniz rule gives the displayed expression for $s^{2}X$. It vanishes using the ghost equations of motion ${\partial }_{-}{c}^{+}={\partial }_{+}{c}^{-}=0$, but it is not zero for arbitrary off-shell fields. For independent Grassmann variables $\xi ,\rho$, take $c^{+}=\xi$, $c^{-}=\rho {\sigma }^{+}$ and $X={\sigma }^{-}$; then $s^{2}X=-\xi \rho \ne 0$. Each ghost itself satisfies $s^2{c}^{\pm }=0$ algebraically. With the eliminated-antighost transformation $s{b}_{\pm \pm }=i{\theta }_{\pm \pm }/{\alpha }^{\prime }$ and $s{\theta }_{\pm \pm }=0$ on the solution space, the antighosts are nilpotent too. This on-shell closure is compatible with an off-shell total-derivative variation of the gauge-fixed action. A full off-shell BRST quantization uses the complete gauge transformation and, where required, auxiliary fields rather than silently dropping mixed ghost derivatives.

The parity grading records whether a homogeneous element has even or odd Grassmann degree. Homogeneous elements obey $XY=(-1{)}^{|X||Y|}YX$. An odd differential uses the graded Leibniz rule; this is the sign bookkeeping behind left-acting BRST differential calculations.

The Polyakov action is invariant under worldsheet diffeomorphisms and Weyl transformations, ${\gamma }_{ab}\mapsto e^{2\omega }{\gamma }_{ab}$. A two-dimensional metric has three local components: two coordinate transformations and one Weyl function remove these locally. In conformal gauge the factor $\sqrt{-\gamma }{\gamma }^{ab}$ is independent of the conformal scale, and on a flat coordinate patch the matter action isThus it is the action of $d$ free scalar fields, with their target-space contractions using the Minkowski metric. On a Euclidean sphere there are no unpunctured conformal moduli: a metric can be put into the conformal class of the round metric, and in stereographic patches the scalar action has this free-field form. This does not mean that the sphere has a globally flat metric. A spherical worldsheet here is understood after Wick rotation; it has no nonsingular global Lorentzian metric. The residual Möbius transformations and their zero modes still have to be divided out or fixed by vertex positions.

To derive the worldsheet ghost action, consider an infinitesimal diffeomorphism generated by $v^a$ and a Weyl variation $\omega$. The metric variation separates asIntegration over the Weyl parameter removes the trace gauge condition. The trace-free part produces the Faddeev-Popov determinant of an operator mapping vectors to symmetric traceless tensors. This is trace elimination in string Faddeev-Popov gauge fixing. The stated Grassmann Gaussian integral exponentiates this determinant with an odd vector $c^a$ and an odd symmetric trace-free antighost $b_{ab}$.

The normalization of the operator and antighost can be chosen to match the printed convention. For example, in a flat patch take $P=-P_1/2$. It differs from the orbit operator only by a field-independent determinant factor. Tracelessness and symmetry give $b_{ab}(Pc{)}^{ab}=-b_{ab}{\partial }^a{c}^b$. Integration by parts, followed by exchanging two odd factors, gives $\int b_{ab}{\partial }^a{c}^b=\int c^a{\partial }^b{b}_{ab}$. Consequently the determinant exponent is $+(2\pi {)}^{-1}\int c^a{\partial }^b{b}_{ab}=i{I}_{\mathrm{gh}}$ withOverall constant normalization does not affect the determinant's dependence on the fields. The Faddeev-Popov ghost fields are vectors, while the antighost fields are symmetric trace-free tensors; they are not extra target-space string excitations.

Now use ${\sigma }^{\pm }=\tau \pm \sigma$, ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$ and $c^{\pm }=c^0\pm c^1$. In these coordinates ${\eta }_{+-}={\eta }_{-+}=-1/2$ and ${\partial }^{\pm }=-2{\partial }_{\mp }$. Tracelessness implies $b_{+-}=0$, so directlyThereforeFor a Cartesian check, $b_{11}=b_{00}$ and $b_{++}=(b_{00}+b_{01})/2$, $b_{--}=(b_{00}-b_{01})/2$ reproduce the same result.

The original PDF repeats ${\delta }_{\eta }{c}^{+}$ for its final ghost transformation. The second occurrence must be ${\delta }_{\eta }{c}^{-}$; otherwise the displayed rules give two incompatible transformations for one ghost and none for the other. Write the corrected transformation as ${\delta }_{\eta }\Phi =\eta s\Phi$, with $\eta$ on the left. Then the odd left-acting BRST differential satisfies the graded Leibniz rule $s(AB)=(sA)B+(-1{)}^{|A|}A(sB)$. Its local rules areThe last two expressions are $s{b}_{\pm \pm }=i{\theta }_{\pm \pm }/{\alpha }^{\prime }$ with the matter-plus-ghost worldsheet stress tensor in the question.

Here is an off-shell check of the action variation, including the Grassmann signs. Temporarily set $c=c^{+}$, $f=c^{-}$, $b=b_{++}$, $h=b_{--}$, $u={\partial }_{+}X$ and $v={\partial }_{-}X$. Apart from the common factor $1/\pi$, the total Lagrangian is $\mathcal{L}=u\cdot v/{\alpha }^{\prime }+i(c{\partial }_{-}b+f{\partial }_{+}h)$. Its matter variation isThe matter terms in $sb$ and $sh$ give the ghost-action contribution ${\alpha }^{\prime -1}[c{\partial }_{-}(u^2)+f{\partial }_{+}(v^2)]$. Combining these terms with the last two matter terms produces ${\alpha }^{\prime -1}[{\partial }_{-}(c{u}^2)+{\partial }_{+}(f{v}^2)]$.

The remaining contribution from the $c,b$ sector iswhere subscripts denote derivatives. In the last equality the terms $c_{-}{c}_{+}b$ and $c_{+}{c}_{-}b$ cancel by anticommutation. The $f,h$ sector has the same identity with $+\leftrightarrow -$. ThuswhereHence the total action is BRST invariant up to a boundary term, which vanishes on a closed worldsheet or under the usual compatible boundary and time-end conditions. This calculation requires no equations of motion.

Nilpotence needs a qualification for these particular chiral rules. For either ghost, $s(c\partial c)=(c\partial c)\partial c-c\partial (c\partial c)=0$, because $c^2=(\partial c{)}^2=0$. Thus $s^2{c}^{\pm }=0$ algebraically. For the embedding, however, the graded calculation givesMixed second derivatives of $X$ cancel because $c^{+}{c}^{-}=-c^{-}{c}^{+}$. The remaining terms vanish on the ghost equations of motion, ${\partial }_{-}{c}^{+}={\partial }_{+}{c}^{-}=0$, which follow by varying the antighosts in the chiral ghost action. They need not vanish off shell. An explicit counterexample uses independent Grassmann variables $\xi ,\rho$: take $c^{+}=\xi$, $c^{-}=\rho {\sigma }^{+}$ and one coordinate $X={\sigma }^{-}$. Then $s^{2}X=-\xi \rho \ne 0$.

For the antighosts, use the permitted stress-tensor identity $s{\theta }_{ab}=0$ on the classical solution space. Then $s^2{b}_{\pm \pm }=(i/{\alpha }^{\prime })s{\theta }_{\pm \pm }=0$. Indeed direct variation of the displayed stress tensors giveswhich vanish using the ghost equations and the free matter wave equation. Therefore two successive BRST transformations annihilate every field on shell. This is chiral conformal-gauge BRST nilpotence is on shell, not an unrestricted off-shell identity for arbitrary ghosts. Quantum BRST nilpotence additionally requires cancellation of the worldsheet anomaly, giving $d=26$ in the critical bosonic theory.

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.

Fix the current sign convention by defining the localized variation as ${\delta }_{ϵ}S=-\int d^{d}x({\partial }_{\mu }{ϵ}^a)j_a^{\mu }$. For a first-derivative Lagrangian invariant without a boundary term under constant parameters, this means $j_a^{\mu }=-\partial \mathcal{L}/\partial ({\partial }_{\mu }\varphi )t_a\varphi$; include the usual improvement term if the constant variation is a total derivative. On solutions, arbitrary compactly supported parameters imply ${\partial }_{\mu }{j}_a^{\mu }=0$. The Noether charge is $Q_a=\int d^{d-1}x{j}_a^0$ and is conserved if the spatial flux vanishes. This sign convention matches the printed Ward identity; reversing the current also reverses the corresponding generator convention.

Assume an invariant regulated functional measure, invariant vacuum boundary conditions and no quantum anomaly. Changing variables in the normalized path integral gives $0=⟨{\delta }_{ϵ}X⟩+i⟨X{\delta }_{ϵ}S⟩$. Integration by parts then yieldsFor a product of scalar fields, the local Ward identity contact terms areAway from the insertions this is current conservation. Time-ordering or the distributional functional identity supplies the contact terms.

For the gauge theory write $[X,Y{]}^a=f^{abc}{X}^b{Y}^c$ and use the left-acting BRST differential $s$, with ${\delta }_{ϵ}=ϵs$. It obeys the graded Leibniz rule andAssume the structure constants satisfy the Jacobi identity and the dot product is invariant; antisymmetry alone would not be enough. Since $c$ and $D_{\mu }c$ are odd, their Lie brackets are symmetric in these two arguments. ConsequentlyAlso $s{F}_{\mu \nu }=D_{\mu }{D}_{\nu }c-D_{\nu }{D}_{\mu }c=[F_{\mu \nu },c]$. The graded Jacobi identity gives $s[c,c]=0$, so $s^{2}c=0$; the other three fields have zero second variation immediately. For independent odd parameters, ${\delta }_{{ϵ}^{\prime }}{\delta }_{ϵ}=-{ϵ}^{\prime }ϵs^2=0$. These are off-shell BRST nilpotence identities because the Nakanishi-Lautrup field $b$ is retained.

The Yang-Mills theory variation is proportional to $F^{\mu \nu }\cdot [F_{\mu \nu },c]=0$. The gauge-fixing variation is $({\partial }^{\mu }b)\cdot D_{\mu }c$, while the ghost variation is its negative; the $b^2$ term does not vary. Equivalently these terms are $s\Psi$ for the gauge-fixing fermion $\Psi =({\partial }^{\mu }\bar{c})\cdot A_{\mu }+\xi \bar{c}\cdot b/2$. BRST nilpotence makes this expression invariant. Ghost-number scaling also leaves every term invariant: the ghost and antighost factors carry opposite weights.

Here are the two explicit currents in the same sign convention as the Ward identity. Localizing the even ghost parameter gives coefficient $({\partial }_{\mu }\theta )[\bar{c}\cdot D^{\mu }c-({\partial }^{\mu }\bar{c})\cdot c]$. Localizing the odd parameter, keeping it on the left, gives coefficientThe last sign comes from moving the odd parameter through the odd antighost derivative. Since the current was defined as minus this coefficient,These are the ghost-number Noether current and the BRST current in derivative-b gauge fixing. If the opposite Noether sign is used, both displayed currents acquire an overall minus sign. Integrating the gauge-fixing term by parts changes the Noether representative by the associated boundary improvement; mixing the two Lagrangian conventions without that improvement gives incorrect signs.

With no BRST anomaly, the conserved odd BRST charge has $Q_B^2=0$. The BRST cohomology identifies closed states $Q_B|\psi ⟩=0$ modulo exact states $Q_B|\chi ⟩$. Nilpotence puts every exact state in the closed space. In the usual indefinite gauge-fixed state space, a Hermitian BRST charge makes exact states orthogonal to closed states; the standard no-ghost/positivity assumptions then give a physical inner product on the quotient. The physical sector is its ghost-number-zero component,The ghost number assigns $+1$ to $c$, $-1$ to $\bar{c}$ and zero to gauge and auxiliary fields. Gauge-invariant observables and the chosen vacuum have ghost number zero; unphysical ghost excitations are removed in BRST pairs. Thus physical representatives are expected to satisfy $Q_G|\psi ⟩=0$. This zero-grading selection is part of the physical-state prescription, not a consequence of nilpotence alone.

Factor the odd parameter on the left, $\delta =ϵs$. The resulting left-acting BRST differential obeys the graded Leibniz ruleFor the odd Grassmann field $c$, the bracket in the transformation is a graded commutator: $[c,c{]}_{\mathrm{gr}}=2c^2$, not the identically zero ordinary commutator of a matrix with itself. Thus $sc=i{c}^2$, while $s{A}_{\mu }=D_{\mu }c$, $s\bar{c}=h$ and $sh=0$.

On the ghost,On the gauge field, variation of the connection and the adjoint covariant derivative givesHere $D_{\mu }$ is even and therefore obeys the ordinary product rule. Also $s^2\bar{c}=sh=0$ and $s^{2}h=0$, without using any field equation; this is off-shell nilpotence supplied by the Nakanishi-Lautrup field.

Applying the graded Leibniz rule twice cancels the two cross terms:The square is consequently an even graded derivation. Since it vanishes on every generator, it vanishes inductively on every polynomial in the fields. Hence $s^2\mathcal{O}=0$ for every such operator. This genuine result is stronger than the automatic vanishing obtained by merely setting ${ϵ}^2=0$; two independent transformation parameters also give a vanishing commutator.

Put the anticommuting parameter on the left and write $\delta \Phi =ϵs\Phi$. Then $s$ is a left-acting BRST differential: it is odd and satisfies the graded product rule $s(UV)=(sU)V+(-1{)}^{|U|}U(sV)$. The Faddeev-Popov ghost field $c$ and antighost field $b$ are odd, whereas $A_{\mu }$ and the Nakanishi-Lautrup field $h$ are even. Use $s{A}_{\mu }=D_{\mu }c$, $sc=-[c,c]/2$, $sb=h$, $sh=0$.

A total derivative in the Lagrangian variation must be included in the Noether current. For constant $ϵ$, the ghost covariant derivative has $s(D_{\mu }c)=0$, by the Jacobi identity and the odd statistics of $c$. The Yang-Mills term is invariant, and the remaining variation isThe term proportional to $\xi$ does not vary because $sh=0$.

To obtain the signs without an ambiguity about fermionic canonical momenta, now allow $ϵ=ϵ(x)$. In particular,The coefficients of ${\partial }_{\mu }ϵ$ in the Yang-Mills, ghost, and multiplier terms are respectivelyThe positive sign of the last ghost expression results from moving ${\partial }_{\mu }ϵ$ past the odd ${\partial }^{\mu }{b}^a$. Subtracting the total-derivative term $K^{\mu }$ therefore gives the Yang-Mills BRST Noether currentIndeed, the full localized variation is $\delta \mathcal{L}=({\partial }_{\mu }ϵ)j^{\mu }+{\partial }_{\mu }(ϵK^{\mu })$. The Noether theorem then gives ${\partial }_{\mu }{j}^{\mu }=0$ on the field equations. With spatial boundary terms vanishing, the corresponding BRST charge in four spacetime dimensions isIt is odd and has ghost number one. Overall generator phases depend on the convention relating this Noether charge to quantum commutators; one may use $s\mathcal{O}=i[Q_{\mathrm{BRST}},\mathcal{O}\}$. The displayed current fixes the classical Noether normalization for the left-parameter convention.