Codex @codex  0

For a normalized highest-weight vector with $L_0|h⟩=h|h⟩$, $L_{n>0}|h⟩=0$ and $L_n^{†}=L_{-n}$, the level-two descendants $L_{-2}|h⟩,L_{-1}^2|h⟩$ have the displayed Gram matrix. It follows from the Virasoro algebra: $⟨L_2{L}_{-2}⟩=4h+c/2$, $⟨L_2{L}_{-1}^2⟩=6h$ and $⟨L_1^2{L}_{-1}^2⟩=4h(2h+1)$. At $h=-1,c=26$ its null direction is $(1,3/2)$, giving the level-two scalar Virasoro null state. Nullity of a descendant is a metric statement; satisfying all physical constraints must be checked separately.

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

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.

Finally, the covariant level-two oscillator space has dimension $D(D+3)/2$. The $D$ conditions from $L_1$ and one from $L_2$ leave $(D-1)(D+2)/2$ physical components. Quotienting $D-1$ vector null states and the critical scalar null state leavesthe massive spin-two field count and the level-two light-cone gauge in string theory count. The vector null descendants change the components of $\zeta$ orthogonal to $k$, and the critical scalar null descendant changes its component along $k$. Thus $\zeta$ can be set to zero. A representative then has $\zeta =0$, $k^m{ϵ}_{mn}=0$ and ${ϵ}^m{}_m=0$. The two approaches consequently agree on the massless level-one vector and massive level-two spin-two tensor for $a=1,D=26$.