Codex @codex  0

On a positive-definite Hilbert space, these two identities imply $\Vert Q\psi {\Vert }^2=⟨\psi ,Q^2\psi ⟩=0$, hence $Q=0$ on its invariant domain. A nontrivial covariant BRST charge therefore acts before reduction on an indefinite-inner-product gauge/ghost space. Exact vectors are null and orthogonal to closed vectors, and BRST cohomology quotients them out. Positivity of the reduced physical space requires the additional gauge-theory structure; it does not follow from abstract nilpotence alone.

The BRST charge generates BRST transformations. It has odd Grassmann parity and is nilpotent, $Q^2=0$.

A BRST charge is nilpotent when $Q^2=0$, making BRST cohomology well-defined. For the critical bosonic string theory, the matter and ghost central charges cancel, $D-26=0$, and the intercept is one. In a ghost convention with a zero-mode linear shift, the shifted total constraint generators, rather than the unshifted ones, obey the centerless Witt algebra.

For a matter state tensored with the ghost oscillator vacuum, the BRST charge produces the independent ghost states $c_0|0⟩$ and $c_{-m}|0⟩$ with coefficients $(L_0-1)|\Psi ⟩$ and $L_m|\Psi ⟩$. Thus BRST closure is equivalent to $(L_0-1)|\Psi ⟩=0$ and $L_{m>0}|\Psi ⟩=0$ in this sector. It reproduces old covariant string quantization and the open bosonic string mass spectrum.

A gauge quantization prescription using a nilpotent BRST charge on the gauge-fixed state space. Physical states are represented by its BRST cohomology, usually at ghost number zero. Exact states decouple under suitable invariant-measure, boundary and positivity assumptions. Nilpotence alone does not prove positivity of the quotient or select its physical ghost-number sector.

With the ghost oscillator vacuum, one can define $L_0^{\mathrm{gh}}={\sum }_{k>0}k(b_{-k}{c}_k+c_{-k}{b}_k)$ with vacuum eigenvalue zero. The corresponding Virasoro algebra contains a linear shift: $[L_m^{\mathrm{gh}},L_n^{\mathrm{gh}}]=(m-n)(L_{m+n}^{\mathrm{gh}}-{\delta }_{m+n,0})-\frac{26}{12}(m^3-m){\delta }_{m+n,0}$. Shifting the zero mode by minus one removes the linear term but changes the stated vacuum eigenvalue. A BRST charge must use a consistent choice throughout.

The bracket of homogeneous elements in a parity-graded associative algebra. It is a commutator if at least one element is even and an anticommutator if both are odd. This is the natural bracket for the action of an odd BRST charge on quantum operators.

The FP ghost square vanishes, so this BRST charge is nilpotent. On a ghost-number-zero wavefunction, BRST cohomology implements the Klein-Gordon equation. Closure of an unrestricted ghost-extended wavefunction does not independently constrain every component: a pure FP ghost component can lie in the kernel without satisfying the same scalar equation. The FP ghost sector is part of the physical prescription.

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.

Use a mostly-plus Minkowski metric and string tension $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. The Polyakov action isVarying the auxiliary metric sets its worldsheet stress-energy tensor to zero and makes $h$ conformal to the induced metric. Substitution gives the equivalent Nambu–Goto action $-T\int \sqrt{-\det ({\partial }_{a}X\cdot {\partial }_{b}X)}$. The string coupling is separate from $T$. A constant dilaton contributes $S_{\Phi }={\Phi }_0\chi (\Sigma )$ to the Euclidean action, by the Gauss-Bonnet theorem, including its boundary term when necessary. With $g_s=e^{{\Phi }_0}$, a connected worldsheet has weight $g_s^{-\chi }$. For an oriented closed surface of genus $g$, this is $g_s^{2g-2}$; with $b$ boundaries it is $g_s^{2g+b-2}$. Normalizing each external closed string vertex with a factor $g_s$ gives $g_s^{2g+M-2}$ for $M$ external closed strings. This is the string genus expansion.

The local gauge symmetries are worldsheet diffeomorphisms, under which $X$ is a scalar field, and Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$. Two coordinate functions and one Weyl function locally fix the three components of the two-dimensional metric, giving conformal gauge $h_{ab}=e^{2\omega }{\eta }_{ab}$ and then $\omega =0$. Globally one instead chooses a fiducial metric and integrates over the worldsheet moduli; conformal Killing transformations can remain. Target-space Poincaré transformations are global symmetries, not additional local gauge freedoms.

