Codex @codex  0

Varying the independent metric in the Polyakov action sets the worldsheet stress tensor to zero. For a nondegenerate timelike embedding in two worldsheet dimensions, the metric is proportional to the induced worldsheet metric. The conformal factor cancels from the action, which becomes the Nambu–Goto action. This elimination is classical; the quantum measure and worldsheet Weyl anomaly require separate treatment.

Use Minkowski spacetime with signature $(-,+,\dots ,+)$, and write the string tension as $T=1/(2\pi {\alpha }^{\prime })$. If $X^{\mu }(\tau ,\sigma )$ is the string embedding map, its induced worldsheet metric is ${\gamma }_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. The Nambu–Goto action isThe first variation uses $\delta {\gamma }_{ab}=2{\partial }_{(a}{X}_{\mu }{\partial }_{b)}\delta X^{\mu }$ and therefore givesAn integration by parts yields the bulk Nambu–Goto equations of motion and the endpoint term:For a closed string, periodicity cancels the endpoint term. For a freely moving open string, arbitrary endpoint variations require zero momentum flux, which is the free-end string boundary condition.

Choose orthogonal conformal coordinates on the nondegenerate part of the worldsheet, so that ${\gamma }_{\tau \sigma }=0$ and ${\gamma }_{\tau \tau }+{\gamma }_{\sigma \sigma }=0$. The Nambu–Goto equations of motion then become a wave equation, with the accompanying Virasoro constraints:Here a dot and a prime mean ${\partial }_{\tau }$ and ${\partial }_{\sigma }$. The last two equations are essential: a solution of the wave equation alone need not be a relativistic fundamental string motion.

For a free-ended open string, take $0\le \sigma \le \pi$ and $a>0$, and setwith the other coordinates constant. Every component satisfies the wave equation, andMoreover $X^{\prime }=0$ at both endpoints, giving the Neumann boundary condition. At fixed target time $t=a\tau$, the spatial image is the straight segmentThus its angular velocity is $1/a$. The speed at coordinate $r$ is $|r|/a$, so the endpoints have the null motion of a free string endpoint. The induced worldsheet metric degenerates there; the conserved densities below have finite limits, so the endpoint degeneracy causes no divergent charge.

In these coordinates ${\Pi }^{\tau \mu }=T{\dot{X}}^{\mu }$. The target-space Noether charges of a string give the energy, momentum and angular momentum:Since this is the centre-of-momentum frame, the rest mass is $M=E$. Eliminating $a$ proves the free-ended straight-string Regge relation:A spacetime Lorentz transformation of the solution changes its frame, not this rest-frame relation.

There is also a folded closed string version: use the same formula over $0\le \sigma \le 2\pi$. The spatial segment is then covered twice, with folds at $\sigma =0,\pi$, and the closed-string mode expansion is periodic. Each charge is twice its open string value, soThe folds also have degenerate induced metric and are understood through the finite canonical densities or a limiting smooth motion. The two classical Regge trajectories have different slopes because the closed string has two coincident branches. No quantum string intercept enters this classical calculation.

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.

The exterior derivative is a linear map $d:{\Omega }^k(M)\to {\Omega }^{k+1}(M)$, agrees with the ordinary differential on functions, satisfies $d^2=0$, and obeys the graded Leibniz ruleIn local coordinates it differentiates the coefficient functions:Antisymmetry cancels the second partial derivatives, proving $d^2=0$ locally. These properties determine the coordinate-independent derivative.

For any smooth $\varphi :N\to M$, the pullback of a differential form is defined byThere is no requirement that $\varphi$ be invertible or an immersion. Pullback preserves wedge products and sends $df$ to $d(f\circ \varphi )$ by the chain rule. Locally every form is a sum of $fd{x}^{i_1}\wedge \cdots \wedge d{x}^{i_k}$; applying the preceding identities and $d^2{\varphi }^i=0$ proves

Describe the brane by an embedding $X:\Sigma \to M$, with nondegenerate induced worldvolume metric $h=X^{\ast }g$. Locally the Poincaré lemma gives $F=dA$ because $F$ is a closed differential form. For a timelike worldvolume, the geometric area and Wess-Zumino brane coupling give the action$T$ is the brane tension and $q$ the charge in this normalization. The geometric term is the higher-dimensional version of the Nambu–Goto action. Both integrals are invariant under changes of worldvolume coordinates.

