Codex @codex  0

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

In conformal gauge, a free closed bosonic string has $({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^{\mu }=0$, periodicity in $\sigma$, and the two Virasoro constraints $(\dot{X}\pm X^{\prime }{)}^2=0$. Its left- and right-moving string oscillator families have independent Virasoro generators $L_n$ and ${\tilde{L}}_n$. In old covariant string quantization, a physical string state obeyswith $a=1$ in the critical bosonic string theory. The two zero-mode conditions also impose closed-string level matching. For an open string, keep just one string oscillator family. Negative-mode constraints are adjoints on bras, not additional annihilation conditions on physical string states.

A spurious string state is a Virasoro descendant orthogonal to every physical string state: if $|s⟩={\sum }_{n>0}{L}_{-n}|{\chi }_n⟩$, then $⟨\Phi |s⟩=0$ follows from $L_n|\Phi ⟩=0$ and $L_n^{†}=L_{-n}$. A null string state is a spurious state that is itself physical. It consequently has zero norm and is removed in the null-state quotient of a string. The calculations below concern one string oscillator family and use

For $|n_1⟩=L_{-1}|{\chi }_1⟩$ with $L_0|{\chi }_1⟩=0$ and all positive modes zero, $L_0|n_1⟩=|n_1⟩$. AlsoIt is therefore physical for string intercept one and spurious by construction. In particular $\Vert n_1{\Vert }^2=⟨{\chi }_1|2L_0|{\chi }_1⟩=0$. This proves the requested level-one descendant is null.

For the scalar descendant, write $|v_b⟩=(L_{-2}+b{L}_{-1}^2)|{\chi }_2⟩$ with $L_0|{\chi }_2⟩=-|{\chi }_2⟩$ and positive modes zero. Direct commutation givesFor instance $[L_1,L_{-1}^2]|{\chi }_2⟩=-2L_{-1}|{\chi }_2⟩$ and $L_2{L}_{-1}^2|{\chi }_2⟩=-6|{\chi }_2⟩$. Modes $m\ge 3$ annihilate $|v_b⟩$ because every remaining positive mode annihilates its parent. Hence the physical scalar descendant requires $b=3/2$ and $d=26$:It is spurious, so physicality also proves orthogonality and zero norm without an extra positivity assumption.

The printed coefficient $3/4$ does not give this null string state. It instead gives $L_1|v_{3/4}⟩=\frac{3}{2}{L}_{-1}|{\chi }_2⟩$, generally nonzero. For a normalized highest-weight parent with weight $-1$ at $d=26$, the descendant Gram matrix isThus the printed vector has norm $9/4$, whereas the corrected vector has norm zero. This is a genuine PDF coefficient error. Away from 26 dimensions even the corrected coefficient does not give the claimed physical null string state; the remaining condition is $L_2|v_{3/2}⟩=(d-26)|{\chi }_2⟩/2$.

The level-two open string state also needs a source correction: its vector string oscillator must be ${\alpha }_{-2}^{\mu }$, not the printed ${\alpha }_{-1}^{\mu }$. A single ${\alpha }_{-1}$ has level one and cannot share the stated mass-shell condition with the two-${\alpha }_{-1}$ term. Put $q^{\mu }={\alpha }_0^{\mu }=\sqrt{2{\alpha }^{\prime }}{p}^{\mu }$, and write the genuine level-two state asThe mass-shell condition $L_0=1$ gives ${\alpha }^{\prime }{p}^2+2=1$, so $q^2=-2$. The commutators above giveFor the second formula, the contraction from the two ${\alpha }_{-1}$ operators is exactly $a^{\mu }{}_{\mu }$, not twice that value. Modes $m>2$ vanish automatically. We have derivedThe coefficient formulas in the question are consequently consistent after the string oscillator correction and with $d=26$.

To prove the full level-two open-string polarization decomposition, not merely check one candidate, defineThe constraints give $q\cdot b=-t/2$ and therefore $q\cdot A=0$. Contracting $c$ with $q$ givesIts trace is $t-t(26+3q^2)/20-2q\cdot A=0$. Thus $c$ is symmetric, traceless and transverse. Conversely, arbitrary $t$, a vector $A$ with $q\cdot A=0$, and such a tensor $c$ giveand direct contraction verifies both constraints. The number $20$ uses $d=26$; it would not reproduce the same unrestricted trace in arbitrary dimension.

Finally the two unphysical pieces are precisely the descendants already proved null. The vector part iswhose parent has $L_0=0$ and all positive modes zero because $q\cdot A=0$. For the scalar part useThenhas exactly the scalar tensor $t(3q_{\mu }{q}_{\nu }+{\eta }_{\mu \nu })/20$ and vector $t{q}_{\mu }/4$. The momentum vacuum has $L_0=-1$ and positive modes zero, as required. HenceThe physical quotient contains only the transverse traceless tensor. Its massive little-group space has dimension $25\cdot 26/2-1=324$, agreeing with the light-cone gauge in string theory count $24\cdot 25/2+24=324$ at level two.

In old covariant quantization, an open-string physical string state obeyswith analogous left- and right-moving conditions for a closed string. A spurious string state is a Virasoro descendant orthogonal to every physical state. A null string state is both physical and spurious; it has zero norm and zero inner product with every physical state, so quotienting by null states removes gauge redundancy without removing observable states.