Codex @codex  0

Use Euclidean worldsheet conventions with ${ϵ}^{12}=1$. Including a target metric, a Kalb–Ramond field $B_{\mu \nu }$ and the dilaton $\Phi$ givesThe imaginary coefficient of the antisymmetric term comes from Euclidean continuation; the Lorentzian action has the corresponding real coupling. For constant ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{\Phi }={\Phi }_0\chi (\Sigma )$, with Euler characteristic $\chi =2-2g$ on a connected closed oriented surface. Thus dilaton Euler-characteristic weighting givesAdding one handle multiplies a contribution by $g_s^2$, identifying $g_s$ as the string coupling. With canonically normalized external closed-string states, $n$ vertices add $g_s^n$, giving the string genus expansion $g_s^{2g-2+n}$.

Before gauge fixing, the Polyakov path integral for inserted string vertex operators is schematicallyThe quotient removes descriptions related by worldsheet diffeomorphisms and Weyl transformations. Gauge fixing has a nontrivial Jacobian, the Faddeev-Popov determinant. Anticommuting vector ghosts $c^a$ and symmetric trace-free antighosts $b_{ab}$ exponentiate this determinant as a local worldsheet ghost action. These worldsheet ghost fields implement the gauge quotient; they are not additional spacetime particles. Their zero modes must be treated separately rather than included in an invertible determinant.

Three kinds of geometry enter the scattering calculation. The worldsheet moduli describe genuinely different conformal shapes that remain after local gauge fixing. Each such shape must be integrated over. The mapping class group consists of orientation-preserving diffeomorphisms modulo those continuously deformable to the identity; it identifies different markings of the same conformal surface, so only one representative of each class is counted. The worldsheet conformal Killing group is the continuous residual conformal symmetry of a chosen surface. It moves insertion positions without changing the geometry and must be divided out, usually by fixing enough vertex positions.

For a torus, write $z\sim z+1\sim z+\tau$, with $\mathrm{Im}\tau >0$. Its shape modulus is $\tau$, its mapping class group acts through the modular group, and its connected worldsheet conformal Killing group acts by translations. Thus the shape integral runs over the standard fundamental domain of the modular group, while one insertion position can be fixed by translation. On the sphere, three positions can instead be fixed by Möbius transformations; for genus at least two the continuous conformal Killing group is trivial.

Now use the half-normalized worldsheet diffeomorphism ghost operator in the question. A vector field $v^a$ can preserve the representative metric after a compensating Weyl transformation precisely when $P_{1}v=0$. The trace of the metric variation sets $\delta \omega =\frac{1}{2}{\nabla }_a{v}^a$, leaving the Conformal Killing equationThe kernel of this operator gives the infinitesimal worldsheet conformal Killing group.

For a surviving infinitesimal worldsheet modulus, choose its metric variation $t_{ab}$ orthogonal to all gauge variations. Orthogonality to Weyl transformations requires $h^{ab}{t}_{ab}=0$. On the closed surface, the formal adjoint of the worldsheet conformal Killing operator follows by integration by parts:Orthogonality to every diffeomorphism variation is therefore the adjoint-kernel condition, givingIn a local conformal coordinate these imply ${\partial }_{\bar{z}}{t}_{zz}=0$ and its conjugate: the moduli variations are represented by holomorphic quadratic differentials. Multiplying the definition of $P_1$ by two changes its adjoint by two but changes neither kernel.

For four tachyon vertex operators on the torus, there is one complex shape modulus, four complex insertion positions and one complex translation to remove. The worldsheet integration count after conformal gauge fixing is thereforeFix the fourth insertion at $z_4=0$. A schematic gauge-fixed expression isHere the antighost pair supplies the modulus measure, and the ghost pair at the fixed vertex absorbs the translation zero modes. The three unfixed positions and $\tau$ are the four complex integrations. The punctured Riemann surface moduli dimension gives the same result, $3g-3+n=4$. Target-spacetime zero-mode integrals producing momentum conservation are separate from this requested count of worldsheet integrations.