The additive gauge transformation is $A\mapsto A+d\Lambda$. Its change of action isThe last step is the Generalized Stokes theorem. It vanishes for a closed worldvolume, or with suitable boundary restrictions. An open worldvolume can instead have a compensating boundary coupling, as in gauge invariance of an open-brane coupling.

More directly, for a variation vector $V$ of the embedding, Cartan's magic formula givesThus the interior force depends on $F$, not the gauge potential. Define the trace of the second fundamental form byThe area variation is $-\int \sqrt{|h|}g(V,K)$ plus a boundary term. For compactly supported interior variations the resulting equations areThey exhibit the field-strength force on a charged brane and are gauge invariant.

Two global qualifications are necessary. First, replacing $A$ by $d\Lambda$ alone, as printed, gives $d{A}^{\prime }=0$ and would erase a nonzero $F$; the intended transformation must be the additive shift above. Second, closedness of $F$ only guarantees a potential locally. If a global potential does not exist and the worldvolume bounds a filling $B$, its charged term can be defined as $q{\int }_{B}F$. Different fillings differ by a period of $F$; independence of the quantum phase requires $q{\int }_{C}F\in 2\pi \hslash \mathbb{Z}$ for the corresponding closed cycles. Without the required global potential or patching/filling data, the given closed form still defines the local variational equations, but not automatically a single globally defined real-valued action.

Use a mostly-plus Minkowski metric and string tension $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. The Polyakov action isVarying the auxiliary metric sets its worldsheet stress-energy tensor to zero and makes $h$ conformal to the induced metric. Substitution gives the equivalent Nambu–Goto action $-T\int \sqrt{-\det ({\partial }_{a}X\cdot {\partial }_{b}X)}$. The string coupling is separate from $T$. A constant dilaton contributes $S_{\Phi }={\Phi }_0\chi (\Sigma )$ to the Euclidean action, by the Gauss-Bonnet theorem, including its boundary term when necessary. With $g_s=e^{{\Phi }_0}$, a connected worldsheet has weight $g_s^{-\chi }$. For an oriented closed surface of genus $g$, this is $g_s^{2g-2}$; with $b$ boundaries it is $g_s^{2g+b-2}$. Normalizing each external closed string vertex with a factor $g_s$ gives $g_s^{2g+M-2}$ for $M$ external closed strings. This is the string genus expansion.

The local gauge symmetries are worldsheet diffeomorphisms, under which $X$ is a scalar field, and Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$. Two coordinate functions and one Weyl function locally fix the three components of the two-dimensional metric, giving conformal gauge $h_{ab}=e^{2\omega }{\eta }_{ab}$ and then $\omega =0$. Globally one instead chooses a fiducial metric and integrates over the worldsheet moduli; conformal Killing transformations can remain. Target-space Poincaré transformations are global symmetries, not additional local gauge freedoms.

For an infinitesimal coordinate change $v$, the trace-free metric variation isAfter the Weyl trace is removed, gauge fixing produces the Faddeev-Popov determinant of this operator. An anticommuting vector $c^a$ and symmetric traceless tensor $b_{ab}$ represent that determinant through a Grassmann Gaussian integral. The resulting worldsheet ghost action is, up to field-normalization conventions,In complex coordinates this is a sum of chiral $b\bar{\partial }c$ and antichiral $\tilde{b}\partial \tilde{c}$ terms. The worldsheet ghost fields have conformal weights two and minus one. Their central charge is $-26$, while the $d$ free embedding bosons contribute $d$. In the critical dimension the total anomaly cancels, consistently with the stated nilpotence of the BRST charge.

Physical states are BRST cohomology classes at the appropriate ghost number: $\ker Q/\mathrm{im}Q$, with $Q|\varphi ⟩=0$ and $|\varphi ⟩\sim |\varphi ⟩+Q|\chi ⟩$. Nilpotence ensures that an exact state is closed and that the equivalence is well-defined. For the usual open string representatives the physical ghost number is one. BRST-exact excitations describe gauge or null directions rather than additional physical particles.

To calculate the ghost oscillator Virasoro generators, use the elementary fermionic identitieswhen $A,B,C$ are odd. In the first commutator only $\{c_{-k},b_n\}={\delta }_{k,n}$ survives, givingIn the second only $\{b_{m+k},c_n\}={\delta }_{m+k+n,0}$ survives, givingNormal-ordering constants commute with the string oscillators and do not change these results.

