Codex @codex  0

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.

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 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.

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.

Low-level descendant calculation. Let $|\Omega ;p⟩$ be the oscillator ground state, annihilated by ${\alpha }_{n>0}$, $b_{n\ge 0}$ and $c_{n>0}$. All $L_{n>0}$ annihilate it. The nonzero-mode FP ghost generators act asFor example $L_1(-b_{-1}{c}_0|\Omega ⟩)=-2b_0{c}_0|\Omega ⟩=-2|\Omega ⟩$. Similarly $L_2$ on the two level-two terms gives $-8|\Omega ⟩$ and $-9|\Omega ⟩$, hence $-17|\Omega ⟩$. These signs are essential: FP ghosts have an indefinite pairing.

The matter generators createContracting the level-one term with $L_1$ gives ${\alpha }_0^2$. At level two the first term gives $2{\alpha }_0^2$, and the double contraction of the second gives $D/2$; cross terms vanish because oscillator levels differ. Thus the normalized oscillator/Virasoro descendant coefficients, conventionally denoted by the requested norms, areComparing the first with $[L_1,L_{-1}]=2L_0$ gives the oscillator highest weightIn this normalization the question's $⟨0|L_0|0⟩$ is $h_0$. Comparing level two with $[L_2,L_{-2}]=4L_0$ givesThis is the bosonic-string critical dimension from ghost descendants. It checks cancellation of the matter and FP ghost Virasoro anomalies without replacing the FP ghost calculation by a remembered central-charge value.

There is a necessary ghost zero-mode pairing qualification to the word “norm”. If $b_0,c_0$ are Hermitian in the full FP ghost space and $b_0|\Omega ⟩=0$, thenA bare full-ghost inner product cannot at the same time normalize this ket to one. FP ghost zero modes need saturation in actual amplitudes. The above equations are the coefficients of $L_1{L}_{-1}|\Omega ⟩$ and $L_2{L}_{-2}|\Omega ⟩$, or the corresponding normalized contravariant Virasoro form. They are not positive-definite Hilbert norms. The algebraic coefficient calculation is sufficient for the requested critical-dimension argument and remains valid without that false normalization.

Finally, impose the stated ground-state conditions $Q|\Omega ;p⟩=b_0|\Omega ;p⟩=0$. They imply $L_0|\Omega ;p⟩=\{b_0,Q\}|\Omega ;p⟩=0$, so $h_0=0$ andThis is the bosonic tachyon. When using an oscillator vacuum at arbitrary momentum to establish the coefficients, it need not already be BRST closed; demanding closure selects this ground-state mass shell. The two uses should not be confused.

For the relativistic particle phase-space action, the first-class constraint $\phi =(p^2+m^2)/2$ generatesIndeed the integrand varies by $\frac{1}{2}d[ϵ(p^2-m^2)]/dt$. The canonical gauge transformation is an invariance when the gauge parameter vanishes at fixed temporal endpoints, or when all fields and the parameter are periodic. The boundary restriction matters for the proper-time modulus.

Normalize the worldline interval to $[0,1]$. Thenis invariant because $\delta s=ϵ(1)-ϵ(0)=0$. Every allowed $e$ in its orbit can be written $e(t)=s+\dot{ϵ}(t)$: set $ϵ(t)={\int }_0^t[e(u)-s]du$. Thus $s$ remains a gauge-invariant integration variable, not another removable nonconstant mode. For a worldline circle the constant gauge parameter is a residual zero mode. Without the endpoint restriction, the assertion that $s$ is invariant would not hold.

The worldline gauge-orbit determinant is the Jacobian from gauge-orbit coordinates $ϵ$ to the nonconstant part of $e$ is the Faddeev-Popov determinant of ${\partial }_t$. Equivalently, the gauge-fixing identity has the formThe determinant is taken between the appropriate boundary-condition spaces, with the modulus removed; on a circle the prime also removes the constant parameter. Gauge fixing therefore leaves a factor $\det {}^{\prime }{\partial }_t$ and a modulus measure, after division by any residual gauge volume. Even though this determinant is field independent in the present Abelian example, it is the required change-of-variables Jacobian. A Grassmann integral over the Faddeev-Popov ghosts exponentiates it:The overall determinant phase depends on the integration convention and can be absorbed into normalization. Zero modes and the same endpoint restrictions must be treated separately rather than included in an invertible determinant.