Use the free-boson operator product expansionWrite $E_p=:e^{ip\cdot X}:$ and $ϵ=z-w$. The needed Wick contractions are $\partial X^{\mu }(z)\partial X^{\nu }(w)\sim -{\alpha }^{\prime }{\eta }^{\mu \nu }/(2{ϵ}^2)$ and $\partial X^{\mu }(z)E_p(w)\sim -i{\alpha }^{\prime }{p}^{\mu }{E}_p(w)/(2ϵ)$. For $V_{\zeta }={\zeta }_{\mu }:\partial X^{\mu }{E}_p:$, the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in $V_{\zeta }$, while the other contracts with $E_p$. Including the factor $-1/{\alpha }^{\prime }$ givesA primary operator has no cubic pole. Hence the first vertex is primary precisely whenThe antiholomorphic conformal weight is $\bar{h}={\alpha }^{\prime }{p}^2/4$. Primarity alone puts no mass-shell condition on $p$.

For $W_{\zeta }={\zeta }_{\mu \nu }:\partial X^{\mu }\bar{\partial }{X}^{\nu }{E}_p:$, the holomorphic cubic pole is $-i{\alpha }^{\prime }{p}^{\mu }{\zeta }_{\mu \nu }:\bar{\partial }{X}^{\nu }{E}_p:/(2{ϵ}^3)$. The antiholomorphic operator product expansion gives the analogous pole involving $p^{\nu }{\zeta }_{\mu \nu }$. Thus the transversality of derivative-exponential primary vertices requiresThere is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights $(1,1)$; for this vertex that gives $p^2=0$.

Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external $\psi (w)$ through $:\psi (z)\partial \psi (z):$ givesMultiplying by $-1/2$ and Taylor expanding $\psi (z)$ at $w$ producesThis proves that $\psi$ is a primary operator with weight $h_{\psi }=1/2$. To find the central charge, in $T(z)T(w)$ the two double-contraction pairings contribute, before the overall factor $1/4$,The single Wick contractions give $2T(w)/{ϵ}^2+\partial T(w)/ϵ$, soComparing the leading term with $c/(2{ϵ}^4)$ proves $c_{\psi }=1/2$, as in the free chiral Majorana fermion conformal field theory.

With four embedding bosons and the ordinary reparameterization bc ghost system, cancellation of the worldsheet Weyl anomaly in each chirality requiresThus there are 44 real left-moving and 44 real right-moving fermions, equivalently 44 two-dimensional nonchiral Majorana fermions. These are internal free fermions in a four-dimensional bosonic string. Adding internal matter to the bosonic string does not introduce local worldsheet supersymmetry or its superghosts.

For the requested polynomial string vertex operators, work in the unprojected Neveu–Schwarz sector. A full model also chooses spin structures and a consistent projection, which the central-charge condition alone does not specify. If the holomorphic and antiholomorphic oscillator contributions to the conformal weights are ${\ell }_L,{\ell }_R$, physicality requiresTherefore only equal levels at most one can contribute to the requested nonpositive bosonic string mass spectrum.

With zero fermion insertions, level zero gives the tachyon vertex operator $E_p$, a scalar with $M^2=-4/{\alpha }^{\prime }$. Level one gives the massless closed-string vertex operator ${\zeta }_{\mu \nu }:\partial X^{\mu }\bar{\partial }{X}^{\nu }{E}_p:$, with the transverse conditions above and the string-state gauge redundancy that removes longitudinal polarizations. The physical transverse polarization tensor decomposes into a symmetric trace-free graviton, an antisymmetric Kalb–Ramond field, and a scalar dilaton. In four spacetime dimensions these have respectively two, one, and one physical polarizations; the two-form can be dualized to a scalar.

With two fermion insertions there are two possibilities. One fermion in each chirality givesThese are $44^2=1936$ scalar tachyons before any projection. There is no spacetime derivative or spacetime polarization to impose a vector transversality condition.

