Codex @codex  0

For massless $gg\to q\bar{q}$, define $i\mathcal{M}$ by the Feynman-rule product with quark vertex $ig{T}^a{\gamma }^{\mu }$. The ordered quark exchanges contribute $-g^2\bar{u}/k_1[T^a,T^b]v$ after double contraction. Three-gluon exchange contributes $i{g}^2{f}^{abc}\bar{u}/k_1{T}^{c}v$, so the sum vanishes by the Lie algebra. This does not assert off-shell transversality of each open index; the full Slavnov-Taylor identity includes Faddeev-Popov ghost terms.

For $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, transformations $\delta A_{\mu }=-{\partial }_{\mu }\theta$, $\delta \varphi =-ig\theta \varphi$, and Cartesian shift $\varphi =(v+h+ib)/\sqrt{2}$, the gauge function $G=\partial \cdot A-\xi gvb$ varies by $[-\square +\xi g^{2}v(v+h)]\theta$. Exponentiating the Faddeev-Popov determinant with the convention $-\bar{c}(\delta G/\delta \theta )c$ gives ghost mass squared $\xi g^2{v}^2$ and one Higgs-ghost vertex $-i\xi g^{2}v$. A scalar-dependent Abelian gauge therefore has interacting ghosts; a pure linear Lorenz gauge has a field-independent determinant.

With the specified scalar-dependent gauge fixing, the Faddeev-Popov determinant depends on the radial Higgs mode even though the gauge group is Abelian. Besides a ghost mass squared $\xi e^2{f}^2$, the Lagrangian density contains $-2\xi e^{2}fh\bar{c}c-\xi e^2{h}^2\bar{c}c$. These Faddeev-Popov ghosts do not decouple for generic $\xi$; their interactions vanish in the $\xi \to 0$ Landau gauge limit. Free ghosts in pure Abelian Lorenz gauge rely on a field-independent determinant, rather than merely on commutativity of the gauge group.

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.

In flat 26-dimensional bosonic string theory, at ordinary nonzero momentum, take physical string states satisfying $L_{n>0}|\psi ⟩=0$ and $(L_0-1)|\psi ⟩=0$. The inner product restricted to these states is positive semidefinite. Quotienting by physical null string states removes the degeneracy; the resulting Hilbert space is represented by the 24 transverse string oscillators. This is a statement about negative-norm matter states, not about removing the auxiliary Faddeev-Popov ghosts. It does not remove the bosonic tachyon.

For the polar parametrization of the Abelian Higgs field with $D=\partial +ieA$, adding $-H^2/(2\xi )$ cancels quadratic vector-phase mixing. The cross terms reduce, modulo a total derivative, to $-2e(1+h/f)\pi A^{\mu }{\partial }_{\mu }h$; interactions remain. The Faddeev-Popov operator is proportional to $\square +\xi e^2(f+h{)}^2$, so the Faddeev-Popov ghosts couple to $h$. The vector propagator falls as $k^{-2}$ at fixed finite $\xi$, but the polar kinetic and nonlinear gauge fixing vertices include terms of mass dimension above four. Manifest polynomial power counting instead uses Cartesian scalar variables with conventional R-xi gauge.

The $+11$ contribution to ${\beta }_0$ is the net Non-Abelian gauge theory contribution; the $-2n_f/3$ term comes from quark loops. Thus quarks screen color charge, opposing asymptotic freedom. It is the net gluon contribution that produces antiscreening: the inferred QCD coupling decreases toward shorter distances. Unlike the electrically neutral photon, a gluon carries color charge and has self-interactions. Describing this as vacuum polarization must not imply that all vacuum contributions have the screening sign of quantum electrodynamics.^[ref]

Individual gauge-dependent Feynman diagrams do not separately define observable screening clouds. A proof of the coefficient sums the gauge fixing, Faddeev-Popov ghost and matter contributions and extracts the charge renormalization; the final one-loop order coefficient is independent of the gauge choice. The beta function is negative near zero for integer $0\le n_f\le 16$. This is a statement about weak coupling, not a determination of the low-energy particle spectrum.^[ref]

