Codex @codex  0

For coincident D3-branes in the critical 26-dimensional bosonic string theory, the massless open-string oscillator has a four-dimensional gauge vector and 22 transverse scalar fields. Chan-Paton factors put all these fields in the adjoint of $U(k)$ for $k$ coincident branes. Ignoring the tachyon, their leading interactions are the dimensional reduction of 26-dimensional Yang-Mills theory. This contains a Yang-Mills sector but is not pure four-dimensional Yang-Mills theory and is not the supersymmetric six-scalar D3-brane theory of the ten-dimensional superstring.

For two static parallel D-branes separated transversely by $d$, the open bosonic string mass spectrum becomes $M^2=d^2/(4{\pi }^2{\alpha }^{\prime 2})+(N-1)/{\alpha }^{\prime }$. The classical stretching contribution is the square of the string tension times the separation, while the oscillator vacuum contributes the intercept term. Thus the ground state is a tachyon for $d<2\pi \sqrt{{\alpha }^{\prime }}$, massless at equality, and massive above it. Its real rest energy, when stable, is $\sqrt{d^2/(4{\pi }^2{\alpha }^{\prime 2})-1/{\alpha }^{\prime }}$; the vacuum correction belongs to energy squared and is not an additive fixed subtraction from the stretching energy. Angled branes change oscillator moding and require a different formula.

For the FP ghost vacuum annihilated by $b_{n\ge 0}$ and $c_{n>0}$, the FP ghost level-one and level-two descendant coefficients are $-2$ and $-17$. Matter contributes ${\alpha }_0^2$ and $2{\alpha }_0^2+D/2$. Virasoro closure from BRST nilpotence at level one fixes the total highest weight to ${\alpha }_0^2/2-1$; level two then requires $D=26$. Imposing ground-state BRST closure gives ${\alpha }_0^2=2$ and the open bosonic tachyon. Interpret the coefficients with the stated ghost zero-mode pairing.

In the critical closed bosonic string, compactification of one coordinate gives $M^2=n^2/R^2+w^2{R}^2/{\alpha }^{\prime 2}+2(N+\tilde{N}-2)/{\alpha }^{\prime }$ and $\tilde{N}-N+nw=0$. At oscillator level zero, level matching forces $nw=0$. Thus a pure momentum ground state becomes a massless scalar field at $R=|n|\sqrt{{\alpha }^{\prime }}/2$, while a pure winding ground state does so at $R=2\sqrt{{\alpha }^{\prime }}/|w|$. These are threshold states descended from the bosonic tachyon; they are additional to the neutral graviton, two-form, vectors, dilaton and radius modulus. At the self-dual circle, the four charges $(\pm 2,0),(0,\pm 2)$ contribute to the enhanced massless scalar field spectrum.

For a critical closed bosonic string in 25 noncompact spatial dimensions, the smoothed string oscillator rest-mass density behaves as $\rho (M)\sim C{M}^{-26}{e}^{{\beta }_{H}M}$, with ${\beta }_H=4\pi \sqrt{{\alpha }^{\prime }}$. At large $M$, the centre-of-mass momentum integral of $e^{-\beta \sqrt{M^2+p^2}}$ is asymptotic to $(2\pi M/\beta {)}^{25/2}{e}^{-\beta M}$, up to the convention for phase-space measure. Thus the high-mass tail of the one-string canonical partition function is proportional to ${\int }_{M_0}^{\infty }{M}^{-27/2}{e}^{-(\beta -{\beta }_H)M}dM$. This converges at $\beta ={\beta }_H$ but fails for $\beta <{\beta }_H$. Expanding about the endpoint gives twelve finite derivatives and a nonanalytic term proportional to $(\beta -{\beta }_H{)}^{25/2}$; the thirteenth derivative diverges. Consequently exponential state growth does not imply divergence of the partition function at the threshold itself. The discussion assumes the separate infrared instability of the bosonic tachyon has been regulated and does not claim a stable bosonic thermal vacuum.

The self-dual circle mass equation and closed-string level matching exhaust the possibilities at level sum zero, one or two. Besides the usual neutral $(N,\tilde{N})=(1,1)$ states, charges $(n,w)=(\pm 1,\pm 1)$ supply singly excited chiral states, with the sector fixed by level matching. Ground-state charges $(\pm 2,0)$ and $(0,\pm 2)$ also become massless. Their compact energy cancels the uncompactified tachyon mass. With $d$ physical transverse components, these families have $d^2+4d+4$ independent polarizations.

