Codex @codex  0

In a point-particle description of quantum gravity, interactions of a massless spin-two field occur at localized vertices of Feynman diagrams. The gravitational coupling has negative mass dimension for spacetime dimension greater than two, so short-distance loop integrations generate higher-derivative counterterms that cannot all be absorbed into the Einstein action. A string worldsheet instead joins incoming and outgoing strings by a smooth surface. In particular, a closed string splits or joins through a smooth pair-of-pants surface. There is no invariantly distinguished point at which every part of an extended string interacts. The choice of a time slicing can draw a joining point, but it is not a physical pointlike vertex. This removes the point-interaction geometry responsible for arbitrarily localized interactions and introduces the string length ${\ell }_s=\sqrt{{\alpha }^{\prime }}$.

This geometric explanation is supported by the organization of the Polyakov path integral. Introducing a worldsheet metric makes the Nambu–Goto action amenable to gauge fixing. In the Euclidean integral, metrics on a fixed oriented surface are divided by worldsheet diffeomorphisms and Weyl transformations. What remains is a Riemann surface with a conformal structure, together with finitely many worldsheet moduli and the positions of external string vertex operators. The determinants from fixing the metric are represented by Faddeev-Popov ghosts. Schematically, for $n$ closed-string external states,Here ${\mathcal{M}}_{g,n}$ is the moduli space of genus-$g$ punctured surfaces. The dilaton weights a surface by its Euler characteristic $\chi =2-2g$, giving $g_s^{-\chi }$ before the normalization of external states. Every additional handle multiplies the contribution by $g_s^2$. The string genus expansion therefore plays the role of the ordinary loop expansion, with the sphere giving tree level and the torus giving one loop. The critical dimension cancels the worldsheet Weyl anomaly, making this reduction to conformal geometry consistent.

The massless symmetric traceless closed-string state is a graviton, and its long-wavelength interactions reproduce gravity. At distances comparable with ${\ell }_s$, however, an infinite tower of excited states contributes. This is more than a single particle form factor: the same amplitude contains graviton exchange, massive higher-spin exchange and string-scale softness.

The dimensionless variables in the given Virasoro–Shapiro amplitude correspond to $s={\alpha }^{\prime }S/4$, $t={\alpha }^{\prime }T/4$, $u={\alpha }^{\prime }U/4$, where capital letters denote the usual dimensionful Mandelstam invariants. Its constraint $s+t+u=-4$ identifies the external particles as the closed bosonic tachyons, not four gravitons. Nevertheless its intermediate massless pole directly exhibits graviton exchange. The overall normalization will be suppressed below; no additional copy of the amplitude formula is needed.

First, the amplitude is symmetric under permutations of $s,t,u$, expressing crossing symmetry. The poles in any channel areFor generic $t$, the residue can be calculated with the Gamma function pole at $-n$ and its recurrence:The product is $1$ when $n=0$. Indeed, the pole factor contributes $(-1{)}^{n+1}/n!$, while the two remaining Gamma ratios contribute $(-1{)}^n(t+2{)}_n^2/n!$. A residue polynomial of degree $2n$ shows exchange of spins up to $2n$, with leading Regge trajectory $J=2+2s$. At $n=1$, the massless residue is $-(t+2{)}^2$, containing the spin-two exchange. By crossing, the massless $t$-channel pole isfor generic $s$. Thus at large $s$ the pole behaves as $s^2/t$, the characteristic energy dependence of graviton exchange. Its massless propagator produces the long-range gravitational interaction. At low energies the massive poles can instead be expanded into local higher-derivative corrections to the effective gravitational action.

At the string scale one must retain the whole tower. The Gamma reflection formula rewrites the amplitude exactly asAt large $s$ and fixed $t$, away from the resonance poles or with a specified complex continuation, the Gamma ratio scales as $s^{t+1}$. Hence the Regge limit scales as $s^{2+2t}$, up to the signature factor and the displayed $t$-dependent coefficient. In particular, a fixed nonzero momentum transfer changes the point-graviton power law by a factor $s^{2t}$: the graviton belongs to an entire trajectory rather than remaining an isolated spin-two exchange at arbitrarily high energy.

There is stronger suppression when the scattering angle is fixed. Put $t\simeq -as$, $u\simeq -(1-a)s$ with $0<a<1$. Applying Stirling formula to the Gamma functions, after the same treatment of real-axis poles, gives the leading smooth envelopeThe leading $s\log s$ terms cancel and the remaining entropy-like combination is negative. In physical units the exponent is $-{\alpha }^{\prime }Sf(a)/2$. This fixed-angle softness of the closed-string amplitude is absent for an elementary pointlike gravitational vertex. Equivalently, short-distance gravitational scattering probes additional string degrees of freedom. In a four-dimensional long-distance effective setting, a massive exchanged mode contributes a Yukawa-type correction proportional to $e^{-M_{n}r}/r$, with couplings and tensor factors depending on the external states. Such terms are suppressed for $r\gg {\ell }_s$ and become relevant for $r\sim {\ell }_s$. The amplitude establishes the spectrum and short-distance change; it does not by itself give a universal static potential for arbitrary sources. Its bosonic tachyon also signals an unstable vacuum, so it must not be treated as a complete stable model of a gravitational force.