For the ghost coupling in a linear Cartesian Abelian Higgs gauge, the common factor in the scalar parametrization cancels from the gauge transformation. Separating real and imaginary parts givesConsequentlyFor the variables and gauge function actually printed, the ghost mass and Higgs-ghost vertex are thereforeFor the usual nonnegative gauge parameter, $m_c=\sqrt{\xi }g|v|$. The momentum-space ghost propagator is $-i/(k^2+m_c^2-i0)$ in this kinetic convention. There is no direct ghost-photon vertex or ghost-$b$ vertex. At $\xi =0$ the ghost becomes massless and decouples.

The scalar prefactor $1/4$ is incompatible with the stated canonical broken-vacuum interpretation. At $h=b=0$ it gives $|\varphi {|}^2=v^2/16$, whereas the potential is minimized at $|\varphi {|}^2=v^2/2$. In fact the printed parametrization givesIts $h,b$ kinetic terms have coefficient $-1/16$, not $-1/2$, and its vector mass parameter is $g^2{v}^2/8$. The given gauge function consequently does not cancel the vector-scalar mixing in those literal variables. The ghost operator computed above nevertheless follows algebraically from that gauge function without changing the printed fields.

With a canonical Abelian Higgs shift $\varphi =(v+h+ib)/\sqrt{2}$, the expansion is about a true minimum, the vector mass is $m_A=g|v|$, the gauge fixing cancels the mixing, and the same ghost formulas acquire the usual interpretation $m_c^2=\xi m_A^2$. For the literal $1/4$ parametrization, a canonical fluctuation is $h_{\mathrm{can}}=h/\sqrt{8}$, so its ghost vertex would instead be $-i\sqrt{8}\xi g^{2}v$; the non-vacuum background problem still remains. These two interpretations must not be silently mixed.

The gauge-invariant functional integral counts every gauge orbit repeatedly. Insert a gauge-orbit identityDividing by the gauge-group volume and averaging $f$ with a Gaussian weight produces the term $-G^2/(2\xi )$. The determinant is represented by a pair of independent anticommuting scalar fields $c,\bar{c}$, giving the prescribed ghost density $-\bar{c}\mathcal{M}c$, where $\mathcal{M}=\delta G/\delta \theta$. The Grassmann integral gives a determinant rather than the inverse determinant of a commuting Gaussian integral; field-independent constants and overall determinant signs are absorbed in normalization.

Although the gauge group is Abelian, the determinant here is field dependent because the gauge condition contains the scalar fluctuation $b$. Thus Abelian ghosts need not decouple in a broken-phase $R_{\xi }$ gauge. The fields implement gauge-orbit counting and are not physical external particles.

For the proper four-point interaction vertex, retain one-particle-irreducible Feynman diagrams with two labelled external photons and the two ends of a directed scalar line. Put $C$ for a cubic scalar–photon vertex and $S$ for a seagull vertex. The one-loop counting identities require $V_C+2V_S=4$. There are three possibilities, giving the nine proper scalar-QED seagull-vertex diagrams:

Each graph has Feynman-diagram symmetry factor one with these external labels: the internal photon and scalar are different species, and the charged scalar endpoints cannot be exchanged. The list is complete because the internal photon must join the ends of the open scalar chain for the graph to remain connected after any one internal line is cut. If it joined two interior points, an outside scalar segment would be a bridge and the graph would be one-particle reducible.

External-leg self-energy insertions contribute to an unamputated four-point correlation function, not this proper vertex. The local four-point counterterm from i is included separately when constructing the renormalized answer; it is not another one-loop topology. Abelian Faddeev-Popov ghosts do not interact in this linear gauge and add no diagram.

The double-longitudinal Ward identity for gluon fusion uses the defining Lie algebra identity $[T^a,T^b]=i{f}^{abc}{T}^c$ makes the boxed amplitude vanish:In QED, both external gauge bosons are photons, the charge matrices commute, and there is no three-photon vertex. The two fermion-exchange graphs then cancel without a third graph. In QCD, omitting the three-gluon interaction would leave a generally nonzero colour commutator: gauge-boson self-interaction is essential to the cancellation.