Under $z\mapsto (az+b)/(cz+d)$ with $ad-bc=1$, the coordinate measure contributes $|c{z}_i+d{|}^{-4}$ at insertion $i$. The Koba-Nielsen factor contributes $|c{z}_i+d{|}^{-{\alpha }^{\prime }{\sum }_{j\ne i}{p}_i\cdot p_j}$. Four-momentum conservation makes this exponent ${\alpha }^{\prime }{p}_i^2$, so the factors cancel precisely on the displayed tachyon mass shell. The correlator alone is covariant; its product with all the coordinate measures is invariant.

For integer target dimension $2\le d\le 26$, intercept $a=1$ and ordinary nonzero momentum, the old covariant string quantization conditions leave a positive-semidefinite physical inner product. Quotienting its physical null string states removes gauge degeneracy. A DDF operator basis displays $d-2$ positive transverse oscillators; below dimension 26 the remaining physical longitudinal sector can be organized as a unitary Virasoro algebra sector with central charge $26-d$ and highest weight zero. At $d=26$ this extra sector becomes null and the quotient reduces to the 24 transverse oscillators. The result concerns negative-norm states, not the removal of the bosonic tachyon, and it does not itself cancel the worldsheet Weyl anomaly of a subcritical matter theory.

In flat 26-dimensional bosonic string theory, at ordinary nonzero momentum, take physical string states satisfying $L_{n>0}|\psi ⟩=0$ and $(L_0-1)|\psi ⟩=0$. The inner product restricted to these states is positive semidefinite. Quotienting by physical null string states removes the degeneracy; the resulting Hilbert space is represented by the 24 transverse string oscillators. This is a statement about negative-norm matter states, not about removing the auxiliary Faddeev-Popov ghosts. It does not remove the bosonic tachyon.

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 common Neumann boundary conditions define a $(p+1)$-dimensional timelike worldvolume: one time direction and $p$ spatial directions. The remaining Dirichlet boundary conditions fix its transverse position. An open string therefore ends on a D-brane of spatial dimension $p$, a D$p$-brane. For the critical bosonic string theory there are $25-p$ transverse directions.

If the Dirichlet constants agree at the two endpoints, both ends lie on the same planar D-brane. If they differ, the string stretches between two parallel D-branes with the same orientation but different positions. Neumann directions are tangent to the brane; Dirichlet directions are transverse to it. The brane is dynamical: tangential massless open-string polarizations supply a gauge field, while transverse ones describe its displacement, as in worldvolume fields from open-string massless states. The unprojected bosonic brane also has a tachyon; the boundary-condition interpretation does not make that ground state supersymmetrically stable.

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.

Let $Y$ be the compact coordinate, identified modulo $2\pi R$. The closed string may wrap the circle:Single-valued momentum eigenfunctions $e^{ipY}$ require $p=n/R$, $n\in \mathbb{Z}$. These are the momentum and winding modes. Write the chiral zero-mode momenta asThe left-moving string oscillators will be tilded: $N_L=\tilde{N}$, $N_R=N$. This fixes the sign in compact-circle closed-string level matching.

Define the lower-dimensional mass by $M^2=-p_{\mathrm{noncompact}}^2$. The two closed-string physical-state Virasoro conditions, with bosonic string intercept one, areTheir average and difference derive the complete free bosonic string mass spectrum on the circle:The allowed states have nonnegative integer oscillator levels and obey the Virasoro constraints within each chiral sector. Compactification has not removed oscillator polarizations; it has added quantized compact momentum and allowed winding while changing the lower-dimensional interpretation of those polarizations.

At large $R$, the momentum and winding modes with $w=0$ have closely spaced momentum energies $|n|/R$, whereas nonzero winding costs $|w|R/{\alpha }^{\prime }$. At small $R$ their roles reverse. The precise equality is T-duality:It leaves $p_L$ unchanged and reverses $p_R$, and leaves the mass formula and closed-string level matching unchanged. On the string embedding map it reverses the right-moving part of $Y$. Therefore the small-radius spectrum is the large-radius spectrum of the dual theory, rather than a spectrum in which all charged states simply become heavy.