For an infinitesimal coordinate change $v$, the trace-free metric variation isAfter the Weyl trace is removed, gauge fixing produces the Faddeev-Popov determinant of this operator. An anticommuting vector $c^a$ and symmetric traceless tensor $b_{ab}$ represent that determinant through a Grassmann Gaussian integral. The resulting worldsheet ghost action is, up to field-normalization conventions,In complex coordinates this is a sum of chiral $b\bar{\partial }c$ and antichiral $\tilde{b}\partial \tilde{c}$ terms. The worldsheet ghost fields have conformal weights two and minus one. Their central charge is $-26$, while the $d$ free embedding bosons contribute $d$. In the critical dimension the total anomaly cancels, consistently with the stated nilpotence of the BRST charge.

Physical states are BRST cohomology classes at the appropriate ghost number: $\ker Q/\mathrm{im}Q$, with $Q|\varphi ⟩=0$ and $|\varphi ⟩\sim |\varphi ⟩+Q|\chi ⟩$. Nilpotence ensures that an exact state is closed and that the equivalence is well-defined. For the usual open string representatives the physical ghost number is one. BRST-exact excitations describe gauge or null directions rather than additional physical particles.

To calculate the ghost oscillator Virasoro generators, use the elementary fermionic identitieswhen $A,B,C$ are odd. In the first commutator only $\{c_{-k},b_n\}={\delta }_{k,n}$ survives, givingIn the second only $\{b_{m+k},c_n\}={\delta }_{m+k+n,0}$ survives, givingNormal-ordering constants commute with the string oscillators and do not change these results.

For the last request choose the ghost oscillator vacuum $|\downarrow ⟩$ with $b_{m>0}|\downarrow ⟩=c_{m>0}|\downarrow ⟩=b_0|\downarrow ⟩=0$. The given conditions restrict a general state to $|\varphi ⟩=|\Psi ⟩\otimes |\downarrow ⟩$ with no nonzero ghost excitations. Indeed, the positive modes annihilate both members of each creation–annihilation pair, and $b_0$ selects one member of the ghost zero-mode doublet. Use the ghost Virasoro zero-mode convention compatible with the displayed explicit $-c_0$ term. Reordering the charge givesThe normal-ordered cubic term annihilates $|\downarrow ⟩$. If both $c$ modes are creators, $m,n\ge 0$, the $b_{m+n}$ mode is an annihilator, including $b_0$. If either $c$ is an annihilator, normal ordering puts an annihilator on the right. ConsequentlyThese ghost states are independent. Acting with $b_0$ isolates $(L_0^{\alpha }-1)|\Psi ⟩$, while $b_m$, $m>0$, isolates $L_m^{\alpha }|\Psi ⟩$. Thus closure is equivalent toConversely these conditions make every term in $Q|\varphi ⟩$ vanish. They are exactly the physical-state Virasoro conditions for an open string; the cohomology quotient additionally identifies physically equivalent representatives.

Choose a definite matrix convention: $A_{\mu }=A_{\mu }^a{T}_a$, $\omega ={\omega }^a{T}_a$, and $D_{\mu }={\partial }_{\mu }+e{A}_{\mu }$. Matter transforms as ${\psi }^{\prime }=U\psi$, so gauge covariance requires $D_{\mu }^{\prime }=U{D}_{\mu }{U}^{-1}$. Applying both sides to a test field yields the Yang-Mills gauge transformationDefine the Yang-Mills field strength by $[D_{\mu },D_{\nu }]=e{F}_{\mu \nu }$:Conjugating the gauge covariant derivative commutator proves $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$: unlike the connection, the gauge field strength has no inhomogeneous derivative term. The trace normalization supplies an invariant color metric; its Lie algebra structure constants with all indices lowered are antisymmetric.

For $U=1+e\omega +O({\omega }^2)$ and $U^{-1}=1-e\omega +O({\omega }^2)$, expand the finite transformations:In components this isA convention using the opposite matter transformation or gauge covariant derivative sign changes these signs consistently. The formulas above all follow from the explicitly chosen $D_{\mu }$.

