Codex @codex  0

Take $0\le \sigma <2\pi$. Variation of the conformal-gauge action, with periodic variations, gives $({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^{\mu }=0$. Hence $X^{\mu }=X_R^{\mu }(\tau -\sigma )+X_L^{\mu }(\tau +\sigma )$. In an uncompactified direction, periodicity allows equal linear slopes and independent periodic parts. Expanding the periodic parts in a Fourier series yields the closed-string mode expansionHere ${\alpha }_m$ labels the right-moving sector and ${\tilde{\alpha }}_m$ the left-moving sector; exchanging the names is harmless if done consistently. Integration of the canonical momentum density $(2\pi {\alpha }^{\prime }{)}^{-1}{\dot{X}}^{\mu }$ over the string gives $p^{\mu }$, fixing the zero-mode coefficient. Reality gives ${\alpha }_m^{†}={\alpha }_{-m}$ and the analogous relation for tildes, with ${\alpha }_0={\tilde{\alpha }}_0=\sqrt{{\alpha }^{\prime }/2}p$.

The closed-string physical-state Virasoro conditions arewhere $L_0={\alpha }^{\prime }{p}^2/4+N$ and ${\tilde{L}}_0={\alpha }^{\prime }{p}^2/4+\tilde{N}$. Thus closed-string level matching gives $N=\tilde{N}$, and $M^2=-p^2=4(N-1)/{\alpha }^{\prime }$. The massless level is $N=\tilde{N}=1$. Its general state isThe string oscillator commutators give $[L_m,{\alpha }_n^{\mu }]=-n{\alpha }_{m+n}^{\mu }$: the two terms obtained by commuting through the quadratic generator coincide and cancel its factor $1/2$. Therefore $L_1$ replaces ${\alpha }_{-1}^{\mu }$ by ${\alpha }_0^{\mu }$, while $L_{m\ge 2}$ produces positive string oscillators that annihilate this level. The same holds independently for tildes. The complete polarization conditions areNull string states identify ${\zeta }_{\mu \nu }$ with ${\zeta }_{\mu \nu }+p_{\mu }{\lambda }_{\nu }+{\tilde{\lambda }}_{\mu }{p}_{\nu }$, with transverse $\lambda ,\tilde{\lambda }$. At nonzero momentum this leaves $24\cdot 24=576$ physical polarizations. Their symmetric traceless, antisymmetric and transverse-trace parts are the graviton, Kalb–Ramond field and dilaton.

The original PDF's condition ${\alpha }^{\prime }{p}^2=4$ is inconsistent with calling the displayed excited states massless. It is the on-shell condition of the string oscillator vacuum as a physical tachyon. For the level-one state, that value would give $L_0={\tilde{L}}_0=2$, violating the physical conditions. The ket $|0;p⟩$ used as the basis for a massless excitation must instead carry the excitation's momentum $p^2=0$; by itself it is then not an on-shell physical vacuum state.

For the compact coordinate, $X^1(\tau ,\sigma +2\pi )=X^1(\tau ,\sigma )+2\pi wR$, $w\in \mathbb{Z}$. Its momentum is $n/R$, $n\in \mathbb{Z}$, since the centre-of-mass wavefunction is single-valued on the circle. Thus its zero modes becomewithThese are momentum and winding modes. Let $k$ be the 25-dimensional noncompact momentum and $M^2=-k^2$. The two zero-mode constraints now giveTheir difference and average give, respectively,This also displays T-duality $R\leftrightarrow {\alpha }^{\prime }/R$, $n\leftrightarrow w$, with one chiral momentum reversed.

At a generic radius, the massless solutions are only $n=w=0$, $N=\tilde{N}=1$. Their fields in 25 dimensions are a graviton (275 polarizations), antisymmetric two-form (253), dilaton (one), two abelian vectors from $G_{a1}$ and $B_{a1}$ (23 each), and the radius scalar (one). Hence the generic massless spectrum has $275+253+1+46+1=576$ polarizations, with gauge group $U(1{)}_L\times U(1{)}_R$. Here generic excludes isolated radii where exceptional massless ground states of a bosonic circle occur. Indeed $N=\tilde{N}=0$ forces $nw=0$, and becomes massless at $R=|n|\sqrt{{\alpha }^{\prime }}/2$ or $R=2\sqrt{{\alpha }^{\prime }}/|w|$. These additional thresholds matter in the bosonic theory.

At the self-dual circle $R=\sqrt{{\alpha }^{\prime }}$, masslessness and level matching readSince $N,\tilde{N}\ge 0$, their sum is at most two. For sum two, $n=w=0$ and level matching gives the ordinary $(1,1)$ family. For sum one the four possibilities areThey have one right-moving ${\alpha }_{-1}$ or one left-moving ${\tilde{\alpha }}_{-1}$ excitation, as their levels specify. Each family has 24 physical polarizations: a 25-dimensional vector with 23 polarizations and one compact-oscillator scalar. Thus these families add 96 states.

For sum zero, level matching forces $nw=0$, while the mass equation requires $n^2+w^2=4$. It gives four additional scalar states with charges $(\pm 2,0)$ and $(0,\pm 2)$, without any string oscillators. They must not be omitted. The massless spectrum at the bosonic self-dual circle therefore has 100 additional polarizations, 676 in total. The four new vector fields enhance the gauge group to $SU(2{)}_L\times SU(2{)}_R$. Including the original radius scalar, the nine non-dilaton scalars form its $(3,3)$ representation. Equivalently, the full count is $275+253+1+6\cdot 23+9=676$.

Use target signature $(-,+,\dots ,+)$ and a closed-string spatial coordinate $0\le \sigma \le 2\pi$. Write $Y$ for the compact coordinate and $X^A$ for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of $\tau +\sigma$ and a function of $\tau -\sigma$. The closed-string boundary conditions areThus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansionThe oscillator reality conditions are ${\alpha }_m^{†}={\alpha }_{-m}$ and similarly for the tilded modes. The coefficient of $\tau$ follows by integrating the canonical momentum density $\dot{Y}/(2\pi {\alpha }^{\prime })$. Single-valued wavefunctions of the center coordinate $y\sim y+2\pi R$ have momentum $n/R$, with $n\in \mathbb{Z}$. Equivalently, the compact chiral worldsheet zero modes are ${\alpha }^{\prime }{p}_L(\tau +\sigma )/2$ and ${\alpha }^{\prime }{p}_R(\tau -\sigma )/2$, whereHere tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.

Choose a noncompact light-cone pair and impose light-cone gauge in string theory $X^{+}=x^{+}+{\alpha }^{\prime }{p}^{+}\tau$, with $p^{+}\ne 0$. The Virasoro constraints $({\partial }_{\pm }X{)}^2=0$ then solve for ${\partial }_{\pm }{X}^{-}$ in terms of the transverse coordinates. For example, with ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$, one has ${\partial }_{\pm }{X}^{-}=({\partial }_{\pm }{X}^i{)}^2/(2{\alpha }^{\prime }{p}^{+})$. Thus there are two independent transverse oscillator Fock spaces, including $Y$ among the transverse coordinates. Quantization gives $[{\alpha }_m^i,{\alpha }_k^j]=m{\delta }^{ij}{\delta }_{m+k,0}$, and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string $D=26$ and string intercept one in each sector. Accordinglycount 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrumTaking their difference and average yieldsEvery choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.

To classify all massless states, positivity of the two compact terms implies $N+\tilde{N}\le 2$. When the sum is two, masslessness forces $n=w=0$, and closed-string level matching then forces $N=\tilde{N}=1$. The states ${\alpha }_{-1}^i{\tilde{\alpha }}_{-1}^j|0⟩$ have $24^2=576$ polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts areThe first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group $SO(23)$.

When $N+\tilde{N}=1$, closed-string level matching requires $|nw|=1$. The compact contribution obeysand equality occurs precisely at $R=\sqrt{{\alpha }^{\prime }}$. The charges $n=w=\pm 1$ have $(N,\tilde{N})=(1,0)$; the charges $n=-w=\pm 1$ have $(N,\tilde{N})=(0,1)$. Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have

Finally, $N=\tilde{N}=0$ requires $nw=0$. The exceptional massless ground states of a bosonic circle occur atEach charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.

The mapsends $p_L$ to $p_L$ and $p_R$ to $-p_R$. Reversing all right-moving compact string oscillators, ${\alpha }_m^Y\mapsto -{\alpha }_m^Y$, preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.

At the self-dual circle the four single-oscillator charge families give $4\cdot 24=96$ new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges $(\pm 2,0)$ and $(0,\pm 2)$. Thus the massless spectrum at the bosonic self-dual circle hasThe gauge interpretation follows directly from the chiral compact-boson operators. With $⟨Y_L(z)Y_L(0)⟩=-{\alpha }^{\prime }\log z/2$, the exponential $e^{ik{Y}_L}$ has conformal weight ${\alpha }^{\prime }{k}^2/4$. At the self-dual radius,have weight one and satisfy $J^3(z)J^3(0)\sim 1/(2z^2)$, $J^3(z)J^{\pm }(0)\sim \pm J^{\pm }(0)/z$, and $J^{+}(z)J^{-}(0)\sim z^{-2}+2J^3(0)/z$. These are the level-one $SU(2)$ current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators $J_L^a{J}_R^b$ form the $(3,3)$ representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.

A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator $J_L^3{J}_R^3\propto \partial Y_L\bar{\partial }{Y}_R$. Its stabilizer is $U(1{)}_L\times U(1{)}_R$, soThe four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses $4/R^2-4/{\alpha }^{\prime }$ or $4R^2/{\alpha }^{\prime 2}-4/{\alpha }^{\prime }$ and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.

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.