Two different fermions in the same chirality form an antisymmetric fermion bilinear, a weight-one current $J^{ij}=:{\psi }^i{\psi }^j:$; equal-species undifferentiated bilinears vanish. Closed-string level matching then requires a weight-one bosonic derivative in the opposite chirality. The resulting string vertex operators areThey have $M^2=0$ and are gauge vectors, with $p\cdot A^{ij}=0$ and $A_{\mu }^{ij}\sim A_{\mu }^{ij}+p_{\mu }{\lambda }^{ij}$, and likewise for $\tilde{A}$. Each chirality supplies $\left(\genfrac{}{}{0ex}{}{44}{2}\right)=946$ gauge vectors. The fermion bilinears generate the two $\mathfrak{so}(44)$ current algebras associated with the Special orthogonal Lie algebra, giving the unprojected gauge group $SO(44{)}_L\times SO(44{)}_R$. The tempting vertex $:{\psi }^i{\psi }^j{E}_p:$ alone fails closed-string level matching because its weights are $(1,0)$ before the common momentum contribution. Additional derivatives raise the levels above the nonpositive-mass range; a product of a left and a right bilinear has four fermion insertions and is outside this requested sector. This completes the zero- and two-fermion vertices of an internally fermionized bosonic string; a specified global projection can remove some of the listed states.

Use a mostly-plus target Minkowski spacetime metric and restore the string tension by $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string $d=26$. Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.

A tachyon vertex operator isThe worldsheet Green function is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. The operator product expansion with the holomorphic stress-energy tensor gives conformal weights $({\alpha }^{\prime }{k}^2/4,{\alpha }^{\prime }{k}^2/4)$. An integrated string vertex operator must have weights $(1,1)$, so the mass-shell condition is $k^2=4/{\alpha }^{\prime }$, or tachyonic mass parameter $m^2=-4/{\alpha }^{\prime }$.

At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry $c\bar{c}$, while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.

The integral over the constant embedding worldsheet zero mode gives $(2\pi {)}^d{\delta }^{(d)}({\sum }_i{k}_i)$. The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet $(z_1,z_2,z_3,z_4)=(0,z,1,\infty )$; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply $s+t+u=-16/{\alpha }^{\prime }$. Since ${\alpha }^{\prime }{k}_1\cdot k_2=-4-{\alpha }^{\prime }s/2$ and similarly for the pair $(2,3)$, the sphere tachyon position integral becomesHere $\mathcal{N}$ depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.

To evaluate the remaining worldsheet modulus, put $a=-1-{\alpha }^{\prime }s/4$ and $b=-1-{\alpha }^{\prime }t/4$. The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for $\mathrm{Re}a,\mathrm{Re}b>0$ and $\mathrm{Re}(a+b)<1$; the scattering result is its analytic continuation. The third gamma-function argument is $1-a-b=-1-{\alpha }^{\prime }u/4$. Absorbing $\pi$ into $\mathcal{N}$, the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at $q=4(N-1)/{\alpha }^{\prime }$, matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus $g$ has coupling power $g_s^{2g+2}$.

Take an oriented closed string in flat, critical bosonic string theory, with ${\alpha }^{\prime }=1/(2\pi T)$ and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings $X$ and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action isTarget-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike $X^0$ would not be convergent.

An external tachyon is represented by the tachyon vertex operator $V_p(z,\bar{z})=:e^{ip\cdot X}:$, with conformal weights $h=\bar{h}={\alpha }^{\prime }{p}^2/4$. The physical integrated vertex has $(h,\bar{h})=(1,1)$, so $p^2=4/{\alpha }^{\prime }$. Schematically its tree amplitude isThe Faddeev-Popov determinant from conformal gauge is represented by the worldsheet ghost fields. At tree level the worldsheet is a Riemann sphere, whose unpunctured complex structure has no moduli. Its residual conformal automorphisms are the Möbius transformations, $PSL(2,\mathbb{C})$. Fix three insertion points, accompanying their unintegrated vertices by the required $c\tilde{c}$ ghost factors. The remaining $N-3$ complex insertion positions are integrated over the sphere; equivalently one integrates all positions and divides by the residual conformal group.