Finally, the modular group prevents overcounting equivalent surfaces and reorganizes the loop ultraviolet region. A torus is $\mathbb{C}/(\mathbb{Z}+\tau \mathbb{Z})$ with $\mathrm{Im}\tau >0$. A change of lattice basis identifiesThus the one-loop integral uses a fundamental domain for $\mathrm{PSL}(2,\mathbb{Z})$, for exampleThe measure $d^2\tau /(\mathrm{Im}\tau {)}^2$ is invariant, and the physical integrand, including matter, ghosts and external insertions, must respect torus modular invariance. In this domain $\mathrm{Im}\tau \ge \sqrt{3}/2$. The region of arbitrarily small proper time that causes ultraviolet divergences in a particle loop is therefore not an independent part of the string integral; a modular transformation relates it to another description already represented in the domain.

This does not remove every possible divergence. The cusp $\mathrm{Im}\tau \to \infty$ is a long tube, and factorization through it can produce infrared divergences, massless tadpoles or the bosonic tachyon divergence. At higher genus, degenerating cycles similarly factorize into propagating intermediate string states. The essential improvement is the relation between worldsheet geometry, the full spectrum and the quotient by large diffeomorphisms; infrared and unstable-background problems remain separate questions. A short-distance expansion that keeps only the graviton discards precisely this structure.

Set $T=1/(2\pi {\alpha }^{\prime })$ and take the closed-string spatial coordinate periodic with period $2\pi$. One convenient Lorentzian convention for the conformal gauge action isThe two anticommuting bc ghost systems are the Faddeev-Popov ghosts of the worldsheet metric gauge fixing. Their fields have conformal weights $2$ and $-1$. Ghost normalizations can be rescaled without changing the algebra. After a Wick rotation the two terms become the familiar holomorphic and antiholomorphic $b\bar{\partial }c$ and $\tilde{b}\partial \tilde{c}$ actions.

Let ${\mathcal{L}}_n$ and ${\tilde{\mathcal{L}}}_n$ include both matter and ghost contributions. With the conventional plane normalization of the zero mode, their Virasoro algebra isEach free coordinate boson contributes central charge $1$, including the timelike coordinate after the usual analytic continuation. The weight-$(2,-1)$ bc ghost system contributes $-26$ in each chiral sector. Thus the total central charge is $D-26$.

The Virasoro constraints originate in a gauge symmetry. A nonzero central term is a quantum obstruction to realizing that gauge symmetry without an anomaly; equivalently, the BRST charge fails to be nilpotent. Cancellation of the worldsheet Weyl anomaly therefore requiresThis is the critical dimension of the bosonic string. The accompanying physical-state normal-ordering condition gives the usual matter intercept $1$ in each sector. A shift of the zero-mode convention changes the linear term in the central polynomial, but cannot change the required cancellation of its cubic coefficient.

The conformal condition is a quantum worldsheet Weyl anomaly cancellation, not the classical metric equation of the Polyakov action. Assume a smooth target metric, no antisymmetric background field, and curvature/gradient scales large compared with $\sqrt{{\alpha }^{\prime }}$. Use $[{\nabla }_a,{\nabla }_b]v^c=R^c{}_{dab}{v}^d$ and $R_{ab}=R^c{}_{acb}$, consistent with the Ricci-scalar Weyl transformation in the hint.

A sign convention in the printed action must be made explicit. With worldsheet signature $(-,+)$, continuation $\tau =-i{\tau }_E$ and $e^{i{S}_L}=e^{-S_E}$ sends its negative kinetic term to a positive Euclidean kinetic term, while its positive Lorentzian curvature coupling becomes a negative Euclidean curvature coupling. Define the conventional Euclidean dilaton by $\phi =-\Phi$ for this literal action. Then $S_{E,\mathrm{dil}}=(4\pi {)}^{-1}\int \sqrt{h}{R}^{(2)}\phi$. The Lorentzian dilaton coupling sign convention is therefore important: a convention with a negative Lorentzian curvature coupling would instead use $\phi =\Phi$ and reverse every term linear in the printed $\Phi$ below.