At a generic radius, the neutral level $(N_L,N_R)=(1,1)$ contains the lower-dimensional graviton, Kalb–Ramond field and dilaton, two gauge bosons from the mixed components of the metric and two-form, and the radius modulus of a string compactification. The two vector charges are the Cartan charges of $U(1{)}_L\times U(1{)}_R$.

Consider instead the following charged states:Every state satisfies compact-circle closed-string level matching. The single noncompact string oscillator supplies a vector polarization. At the massless point, the level-one Virasoro constraint imposes transverse polarization and its physical null string state identifies polarizations differing by the noncompact momentum. Thus these are genuine lower-dimensional vector states. Their squared mass isThus four additional charged massless spin-one particles appear atFor $(N_L,N_R)=(0,1)$ the charges have $p_R=0$, $p_L=\pm 2/\sqrt{{\alpha }^{\prime }}$; for $(1,0)$ they have $p_L=0$, $p_R=\pm 2/\sqrt{{\alpha }^{\prime }}$. This identifies the two pairs of charged roots.

The enhanced gauge group can be derived rather than just inferred from counting. At the self-dual circle, the chiral compact boson satisfies $Y_L(z)Y_L(u)\sim -({\alpha }^{\prime }/2)\log (z-u)$. The self-dual circle current algebra has currentsThe exponentials have conformal weight ${\alpha }^{\prime }{p}_L^2/4=1$. Free-boson contractions give the operator product expansionsThey form the level-one SU(2) Lie algebra, and there is an independent right-moving copy. The string vertex operators $J_L^a\bar{\partial }{X}^{\mu }$ and $\partial X^{\mu }{J}_R^a$ give the six massless vectors. ConsequentlyChanging $R$ gives the four charged vectors the mass found above, consistent with the radius deformation as a Higgs mechanism.

For completeness, the enhanced spectrum also has scalar fields. Using a compact rather than noncompact oscillator in the four singly excited charged families gives four scalars. At $(N_L,N_R)=(0,0)$, closed-string level matching requires $nw=0$; the mass equation then gives the four charges $(\pm 2,0),(0,\pm 2)$. These exceptional massless ground states of a bosonic circle give another four scalars. Together with the radius scalar they form nine scalars in the $(3,3)$ representation, in addition to the neutral dilaton. The ever-present neutral bosonic tachyon still has $M^2=-4/{\alpha }^{\prime }$. The enhancement establishes the additional massless vectors, not stability of the entire bosonic vacuum.

The RNS string adds worldsheet Majorana fermions ${\psi }^{\mu }$ to the coordinate fields $X^{\mu }$. The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action iswhere ${\rho }^a$ are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current $G\propto \psi \cdot \partial X$.

Each real worldsheet Majorana fermion contributes $1/2$ to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes $-26$, and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights $(3/2,-1/2)$, with central charge $11$. ThusIn light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.

On the doubled spatial interval of an open string, the two allowed fermionic periodicities areThey arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators $d_n$, including $d_0$, and the Neveu–Schwarz sector has half-integer oscillators $b_r$, $r\in \mathbb{Z}+1/2$, without zero modes. In either sector,A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.

The Ramond zero-mode Clifford algebra isHence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation $p_{\mu }{\Gamma }^{\mu }u=0$. In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.

The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is $\frac{1}{2}\zeta (-1)=-1/24$. Per fermion it is the negative of the corresponding half-sum. Since $\zeta (-1,1/2)=1/24$, the eight transverse pairs giveThus $a_{\mathrm{NS}}=1/2$, $a_{\mathrm{R}}=0$, and the open string mass formula is ${\alpha }^{\prime }{M}^2=N-a$. This distinguishes the lowest states explicitly:

The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining $F_{\mathrm{osc}}$ so that the NS vacuum has $F_{\mathrm{osc}}=0$, its projector isIt removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may writeHere $F_{\mathrm{osc}}$ counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.

For a closed string, both chiral zero-mode constraints must hold:This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.

For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by $C_1,C_3$, with transverse counts $8+56=64$. The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are $C_0,C_2,C_4$, with self-dual five-form field strength, giving $1+28+35=64$. Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.

If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential $C_2$, and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select $SO(32)$. This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.

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

