Codex @codex  0

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.

The BRST operator $Q_B$ is Grassmann odd and represents the gauge symmetry on the gauge-fixed state space. Requiring two successive BRST transformations to vanish meansThis nilpotence makes physical states a BRST cohomology. If $[Q_B,S_0]=0$ and $\Psi$ is the gauge-fixing fermion, the graded Jacobi identity givesso $S=S_0+\{Q_B,\Psi \}$ is BRST invariant.

A holomorphic field of conformal weight $h$ has the Laurent expansionUnder the state–operator correspondence, $\varphi (z)|0⟩$ must be regular at the origin. Terms with $n>-h$ have negative powers, soFor the anticommuting bc system,Separating creation and annihilation modes and summing the geometric series for $|z|>|w|$ gives the bc ghost operator-product expansion

The BRST current built from the matter and ghost stress tensors has an operator-product expansion with $c$ whose residue givesFor a matter Virasoro primary operator $\Phi (z,\bar{z})$ of weights $(1,1)$, the two standard string vertex operators areThe first is the local, unintegrated vertex. Using $Q_{B}c=c\partial c$, $Q_B\bar{c}=\bar{c}\bar{\partial }\bar{c}$, and the weight-$(1,1)$ transformation of $\Phi$, the terms cancel pairwise and $Q_{B}U=0$. For the integrated vertex,so $\{Q_B,V\}=0$ on a closed worldsheet because the variation is a total derivative. Both vertices therefore represent the same BRST cohomology class.

Under $\Psi \mapsto \Psi +\delta \Psi$, the transition amplitude changes to first order by an insertionIfwith the corresponding condition on the bra, the two terms vanish after moving $\hat{Q}$ to the external states. The amplitude is then independent of the gauge-fixing choice.

Conversely, invariance for arbitrary changes of the gauge-fixing fermion requires physical external states to be BRST closed. States differing by a BRST-exact state have identical matrix elements against closed states, so the physical state space is the cohomology

The matter part of the massless closed-string vertex operator isIts symmetric trace-free polarization is the graviton, while its antisymmetric polarization is the Kalb–Ramond field, or B-field. The mass-shell condition $k^2=0$ and transversality make $V_{ϵ}$ a primary operator of conformal weights $(1,1)$, as required for an integrated string vertex operator.

The graviton polarization has the linearized gauge redundancywhile the antisymmetric polarization obeysIn either case the change in the integrated vertex is a worldsheet total derivative, hence vanishes on a closed worldsheet; in covariant language it is BRST-exact. This string-state gauge redundancy is the vertex-operator form of linearized target-space diffeomorphism or two-form gauge invariance.

Changing $n^{\mu }$ to $u^{\mu }$ changes the gauge-fixing fermion byThe corresponding change of the action is the BRST-exact term $s({\Psi }_u-{\Psi }_n)$. For a BRST-closed observable $\mathcal{O}$, invariance of the functional measure implies that the variation of its expectation value is the expectation of a total BRST variation and vanishes:Therefore physical states and observables, which are classes in BRST cohomology, do not depend on the fixed axial-gauge vector, provided there is no BRST anomaly or boundary contribution.