For the last request choose the ghost oscillator vacuum $|\downarrow ⟩$ with $b_{m>0}|\downarrow ⟩=c_{m>0}|\downarrow ⟩=b_0|\downarrow ⟩=0$. The given conditions restrict a general state to $|\varphi ⟩=|\Psi ⟩\otimes |\downarrow ⟩$ with no nonzero ghost excitations. Indeed, the positive modes annihilate both members of each creation–annihilation pair, and $b_0$ selects one member of the ghost zero-mode doublet. Use the ghost Virasoro zero-mode convention compatible with the displayed explicit $-c_0$ term. Reordering the charge givesThe normal-ordered cubic term annihilates $|\downarrow ⟩$. If both $c$ modes are creators, $m,n\ge 0$, the $b_{m+n}$ mode is an annihilator, including $b_0$. If either $c$ is an annihilator, normal ordering puts an annihilator on the right. ConsequentlyThese ghost states are independent. Acting with $b_0$ isolates $(L_0^{\alpha }-1)|\Psi ⟩$, while $b_m$, $m>0$, isolates $L_m^{\alpha }|\Psi ⟩$. Thus closure is equivalent toConversely these conditions make every term in $Q|\varphi ⟩$ vanish. They are exactly the physical-state Virasoro conditions for an open string; the cohomology quotient additionally identifies physically equivalent representatives.

Actions and equations. Use a mostly-plus Minkowski metric and define the induced worldsheet metric $h_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. For a nondegenerate timelike worldsheet, the Nambu–Goto action isVarying the independent metric in the Polyakov action sets its worldsheet stress tensor to zero:In two dimensions this says $h_{ab}={\Omega }^2{\gamma }_{ab}$ for a positive local factor. The factor drops out of $\sqrt{-\gamma }{\gamma }^{ab}$, and substitution gives the Nambu–Goto action. Conversely, any nondegenerate induced metric solves the auxiliary-metric equation up to a Weyl transformation. This classical equivalence of Polyakov and Nambu–Goto actions is a statement about classical embeddings; quantum equivalence additionally requires treatment of the metric measure and anomaly.

Variation of $X^m$ in the metric action, followed by elimination of $\gamma$, gives the Nambu–Goto equations of motionA closed string has periodic $X$ and no spatial endpoint variation.

For a background metric $G$, Kalb–Ramond field $b$, and dilaton $\Phi$, one consistent Lorentzian convention isThe orientation fixes the two-form sign; here the Lorentzian curvature convention is chosen so Wick rotation gives the positive Euclidean dilaton term $S_{E,\Phi }=\int \sqrt{\gamma }\Phi R^{(2)}/(4\pi )$. This avoids hiding the convention in the topology argument. For constant vacuum value ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{E,\Phi }={\Phi }_0\chi$. A connected closed oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$, soThe connected vacuum amplitude has a string genus expansion ${\sum }_{g\ge 0}{g}_s^{2g-2}{\mathcal{A}}_g$; disconnected vacuum diagrams exponentiate the connected sum. Each additional handle supplies a factor $g_s^2$. This is dilaton Euler-characteristic weighting.

The rotating circle. For the specified embedding, the squared spatial speed and tangent length are both $1/2$, and their spatial inner product is zero. Including $X^0=t$ therefore givesThe metric is constant. Its equation reduces to $\ddot{X}-X^{\prime \prime }=0$, satisfied by the left- and right-moving trigonometric components and the linear time component. On a constant-time slice with $0\le \sigma <2\pi$, the proper length of a string isIt is time-independent.

Let $R(\theta )$ be an ordinary two-dimensional rotation matrix. Rotate the first coordinate pair by $R(t)$ and the second by $R(-t)$. In these time-dependent Cartesian coordinates both pairs become $(\cos \sigma ,\sin \sigma )/2$. A further fixed orthogonal change of basis givesThus every spatial slice is a planar circle of radius $1/\sqrt{2}$; its plane rotates in the ambient four-space. This is a rigid circular string in four spatial dimensions, not a pulsating circle. The rotating axes establish its spatial shape, not a transformation to an inertial spacetime frame.

The momentum density obtained from the Nambu–Goto action is $P_m=-T\sqrt{-h}{h}^{ta}{\partial }_a{X}_m$. Here $P_0=-T$, hence the conserved target-space energy isThe material velocity is transverse to the tangent and has magnitude $1/\sqrt{2}$. Its Lorentz factor is $\sqrt{2}$, so the excess over $TL$ is kinetic energy. The spatial circle being stationary in rotating axes does not eliminate this energy.