Separate the constant embedding coordinate from its nonzero modes. Its integral gives the momentum-conservation delta function; below this is understood and absorbed into the amplitude normalization on the momentum-conserving locus. For the nonzero modes the Euclidean Polyakov action is quadratic, with worldsheet Green functionTreat the tachyon vertex operators as normal ordered, removing coincident self-contractions. The Gaussian functional integral, or the same calculation by Wick's theorem, givesAll remaining determinants are independent of the insertion points and momenta and enter the overall constant. This derives the Koba-Nielsen factor and the requested position integral.

For the Möbius transformation $f(z)=(az+b)/(cz+d)$, $ad-bc=1$, one hasThe transformed Koba-Nielsen factor contributes, at insertion $r$, the power $-{\alpha }^{\prime }{\sum }_{s\ne r}{k}_r\cdot k_s$ of $|c{z}_r+d|$. Four-momentum conservation makes this power ${\alpha }^{\prime }{k}_r^2$. The complete differential integrand therefore transforms byIt is invariant when ${\alpha }^{\prime }{k}_r^2=4$ for every external tachyon. The correlator alone is covariant; the integration measures are necessary for invariance. The group acting faithfully on the sphere is $PSL(2,\mathbb{C})$, with the two elements $\pm I$ of $SL(2,\mathbb{C})$ acting identically.

The apparent integral over all positions includes the residual conformal-group gauge volume. Divide by it and fix three distinct insertions. The Faddeev-Popov determinant, equivalently the three-point worldsheet ghost correlator and its conjugate, contributesSet $z_1=\Lambda$, $z_2=0$, $z_4=1$, then send $\Lambda$ to infinity on the sphere; the sign of the real direction is irrelevant. The factors involving $z_1$ behave as $|\Lambda {|}^{{\alpha }^{\prime }{k}_1\cdot {\sum }_{s\ne 1}{k}_s}=|\Lambda {|}^{-4}$, while $J\sim |\Lambda {|}^4$. They cancel, leaving $z_3=z$ as the one integration variable.

The remaining distance exponents areFor example $(k_2+k_3{)}^2=(k_1+k_4{)}^2=-t$ and each individual squared momentum is $4/{\alpha }^{\prime }$. AlsoConsequently the reduced amplitude is proportional toApply the supplied complex beta integral with $A=4+{\alpha }^{\prime }t/2$, $B=4+{\alpha }^{\prime }s/2$, and $C=4-A-B=4+{\alpha }^{\prime }u/2$. Its numerator arguments become $-1-{\alpha }^{\prime }t/4$, $-1-{\alpha }^{\prime }s/4$, $-1-{\alpha }^{\prime }u/4$, while its denominator arguments become $2+{\alpha }^{\prime }u/4$, $2+{\alpha }^{\prime }t/4$, $2+{\alpha }^{\prime }s/4$. Thus the four-point amplitude is the Virasoro–Shapiro amplitudewhere $C_0$ is momentum-independent. The integral converges initially when $\mathrm{Re}A<2$, $\mathrm{Re}B<2$, and $\mathrm{Re}(A+B)>2$; the displayed answer elsewhere is its analytic continuation.

The gamma function has simple poles at nonpositive integers and no zeros. At generic fixed $t$, the amplitude therefore has simple $s$-channel poles at $s=4(n-1)/{\alpha }^{\prime }$, $n=0,1,2,\dots$, with the same towers in $t$ and $u$ by crossing symmetry. They describe exchange of the closed string tachyon, massless states, and the infinitely many massive levels. The reciprocal denominator factors can give zeros at negative values $s=-4(\ell +2)/{\alpha }^{\prime }$; special kinematics can also make an exchange residue vanish.

To see the structure of a generic residue, set $a=-1-{\alpha }^{\prime }s/4$, $b=-1-{\alpha }^{\prime }t/4$, $c=-1-{\alpha }^{\prime }u/4$, so $a+b+c=1$. At $a=-n$, the Gamma function recurrence reduces the remaining factors to a constant times ${\prod }_{j=1}^n(b-j{)}^2$. The Virasoro–Shapiro amplitude pole residue is thus a polynomial of degree $2n$ in the other channel invariant, consistent with exchange up to spin $2n$. Crossed numerator poles must not simply be multiplied: near $a=-n+\delta$ and $b=-m+\epsilon$, $c=1+n+m-\delta -\epsilon$, and the zero of $1/\Gamma (1-c)$ cancels the putative double pole. The leading singular part is proportional toThe tree amplitude is meromorphic, with no loop threshold branch cuts; its channel singularities express factorization and string dual resonance.