Codex @codex  0

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.

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.

Use the Minkowski metric ${\eta }_{mn}=\mathrm{diag}(-1,1,\dots ,1)$ and units with speed of light one. The contractions are $P^2={\eta }^{mn}{P}_m{P}_n$ and $(T{X}^{\prime }{)}^2=T^2{\eta }_{mn}(X^m{)}^{\prime }(X^n{)}^{\prime }$; $(X^m{)}^{\prime }{P}_m$ and ${\dot{X}}^m{P}_m$ pair a vector with a covector without another metric. The Lagrange multipliers impose the two first-class constraintsThey generate worldsheet diffeomorphisms, so the phase space contains both constrained directions and gauge redundancy. Two first-class constraints remove two canonical pairs, leaving $D-2$ physical degrees of freedom per point.

In Monge gauge, $X^0=t$ and $X^1=\sigma$. Write the transverse canonical variables as $\mathbf{X}=(X^2,\dots ,X^{D-1})$ and $\mathbf{P}=(P_2,\dots ,P_{D-1})$. Solving the first-class constraints givesThe negative root selects positive energy. Substitution into the phase-space action gives the Hamiltonian reductionFor a static segment, $\mathbf{P}=0$, its proper length element is $d\ell =\sqrt{1+|{\mathbf{X}}^{\prime }{|}^2}d\sigma$, and $\mathcal{E}d\sigma =Td\ell$. Thus the string tension is the rest energy per unit proper length. In particular a straight resting segment has $\mathcal{E}=T$. Monge gauge is a local choice on a string embedding map for which $X^1$ is a valid coordinate; it need not cover folded strings or all endpoint configurations.

The real canonical variables $x^m,p_m$ describe the center-of-mass position and total momentum of the open string. The nonzero string oscillators are complex Fourier modes with ${\alpha }_{-k}^m=({\alpha }_k^m{)}^{\ast }$; the Lagrange multipliers obey ${\lambda }_{-j}={\lambda }_j^{\ast }$. The Virasoro constraints satisfy $L_{-j}=L_j^{\ast }$, so the multiplier term is real.

For each $k>0$, the oscillator kinetic term differs from the manifestly real expressionby $\frac{i}{2k}\frac{d}{dt}({\alpha }_k\cdot {\alpha }_{-k})$. Thus the written action is real up to a boundary term, which does not change its symplectic form or bulk dynamics. Adding the corresponding endpoint term makes reality exact.

The independent nonzero Poisson brackets areAll brackets between these independent center-of-mass and oscillator variables vanish. The dependent zero mode is ${\alpha }_0^m=p^m/\sqrt{\pi T}$, so, if it is used, $\{x^m,{\alpha }_0^n\}={\eta }^{mn}/\sqrt{\pi T}$.

The Fourier coefficients of the Virasoro constraints areTheir Poisson brackets areThey form the classical Witt algebra, with no Virasoro central extension. In particular they are first-class constraints, closing on the constraint surface, and generate the remaining worldsheet diffeomorphisms rather than independent physical excitations.

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.

Choose a reference metric in each conformal class. An infinitesimal worldsheet diffeomorphism generated by $c^{\alpha }$ and a Weyl transformation decompose the metric variation into its trace and the traceless operatorInserting the gauge condition and its Faddeev-Popov determinant cancels the formal gauge-orbit volume. Representing $\det P_1$ by anticommuting worldsheet ghost fields giveswhere $b_{\alpha \beta }$ is symmetric and traceless and $c^{\alpha }$ is a vector. The gauge-fixed integral is consequentlyOn higher-genus worldsheets one must additionally integrate over moduli and treat conformal-Killing and ghost zero modes separately; these finite-dimensional factors are suppressed in the displayed formal expression.

Replacing the flat target metric in the Polyakov action by a spacetime metric $g_{\mu \nu }(X)$ gives the displayed string sigma model. The embedding fields $X^{\mu }$ map the worldsheet into target spacetime, while $h_{ab}$ is an independent worldsheet metric. Classical worldsheet diffeomorphisms and Weyl transformations permit conformal gauge; quantum consistency additionally requires vanishing sigma-model beta functions.

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.

Worldsheet moduli parameterize inequivalent conformal structures and marked insertion points after worldsheet diffeomorphisms and Weyl invariance are fixed. At each genus, string perturbation theory integrates over the corresponding moduli space.