Codex @codex  0

In the critical bosonic string theory, the states ${\alpha }_{-1}^i{\tilde{\alpha }}_{-1}^j|0;p⟩$ have $M^2=0$. Their coefficient matrix decomposes into a symmetric trace-free tensor, an antisymmetric tensor, and a scalar trace, representing the graviton, Kalb–Ramond field, and dilaton. Their transverse particle polarization counts add to $(D-2{)}^2$. The normal-ordering constant of a string is one.

The string level operator for a free-ended open string is $N={\sum }_{k>0}{\alpha }_{-k}\cdot {\alpha }_k$. The quantum condition is ${\alpha }^{\prime }{M}^2=N-a$, where $a$ is the normal-ordering constant of a string. Lorentz-consistent bosonic string theory has $a=1$.

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.

Write the integrand, without its common overall factor, as $\mathcal{L}={\partial }_{+}X\cdot {\partial }_{-}X-{\psi }_1\cdot {\partial }_{-}{\psi }_1-{\psi }_2\cdot {\partial }_{+}{\psi }_2$. Keep each constant Grassmann variable on the left. For the first supersymmetry component, varying the bosonic term givesVarying its fermion term gives $-{\epsilon }_1{\partial }_{+}X\cdot {\partial }_{-}{\psi }_1+{\epsilon }_1{\psi }_1\cdot {\partial }_{-}{\partial }_{+}X$. The plus sign in the second term comes from moving the odd parameter past ${\psi }_1$. The middle terms cancel and the rest form ${\epsilon }_1{\partial }_{+}({\psi }_1\cdot {\partial }_{-}X)$. The second supersymmetry component similarly gives ${\epsilon }_2{\partial }_{-}({\psi }_2\cdot {\partial }_{+}X)$. Hence, off shell,This proves the local total-derivative identity for rigid worldsheet supersymmetry; the action is invariant when the corresponding boundary flux vanishes and the transformation preserves the allowed fields. A constant parameter preserves a periodic boson and a periodic fermion. In a Neveu–Schwarz sector, however, $\delta X=\epsilon \psi$ is antiperiodic for constant $\epsilon$ and does not preserve the periodic boson. Thus the bulk identity does not supply a global constant supercharge in every spin sector. This is the spin-structure obstruction to constant worldsheet supersymmetry; the local superconformal formulation handles the different sectors consistently.

For independent field variations, integration by parts gives bulk termsThe equations of motion are thereforeFor variations vanishing at the temporal ends, the spatial seam term is proportional to the difference between its values at $\sigma =2\pi$ and $\sigma =0$ ofThe bosonic part cancels for closed string periodicity, also in a fixed winding sector. For a real fermion impose ${\psi }_a(2\pi )=s_a{\psi }_a(0)$ and the same relation on its variation. Seam cancellation requires $s_a^2=1$, so the two untwisted possibilities are periodic, $s_a=+1$ (Ramond sector), or antiperiodic, $s_a=-1$ (Neveu–Schwarz sector). The two chiralities of a closed string can choose these signs independently, giving R–R, NS–NS, R–NS and NS–R sectors. This discussion assumes the ordinary Lorentz-invariant untwisted boundary conditions of the flat theory.

The chiral equations and boundary signs give the following Fourier serieswhere ${\nu }_a=0$ in R and ${\nu }_a=1/2$ in NS. Thus integer or half-integer modes follow directly from the Fourier series monodromy. With the conventional string oscillator normalization their anticommutation relations and reality conditions areFor an open string the endpoint gluing identifies the two sets of coefficients, leaving one R or NS tower.

In ten-dimensional light-cone gauge in string theory, the eight transverse bosonic modes have positive integer level and each NS fermionic creator has a positive half-integer level. For the unprojected low levels of the open RNS string, all states through ${\alpha }^{\prime }{M}^2=1$ in the NS sector areThe antisymmetric index restrictions are consequences of fermionic anticommutation; the boson–fermion pair has all 64 choices. The displayed partitions exhaust levels at most $3/2$. Here the NS normal-ordering constant of a string is $a=1/2$.