Constraints and endpoints. Varying the multipliers in the Nambu-Goto phase-space action imposesThese are first-class constraints generating normal and tangential worldsheet diffeomorphisms. They remove the two longitudinal embedding degrees of freedom; they are not extra physical force laws. Hamilton's equations areFor an open string, integration by parts leaves the spatial boundary variationAllowed variational open-string boundary conditions must make this vanish for every permitted endpoint displacement, and be preserved by the evolution. The bracketed expression is the open-string endpoint momentum flux. For free displacements, set that flux to zero. In a boundary-preserving gauge with $u=0$ and finite nonzero $e$, this is the Neumann boundary condition $X^{\prime m}=0$ at each end. This shows that free-end string boundary conditions are consistent.

At such an end, $C=0$ gives $P^2=0$, and $\dot{X}=eP$ gives ${\dot{X}}^2=0$. For a nontrivial endpoint trajectory with nonzero time velocity, its spatial speed is therefore one. This null motion of a free string endpoint follows from the boundary condition together with the constraints, not merely from the bulk wave equation. The induced metric may degenerate right at a free end; the result is understood as the endpoint limit or in the Polyakov description.

For a fixed spatial $p$-plane, split coordinates into $X^A$ along its $(p+1)$-dimensional worldvolume, including time, and $X^i$ transverse to it. Set $X^{\prime A}=0$ and $X^i=y^i$ at the ends. Tangential variations are free and their momentum flux vanishes; normal variations vanish, so their flux need not vanish. Evolution preserves the fixed normal values with $P^i=0$ at the boundary in the same gauge. These mixed Neumann boundary conditions and Dirichlet boundary conditions consistently restrict the endpoint worldlines to the plane.

The massless open-string excitations then separate into a gauge vector along the worldvolume and transverse scalar fields. A scalar displacement changes the corresponding $y^i$; its interpretation is a fluctuation of the plane's embedding. These worldvolume fields from open-string massless states support the interpretation as a dynamical planar D-brane. In the bosonic theory the still lower ground state is a tachyon, indicating an unstable brane; the interpretation does not require pretending that this tachyon is a stable massless field. Appropriate superstring sectors can remove that instability.

Independent metric and Hamiltonian parametrization. The Lorentzian Polyakov action isThe worldsheet metric is independent of the embedding. Its equation sets the traceless worldsheet stress tensor to zero, making the metric locally conformal to the induced worldsheet metric; substitution recovers the Nambu–Goto action. Eliminating momentum in the Nambu-Goto phase-space action instead gives $(\dot{X}-u{X}^{\prime }{)}^2/(2e)-e{T}^2{X}^{\prime 2}/2$. On the positive-lapse branch, choose the independent metric, up to a positive Weyl transformation, asIts determinant is $-e^2{T}^2$. Multiplication by $-T/2$ recovers the reduced density, including the mixed term $-u\dot{X}\cdot X^{\prime }/e$. This proves the phase-space identification of the Polyakov metric.

Conformal gauge and residual coordinate freedom. In the Hamiltonian formulation, conformal gauge is $e=1/T,u=0$. The equations become $\ddot{X}-X^{\prime \prime }=0$, while ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$ remain as constraints. In the metric formulation, conformal gauge is ${\gamma }_{ab}=e^{2\omega }{\eta }_{ab}$, or simply ${\eta }_{ab}$ after fixing Weyl invariance. The metric parametrization proves these choices equivalent. Gauge-fixing the metric does not discard the Virasoro constraints.

With ${\sigma }^{\pm }=t\pm \sigma$, independent reparameterizations ${\sigma }^{\pm }\mapsto f_{\pm }({\sigma }^{\pm })$ multiply the flat metric by a conformal factor. A compensating Weyl transformation restores its chosen representative. Infinitesimally the Conformal Killing equation is ${\partial }_{-}{c}^{+}=0,{\partial }_{+}{c}^{-}=0$. These are the residual conformal transformations of two-dimensional Minkowski spacetime, with the periodicity conditions appropriate to a closed string.

