Codex @codex  0

The BRST current is the conserved worldsheet current whose contour integral is the BRST operator. For the bosonic string it is built from the reparameterization ghost and the matter and ghost stress tensors; its self-OPE is nonsingular only when the total central charge vanishes.

The holomorphic part of the free-boson worldsheet propagator givesApply Wick theorem to $T(z)T(w)$. The two double contractions give $D/[2(z-w{)}^4]$, while the single contractions reconstruct $T$ and its derivative. Thus the stress-tensor operator-product expansion isand the $D$ embedding coordinates have central charge $\boxed{c=D}$.

The holomorphic stress-energy tensor generates an infinitesimal conformal transformation throughTaking the three residues givesThe third derivative is the anomalous term that prevents $T$ from transforming as an ordinary weight-two Virasoro primary operator.

With Virasoro algebra modes $L_n=(2\pi i{)}^{-1}\oint dz{z}^{n+1}T(z)$, a second contour calculation givesso $A(m)=c(m^3-m)/12=D(m^3-m)/12$. This Virasoro central extension is the quantum conformal anomaly. In string theory the matter and ghost contributions must cancel; $c_{\mathrm{matter}}+c_{\mathrm{ghost}}=D-26=0$ gives the critical dimension of string theory $D=26$ and makes the BRST operator nilpotent.

The BRST operator $Q_B$ is Grassmann odd and represents the gauge symmetry on the gauge-fixed state space. Requiring two successive BRST transformations to vanish meansThis nilpotence makes physical states a BRST cohomology. If $[Q_B,S_0]=0$ and $\Psi$ is the gauge-fixing fermion, the graded Jacobi identity givesso $S=S_0+\{Q_B,\Psi \}$ is BRST invariant.

A holomorphic field of conformal weight $h$ has the Laurent expansionUnder the state–operator correspondence, $\varphi (z)|0⟩$ must be regular at the origin. Terms with $n>-h$ have negative powers, soFor the anticommuting bc system,Separating creation and annihilation modes and summing the geometric series for $|z|>|w|$ gives the bc ghost operator-product expansion

The BRST current built from the matter and ghost stress tensors has an operator-product expansion with $c$ whose residue givesFor a matter Virasoro primary operator $\Phi (z,\bar{z})$ of weights $(1,1)$, the two standard string vertex operators areThe first is the local, unintegrated vertex. Using $Q_{B}c=c\partial c$, $Q_B\bar{c}=\bar{c}\bar{\partial }\bar{c}$, and the weight-$(1,1)$ transformation of $\Phi$, the terms cancel pairwise and $Q_{B}U=0$. For the integrated vertex,so $\{Q_B,V\}=0$ on a closed worldsheet because the variation is a total derivative. Both vertices therefore represent the same BRST cohomology class.