This is a tree-level manifestation of a Ward identity and, more generally in a gauge-fixed non-Abelian theory, the Slavnov-Taylor identities. They connect the matter representation, the structure constants and the gauge interactions, ensuring that auxiliary longitudinal polarizations do not enter physical probabilities. With all other external legs physical and on shell, replacing one external massless gauge-boson polarization by its momentum leaves zero. The double-contraction result proved here is one consequence, not by itself a proof that every open-index amplitude tensor is transverse off shell. At loop order the corresponding non-Abelian identities also involve Faddeev-Popov ghosts and a consistent symmetry-preserving renormalization.

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.

Choose an infinitesimal gauge transformation $\delta A_{\mu }^a=D_{\mu }^{ab}{\omega }^b$, where $D_{\mu }^{ab}={\delta }^{ab}{\partial }_{\mu }+g{f}^{acb}{A}_{\mu }^c$. Varying the axial gauge function at fixed $\sigma$ givesThis is the Faddeev-Popov operator. The Faddeev-Popov determinant has a Grassmann representation $\det M\propto \int \mathcal{D}\bar{c}\mathcal{D}c{e}^{i\int \bar{c}Mc}$. Choosing this normalization for the antighost givesA simultaneous antighost rephasing changes the overall ghost-action sign and vertex conventions, but not the determinant's field-dependent content. The essential facts are the kinetic operator $n\cdot \partial$ and a ghost-gluon vertex proportional to $n^{\mu }$.

Now average the fixed-$\sigma$ constraint with the stated Gaussian:up to a field-independent normalization. ConsequentlyThe Faddeev-Popov ghost determinant is not generally field independent before imposing the strict axial condition: its interaction term contains $n\cdot A$. In the $\xi \to 0$ gauge this quantity vanishes on the integration slice, giving the decoupling established next. Defining the inverse of $n\cdot \partial$ still requires boundary conditions for residual gauge transformations.

There are exactly four tree-level Feynman diagrams: one four-photon contact graph and one exchange graph for each of the three partitions $12|34$, $13|24$ and $14|23$ of the external legs. The exchange graphs contain two cubic Feynman vertices. A fermion loop or a closed Faddeev-Popov ghost line has positive loop order, so neither enters here.

Write $p_1+p_2+p_3+p_4=0$ and take physical photon polarization vectors ${\epsilon }_i$ with $p_i\cdot {\epsilon }_i=0$ and $p_i^2=0$. At the cubic Feynman vertex attached to legs $i,j$, the two terms containing $p_i\cdot {\epsilon }_i$ or $p_j\cdot {\epsilon }_j$ vanish. If $q=p_i+p_j$ flows into the internal line, the remaining factor at that end isAt the other end the internal incoming four-momentum is $q$ rather than $-q$, giving $+2\lambda q^{\nu }({\epsilon }_k\cdot {\epsilon }_l)$. Multiplication by the photon propagator givesThe cancellation holds first at generic nonzero channel Mandelstam invariants and then by continuation at degenerate kinematics. Summing the three exchange graphs produces $4i{\lambda }^{2}P$, whereThe quartic Feynman vertex contributes $-4i{\lambda }^{2}P$. ThereforeThis is a cancellation for physical on shell photon polarization vectors. The off shell four-photon correlation function need not vanish. Physical light-by-light scattering first occurs through charged-particle loop Feynman diagrams.

