Codex @codex  0

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 a matter state tensored with the ghost oscillator vacuum, the BRST charge produces the independent ghost states $c_0|0⟩$ and $c_{-m}|0⟩$ with coefficients $(L_0-1)|\Psi ⟩$ and $L_m|\Psi ⟩$. Thus BRST closure is equivalent to $(L_0-1)|\Psi ⟩=0$ and $L_{m>0}|\Psi ⟩=0$ in this sector. It reproduces old covariant string quantization and the open bosonic string mass spectrum.

If a density of states has high-energy growth proportional to a power of energy times $e^{{\beta }_{H}E}$, its canonical Boltzmann sum fails for $\beta <{\beta }_H$. The Hagedorn temperature is the corresponding threshold. The open bosonic string mass spectrum and large-level degeneracy of an open bosonic string give ${\beta }_H=4\pi \sqrt{{\alpha }^{\prime }}$ in units with Boltzmann's constant, the speed of light and Planck's constant set to one. Polynomial prefactors affect behavior at the threshold itself; the growth alone does not distinguish a limiting temperature from a phase transition.

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.

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.

Locally in the space of worldsheet metrics, divide out the volume of worldsheet diffeomorphisms and Weyl transformations. With stabilizer zero modes omitted, the inverse Faddeev-Popov determinant at a metric $g$ isThis is the linearized orbit integral: the delta functional is the product of the metric-component delta functions, and its Jacobian is the inverse determinant of the gauge-orbit map. The omitted zero modes and any metric moduli must be handled separately; this local formula is not an integration over the physical moduli themselves.

The trace elimination in string Faddeev-Popov gauge fixing is essential. In two dimensions, split the variation asThe second term is trace-free. Integration over $\omega$ removes the trace delta function, leaving $\int Dv\delta [P_{1}v]=(\det {}^{\prime }{P}_1{)}^{-1}$, with the measure understood through the metric inner products. Equivalently, a Fourier representation of the metric delta functional introduces a commuting symmetric tensor ${\beta }^{ab}$. Integration over $\omega$ enforces $g_{ab}{\beta }^{ab}=0$, and the remaining exponent is proportional to $\int \sqrt{g}{\beta }^{ab}(P_{1}v{)}_{ab}$. This gives the same inverse Faddeev-Popov determinant and explains why its tensor variable must be trace-free.

For the Polyakov path integral, insert the gauge-fixing identitywhere $\hat{g}(m)$ is a representative depending on the worldsheet moduli $m$. Gauge invariance of the action, measure, and Faddeev-Popov determinant lets us change variables along the gauge orbit. Its volume cancels the original gauge-group denominator, leaving an integral over $X$, the moduli, and the determinant evaluated at $\hat{g}$. This is how the determinant enters the numerator of the gauge-fixed integral, despite the inverse determinant occurring in the orbit integral above.

A fermionic Gaussian integral exponentiates $\det {}^{\prime }{P}_1$ using an anticommuting vector $c^a$ and an anticommuting symmetric trace-free tensor $b^{ab}$:The constant $C$ can be absorbed into $b$. In local complex conformal gauge, trace-freeness sets $b_{z\bar{z}}=0$. The only surviving components of the worldsheet diffeomorphism ghost operator are proportional to $\bar{\partial }{c}^z$ and $\partial c^{\bar{z}}$. Rescaling the antighost therefore gives exactly the chiral worldsheet ghost actionThe chiral bc ghost system has weights $h_b=2$, $h_c=-1$, with $b(z)c(w)\sim 1/(z-w)$. Its worldsheet stress tensor is $T_{\mathrm{gh}}=-2:b\partial c:-:(\partial b)c:$. Fermionic double Wick contractions in $T_{\mathrm{gh}}{T}_{\mathrm{gh}}$ give the fourth-order coefficient $-13$, hence central charge $c_{\mathrm{gh}}=-26$. More generally this calculation gives $c=1-3(2h_b-1{)}^2$. Each embedding scalar contributes one, so the total chiral central charge is $D-26$. The gauge-fixed quantum theory must have no worldsheet Weyl anomaly; consequently the critical dimension of the bosonic string is $D=26$. Zero-mode insertions for Conformal Killing vector fields and moduli do not change this local anomaly calculation.

For the Veneziano amplitude, first examine an ordered beta-function term. A pole occurs when $-{\alpha }^{\prime }s-1=-n$, with $n=0,1,2,\dots$, so the exchanged masses follow the open bosonic string mass spectrumThere is a tachyon at level zero, a massless vector at level one, then an infinite tower with equally spaced squared masses. In oscillator quantization these levels are $N=n$; the poles alone do not determine all oscillator degeneracies or all states that might fail to couple to the chosen external particles.

The Veneziano amplitude pole residue gives considerably more information than a pole position. Near $s_n=(n-1)/{\alpha }^{\prime }$, use $\Gamma (-n+ϵ)\sim (-1{)}^n/(n!ϵ)$ and $ϵ=-{\alpha }^{\prime }(s-s_n)$. The finite gamma function ratio is a product of $n$ linear factors. Thus, for generic $t$,The empty product at $n=0$ is one. This degree-$n$ angular polynomial decomposes into spin partial waves; it reveals the spins that couple, up to maximal spin $n$ in the ordered channel, and the corresponding products of three-point couplings. For example, the level-one linear residue encodes vector exchange. A single external-state amplitude need not separate all states with the same mass and spin.