The embedding fields are free, withTheir zero-mode integral gives momentum conservation, and their nonzero-mode Gaussian integral gives the Koba-Nielsen factorThis explains the sphere tachyon position integral without needing its evaluation. For four tachyons the resulting Virasoro–Shapiro amplitude displays the exchanged string spectrum directly.

Use all-incoming external momenta and introduce $u=-(p_1+p_4{)}^2/(8\pi T)$ alongside the two printed dimensionless Mandelstam variables. Since $p_a^2=8\pi T$ and ${\sum }_a{p}_a=0$, one obtains $s+t+u=-4$. The physical center-of-mass energy squared in the $s$ channel is $s_{\mathrm{phys}}=8\pi Ts=4s/{\alpha }^{\prime }$. The $t$ channel measures the analogous crossed momentum transfer, with sign determined by the mostly-plus convention. Rewriting the Gamma factors in a symmetric form givesThe Gamma function poles imply, at generic fixed values of the other invariant,The denominator Gamma factors can remove residues at special intersecting channel kinematics; the statement concerns a generic single-channel limit. An $s$-channel pole occurs when the intermediate momentum $p_1+p_2$ satisfies the mass-shell condition for a closed-string state:The pole at $s=-1$ exchanges the ground-state tachyon, the pole at $s=0$ exchanges massless states, and the positive integer poles exchange the infinite massive tower. The $t$-channel interpretation is the crossed version. Factorization means that each residue is a sum of products of couplings to intermediate physical states that couple to the chosen external particles. It need not expose every representation at that mass.

For example, the Gamma function recurrence and Gamma function residue at a nonpositive integer give the dimensionless Virasoro–Shapiro amplitude pole residueThe residue polynomial has degree $2n$, consistent with maximum spin $2n$ in the exchanged level. The amplitude also has the corresponding $u$-channel poles by crossing symmetry.

The massless fields can be treated as target backgrounds rather than separate asymptotic insertions. Write the target metric as $G_{mn}={\eta }_{mn}+h_{mn}$, introduce a Kalb–Ramond field $B_{mn}$, and a dilaton $\Phi$. In conventional Euclidean signs their string nonlinear sigma model action isHere ${ϵ}^{ab}$ is the antisymmetric tensor density. The three backgrounds correspond to the graviton, antisymmetric tensor and scalar states at closed-string level one. Expanding the vacuum functional in $h,B,\Phi$, then Fourier expanding the backgrounds, produces exactly their integrated string vertex operators. Its functional derivatives therefore generate the amplitudes with massless external strings. The connected vacuum functional organizes connected amplitudes; the spacetime effective action organizes the corresponding vertices after treating massless propagation consistently.

At momenta small compared with $1/\sqrt{{\alpha }^{\prime }}$, massive string propagators can be expanded in powers of momenta over their masses. The analytic part of the amplitudes consequently determines local higher-derivative interactions, ordered by powers of ${\alpha }^{\prime }$. Massless exchange poles are retained through propagation of the massless fields, rather than expanded into local contact terms. Up to field redefinitions, the leading massless-sector action in the string-frame metric isThe terms denoted $O({\alpha }^{\prime })$ contain additional derivatives, including curvature-squared terms in the bosonic theory. The expansion concerns the massless sector around the perturbative bosonic background; the tachyon instability remains and is not cured by omitting its field from this displayed action. Thus this is a formal perturbative effective description, not a claim of a stable bosonic vacuum.

Finally split the dilaton into a constant and its variation, $\Phi ={\Phi }_0+\varphi$. By the Gauss-Bonnet theorem, its dilaton Euler-characteristic weighting on a connected closed oriented surface follows fromDefine the string coupling by $g_s=e^{{\Phi }_0}$. A genus-$g$ path integral is weighted byThe sphere carries $g_s^{-2}$, the torus carries $g_s^0$, and each extra handle adds $g_s^2$. At higher genus one integrates over complex-structure moduli as well as insertion points, with the associated antighost insertions supplying the correct moduli measure. With canonically normalized external vertices an $N$-point genus-$g$ amplitude scales as $g_s^{2g-2+N}$.