In the R sector $a=0$, and the zero modes satisfy $\{{\psi }_0^i,{\psi }_0^j\}={\delta }^{ij}$. Thus ${\gamma }^i=\sqrt{2}{\psi }_0^i$ generate the Ramond zero-mode Clifford algebra. The unprojected ground states $|S;p⟩$ span a sixteen-dimensional transverse spinor space, $8_s\oplus 8_c$. All states in the requested range areThere is no intervening half-level, since all nonzero R modes have integer level. Acting with the zero modes only moves within the ground spinor space and does not generate further independent copies.

The GSO projection keeps odd NS fermion-excitation parity, removing the tachyonic vacuum and the entire $N=1$ NS level. In R it keeps one eigenvalue of total fermion parity, whose zero-mode part is spinor chirality. It leaves eight massless spinor states. At R level one, the retained families are ${\alpha }_{-1}^i|S_{+}⟩$ and ${\psi }_{-1}^i|S_{-}⟩$, of opposite ground chirality, so there are $64+64=128$ states. The retained NS states are spacetime bosons and the R states spacetime fermions. Consequently the retained levels have $8_B=8_F$ at mass zero and $128_B=128_F$ at ${\alpha }^{\prime }{M}^2=1$, with no tachyon.

Equality at every higher mass level follows from the standard Jacobi abstruse identity, or equivalently the equality of the transverse generating functionsThe left side counts the projected NS bosons, the right side the projected R fermions. Their common coefficients start $8+128q+\cdots$. This consistent truncation yields spacetime supersymmetry; the bulk worldsheet symmetry alone would not remove the tachyon or impose the projection.

Distinguish target-space light-cone coordinates from the worldsheet $\pm$ labels. In target space take $X^{\pm }=(X^0\pm X^{25})/\sqrt{2}$, so the Minkowski metric is $d{s}^2=-2d{X}^{+}d{X}^{-}+{\sum }_i(d{X}^i{)}^2$. After conformal gauge has been chosen, the residual transformations of $\tau +\sigma$ and $\tau -\sigma$ may be used, on a patch with $p^{+}\ne 0$, to makeFor an open string on $0\le \sigma \le \pi$, the conventional normalization is $\kappa =2{\alpha }^{\prime }{p}^{+}$. For the closed-string convention of the preceding solution, $\kappa ={\alpha }^{\prime }{p}^{+}$. In either case, the two Virasoro constraints readSince ${\partial }_{\pm }{X}^{+}=\kappa /2$, they determine the longitudinal coordinate:Its oscillator content is fixed by the transverse coordinates, leaving $d-2$ independent fields. This is the light-cone gauge in string theory; it solves the constraints rather than imposing them afresh on each transverse state.

For Neumann boundary conditions at both endpoints, the open-string expansion isThe transverse string oscillators satisfy $[{\alpha }_m^i,{\alpha }_n^j]=m{\delta }^{ij}{\delta }_{m+n,0}$, $i,j=1,\dots ,24$, and ${\alpha }_{n>0}^i|0,p⟩=0$. Define $L_n^{\perp }=\frac{1}{2}{\sum }_m:{\alpha }_{n-m}^i{\alpha }_m^i:$ and ${\alpha }_0^{+}=\sqrt{2{\alpha }^{\prime }}{p}^{+}$. The solved longitudinal modes, including the zero-mode constraint, areThe critical bosonic string theory has 24 transverse bosons. Their regulated oscillator vacuum energy is $24\cdot \frac{1}{2}{\sum }_{n\ge 1}n=-1$, since the finite term of ${\sum }_{n\ge 1}n{e}^{-\epsilon n}={\epsilon }^{-2}-1/12+O({\epsilon }^2)$ is $-1/12$. Thus the normal-ordering constant of a string is $a=1$. A normalized transverse Fock space basis for general excited physical string states iswith finitely many nonzero occupation numbers. Arbitrary physical states are superpositions of this basis, with each momentum on its corresponding mass shell. The string level operator and open bosonic string mass spectrum giveAll spatial directions have free endpoints, so this string ends on a space-filling D25-brane. More generally, a D-brane has Neumann boundary conditions along its worldvolume and Dirichlet boundary conditions in its transverse directions; a D$p$-brane has $p$ spatial worldvolume directions. A stack may additionally supply Chan-Paton factors, without changing the oscillator construction above.

