Codex @codex  0

A central extension is a Lie algebra surjection whose kernel commutes with every element of the larger algebra. The Virasoro central extension adds a central generator to the Witt algebra.

With the oscillator symplectic form of an open string, the quadratic generators $L_n={\sum }_k{\alpha }_k\cdot {\alpha }_{n-k}/2$ obey $\{{\alpha }_k,L_n\}=-ik{\alpha }_{k+n}$. Their Poisson brackets close without a central term, so they are first-class constraints. Quantization requires normal ordering and can produce the Virasoro central extension.

The Nambu–Goto action is invariant under worldsheet diffeomorphisms. Its canonical Nambu–Goto phase-space constraints areIn conformal gauge, $\Pi =T\dot{X}$, so these become $(\dot{X}\pm X^{\prime }{)}^2=0$. Their smeared generators implement the residual conformal transformations rather than independent propagating degrees of freedom. Classically their Fourier modes form the classical Virasoro constraint algebra. Quantization promotes them to the Virasoro algebra, and its constraints select the physical string states from the indefinite covariant Fock space.

For clarity, start with a Neumann boundary condition at both ends of an open string, $0\le \sigma \le \pi$. Its open-string mode expansion isCanonical quantization gives the string oscillator relationsWith ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$, the worldsheet stress-energy tensor obeysSubstituting the open-string mode expansion into this quadratic expression derives the Virasoro generators:The colons mean normal ordering, placing the negative-mode creation operators to the left. The string level operator $N$ increases by $r$ when an oscillator ${\alpha }_{-r}$ is added.

Using the commutator once givesApplying this to the quadratic expression for $L_n$ produces $(m-n)L_{m+n}$, together with the double-contraction Virasoro central extension. To determine its coefficient, take $m>0$ and evaluate $[L_m,L_{-m}]$ on a zero-momentum oscillator vacuum. Only the creation pairs with $1\le r\le m-1$ contribute, givingHere $D$ is the target spacetime dimension; the timelike free boson also contributes one to the central charge, since a double contraction contains two metric factors. ThusThis derives both the Virasoro generators and their quantum anomaly.

In old covariant string quantization, the physical-state Virasoro conditions for an open string arewhere $a$ is the normal-ordering constant of a string. Requiring all positive and negative modes to annihilate a state would contradict the nonzero Virasoro central extension; the positive-mode prescription is the appropriate covariant subsidiary condition. The zero-mode equation gives the open bosonic string mass spectrum,For a closed string, there are two commuting Virasoro algebras. With uncompactified zero modes, $L_0={\alpha }^{\prime }{p}^2/4+N_R$ and ${\tilde{L}}_0={\alpha }^{\prime }{p}^2/4+N_L$. Imposing both positive-mode conditions and both zero-mode conditions gives the closed-string level matching $N_L=N_R$ and $M^2=4(N_L-a)/{\alpha }^{\prime }$.

Covariance initially retains the timelike string oscillators. For example, ${\alpha }_{-1}^0|0;p⟩$ has negative norm because ${\eta }^{00}=-1$. Its existence in the unconstrained space is not an inconsistency if it is absent from the physical quotient. The no-ghost theorem for the critical bosonic string states that, at $D=26$ and $a=1$, the inner product on physical string states at ordinary nonzero momentum is positive semidefinite. After quotienting physical null string states, this physical space is represented by the 24 positive-norm transverse string oscillators.

A spurious string state has the form ${\sum }_{n>0}{L}_{-n}|{\chi }_n⟩$. Its inner product with every physical string state vanishes, by $L_n|\psi ⟩=0$ and $L_n^{†}=L_{-n}$. Whenever such a state is itself physical, it is a null string state and represents a gauge redundancy, not an extra polarization. Consequently the physical quotient has no negative-norm propagating states, and agrees with light-cone gauge in string theory. This is the significance of the theorem; a proof is not needed here. It does not eliminate the bosonic tachyon, whose negative mass squared is distinct from negative norm, nor does it remove the auxiliary worldsheet ghost fields used in gauge fixing.