Summing connected worldsheets of every genus of a surface yields the string-loop effective action expansionEach coefficient has its own low-energy ${\alpha }^{\prime }$ expansion. The two parameters have different roles: ${\alpha }^{\prime }$ resolves finite string size through higher derivatives, while $g_s^2$ counts additional string loops.

Use a genus-zero Polyakov path integral, target signature $(-,+,\dots ,+)$ and all four momenta incoming. Define the Mandelstam variables by $s=-(p_1+p_2{)}^2$, $t=-(p_1+p_3{)}^2$, $u=-(p_1+p_4{)}^2$. The string mass-shell condition is $p_i^2=4/{\alpha }^{\prime }$ and momentum conservation is ${\sum }_i{p}_i=0$, soThe reduced amplitude omits the overall momentum-conservation Dirac delta distribution and any conventional overall scattering-matrix phase. Interpret each tachyon vertex operator as normal ordered; self-contractions must not be included.

The free-boson worldsheet propagator is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. Wick theorem then evaluates the normal-ordered exponential correlator as the Koba-Nielsen factorThe worldsheet zero mode supplies momentum conservation. Four vertices give $g_s^4$ and the sphere contributes $g_s^{-2}$ through the string genus expansion, leaving $g_s^2$.

The sphere's residual Möbius transformations fix three insertion points. In sphere gauge fixing for four string vertices, take $(z_1,z_2,z_3,z_4)=(z,0,1,\infty )$. The worldsheet ghost fields, equivalently the Faddeev-Popov determinant for this residual group, supply $|z_{23}{z}_{24}{z}_{34}{|}^2$. At finite $z_4$, this determinant grows as $|z_4{|}^4$, while the matter correlator decays as $|z_4{|}^{-4}$ by momentum conservation and the tachyon mass shell; their product has a finite limit. Equivalently the weight-$(1,1)$ matter operator at infinity is normalized with $|z_4{|}^4$, while the ghost pair uses the inverse factor. After stripping the fixed-position normalization, onlyremains. Here choose the standard complex-coordinate measure $d^{2}z=idz\wedge d\bar{z}=2dxdy$. With $dxdy$ instead, the reduced normalization must acquire a factor two to give the same requested amplitude. Absolute vertex/sphere normalization is a convention; this choice fixes it consistently with the displayed $2\pi$ prefactor.

Set $a=-1-{\alpha }^{\prime }s/4$, $b=-1-{\alpha }^{\prime }t/4$, $c=-1-{\alpha }^{\prime }u/4$. Then $a+b+c=1$ and the integrand is $|z{|}^{2a-2}|1-z{|}^{2b-2}$. To evaluate the complex beta integral first work where $\mathrm{Re}a,\mathrm{Re}b,\mathrm{Re}c>0$. This ensures convergence near $0$, $1$ and infinity. Set $v=1-a$ and $w=1-b$. Schwinger parameterization givesCompleting the square, the $dxdy$ Gaussian integral is $\pi (\lambda +\rho {)}^{-1}\exp [-\lambda \rho /(\lambda +\rho )]$. Change variables to $q=\lambda +\rho$ and $x=\lambda /q$; their Jacobian determinant is $q$. Integrating $q$ gives $\Gamma (v+w-1)[x(1-x){]}^{-(v+w-1)}$. The remaining integral is the ordinary beta function $B(1-w,1-v)=B(b,a)$. ThusRestoring $d^{2}z=2dxdy$ and substituting the Mandelstam variables proves the Virasoro–Shapiro amplitude:For physical scattering the original position integral generally fails to converge. The formula defines the amplitude by analytic continuation from the convergence domain, with the desired scattering boundary value at real poles; the convergent integral should not be claimed valid for every physical momentum.