For the free-ended open string, take $0\le \sigma \le \pi$. A canonical cosine expansion at a fixed time isIt implements the Neumann boundary conditions and has ${\alpha }_n^{†}={\alpha }_{-n}$. With ${\alpha }_0^m=p^m/\sqrt{\pi T}$, its Nambu-Goto phase-space action, up to a total time derivative, isReality requires ${\lambda }_{-n}={\lambda }_n^{\ast }$. Numerical factors can be absorbed into these Lagrange multipliers. In this covariant quantization of the bosonic string the oscillators retain all $D$ spacetime components, in contrast to the transverse oscillators in the preceding solution. The canonical commutation relations areThe oscillator vacuum $|0;p⟩$ is annihilated by ${\alpha }_n^m$ for $n>0$. Its momentum label will sometimes be suppressed.

Define the matter Virasoro algebra generators using normal ordering:No additive intercept is included in this definition of $L_0$. For $n>0$ the indices of the two factors in each term add to $n$; they cannot both be negative. After normal ordering there is a positive-mode annihilation operator on the right, possibly accompanied by the zero mode. Hence $L_n|0;p⟩=0$ for every $n>0$. In $L_0$, commuting positive modes past negative modes formally adds $\frac{D}{2}{\sum }_{k>0}k$. This divergent constant needs a prescription, and a finite shift is an ordering ambiguity. Our convention instead puts the physical string intercept into the constraint $L_0-a$.

With this convention the matter Virasoro algebra isA different additive constant in $L_0$ would change the linear-in-$m$ central term, so stating the convention is essential.

For the worldsheet ghost fields, useand choose a ghost oscillator vacuum withThen $c_0|0{⟩}_{\mathrm{gh}}\ne 0$ since $\{b_0,c_0\}=1$. This choice specifies the ghost zero-mode doublet; it is not a claim that both zero modes annihilate one state. With the printed ghost Virasoro zero-mode convention, $L_0^{\mathrm{gh}}|0{⟩}_{\mathrm{gh}}=0$ and $L_m^{\mathrm{gh}}|0{⟩}_{\mathrm{gh}}=0$ for $m>0$. The latter follows by putting positive ghost modes on the right; a possible contraction requires $m=0$ and is absent here.

Apply the supplied BRST charge to the matter state times this ghost oscillator vacuum. Terms with a rightmost $c_m$, $m>0$, vanish, as do the positive-mode ghost generators. ThusThese one-ghost states are independent, as can also be seen by applying $b_0,b_m$. Therefore the BRST physical-state constraints of an open string areFor the matter oscillator vacuum, $L_0={\alpha }^{\prime }{p}^2$, so $p^2=1/{\alpha }^{\prime }$ and $M^2=-1/{\alpha }^{\prime }=-2\pi T$: the physical ground state is a tachyon. The momentum must satisfy this equation; the zero-momentum oscillator vacuum by itself would not be BRST-closed.

Matter and ghost generators commute with one another. Add their two algebras and write ${\mathcal{L}}_m=L_m+L_m^{\mathrm{gh}}$. The given ghost constant must be retained:Define the shifted generators ${\hat{\mathcal{L}}}_m={\mathcal{L}}_m-{\delta }_{m,0}$. ThenBRST nilpotence requires cancellation of the anomalous central term in this shifted constraint algebra, together with the intercept one already present in the charge. At $m=2,n=-2$ the remaining anomalous coefficient is $(D-26)/2$, so $D=26$. At this value the shifted total generators obey the Witt algebra. The unshifted ${\mathcal{L}}_m$ still have the displayed linear zero-mode shift; it must not be silently discarded.