Use a mostly-plus target metric tensor and the standard open-string mode expansion convention ${\alpha }_0^{\mu }=\sqrt{2{\alpha }^{\prime }}{p}^{\mu }$. The integer string oscillator level is $N={\sum }_{n\ge 1}{\alpha }_{-n}\cdot {\alpha }_n$, whose eigenvalues are nonnegative integers. Then $L_0=N+{\alpha }^{\prime }{p}^2$, so the string mass-shell condition givesThe ground state is a tachyon, and the level-one state is massless. The physical string state conditions in old covariant string quantization areOnly the positive-mode Virasoro constraints annihilate a ket; their negative-mode partners annihilate the corresponding bra. Imposing both signs on every ket would contradict the nonzero Virasoro central extension.

The central charge comes from normal ordering the quadratic oscillator expressions. Classically their Poisson brackets have no central term. Quantum mechanically, moving annihilation operators through creation operators produces double contractions. From the oscillator commutator one obtains $[L_m,{\alpha }_n^{\mu }]=-n{\alpha }_{m+n}^{\mu }$, which gives the noncentral part $(m-n)L_{m+n}$.

The coefficient is fixed by the free-boson Virasoro central term. On a formal zero-momentum vacuum, for $m>0$,The two contraction pairings giveHere ${\eta }_{\mu \nu }{\eta }^{\mu \nu }=D$; the time coordinate contributes one, just as each spatial coordinate does. Comparing with the Virasoro algebra provesThis counts covariant target coordinates. It is distinct from the $D-2$ physical transverse polarizations. Including the central charge of reparameterization ghosts gives $c_{\mathrm{total}}=D-26$; cancellation of the worldsheet Weyl anomaly gives the usual critical dimension of the bosonic string $D=26$.

A general level-one state isThe zero-mode constraint requires $k^2=0$. Since $[L_1,{\alpha }_{-1}^{\mu }]={\alpha }_0^{\mu }$, the remaining nontrivial positive-mode constraint is $k\cdot ϵ=0$; all $L_m$ with $m\ge 2$ act trivially at this level. Thus the polarization vector is transverse to a nonzero null momentum.

There is also a null string state $L_{-1}|0;k⟩=\sqrt{2{\alpha }^{\prime }}k\cdot {\alpha }_{-1}|0;k⟩$. It is physical when $k^2=0$ and orthogonal to every physical polarization. The null-state quotient of a string therefore identifiesChoose $k=(E,E,0,\dots ,0)$. Transversality sets ${ϵ}^1={ϵ}^0$, and the null-state identification removes this common component. The remaining $D-2$ spatial components have positive norm. Hence the physical level-one states form a massless vector with $D-2$ polarizations, or 24 at the critical dimension. The removed component is gauge redundancy. States violating the constraints, including independent timelike negative-norm polarizations, are unphysical; physical null states are removed by the quotient rather than counted as additional particles.

The Polyakov action has independent worldsheet metric ${\gamma }_{ab}$ and embedding fields $X^{\mu }$. Varying the metric before imposing a gauge givesWorldsheet diffeomorphisms and Weyl transformations allow conformal gauge ${\gamma }_{ab}=e^{2\omega }{\eta }_{ab}$ locally. The Weyl factor then cancels out of the classical action, leavingThese are free two-dimensional scalar fields, but the surviving metric equations requireEquivalently, ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. Gauge fixing does not license dropping these Virasoro constraints.