To see T-duality of D-brane boundary conditions directly, decompose the compact coordinate as $X=X_L(\tau +\sigma )+X_R(\tau -\sigma )$ and define its dual by $\tilde{X}=X_L-X_R$. Differentiation givesTherefore the original Neumann boundary condition ${\partial }_{\sigma }X=0$ becomes ${\partial }_{\tau }\tilde{X}=0$ at each endpoint. The dual endpoint coordinate is time-independent: the dual condition is Dirichlet. Conversely a fixed endpoint in $X$ becomes Neumann in the dual coordinate. For a circle, the T-duality radius is $\tilde{R}={\alpha }^{\prime }/R$. A wrapped Neumann brane loses one spatial dimension in the dual picture, for example D25 becomes D24. The two dual endpoint constants need not be identical; their positions encode the original Wilson-line data.

For the separated-brane problem, use two static parallel D$p$-branes and no relative angle or background field. Let their displacement in transverse directions be $d^I$, with ${\sum }_I(d^I{)}^2=d^2$. A Dirichlet coordinate contains the classical termThe spatial gradient contributes to the worldsheet HamiltonianParallel branes have integer modes in their NN and DD directions, so their oscillator vacuum energy is still $-1$. The zero-mode Virasoro constraint is consequentlyWith string tension $T=1/(2\pi {\alpha }^{\prime })$, the Open string stretched between D-branes hasThe classical stretching energy is $Td$, while the quantum ground-state energy, when real, isThe vacuum correction is an additive term in energy squared, not a constant subtraction from the classical stretching energy. It follows that the bosonic stretched-string tachyon threshold isBelow this threshold the lowest state is a tachyon: small-momentum modes have imaginary frequency and the background is unstable, rather than having an ordinary real negative ground-state energy. It is massless at the threshold. The assumption of parallel branes is needed for the integer moding used here; relative angles change the vacuum contribution.

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.

First-class reduction. A regular set of independent constraints is first class when their Poisson brackets vanish on the constraint surface, equivalently locally $\{{\phi }_i,{\phi }_j\}=C_{ij}{}^k{\phi }_k$. The coefficients can be functions on phase space. With the generator $G={\sum }_i{\xi }^i{\phi }_i$, an infinitesimal canonical gauge transformation isEach independent first-class condition removes one phase-space dimension, and quotienting its independent gauge orbit removes another. Thus the regular physical phase space hasThis regular first-class phase-space reduction requires independent constraints and gauge directions. The count can fail at singular strata or for reducible constraints; first-class closure alone does not guarantee independence. For a concrete counterexample to counting redundant equations, take two canonical pairs and ${\phi }_1=p_1$, ${\phi }_2=2p_1$. Both equations are first class, but there is only one independent condition and one gauge direction. The surviving pair $(q^2,p_2)$ has dimension two, whereas blindly substituting $N=n=2$ gives zero.

Oscillator symplectic form. The center-of-mass pair $(x^m,p_m)$ describes translations and total momentum. The nonzero Fourier coefficients ${\alpha }_k^m$ describe the standing-wave modes compatible with free-end Neumann boundary conditions; their reality condition is ${\alpha }_{-k}={\alpha }_k^{\ast }$, and ${\alpha }_0^m=\sqrt{2{\alpha }^{\prime }}{p}^m$ in the standard normalization. For $k>0$, regarding ${\alpha }_k^m$ as a complex coordinate makes its conjugate momentum $i{\alpha }_{-k,m}/k$. Equivalently write ${\alpha }_k=(q_k+i{s}_k)/\sqrt{2}$. Up to a total derivative, its kinetic term is $-q_k\cdot {\dot{s}}_k/k$, a real canonical form. Inverting this oscillator symplectic form of an open string givesThe zero oscillator commutes with nonzero oscillators but is not independent of $p$: $\{x^m,{\alpha }_0^n\}=\sqrt{2{\alpha }^{\prime }}{\eta }^{mn}$. Brackets between the center pair and independent nonzero oscillators vanish.