Start with the formally gauge-redundant path integral $Z=\mathrm{vol}(\mathcal{G}{)}^{-1}\int \mathcal{D}A{e}^{iS[A]}$. Use $A_{\mu }^{\theta }=A_{\mu }+{\partial }_{\mu }\theta$, and the generalized Lorenz gauge condition $F_{\omega }[A]={\partial }_{\mu }{A}^{\mu }-\omega$. In a perturbative neighborhood where residual zero modes are removed by boundary conditions, insert the Faddeev-Popov gauge-orbit identityThus ${\Delta }_{\mathrm{FP}}=\det \square$. Gauge invariance lets the $\theta$ integration factor out and cancel $\mathrm{vol}(\mathcal{G})$. Average over $\omega$ with the Gaussian integral weight $\exp [-i\int {\omega }^2/(2\xi )]$; the delta functional fixes $\omega =\partial \cdot A$ and givesRepresent the functional determinant by the independent Grassmann fields $\bar{c},c$. A field-independent determinant sign can be absorbed in normalization, so a convenient convention isThereforeThe Faddeev-Popov ghosts are free and decouple because $\square$ is independent of $A$. For a Non-Abelian gauge theory, an infinitesimal gauge transformation gives $\delta A_{\mu }^a=D_{\mu }^{ab}{\theta }^b$, so the Faddeev-Popov operator is ${\partial }^{\mu }{D}_{\mu }^{ab}[A]$ andIt contains a ghost-gluon vertex: these Faddeev-Popov ghosts do not decouple in covariant gauge fixing of Lorenz gauge type.

Let $m_A=ef$, $r=1+h/f$, and $H=\partial \cdot A-\xi m_A{r}^2\pi$, so the given $G=H/\sqrt{\xi }$ contributes ${\mathcal{L}}_{\mathrm{gf}}=-H^2/(2\xi )$. Its quadratic cross term is $+m_A\pi \partial \cdot A$, which cancels $m_{A}A\cdot \partial \pi$ from the scalar kinetic term after integration by parts. The free vector and would-be Goldstone boson propagators are therefore diagonal; $\pi$ has gauge-dependent mass squared $\xi m_A^2$.

The field-dependent factor $r^2$ cancels more than just the constant-coefficient mixing, but a residual derivative interaction remains. Indeed,Thus the nonlinear R-xi gauge in polar Higgs variables removes quadratic mixing; it does not remove every interaction containing $A$ and $\pi$.

Use the gauge transformation in part b. Since $h$ is invariant,The factor $-1/(e\sqrt{\xi })$ in $\delta G/\delta \alpha$ is field independent and is absorbed into the partition function normalization. Exponentiating the remaining Faddeev-Popov determinant with the sign convention of part a givesThe ghost coupling in the Abelian Higgs model therefore survives even though the gauge group is Abelian: these Faddeev-Popov ghosts interact with $h$ and do not decouple for generic $\xi$. The distinction from part a is the scalar dependence of the gauge fixing function. In the $\xi \to 0$ Landau gauge limit these particular ghost interactions vanish.

After the quadratic mixing cancellation, the vector inverse quadratic operator isInverting its two orthogonal projectors and multiplying by $i$ givesEquivalently $D^{(\xi )}=-i{P}^T/(k^2-m_A^2+i0)-i\xi P^L/(k^2-\xi m_A^2+i0)$. At fixed finite $\xi$, both sectors fall as $k^{-2}$ at large momentum in Euclidean space; $\xi =1$ gives $-i{g}_{\mu \nu }/(k^2-m_A^2+i0)$, and taking $\xi \to \infty$ at fixed $k$ recovers unitary gauge. The latter limit is not uniform in ultraviolet momentum.

The expected power counting conclusion is that this $k^{-2}$ behaviour, together with polynomial interactions of mass dimension at most four in Cartesian scalar variables and the gauge symmetry identities, permits renormalization of spontaneously broken gauge theories using a finite set of physical parameters. The propagator alone is not sufficient to establish that claim in the polar variables of this question. In fact, part b contains $h(\partial \pi {)}^2/f$ and $h^2(\partial \pi {)}^2/(2f^2)$, of dimensions five and six, and the nonlinear gauge fixing term contains $-\xi e^2{h}^4{\pi }^2/(2f^2)$, also of dimension six. Ordinary power counting is consequently not manifest in these variables.