For completeness, the metric part of the one-loop calculation can be obtained by a geodesic background field expansion of a string sigma model. Write $X={\exp }_{\bar{X}}Y$. Its quadratic Euclidean action containsHere $D_{\mu }{Y}^a={\partial }_{\mu }{Y}^a+{\Gamma }^a{}_{bc}{\partial }_{\mu }{\bar{X}}^b{Y}^c$. In dimension $2-\epsilon$, the ultraviolet coincident contraction has pole $⟨Y^a{Y}^b{⟩}_{\mathrm{div}}={\alpha }^{\prime }{g}^{ab}/\epsilon$ with an infrared regulator. Contracting the curvature term gives a divergence $-(4\pi \epsilon {)}^{-1}\int \sqrt{h}{R}_{cd}\partial {\bar{X}}^c\partial {\bar{X}}^d$. It is cancelled by the metric counterterm $\delta g_{ab}={\alpha }^{\prime }{R}_{ab}/\epsilon$, giving the one-loop sigma-model beta function ${\beta }_{ab}^g={\alpha }^{\prime }{R}_{ab}+O({\alpha }^{\prime 2})$ before the dilaton improvement. Equivalently its local Euclidean Weyl variation is $-(4\pi {)}^{-1}\int \sqrt{h}\omega R_{ab}\partial X^a\partial X^b$, with terms proportional to the embedding equations understood as field redefinitions.

Set $\Omega =e^{\omega }$ in the supplied curvature transformation. On a closed string worldsheet, integration by parts givesThe chain rule and leading string embedding map equation implyThe kinetic embedding equation suffices for extracting the leading metric coefficient. More precisely, the full Euclidean embedding equation makes the parenthesis $({\alpha }^{\prime }/2)R^{(2)}{\nabla }^a\phi$, giving a curvature contribution $-({\alpha }^{\prime }/4\pi )\int \sqrt{h}\omega R^{(2)}|\nabla \phi {|}^2$ to the Weyl variation. This contributes to the scalar coefficient below rather than to the leading metric tensor coefficient. Combining the curvature counterterm anomaly with this variation gives the leading metric-dilaton Weyl condition:This is the gravitational equation in the string frame, rather than an ordinary Einstein equation with a minimally coupled scalar. In terms of the field and signs literally printed in this Lorentzian action it readsThe frequently used $R_{ab}+2{\nabla }_a{\nabla }_b\Phi =0$ is obtained if the printed $\Phi$ is identified with the conventional Euclidean dilaton, which requires the opposite Lorentzian curvature-coupling sign. Both conventions describe the same mathematics after $\Phi \mapsto -\Phi$, but one cannot change only the field equation silently. Also, vanishing of this tensor coefficient is the metric part of Weyl invariance; the dilaton curvature coefficient and central-charge condition remain to be checked.

Now derive the scalar consequence without presupposing its integration constant. The contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. The Ricci identity applied to the gradient of a scalar givesDiverging the metric equation and then substituting $R_{ab}=-2{\nabla }_a{\nabla }_b\phi$ yieldsThus the bracket is constant on each connected target component. Its trace equation is $R+2{\square }_g\phi =0$, so the dilaton equation from contracted Bianchi identity becomesThe second equation uses the literal printed sign convention. These are nonlinear scalar wave equations analogous to the Klein-Gordon equation. For the exponentiated dilaton wave equation, put $F=e^{-2\phi }=e^{2\Phi }$; differentiating twice givesHere ${\square }_g={\nabla }^a{\nabla }_a$ is the Lorentzian Laplace-Beltrami operator, and $|\nabla \phi {|}^2=g^{ab}{\partial }_a\phi {\partial }_b\phi$ is a Lorentzian contraction, not necessarily nonnegative.

The Bianchi and Ricci identities alone do not imply $C=0$. The linear dilaton counterexample to zero integration constant is flat target space with $\phi =q_a{X}^a$: the tensor equation holds for every constant $q$, while $C=-2q^2$. A non-null $q$ disproves any deduction of the zero-constant scalar equation from that tensor equation alone.

The leading dilaton Weyl anomaly coefficient is obtained as follows. The matter and reparameterization-ghost central charges give the constant $(D-26)/6$. Expanding the curvature coupling along the same geodesic fluctuation gives the quadratic term $\frac{1}{2}{\nabla }_a{\nabla }_b\phi Y^a{Y}^b$; its coincident contraction is cancelled by $\delta \phi =-{\alpha }^{\prime }{\square }_g\phi /(2\epsilon )$, giving the term $-{\alpha }^{\prime }{\square }_g\phi /2$. The full embedding-equation contribution identified above supplies $+{\alpha }^{\prime }|\nabla \phi {|}^2$. Therefore full leading-order bosonic-string Weyl invariance also requiresIt fixes $C=(D-26)/(3{\alpha }^{\prime })$. Hence in the critical $D=26$ theory, or under boundary conditions making the constant vanish,This explains precisely the extra input needed for a zero-mass Klein-Gordon-type equation. In noncritical dimension the corresponding equation has the central-charge-deficit constant, subject to the usual controlled-background assumptions.