The quadratic constraints obeyFor example, the two terms in the bracket with $L_n=\frac{1}{2}{\sum }_j{\alpha }_j\cdot {\alpha }_{n-j}$ give equal contributions after relabelling $j$. Applying this identity to both factors of $L_m$ givesThis classical Virasoro constraint algebra has no central term and closes on the constraints, hence is first class. For $G={\sum }_n{\xi }_{-n}{L}_n$, the oscillator gauge transformation isReality is respected when ${\xi }_{-n}={\xi }_n^{\ast }$.

Light-cone reduction and mass. Choose light-cone coordinates $X^{\pm }=(X^0\pm X^{D-1})/\sqrt{2}$; a vector square is $-2{\alpha }^{+}{\alpha }^{-}+{\mathbf{\alpha }}^2$, with $D-2$ transverse components. On the proposed gauge slice ${\alpha }_{k\ne 0}^{+}=0$, the variation becomesFor ${\alpha }_0^{+}\ne 0$, every nonzero-mode gauge parameter has an invertible coefficient, so the conditions locally fix the corresponding gauge freedom. Globally this is the usual patch in which $X^{+}$ is an admissible worldsheet clock; it is not a claim about strings for which that coordinate has turning points. The zero-mode reparameterization is left over.

On that slice the nonzero Virasoro constraints are linear in the longitudinal oscillators:No nonzero longitudinal oscillator remains independent. The residual action isThis residual mass-shell action in light-cone string gauge displays the remaining zero-mode constraint. At the quantum level normal ordering replaces its oscillator term by $N-a$. One can further set $x^{+}$ equal to time and solve for the light-cone Hamiltonian $p^{-}=[{\mathbf{p}}^2+(N-a)/{\alpha }^{\prime }]/(2p^{+})$.

Canonical quantization gives the transverse relationsHere $\hslash =1$, ${\alpha }_{k>0}$ annihilate the oscillator vacuum, and ${\alpha }_{-k}$ create excitations. Define $a_k^I={\alpha }_k^I/\sqrt{k}$ for $k>0$. The string level operator isThus it counts oscillator number weighted by mode number, and has nonnegative integer eigenvalues. The residual mass-shell condition givesThe constant $a$ is the normal-ordering constant of a string, or intercept, not an extra classical tension. In the usual Lorentz-invariant critical bosonic string, level one carries the $D-2$ transverse polarizations of a massless vector. A massive vector would need $D-1$ polarizations; the longitudinal one is not present. Lorentz consistency therefore requires that this vector level be massless, giving $a=1$. Equivalently the regularized transverse zero-point value $a=(D-2)/24$ gives $D=26$. This critical-vector assumption in the string intercept argument concerns the usual critical quantum theory. In $D=3$ the lone transverse level-one polarization transforms trivially under the transverse rotation group; a massive scalar interpretation is not excluded by counting. Thus the stated masslessness conclusion is not a consequence of polarization counting for arbitrary $D$. An arbitrary intercept in a transverse oscillator model also need not define the usual covariant critical theory.

The full self-dual massless spectrum. In the closed-string sector, $N$ and $\tilde{N}$ are the independent nonnegative integer oscillator levels of the two chiral sectors. The integer $n$ quantizes center momentum around the circle, $p_{\mathrm{circle}}=n/R$, and $w$ counts how many times the string winds it. At the self-dual circle $R=\sqrt{{\alpha }^{\prime }}$, zero mass requiresBoth levels are nonnegative, so their sum is at most two. Exhausting these possibilities gives the massless spectrum at the bosonic self-dual circle:

The last family is easy to miss because the uncompactified ground state is a tachyon; its positive compact energy cancels that negative contribution at these charges. There are no other possibilities: at level sum one, $n^2+w^2=2$ forces both charges to be $\pm 1$; at sum zero, $n^2+w^2=4$ gives exactly the four listed pairs. With $d=D-2$ transverse oscillators the number of independent massless polarizations is $d^2+4d+4=D^2$, hence 676 in the critical $D=26$ bosonic theory. The circle oscillator is included among the $d$ components; it should not be discarded when interpreting the lower-dimensional scalar states.