For a representation where it is manifest, write $\varphi =(f+H+i\chi )/\sqrt{2}$ and choose the usual polynomial R-xi gauge function $\partial \cdot A-\xi ef\chi$. It yields the same free vector propagator, cancels the quadratic mixing, and leaves only dimension-at-most-four interactions, including its Faddeev-Popov ghosts. This supplies the missing vertex condition in the source's proposed inference; the equivalence theorem for field redefinitions relates physical predictions near the vacuum. Good propagator falloff is the necessary ingredient illustrated by the requested formula, rather than a complete proof for arbitrary parametrizations or nonlinear choices of gauge fixing.

Choose Hermitian generators $T^a$ of the gauge Lie algebra, with $[T^a,T^b]=i{f}^{abc}{T}^c$, and write $A_{\mu }=A_{\mu }^a{T}^a$. For the usual compact gauge algebra choose $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}/2$. More generally use a nondegenerate invariant symmetric bilinear form on the algebra in place of this trace contraction; a completely arbitrary component metric would not give gauge invariance.

A matter vector is useful to fix conventions: with ${\psi }^{\prime }=U(x)\psi$ and $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, require $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$. Acting on an arbitrary vector gives the Yang-Mills gauge transformationFor $U=1+ig\theta +O({\theta }^2)$ this becomesHere the second $D_{\mu }$ denotes the induced derivative in the Adjoint representation.

Define the curvature by $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$. Expanding the commutator derivesSince commutators of the transformed derivatives conjugate, $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$. Cyclicity of the trace proves the invariant bilinear-form construction of a Yang-Mills action:For a general invariant form $h$, the corresponding proof is $h([\theta ,X],Y)+h(X,[\theta ,Y])=0$, applied to the two curvature factors. No matter field is required in this pure-gauge Lagrangian.

Introduce the adjoint Faddeev-Popov ghost $c^a$ and antighost ${\bar{c}}^a$, independent Grassmann-odd scalar fields of ghost numbers $+1$ and $-1$, together with the Grassmann-even Nakanishi-Lautrup field $b^a$ of ghost number zero. The bar labels the independent antighost, not an additional propagating complex-conjugate matter field. Choose a left BRST symmetry differential:It is an odd derivation: $s(XY)=(sX)Y+(-1{)}^{|X|}X(sY)$ for homogeneous Grassmann parity $|X|$. The two relevant properties are $s{\mathcal{L}}_{\mathrm{YM}}=0$ and off-shell nilpotence $s^2=0$. The first is gauge invariance with parameter replaced by the ghost, and the second follows from the Lie algebra's graded Jacobi identities. ThusAlgebraically this holds for any $\Psi$; a physical gauge-fixing addition uses an odd gauge-fixing fermion of ghost number $-1$ so that $s\Psi$ is even and has ghost number zero.

For BRST-exact covariant gauge fixing, chooseThe graded Leibniz rule supplies the essential minus sign:Use Gaussian gauge fixing with an auxiliary field to integrate $b$. Pointwise,Translation of the regulated oscillatory Gaussian leaves only a field-independent normalization. The remaining Lagrangian is thereforeThis is covariant Feynman gauge, with gauge parameter one. Eliminating $b$ need not retain manifest off-shell nilpotence in the reduced field variables; the original auxiliary-field action gives the off-shell BRST symmetry formulation.

Finally, the ungauge-fixed quadratic momentum kernel isGauge directions are null vectors, so there is no inverse defining a vector propagator, and the functional integral also counts an infinite gauge orbit volume. The added gauge-fixing term cancels the longitudinal part, leaving $Q_{\mu \nu }^{ab}=-{\delta }^{ab}{p}^2{\eta }_{\mu \nu }$. With the vacuum prescription, the propagators areThe ghost action represents the Faddeev-Popov determinant and supplies ghost-vector vertices; closed ghost loops have the fermionic minus sign. Expanding the cubic and quartic Yang-Mills terms and this ghost interaction now defines consistent perturbative Feynman rules. Physical mass-shell poles remain, whereas the gauge degeneracy has been removed. Possible global gauge-fixing obstructions and boundary zero modes are separate from the perturbative inverse around the trivial vacuum.