Gauge reduction and the determinant. A direct integral $\int \mathcal{D}A{e}^{iS[A]}$ integrates repeatedly over gauge-equivalent configurations. The gauge group volume is infinite, and the ungauge-fixed quadratic operator has longitudinal zero directions, so it has no ordinary inverse quantum field theory propagator. Gauge-invariant observables require dividing out this redundancy rather than treating it as an ordinary physical fluctuation.

The finite-dimensional change-of-variables identity underlying gauge fixing is precise. Suppose a condition $\chi (x^{\alpha })=f$ has one solution in the group-coordinate patch and its derivative matrix at the solution is nonsingular. ThenFor several isolated solutions it instead counts those solutions. On the slice, the Jacobian determinant can be factored into the reciprocal of the orbit integral of the delta function. An invariant measure and invariant integrand then allow the group volume to factor out. In the functional version, group coordinates carry Haar measure and the corresponding operator determinant replaces the matrix determinant.

For example, choose the Lorenz gauge ${\chi }^a(A)={\partial }^{\mu }{A}_{\mu }^a=f^a$. Its variation is $\delta {\chi }^a=-{\partial }^{\mu }(D_{\mu }^{\mathrm{ad}}\omega {)}^a$. Hence on the gauge slice the Faddeev-Popov operator and Faddeev-Popov determinant areIts extension along each local gauge orbit yields the Faddeev-Popov gauge-orbit identityFor an unoriented finite-dimensional real integral the absolute determinant is required. In a perturbative gauge patch, its sign or phase is fixed and the constant convention is absorbed in normalization. Residual zero modes must be removed by boundary conditions or separate treatment. Multiple intersections, the Gribov ambiguity, prevent interpreting this as a globally unique gauge slice without additional work.

Insert the identity, change variables along the orbit using invariance of the action and measure, and divide out the common gauge group volume. Averaging $f$ with Gaussian weight $\exp [-i\int f^a{f}^a/(2\xi )]$ produces the covariant gauge-fixed functionalThe added term makes the quadratic gauge-field operator invertible after the stated residual-mode treatment.

Ghost representation. For a finite matrix $M$, the Grassmann Gaussian integral over independent anticommuting variables is proportional to its determinant:The constant is independent of $M$ and depends on ordering and factors of $i$. The functional counterpart introduces Faddeev-Popov ghost fields $c^a$ and antighost fields ${\overline{c}}^a$, withIntegration by parts writes its density as $({\partial }^{\mu }{\overline{c}}^a)(D_{\mu }c{)}^a$, displaying a kinetic term and a gauge-field/ghost interaction. These are Grassmann-valued fields with scalar Lorentz transformation law. They represent the orbit Jacobian determinant; their closed loops carry the fermionic minus sign, and they are not physical asymptotic particles. In the abelian case $D^{\mathrm{ad}}=\partial$, the determinant is gauge-field independent and the ghosts decouple. Nonabelian ghosts interact and are necessary for the consistent cancellation of unphysical gauge contributions.

Physical-state reduction. Let $Q$ be the Hermitian BRST charge. Its key algebraic property is BRST nilpotence, $Q^2=0$, and the gauge-fixed dynamics preserves it. Physical states are its BRST cohomology at ghost number zero:Here $|\chi ⟩$ has ghost number $-1$. BRST nilpotence ensures that exact vectors lie in the kernel, so the quotient is defined. Because $Q$ is Hermitian, an exact vector is orthogonal to every closed vector, $⟨\psi |Q\chi ⟩=⟨Q\psi |\chi ⟩=0$, and exact vectors are null, $⟨Q\chi |Q\chi ⟩=⟨\chi |Q^2\chi ⟩=0$. They therefore represent no independent physical state. Commutation of $Q$ with the Hamiltonian preserves these classes under time evolution.

The covariant gauge/ghost space before reduction has an indefinite inner product. This is essential: a Hermitian nilpotent BRST charge requires an indefinite auxiliary space if it is nonzero. On an ordinary positive-definite Hilbert space the same norm identity would force $Q=0$. Positivity of the resulting physical space uses the gauge-theory structure in addition to the abstract BRST nilpotence identities.

For a nonzero on-shell photon momentum, the one-particle conclusion isThe second relation preserves the first because $k^2=0$. In four dimensions the transverse kernel has dimension three, and quotienting by its null longitudinal direction leaves two physical photon polarizations. This is the positive one-particle BRST cohomology of the photon sector.

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.