For an ordinary open string, the boundary conditions relate the two chiral sectors. With ${\alpha }_0^{\mu }=\sqrt{2{\alpha }^{\prime }}{k}^{\mu }$, their independent Fourier generators areThe classical oscillator Poisson brackets $\{{\alpha }_m^{\mu },{\alpha }_n^{\nu }\}=-im{\eta }^{\mu \nu }{\delta }_{m+n,0}$ give the classical Virasoro constraint algebraThus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$. The oscillator commutator givesFor example, for $m>0$ the extra vacuum term is $(D/2){\sum }_{r=1}^{m-1}r(m-r)=D(m^3-m)/12$. This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is $D$; the worldsheet ghost fields have charge $-26$. Quantum consistency sets $D=26$ and the string intercept to one.

In old covariant string quantization the physical-state Virasoro conditions for an open string arePhysical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.

At $N=0$, the oscillator vacuum $|k⟩$ is a single spacetime scalar field with ${\alpha }^{\prime }{M}^2=-1$: the bosonic tachyon. At $N=1$, write $|\Psi ⟩={ϵ}_{\mu }{\alpha }_{-1}^{\mu }|k⟩$. The zero-mode equation gives $k^2=0$, and $L_1$ gives $k\cdot ϵ=0$. The null descendant $L_{-1}|k⟩=\sqrt{2{\alpha }^{\prime }}k\cdot {\alpha }_{-1}|k⟩$ identifies $ϵ\sim ϵ+\lambda k$. This leaves 24 physical polarizations of a massless gauge vector.

At $N=2$, use the level-two open-string polarization decompositionThe mass is $M^2=1/{\alpha }^{\prime }$. The oscillator commutators give all the nontrivial positive-mode conditions:Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states $L_{-1}(\xi \cdot {\alpha }_{-1}|k⟩)$, with $k\cdot \xi =0$, shiftThe additional level-two scalar Virasoro null state $(L_{-2}+\frac{3}{2}{L}_{-1}^2)|k⟩$ shiftsSubstitution into the two physical equations verifies the null-state conditions; the second residual is $(D-26)/2$. Because $k$ is timelike, these null shifts span all components of $b$, so choose a representative with $b=0$. The physical conditions then say $k^{\mu }{h}_{\mu \nu }=0$ and $h^{\mu }{}_{\mu }=0$. In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with $25\cdot 26/2-1=324$ polarizations. The light-cone basis independently gives $24$ states ${\alpha }_{-2}^i|k⟩$ and $24\cdot 25/2=300$ symmetric states ${\alpha }_{-1}^i{\alpha }_{-1}^j|k⟩$. Hence

For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature $(-,+)$ and useTake $\psi =({\psi }_1,{\psi }_2{)}^T$ and the constant parameter $ϵ=({ϵ}_1,{ϵ}_2{)}^T$ to be real Grassmann-odd Majorana components, with $\bar{\psi }={\psi }^T{\rho }^0$. Put ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$. Apart from the common factor $1/(4\pi {\alpha }^{\prime })$, the combined Lagrangian isThe rigid transformations can be writtenor, in components,For the ${ϵ}_2$ part, the bosonic variation is $i{ϵ}_2({\partial }_{+}{\psi }_1\cdot {\partial }_{-}X+{\partial }_{+}X\cdot {\partial }_{-}{\psi }_1)$, while the fermionic variation is $-i{ϵ}_2{\partial }_{-}X\cdot {\partial }_{+}{\psi }_1+i{ϵ}_2{\psi }_1\cdot {\partial }_{+}{\partial }_{-}X$. Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetryThus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on $X$ its commutator for parameters $ϵ,\zeta$ is the translationOn $\psi$ the same translation follows using ${\partial }_{+}{\psi }_1=0$ and ${\partial }_{-}{\psi }_2=0$; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.