Use one bosonic oscillator sector in old covariant string quantization, with the usual normal-ordering constant of a string $a=1$. Its matter Virasoro algebra and Hermiticity convention areA physical string state satisfies $L_{n>0}|\Psi ⟩=0$ and $(L_0-1)|\Psi ⟩=0$. Let $|k⟩$ be the oscillator vacuum with $L_{n>0}|k⟩=0$ and $L_0|k⟩=h|k⟩$. For a level-two descendant, the zero-mode condition gives $h+2=1$, hence $h=-1$. The vacuum carrying this momentum is not itself a physical level-zero tachyon state; its descendant is the candidate physical state. With open-string normalization $h={\alpha }^{\prime }{k}^2$, the required momentum has $k^2=-1/{\alpha }^{\prime }$.

The positive-mode conditions can be computed without assuming the answer. First,The latter follows by expanding $[L_1,L_{-1}^2]=2L_0{L}_{-1}+2L_{-1}{L}_0$ and commuting $L_0$ to the right. Therefore $L_1(L_{-2}+\mu L_{-1}^2)|k⟩=0$ gives $3-2\mu =0$, or $\mu =3/2$. Similarly,At $h=-1$ and $\mu =3/2$ the second condition is $(d/2-13)|k⟩=0$. Every $L_n$ with $n\ge 3$ annihilates the level-two state by the same commutators, leaving only positive modes acting on the vacuum. ThusThis is the level-two scalar Virasoro null state.

For the norm, take the vacuum norm to be one, suppressing the continuum momentum delta function. The level-two Virasoro descendant Gram matrix isThe entries follow from $⟨k|L_2{L}_{-2}|k⟩$, $⟨k|L_2{L}_{-1}^2|k⟩$ and $⟨k|L_1^2{L}_{-1}^2|k⟩$, respectively. At $h=-1$,Consequently the physical state at $d=26$ has norm squared zero. It is a spurious string state as well as physical: for any physical $|\Phi ⟩$, $⟨\Phi |Z⟩=⟨L_2\Phi |k⟩+\frac{3}{2}⟨L_1^2\Phi |k⟩=0$. The null-state quotient of a string therefore identifies it with zero. The displayed norm formula away from 26 does not describe the norm of a physical $Z$, since the $L_2$ constraint then fails.

The full covariant Fock space is indefinite because timelike string oscillators have negative norm. The no-ghost theorem for the critical bosonic string states that the constraints at $d=26,a=1$ make the physical inner product positive semidefinite. Every physical state can be represented by a positive transverse state plus a physical null state. Modding out the latter leaves a positive physical space, rather than retaining negative-norm states and simply ignoring them.

One outline of the proof uses DDF operators. Their dimension-one contour construction commutes with the physical constraints and gives $d-2$ transverse oscillators with algebra $[A_m^i,A_n^j]=m{\delta }^{ij}{\delta }_{m+n,0}$. Their oscillator states have manifestly positive norm. The covariant constraints and spurious descendants can be organized triangularly in the remaining timelike and longitudinal oscillators. At the critical dimension the completeness step shows that their remaining physical contribution is null, so the 24 transverse DDF oscillators represent the whole quotient.

For integer $2\le d<26$ at the same intercept $a=1$, the no-ghost theorem below the critical bosonic dimension gives nonnegative physical norm as well. The analogous construction leaves a longitudinal Virasoro sector with central charge $26-d$ and highest weight zero; below 26 this is a unitary sector, not a source of negative norms. At 26 it becomes null. Thus the dimension bound is not a claim that the quotient in every subcritical dimension contains only $d-2$ transverse oscillator species. The argument assumes the ordinary nonzero-momentum sector where the reference null direction for the DDF construction can be chosen. It does not eliminate the bosonic tachyon, whose negative mass squared differs from a negative norm, nor the auxiliary Faddeev-Popov ghosts. Furthermore subcritical positivity alone does not make a pure $d$-scalar Polyakov path integral Weyl-anomaly free; additional matter or conformal-factor dynamics must be addressed separately.

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.