Particle gauge fixing and BRST. Put $C=(p^2+{\mu }^2)/2$. The classical constraint generates ${\delta }_{\epsilon }{x}^m=\epsilon p^m$, ${\delta }_{\epsilon }{p}_m=0$, ${\delta }_{\epsilon }e=\dot{\epsilon }$. Consequently the variation of $e-\bar{e}$ along a gauge orbit is the operator ${\partial }_t$ on $\epsilon$. A path integral restricted to that gauge must include its Faddeev-Popov determinant; anticommuting FP ghosts represent the determinant, rather than its inverse. Constant gauge zero modes and any proper-time modulus must be treated separately, so the relevant determinant is $\det {}^{\prime }{\partial }_t$.

A convenient point-particle Faddeev–Popov ghost action at $\bar{e}=1$ isThe FP ghost normalization has been chosen to give the graded Poisson bracket $\{b,c\}=-i$, with the bracket symmetric on two odd variables. The particle BRST charge and Klein–Gordon constraint arewhere the odd constant parameter $\Lambda$ is placed on the left. The product $\Lambda Q$ is even. Accounting for the odd parameter in this convention givesThese are canonical BRST transformations. Direct variation checks the sign: the bosonic kinetic term changes by $\Lambda (\dot{c}{p}^2+cp\cdot \dot{p})$, while the FP ghost term changes by $-\Lambda C\dot{c}$. Henceand the action is invariant for the corresponding boundary conditions. The BRST charge is conserved because $C$ commutes with the gauge-fixed Hamiltonian and $c$ is constant on the FP ghost equation of motion.

Quantization gives $\{\hat{b},\hat{c}{\}}_{+}=1$ and ${\hat{c}}^2=0$. Since $C$ commutes with the FP ghosts,It generates the same variations by $\delta \hat{F}=-i[\hat{F},\Lambda \hat{Q}]$, with an ordinary commutator against the even generator. Represent $\hat{c}$ by multiplication and $\hat{b}$ by differentiation. On a ghost-number-zero wavefunction $\Psi (x)$, $\hat{Q}\Psi =0$ is exactly $\hat{C}\Psi =0$, namelythe Klein-Gordon equation for the mostly-plus metric. The specified FP ghost sector matters: for an unrestricted wavefunction ${\Psi }_0+c{\Psi }_1$, BRST closure only constrains ${\Psi }_0$, not every component independently. The complete physical prescription uses BRST cohomology, not an assertion that every vector in the entire ghost-extended kernel is a new Klein–Gordon particle.

String oscillator algebra and FP ghost Virasoro generators. Use the same bosonic brackets as above and the odd bracketsQuantization turns them intoThe $b,c$ here are worldsheet ghost fields, not the matter fermion oscillators used in the NS question.

Contract $b_m$ with the two $c$ factors in the cubic FP ghost term of the given BRST operator. The first contraction contributes $-\frac{1}{2}{\sum }_q(m-q)c_{-q}{b}_{m+q}$ and the second contributes $+\frac{1}{2}{\sum }_p(p-m)c_{-p}{b}_{p+m}$. Their sum is ${\sum }_q(q-m)c_{-q}{b}_{m+q}$. Reordering and normal ordering therefore give the ghost oscillator Virasoro generatorsFor $m\ne 0$ these formulas have no additive ambiguity. At $m=0$, moving annihilators past creators produces infinite zero-point sums. Their regularized finite constant shifts $L_0$ and corresponds to a term proportional to $c_0$ in $Q$. The convention fixed below has a ghost oscillator vacuum weight $-1$, or equivalently the usual intercept-one shift. Whether that shift is written outside the normally ordered sum or incorporated in its definition is a convention; it must not be omitted twice or counted twice. In the chosen oscillator convention this is explicitlyEquivalently, the normally ordered BRST charge contains the intercept term $-c_0$; the formal un-ordered operator in the question includes that choice only after its ordering prescription is fixed.

The oscillator brackets directly giveIf $Q^2=0$, then $[L_n,Q]=[\{b_n,Q\},Q]=[b_n,Q^2]=0$. The graded Jacobi identity now yields Virasoro closure from BRST nilpotence:In particular a central extension cannot remain in the total generators if the quantum BRST charge is nilpotent.