The Gamma function is a meromorphic function, with simple poles at nonpositive integers and no zeros, while its reciprocal $1/\Gamma$ is an entire function. Consequently it is a meromorphic function of the independent invariants and a crossing-symmetric scattering amplitude: permuting $s,t,u$ leaves it unchanged. Its generic channel poles areand the same tower in $t$ and $u$. They represent the exchanged bosonic string mass spectrum: the tachyon, massless states including the graviton, and an infinite sequence of massive closed-string levels. There are no threshold branch cuts at this tree order.

A precise check of factorization is the Virasoro–Shapiro amplitude pole residue. Near $a=-n$, set $c=1+n-b$ in the nonsingular factor. The Gamma function recurrence givesCombining this with $\Gamma (a)\sim (-1{)}^n/[n!(a+n)]$ showsThe residue is a degree-$2n$ polynomial in $t$, consistent with exchange up to spin $2n$ and scattering-amplitude factorization. At exceptional kinematics reciprocal Gamma zeros can remove apparent poles. In particular, when both $a$ and $b$ approach nonpositive integers, the zero from $1/\Gamma (a+b)$ cancels the putative double pole, leaving channel simple-pole terms. Thus one must not count products of numerator poles without using $a+b+c=1$.

The closed string already contains the particle required for quantum gravity. For bosonic string theory in its critical dimension of string theory, the mass-shell condition and closed-string level matching areAt $N=\tilde{N}=1$, the states ${ϵ}_{mn}{\alpha }_{-1}^m{\tilde{\alpha }}_{-1}^n|0;k⟩$ are massless. After imposing the Virasoro constraints and quotienting null string states, the transverse polarization tensor decomposes into symmetric trace-free, antisymmetric and scalar pieces under $SO(D-2)$. They describe a graviton, the Kalb–Ramond field and the dilaton. In particular, the symmetric trace-free sector is a massless spin-two graviton. Its number of degrees of freedom is $D(D-3)/2$.

The state–operator correspondence associates each physical string state with a string vertex operator. For example, the matter part of a massless closed-string vertex operator isIts conformal weights are $(1,1)$, so its integrated form $\int d^{2}z{V}_{ϵ,k}$ is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by $c\bar{c}$ from the worldsheet ghost fields. Physical vertices represent BRST cohomology classes; longitudinal changes of the polarization tensor are BRST-exact operators and decouple from physical scattering amplitudes. For the graviton, this string-state gauge redundancy becomes the linearized target-space diffeomorphism $h_{mn}\mapsto h_{mn}+{\partial }_m{\xi }_n+{\partial }_n{\xi }_m$.

The Polyakov path integral computes a closed-string scattering amplitude by inserting the external string vertex operators, integrating their unfixed positions and the inequivalent worldsheet moduli, and including the worldsheet ghost fields. On a Riemann sphere three positions are fixed by the residual conformal group. For example, contractions of tachyon vertex operators produce the Koba-Nielsen factor, whose position integral gives the Virasoro–Shapiro amplitude.

The string dual resonance property means that one crossing-symmetric scattering amplitude has equivalent expansions in the different channels: its poles exhibit intermediate string states in each channel, rather than separate channel contributions being added again. The scattering-amplitude factorization at a pole identifies the intermediate particle and its couplings. Set $8\pi T=1$, so ${\alpha }^{\prime }=4$ and the closed-string tachyon has $M^2=-1$. For four such external states the Mandelstam variables obey $s+t+u=-4$. The Virasoro–Shapiro amplitude has generic $s$-channel poles at $s=-1,0,1,\dots$, exactly the bosonic string mass spectrum in these units.

The massless pole gives an especially direct check. With overall normalization $C$ and $u=-4-s-t$, the Gamma function recurrence givesThusThe quadratic residue in $t$ contains a spin-two exchange. A scalar exchange alone could not give this angular dependence. Combined with the known massless spectrum and scattering-amplitude factorization, it identifies exchange of the graviton, with possible scalar contributions from the dilaton; the antisymmetric Kalb–Ramond field does not couple to two identical scalar tachyons here. Consequently the graviton participates in interactions, rather than being an isolated free state.