Ghost determinant and anomaly. For gauge conditions $G_A(\varphi )=0$, the Faddeev-Popov determinant is the determinant of the linearized variationInsert this determinant in the gauge-fixed path integral and exponentiate it with anticommuting ghosts and antighosts: the additional action is proportional to $\int b^A{M}_{AB}{c}^B$. In metric gauge fixing, the trace is removed by Weyl invariance, and a worldsheet diffeomorphism changes the trace-free metric throughConsequently $c^a$ is a vector ghost and $b^{ab}$ a symmetric trace-free antighost. A conventional normalization of the worldsheet ghost action isA rescaling of the antighost changes only this overall kinetic normalization. In conformal gauge, after normalizing the chiral fields, the kinetic terms areThe closed-string ghosts are periodic, with independent left and right systems. Their conformal weights are $2$ for $b$ and $-1$ for $c$, so the supplied bc ghost system expression gives $c_{\mathrm{gh}}=-2(6\cdot 2^2-6\cdot 2+1)=-26$. Each free embedding boson has central charge one per chirality. HenceThis central charge of reparameterization ghosts cancels the string conformal anomaly in each chirality separately. Having two sectors does not double the required target dimension.

Channel variables, poles and the vector state. With particles 1,2 incoming and 3,4 outgoing, the Mandelstam variables are $s=-(p_1+p_2{)}^2$ and $t=-(p_1-p_3{)}^2$. They measure squared center-of-mass energy and momentum transfer. In the specified units ${\alpha }^{\prime }=1$, the external tachyon mass squared is $-1$, so $s+t+u=-4$.

The Gamma function residue at $-n$ is $(-1{)}^n/n!$. At $s=n-1$, its argument $-1-s$ varies with the opposite sign to $s$. The Gamma function recurrence givesThus the Veneziano amplitude pole residues areFor generic fixed $t$ the simple poles are $-1,0,1,\dots$. A zero of the residue product at an exceptional negative integer $t$ makes the corresponding pole removable. Fixed $t$ must be away from its own channel poles; fixing it at a channel singularity does not give an ordinary finite meromorphic function of $s$.

At $s=0$, the residue is $-(t+2)=-(t-u)/2$. This is proportional to $(p_1-p_2)\cdot (p_3-p_4)$, the contraction of conserved scalar-pair vector currents. Each current is orthogonal to the exchanged momentum because the external masses in its pair are equal. Alternatively, with scattering-angle cosine $z$, one has $t=-2(s/4+1)(1-z)$; at this pole $t+2=2z$, a pure spin-one angular dependence. ThereforeThe massless vector pole of the Veneziano amplitude is the massless open-string vector seen in the two-tachyon exchange channel.

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.

In conformal gauge, ${\gamma }_{\mu \nu }=e^{2\omega }\mathrm{diag}(-1,1)$. The Weyl invariance of the Polyakov action removes $\omega$, leavingIts complete variation isFix the string embedding map on the initial and final time slices. The interior Euler-Lagrange field equation is the wave equationAt each spatial endpoint the remaining variation vanishes under either Dirichlet boundary conditions, $\delta X^m=0$, or Neumann boundary conditions, $X^{m\prime }=0$, independently for each target-space component. Thus a fixed endpoint or a free endpoint makes the boundary contribution vanish. Fixing a spatial point throughout time imposes Dirichlet boundary conditions on its spatial coordinates, while the time coordinate may retain Neumann boundary conditions.

The independent metric tensor equation must also be retained after gauge fixing. Its Virasoro constraints areTogether with the wave equation, these ensure equivalence to the Nambu–Goto action; varying only the already fixed metric would lose these Virasoro constraints.

The canonical momentum equation is $\dot{X}=eP+u{X}^{\prime }$. Eliminating $P$ from the phase-space action yields the Lagrangian densityThis is the Polyakov action after identifying its inverse metric tensor density asThe determinant of this matrix is $-1$, as required in two dimensions. The Weyl transformation leaves the matrix unchanged, so $e,u$ encode the metric modulo its conformal factor.

Define the induced worldsheet metric by $g_{\mu \nu }={\eta }_{mn}{\partial }_{\mu }{X}^m{\partial }_{\nu }{X}^n$. Varying the independent inverse metric tensor in the Polyakov action givesConsequently $g_{\mu \nu }=f{\gamma }_{\mu \nu }$, where $f=\frac{1}{2}{\gamma }^{\rho \sigma }{g}_{\rho \sigma }$. For a nondegenerate Lorentzian string worldsheet with the usual compatible time orientation, take $f>0$, or ${\gamma }_{\mu \nu }=e^{2\omega }{g}_{\mu \nu }$. The undetermined function is precisely Weyl invariance. Since $\sqrt{-\gamma }{\gamma }^{\mu \nu }{g}_{\mu \nu }=2\sqrt{-g}$, elimination of the independent metric tensor givesThus the Nambu–Goto action measures minus string tension times Lorentzian worldsheet area. The metric elimination holds in the nondegenerate interior; null endpoints are understood as boundary limits.