Use the classically equivalent Polyakov action, fix worldsheet diffeomorphisms and Weyl invariance, and perform a Wick rotation of the string worldsheet. In complex coordinates, the worldsheet ghost action for the closed string isThe worldsheet ghost fields are anticommuting. Their conformal weights are $b:(2,0)$, $c:(-1,0)$ and $\bar{b}:(0,2)$, $\bar{c}:(0,-1)$. The two chiral sectors are counted separately.

In either chiral sector, each embedding coordinate is a free boson conformal field theory with central charge one. For the bc system, putting $J=2$ in $c_{bc}=-2(6J^2-6J+1)$ gives $c_{bc}=-26$. Cancellation of the worldsheet Weyl anomaly requiresThe antiholomorphic sector gives the same equation, rather than doubling the required critical dimension of string theory. This dimension count assumes flat target spacetime with just the embedding fields; more general internal conformal field theories change the matter accounting.

For the spinning string, the worldsheet Majorana fermions have conformal weight $1/2$. At $J=1/2$, the complex anticommuting bc system has $c=1$; a real Majorana spinor contributes half of this. Hence $D$ real worldsheet Majorana fermions contribute $D/2$ per chiral sector. Ramond sector versus Neveu–Schwarz sector changes their mode numbers and vacuum energies, not this local central charge.

The additional local worldsheet supersymmetry has a fermionic gauge parameter, so its superconformal ghosts are commuting fields forming a beta-gamma system, with conformal weights $\beta :3/2$ and $\gamma :-1/2$ in the holomorphic sector. Commuting statistics reverse the sign of the bc system formula, givingTogether with the reparameterization worldsheet ghost fields, their total central charge is $-26+11=-15$. ThusThese cancellations make the string worldsheet gauge symmetries compatible with quantization; in the BRST symmetry formulation they enter the nilpotence condition for the BRST operator.

For an infinitesimal Weyl transformation $\delta h^{ab}=-2\omega h^{ab}$, the definition of the stress tensor givesThe insertions are Weyl invariant by assumption, so varying the normalized path integral givesConsequently the stated condition $⟨h^{ab}{T}_{ab}{\varphi }_1\cdots {\varphi }_n⟩=0$ makes the correlation function Weyl invariant. Quantum failure of this condition is the worldsheet Weyl anomaly.

The $D$ free embedding scalars contribute $c_X=D$. The ordinary diffeomorphism ghosts contribute $c_{bc}=-26$. The fermionic $(m,n)$ pair has $h_n=0$ and contributes $-2$. Each of the $D/2$ fermionic $({\chi }_a,{\psi }^a)$ pairs has $h_{\psi }=1/2$ and contributes $+1$. Each bosonic $({\beta }_r,{\gamma }^r)$ pair has $h_{\gamma }=-1/2$ and contributes $+11$, and there are two such pairs. The total holomorphic central charge is thereforeCancellation of the worldsheet Weyl anomaly requires $c_{\mathrm{tot}}=0$, soThe antiholomorphic sector gives the same condition.

Take $D$ embedding coordinates and give one coordinate the background charge $q$. The remaining $D-1$ free bosons contribute $D-1$, while the distinguished coordinate contributes $1+6{\alpha }^{\prime }{q}^2$, so the matter central charge isThe worldsheet ghosts contributes $-26$. Cancellation of the worldsheet Weyl anomaly therefore requireswhich is real for $D<26$ and produces a noncritical bosonic string.

In target-space language the dilaton is linear in this coordinate, so the local string coupling $g_s=e^{\Phi }$ changes exponentially. One end of the target direction is weakly coupled and the other is strongly coupled. Consequently string perturbation theory is trustworthy only in the weak-coupling region, rather than throughout the full background.

The target metric is a coupling of the string nonlinear sigma model. Quantum consistency requires the gauge-fixed worldsheet theory to preserve Weyl invariance, so its sigma-model beta functions must vanish. With no B-field or varying dilaton, the metric beta function begins asTherefore vanishing of the worldsheet Weyl anomaly requiresto leading order in ${\alpha }^{\prime }$: the target-space metric must be Ricci-flat at this order.

The Polyakov path integral integrates over string worldsheet metrics as well as embedding fields, modulo worldsheet diffeomorphisms and Weyl transformations. Summing surface topologies gives perturbative two-dimensional quantum gravity coupled to the coordinate matter fields. Gauge fixing retains worldsheet moduli and introduces ghosts; a conformal gauge is locally flat, not a global flat metric on every genus. Cancellation of the worldsheet Weyl anomaly makes the critical bosonic version consistent.