The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ${\psi }^{\mu }(z){\psi }^{\nu }(w)\sim {\eta }^{\mu \nu }/(z-w)$,The free-field contractions give $G(z)G(w)\sim (2c/3)/(z-w{)}^3+2T(w)/(z-w)$ and conformal weight $3/2$ for $G$, where $c=D+D/2=3D/2$. Consequently the modes obey the N=1 super-Virasoro algebraDropping the central terms gives the classical graded constraint algebra. Integer $r$ gives the Ramond sector; half-integer $r$ gives the Neveu–Schwarz sector. In the displayed conformal-plane convention $G_0^2=L_0-c/24$ in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square $G_0^2=L_0^{(R)}$.

Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains $T=G=0$. The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are $-26+11=-15$, so cancellation with $3D/2$ gives the critical dimension of the RNS superstring $D=10$; the NS and Ramond intercepts are respectively $1/2$ and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.

Use the mostly-positive target Minkowski spacetime metric and a closed string coordinate $0\le \sigma <2\pi$. In conformal gauge, variation of the Polyakov action gives $({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^{\mu }=0$. The compact coordinate, denoted $X^{25}$, can change by $2\pi Rw$ around the closed string, with $w\in \mathbb{Z}$. Write $w^{\mu }=w{\delta }^{\mu ,25}$. Integrating the two chiral wave solutions and expanding their periodic parts gives the closed-string mode expansionReality imposes ${\alpha }_{-n}=({\alpha }_n{)}^{\ast }$ and the analogous condition in the other chirality. The classical compact momentum is continuous; quantization of a wavefunction on the circle subsequently gives $p^{25}=n/R$ with $n\in \mathbb{Z}$. The momentum and winding modes are most conveniently packaged asFor noncompact directions both zero modes are $\sqrt{{\alpha }^{\prime }/2}{p}^{\mu }$. Thus the formula includes both independent string oscillator families and all compact topological sectors.

Define the worldsheet stress-energy tensor by ${\theta }_{ab}=-2(-\gamma {)}^{-1/2}\delta I/\delta {\gamma }^{ab}$. Its normalization and components areAn overall rescaling of the named worldsheet stress tensor does not alter its vanishing. Variation of the independent worldsheet metric imposes ${\theta }_{ab}=0$, equivalently $(\dot{X}+X^{\prime }{)}^2=(\dot{X}-X^{\prime }{)}^2=0$. These are the Virasoro constraints that restrict the otherwise general wave solution.

The conjugate momentum density is $P_{\mu }={\dot{X}}_{\mu }/(2\pi {\alpha }^{\prime })$. The gauge-fixed Hamiltonian generating $\tau$ translation is thereforewith the analogous tilded generators. In particular, before imposing the Virasoro constraints,The target momentum includes its timelike component, so this is not a positive particle-energy formula. On the classical constraint surface the reparameterization Hamiltonian vanishes; target energy is the separate charge $p^0$. The difference $L_0-{\tilde{L}}_0=0$ imposes the residual spatial constraint.

In the quantum theory the same quadratic expressions require normal ordering: $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$ makes different orderings differ by divergent constants. Their regularized finite remainder is the normal-ordering constant of a string, or string intercept. The Virasoro central extension also appears. In the critical 26-dimensional bosonic string theory, the 24 transverse string oscillators give one-unit string intercept in each chirality. For example their regulated chiral vacuum energy is $24{\sum }_{k>0}k/2=-1$ using zeta function regularization. The physical zero-mode constraints are $(L_0-1)|\Psi ⟩=({\tilde{L}}_0-1)|\Psi ⟩=0$.

Let $M$ be the mass seen in the remaining 25 noncompact dimensions. Substituting the compact zero modes in these two constraints givesTaking their mean and difference yieldsThis sign of compact-circle closed-string level matching follows from assigning tildes to the left-moving sector. Under T-duality, set $R^{\prime }={\alpha }^{\prime }/R$, $n^{\prime }=w$, $w^{\prime }=n$. Then $p_L^{\prime }=p_L$ and $p_R^{\prime }=-p_R$, so reversing the compact right-moving string oscillators implements the transformation while leaving $N,\tilde{N}$ unchanged. Both the mass equation and closed-string level matching are invariant. This proves invariance of the full closed string spectrum, including its string oscillator degeneracies, rather than only the zero-mode contribution.

A D-brane with $p$ spatial worldvolume directions, called a D$p$-brane, is a $(p+1)$-dimensional timelike submanifold on which open string endpoints have Neumann boundary conditions tangentially and Dirichlet boundary conditions transversely. Apply T-duality to the compact coordinate by $\tilde{X}=X_L-X_R$. The differential relationsinterchange the two endpoint conditions. Consequently a D$p$-brane wrapping the original circle becomes a D$(p-1)$-brane localized on the dual circle. Its compact Wilson line specifies that position. This is T-duality of D-brane boundary conditions.

The separated-brane configuration must instead have the circle transverse to the D-branes. Two parallel D-branes wrapping the same circle cannot be separated along that worldvolume direction. Thus the latter part describes a new orientation, with both endpoints subject to compact Dirichlet boundary conditions. If their positions differ by $L$, an oriented Open string stretched between D-branes has displacementOn $0\le \sigma \le \pi$, its compact classical solution has a linear part $y_1+L_w\sigma /\pi$, plus sine modes vanishing at the endpoints. This adds $L_w^2/(4{\pi }^2{\alpha }^{\prime })$ to the Virasoro generator zero mode. Thus, for momentum $\mathbf{p}$ along the D-branes,The second equation is the quantum rest-energy squared of the string oscillator ground state; the smallest one uses the shortest allowed compact separation $|L_w|$. Classically the straight string energy is $T|L_w|=|L_w|/(2\pi {\alpha }^{\prime })$. The quantum ground state is a tachyon if $|L_w|<2\pi \sqrt{{\alpha }^{\prime }}$, so in that regime it is an instability rather than a state with real rest energy. Dropping the string intercept would describe the classical stretched string, not its quantum ground state.

The transverse-circle T-duality changes these two D-branes to D$(p+1)$-branes wrapping the dual circle. Their positions become the eigenvalues $A_i=y_i/(2\pi {\alpha }^{\prime })$ of a constant gauge connection. The Wilson loop phases are $e^{i2\pi R^{\prime }{A}_i}=e^{i{y}_i/R}$. A string connecting D-brane $1$ to D-brane $2$ has dual compact momentumIts momentum contribution to $E^2$ is exactly the former stretching term, including every winding sector. Qualitatively the two geometrically coincident wrapped D-branes are distinguished by their Wilson lines, and their connecting strings have shifted momentum quantization. This is how brane separation becomes a Wilson line.

Let $h_{\mu \nu }={\partial }_{\mu }{X}^a{\partial }_{\nu }{X}_a$ be the induced worldvolume metric and write $H={\gamma }^{\mu \nu }{h}_{\mu \nu }$. Varying the embedding in the auxiliary-metric brane action and integrating by parts givesThe boundary contribution, including its relative factor, isAt initial and final times one fixes the endpoint configurations or uses variations of compact support. At a spatial boundary, free target directions require Neumann boundary conditions $n_{\mu }{\gamma }^{\mu \nu }{\partial }_{\nu }{X}^a=0$; fixed directions require Dirichlet boundary conditions $\delta X^a=0$. Mixed conditions must make this boundary pairing vanish. A closed brane has no spatial boundary. Since the auxiliary worldvolume metric enters without derivatives, its variation produces no extra boundary term.

Using $\delta \sqrt{-\gamma }=-(1/2)\sqrt{-\gamma }{\gamma }_{\mu \nu }\delta {\gamma }^{\mu \nu }$, variation of the inverse worldvolume metric givesTaking the trace yields $(p-1)(H-p-1)=0$. For $p\ne 1$, this forces $H=p+1$, and substitution gives ${\gamma }_{\mu \nu }=h_{\mu \nu }$. For a nondegenerate timelike embedding, eliminating the auxiliary worldvolume metric therefore gives twice the worldvolume area, with the overall physical brane tension supplied by the action normalization.

For $p=1$, the traced metric equation is an identity, and the remaining equation only says $h_{\mu \nu }=(H/2){\gamma }_{\mu \nu }$. It fixes the worldsheet metric up to a Weyl transformation, rather than determining it uniquely. Indeed $\sqrt{-\gamma }{\gamma }^{\mu \nu }$ is Weyl invariant precisely in two worldvolume dimensions, and the constant term vanishes precisely at $p=1$. This is the Weyl-invariance exception for the string among branes. In a nondegenerate interior it gives the familiar classical equivalence of Polyakov and Nambu–Goto actions; degeneracies at a free string endpoint must be treated through the original equations.

For the open string, choose conformal gauge ${\gamma }_{\mu \nu }=\mathrm{diag}(-1,1)$ on $0\le \sigma \le \pi$. The embedding equation is the wave equation, and NN means ${\partial }_{\sigma }{X}^a=0$ at both spatial endpoints. For these operator formulas restore the conventional overall normalization $S=-TI/2$, with $T=(2\pi \alpha \prime {)}^{-1}$; the overall factor does not change the preceding classical equations. Its open-string mode expansion isReality requires $({\alpha }_n^a{)}^{†}={\alpha }_{-n}^a$. Canonical quantization givesThe metric equation is the vanishing of the worldsheet stress tensor: $({\partial }_{\tau }X+{\partial }_{\sigma }X{)}^2=({\partial }_{\tau }X-{\partial }_{\sigma }X{)}^2=0$. The two endpoint-compatible mode expansions contain the same string oscillator family. Their quadratic coefficients are the classical Virasoro constraints.

For the operators, use normal ordering with positive-index string oscillators as annihilators:Thus $({\partial }_{\tau }X\pm {\partial }_{\sigma }X{)}^2$ has modes $4{\alpha }^{\prime }{L}_m$ before the quantum ordering correction. The physical-state Virasoro conditions for an open string areOne imposes only the positive modes on kets, with the adjoint conditions on bras, as in Gupta-Bleuler quantization. Requiring every positive and negative mode to annihilate the same state would conflict with the Virasoro central extension. The intercept $a$ is the zero-mode ordering constant. The standard critical bosonic string theory has $d=26$ and $a=1$; in light-cone gauge in string theory the transverse zero-point energy gives $a=(d-2)/24$, while full anomaly-free Lorentz or BRST quantization fixes the critical values. The mass constraint is then ${\alpha }^{\prime }{M}^2=N-a$, with $N={\sum }_{n>0}{\alpha }_{-n}\cdot {\alpha }_n$.

To compute the Virasoro algebra, commute a quadratic generator with one string oscillator:These identities and the Jacobi identity imply that $[L_m,L_n]-(m-n)L_{m+n}$ commutes with every string oscillator and with the center-of-mass coordinates and momenta. Mode number permits a scalar term only for $m+n=0$. Its coefficient follows from the formal zero-momentum Fock vacuum, on which $L_0=0$. For $m>0$,The two possible string oscillator contractions giveThe timelike target coordinate still contributes one to this central charge: its two metric signs cancel in ${\eta }_{ab}{\eta }^{ab}=d$. ConsequentlyThis is the free-boson Virasoro central term. It vanishes for the three global conformal modes $m=0,\pm 1$.

To keep the intercept convention separate, define ${\mathcal{L}}_m=L_m-a{\delta }_{m,0}$. The Virasoro zero-mode shift changes the displayed central term toThe matter central charge here is $d$, not $d-2$. Covariant worldsheet ghost fields contribute $-26$; their inclusion cancels the anomaly at $d=26$, while the intercept is handled by the appropriate zero-mode and physical-state convention.

The old covariant quantization of a free-ended bosonic string retains oscillators in all target directions. In mostly-plus Minkowski spacetime, set ${\alpha }_0^m=\sqrt{2{\alpha }^{\prime }}{p}^m$ andTime-coordinate excitations have negative norms in this covariant Fock space. The string ghost states in this discussion are unwanted negative-norm physical states, distinct from the anticommuting Faddeev-Popov ghost fields in the path integral. Constraints and the null-state quotient of a string remove unphysical polarizations while maintaining target-space Lorentz covariance.

Why only positive-mode constraints annihilate states. The quantum Virasoro algebra isThe physical conditions arewhere $a$ is the string intercept. If both positive and negative modes annihilated states, $[L_1,L_{-1}]=2L_0$ would force $a=0$. Then $[L_2,L_{-2}]=4L_0+D/2$ would force $D=0$. Thus the Virasoro central extension and shifted zero mode prevent imposing every classical constraint strongly in a nontrivial string. As in Gupta-Bleuler quantization, negative-mode conditions act on physical bras, rather than also annihilating physical kets. Physical null string states are quotiented because their inner products with all physical states vanish.

The intercept bound at level one. For $|ϵ;p⟩={ϵ}_m{\alpha }_{-1}^m|p⟩$, the constraints and norm areIf $a>1$, momentum is spacelike and its orthogonal complement contains a timelike negative-norm polarization. The level-one intercept bound in covariant string quantization is thereforeFor $a<1$, momentum is timelike and the $D-1$ orthogonal polarizations are positive. This avoids level-one ghosts but gives a massive vector with one more polarization than the transverse light-cone gauge in string theory spectrum. Ghost absence alone is weaker than equivalence.

For $a=1$, momentum is null. Its orthogonal complement contains $D-2$ positive directions and the null direction $p$. The state $p\cdot {\alpha }_{-1}|p⟩$, proportional to $L_{-1}|p⟩$, is physical, spurious and null. Removing it givesThe quotient has exactly the $D-2$ massless transverse vector polarizations. Thus equivalence at level one selects $a=1$ and the null-state quotient of a string, not just the inequality.

Level two and the dimension. Set $a=1$. At level two, $p^2=-1/{\alpha }^{\prime }$ and $k=\sqrt{2{\alpha }^{\prime }}p$ has $k^2=-2$. A general state isUsing $[L_m,{\alpha }_n^a]=-n{\alpha }_{m+n}^a$, the nontrivial positive-mode conditions areThere are $D-1$ vector null string states $L_{-1}(v\cdot {\alpha }_{-1}|p⟩)$ with $k\cdot v=0$. The parent has $L_0=0$, so the descendant norm is zero. Quotienting these leaves the massive symmetric traceless rank-two tensor plus one additional scalar.

The level-two scalar in covariant string quantization can be chosen, for every $D$, asOn its three displayed structures, $L_1$ gives respectively $2,-4,2$ times $k\cdot {\alpha }_{-1}|p⟩$, and $L_2$ gives $D,-2,-4$ times the vacuum. The coefficients make both combinations vanish. The first two structures have norms $2D,8$ and cross inner product $-4$; the mode-two structure has norm $-4$ and is orthogonal to them. For $B=(D+4)/10$, $C=(D-1)/5$, this yieldsAbove 26 this is a physical negative-norm string state. Below 26 it is an extra positive-norm scalar, which cannot be discarded just to force the ordinary light-cone state count. At 26 it becomes null and can be removed. Thus level-two ghost absence gives $D\le 26$, whereas equivalence to the ordinary transverse spectrum requires $D=26$.

The critical scalar is also a Virasoro descendant. For $L_0|p⟩=-|p⟩$, the level-two scalar Virasoro null state candidateobeysAt $D=26$ it is physical and null, with $|S_{26}⟩=2|Z⟩$. At other dimensions it is not physical, so its norm must not be treated as a physical ghost test; the already-physical $|S_D⟩$ gives the correct test.