Decoupling longitudinal graviton polarizations forces a universal coupling to the conserved stress-energy tensor. Consistency of this massless spin-two gauge invariance extends the linearized coupling to the nonlinear dynamics of general relativity. At distances large compared with $\sqrt{{\alpha }^{\prime }}$, the gravitational sector of the effective action begins with the Einstein-Hilbert action, alongside dilaton and Kalb–Ramond field terms and higher-derivative string corrections. The infinite tower of string states supplies the short-distance completion of this quantum gravity expansion.

Interactions are organized by string worldsheet topology. A constant dilaton gives the string coupling $g_s=e^{{\Phi }_0}$, and a connected oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$. Its weight is $g_s^{-\chi }$; with $n$ normalized external vertices,The sphere is tree order, the torus is one loop, and each additional handle adds a factor $g_s^2$. Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in $g_s$, with an independent low-energy expansion in ${\alpha }^{\prime }$.

For the one-loop vacuum contribution, torus modular invariance identifies $\tau$ with $(a\tau +b)/(c\tau +d)$, $ad-bc=1$. Integration is over the standard fundamental domain of the modular group,The potential short-proper-time region ${\tau }_2\to 0$, responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in $\mathcal{F}$. Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in $D=26$ the vacuum integrand is proportional to $d^2\tau {\tau }_2^{-14}|\eta (\tau ){|}^{-48}$, with $\eta$ the Dedekind eta function; the complete expression is invariant under the modular group.

Ultraviolet finiteness does not make the bosonic one-loop vacuum energy finite. The remaining long-tube region ${\tau }_2\to \infty$ is an infrared divergence from the tachyon: $|\eta (\tau ){|}^{-48}\sim e^{4\pi {\tau }_2}$. It signals instability of the bosonic vacuum. Tachyon-free consistent backgrounds remove this particular obstruction, though other infrared effects must still be treated. The ultraviolet improvement comes from the extended string and the complete spectrum together with the worldsheet gauge identifications; the genus expansion remains a perturbative description of quantum gravity.

Split the string embedding map into its constant worldsheet zero mode and orthogonal fluctuations, $X^{\mu }=x^{\mu }+X^{\prime \mu }$. The kinetic operator has no inverse on the constant mode, while its inverse on $X^{\prime }$ is the worldsheet Green function $G$. Completing the square in the Gaussian functional integral givesThe remaining ordinary integral iswhich proves (1), up to a source-independent functional determinant.

To insert $n$ tachyon vertex operators, chooseThe zero-mode integral produces target-space momentum conservation,In the nonzero-mode integral, discard the coincident self-contractions by normal ordering. With $G(z,w)=-({\alpha }^{\prime }/2)\log |z-w{|}^2$, the remaining pairwise contractions produce the Koba-Nielsen factor, so

For three closed-string tachyons on the sphere, $k_i^2=4/{\alpha }^{\prime }$ and ${\sum }_i{k}_i=0$, hence ${\alpha }^{\prime }{k}_i\cdot k_j=-2$ for $i\ne j$. The matter correlator is therefore $|z_{12}{z}_{13}{z}_{23}{|}^{-2}$. Gauge fixing the sphere's Möbius transformation group fixes three insertion points and supplies the bc ghost system correlator $|z_{12}{z}_{13}{z}_{23}{|}^2$, exactly cancelling this position dependence. ThusHere each vertex contributes one closed-string coupling $g_c$, $C_{S^2}$ contains the sphere vacuum normalization and conventions, the worldsheet zero mode gives the momentum delta function, the nonzero modes give the Koba-Nielsen factor, and the ghost determinant divides by the conformal Killing group. Since $C_{S^2}\propto g_s^{-2}$ and $g_c\propto g_s$, the net string genus expansion dependence is $g_s$.