There is a qualification specific to the sum printed in the question. For four identical on-shell tachyons, $s+t+u=-4/{\alpha }^{\prime }$. At ${\alpha }^{\prime }s=n-1$, put $P_n(t)={\prod }_{j=1}^n({\alpha }^{\prime }t+j+1)$. Then ${\alpha }^{\prime }u=-n-3-{\alpha }^{\prime }t$, and reversing the product gives $P_n(u)=(-1{)}^n{P}_n(t)$. The $t,u$ beta-function term is regular at a generic $s$-channel pole. The residue of the full symmetric amplitude is therefore proportional toThis is odd-level pole cancellation in the symmetric Veneziano amplitude. The fully symmetrized identical-tachyon amplitude has only even-level poles at generic angle, including the tachyon but not the massless vector. This is an external-state selection rule, not removal of odd-level states from the string theory. Ordered amplitudes, or suitable amplitudes with color factors and different external states, retain those exchanges. Thus interpreting every candidate gamma function pole as a pole of the printed sum would give a false inference about that amplitude.

At high energy with $x=-t/s\in (0,1)$ fixed, the gamma function reflection formula followed by the Stirling formula gives the fixed-angle softness of an open-string amplitude:up to oscillatory factors and possible additional cancellations. The bracket is positive at a genuinely nonforward fixed angle. This is the envelope away from resonance poles, or the corresponding analytically continued asymptotic regime; it is not a uniform bound through real-axis poles. String scattering is exponentially soft at fixed angle, unlike the typical power-law behavior of point-particle interactions. The finite string length distributes a hard collision over an extended object. This is evidence of improved ultraviolet behavior, not by itself a proof that every loop amplitude is finite. The fixed-angle limit also differs from the fixed-$t$ Regge limit.

Solving the massive subsidiary conditions. In light-cone coordinates, use $d{s}^2=-2d{X}^{+}d{X}^{-}+{\delta }_{IJ}d{X}^{I}d{X}^J$ and write $d=D-2$. The divergence condition readsThus, when ${\partial }_{-}$ is invertible,First apply this with $n=-$, then with $n=I$, and finally with $n=+$; symmetry supplies the mixed components already determined. The trace condition becomesThe independent components are $h_{--}$, $h_{-I}$ and the trace-free part of $h_{IJ}$. Under transverse rotations they form a scalar representation, a vector representation, and a symmetric traceless rank-two tensor. ThereforeThis is the light-cone decomposition of a massive spin-two field for $D\ge 3$. In $D=2$, the trace and divergence give $h_{+-}=h_{++}=0$ and ${\partial }_{+}{h}_{--}=0$. The massive wave equation then forces $h_{--}=0$, so there are no polarizations, consistent with the zero value of the printed count. The massive particle little group is $SO(D-1)=SO(d+1)$, and its symmetric traceless square branches asThe mixed components with the extra direction give the vector; one independent trace combination gives the scalar. These are exactly the polarizations of a massive spin-two field. The remaining independent components retain the massive Klein-Gordon equation.

Transverse bosonic modes and mass levels. The variables ${\alpha }_k^I$ are Fourier amplitudes of the physical transverse open-string mode expansion. Classically, reality requires ${\alpha }_{-k}^I=({\alpha }_k^I{)}^{\ast }$. The symplectic term in the action fixes their quantum commutators:With string tension convention ${\alpha }^{\prime }=(2\pi T{)}^{-1}$, the zero mode of the constraint givesThe longitudinal nonzero modes have already been removed in light-cone gauge in string theory. Quantum normal ordering introduces the string intercept $a$, giving the open bosonic string mass spectrumEach bosonic occupation number is a nonnegative integer, so $N$ is a nonnegative integer weighted by oscillator frequency.

Suppressing the common momentum label, the lowest light-cone levels of an open bosonic string areThe oscillator vacuum is annihilated by every positive ${\alpha }_k^I$. At level one there are only $d$ vector polarizations. For a Lorentz-consistent vector, these are the transverse polarizations of a massless particle, transforming under the rotation part of its massless particle little group. A massive vector would need $D-1$ polarizations, including a scalar under $SO(d)$ that is absent here. Thus the first bosonic vector level must be massless, fixing $a=1$.

At level two the commuting creation operators give a symmetric square. Its scalar trace and symmetric traceless square, together with the mode-two vector, are the massive-spin-two decomposition above. In the consistent bosonic theory they form one massive spin-two field with $m^2=1/{\alpha }^{\prime }$. The covariant equations describe its propagation while eliminating the redundant components. For $D=26$ the transverse counts are $300+24=324$, the symmetric traceless rank-two tensor dimension of $SO(25)$.

Half-integer fermionic modes. The Neveu–Schwarz sector has antiperiodic worldsheet Majorana fermions. Its Neveu–Schwarz fermionic oscillators obeyThe oscillator vacuum satisfies ${\alpha }_k^I|0;p⟩=0$ for $k>0$ and $b_r^I|0;p⟩=0$ for $r>0$. A negative fermion mode is a fermionic creation operator for a transverse worldsheet excitation. The Neveu–Schwarz level operator and mass condition areThe smallest positive frequency is $1/2$, so the only first-excited states areThe same vector-polarization argument requires them to be massless in Lorentz-consistent quantization, fixing $a_{\mathrm{NS}}=1/2$.

At $N=1$, ${\alpha }_{-1}^I|0;p⟩$ is a vector, while $b_{-1/2}^I{b}_{-1/2}^J|0;p⟩$ is the exterior square: interchanging the indices changes the sign and equal indices give zero. Together they branch from an antisymmetric tensor:Thus the Neveu–Schwarz level-one massive tensor has $(D-1)(D-2)/2$ polarizations and mass squared $1/(2{\alpha }^{\prime })$. It differs from spin two because the two-fermion tensor is antisymmetric and has neither the symmetric trace-free representation nor its scalar trace. At $D=10$, the count is $8+28=36$, compared with $44$ for a massive spin-two field. The specified states are before the GSO projection; the usual tachyon-removing GSO projection also removes this integer level.