The Polyakov path integral integrates over both the string embedding map and the worldsheet metric. After the usual analytic continuation, a formal closed-string vacuum functional has the schematic form
The genus weights organize string perturbation theory; the coupling is related to the constant dilaton. External states are inserted as string vertex operators, with the usual additional external coupling normalization. Division by the gauge group prevents counting different parameterizations and Weyl representatives as distinct configurations.
Gauge-fix , where labels inequivalent conformal structures. Conformal gauge fixes the local metric redundancies, not the worldsheet moduli. Unmarked compact surfaces have no complex moduli at genus zero, one at genus one and at genus . Integrating over the appropriate moduli quotient includes large diffeomorphisms; at genus one it requires a modular fundamental domain, as in torus modular invariance.
The infinitesimal traceless diffeomorphism operator is
Its Faddeev-Popov determinant is represented by anticommuting worldsheet ghost fields and traceless symmetric , with action proportional to . In conformal complex coordinates this is the pair of chiral bc systems of weights . Ghost zero modes must be handled rather than included in an ordinary nonzero determinant: conformal Killing vectors correspond to residual gauge transformations, while antighost zero modes pair with surviving moduli variations. At genus zero three insertion positions can be fixed by the Möbius transformations; corresponding factors supply the ghost zero modes. At higher genus the measure includes antighost insertions paired with the moduli.
In a flat target, integrating the free coordinate fields gives a Gaussian determinant , with the zero-mode integral supplying target volume or momentum conservation. Vertex insertions give the corresponding free-field correlators. For example, on a sphere, exponential operators have the factor
The remaining unfixed insertion positions and moduli are integrated with the ghost measure. Physical closed-string operators have matter conformal weights ; an unintegrated insertion is , while an integrated insertion uses . This explains how on-shell scattering amplitudes arise from the metric-and-embedding functional integral.
The quantum measure can break the classical Weyl symmetry. Each free coordinate contributes central charge one, while each chiral reparameterization ghost system contributes . Hence , and the worldsheet Weyl anomaly vanishes for the ordinary flat bosonic string exactly at . Only then can the conformal factor be removed as a gauge degree of freedom without adding further dynamics. For a subcritical matter system it generally produces a Liouville-type theory, unless an appropriate additional conformal sector restores the central charge balance.
Equivalently the gauge-fixed construction uses a nilpotent string BRST operator. Physical states are its closed states modulo exact states, expressing the BRST cohomology of the gauge constraints. In the critical theory the ghost and matter contributions make this operator nilpotent and the measure gauge independent. Degenerations of moduli describe long-tube propagation and factorization onto intermediate string states. The bosonic tachyon can still cause infrared divergences; anomaly cancellation is not a claim that every vacuum integral is finite or that the bosonic vacuum is stable. The path integral sums embeddings and conformal structures, with ghosts removing local gauge overcounting and moduli retaining the genuine geometry.
The local gauge symmetries of the Polyakov action are worldsheet diffeomorphisms and Weyl transformations. Under a reparametrization , the embedding coordinates transform as scalars and the worldsheet metric as a covariant tensor; the contracted integrand is a scalar density. Infinitesimally, with the active convention, and . A Weyl transformation sends and leaves fixed. In two dimensions the factors from and cancel. Target-space Poincaré transformations are additional global symmetries, rather than worldsheet gauge symmetries.
These gauge freedoms put the metric locally in conformal gauge, . Its variation must still be imposed: it gives the worldsheet stress tensor constraints . The field equation is the wave equation, and periodicity of a closed string gives independent left- and right-moving oscillator sets. In a normalization with , their commutators and normal-ordered generators are
with the same formulas for the tilded sector and zero mixed commutators.
The closed-string physical-state Virasoro conditions in the critical flat-space theory are
They act on the oscillator Fock space, and physical spurious (null) states are quotiented out. Equivalently physical states are the suitable BRST cohomology classes. Positive modes constrain kets; their adjoints constrain bras, so one does not impose every positive and negative matter mode on the same ket. Subtracting the two zero-mode equations gives closed-string level matching, , and adding their mass-shell content gives . Quantum consistency fixes the intercept to one and, for just these flat coordinate fields, : the matter central charge cancels the reparametrization ghost central charge . Other dimensions require additional worldsheet degrees of freedom or a noncritical completion.
For the residual symmetry, take . The conformal Killing equations leave independent transformations and , with a compensating Weyl rescaling restoring the flat metric. On the Euclidean plane the corresponding holomorphic vector fields are and their antiholomorphic partners. They satisfy the Witt algebra . The conserved contour generators are the Virasoro modes . Their quantum Virasoro algebra is
with a second independent copy for the right movers. These are the generators of the residual conformal transformations, including their quantum central extension.
The two-dimensional quantum-gravity interpretation of strings follows from what is integrated, not from an analogy: at genus , the Polyakov path integral integrates over both and the metric, divided by diffeomorphism and Weyl gauge volume. String perturbation theory sums these surface topologies, weighted by before external-state coupling factors. Gauge fixing leaves worldsheet ghost determinants and integrals over worldsheet moduli. Thus it is two-dimensional quantum gravity coupled to the coordinate matter fields. A flat gauge is local; general higher-genus surfaces retain conformal-structure moduli and need not admit a globally flat representative.
Target-space gravity is a different conclusion. At , the state is massless, transverse in both indices, and has longitudinal gauge identifications. Its symmetric traceless transverse polarization is a graviton; the antisymmetric and scalar polarizations give the Kalb–Ramond field and dilaton. The graviton gauge identification is precisely the linearized metric diffeomorphism. Moreover the leading string-frame massless effective action contains , and worldsheet Weyl invariance with constant dilaton and zero two-form requires at leading order in . Thus both the propagating massless spin-two state and its low-energy interactions reproduce gravity. Closed strings contain the graviton and yield Einstein gravity in their low-energy massless sector, together with other fields and higher-derivative corrections; the bosonic tachyon instability remains.
Choose a Euclidean string worldsheet and the usual normalization of the Polyakov action. For a closed oriented worldsheet , the string nonlinear sigma model is
Here is the alternating density, not the tensor with components . The imaginary coefficient in the Kalb–Ramond field term is the Euclidean continuation; in Lorentzian signature this term is real. is the spacetime metric and the dilaton.
All three terms have worldsheet diffeomorphism invariance, and are covariant under spacetime coordinate transformations when , , and are transformed together. Under a Weyl transformation , is invariant in two dimensions, so the metric coupling has classical Weyl invariance. The antisymmetric coupling is independent of the worldsheet metric, so it too has classical Weyl invariance.
The curvature coupling requires care. An infinitesimal Weyl transformation gives . Integration by parts on the closed worldsheet therefore gives the Weyl variation of a nonconstant dilaton coupling:
A constant dilaton coupling is topological and Weyl invariant; a general varying dilaton coupling is not separately classically Weyl invariant. Its classical variation participates in canceling the quantum worldsheet Weyl anomaly, producing the improved background equations below.
To relate these background couplings to the flat-space bosonic string mass spectrum, expand and express and as superpositions of plane waves. The perturbation of the action is a sum of integrated string vertex operators of the form
This is the vertex of in the massless first closed-string level. Its conformal weights are , so marginality gives . The primary operator conditions give transversality, and the string-state gauge redundancy removes longitudinal components. The symmetric trace-free polarization tensor is the graviton and perturbs ; its antisymmetric part is the Kalb–Ramond field and perturbs . The scalar physical polarization is the dilaton. At the level of background fields its vertex involves the metric trace and the curvature improvement, so an arbitrary off-shell metric trace should not simply be identified with the physical dilaton without this distinction.
The spacetime gauge invariance of the antisymmetric coupling is
Indeed its action is . Its variation is
for a closed worldsheet, by Stokes theorem. In components this is the total derivative : the term containing vanishes by antisymmetry. Thus only the Kalb-Ramond field strength can enter the local spacetime equations. With boundaries, a compensating boundary gauge-field transformation is needed.
Separate the dilaton into a constant and a varying part. The Gauss-Bonnet theorem gives
for a connected closed orientable genus- worldsheet. Its Euclidean path-integral weight contains
Consequently the sum over worldsheet topologies is the string genus expansion , with each coefficient integrating over that genus's worldsheet moduli. Each extra handle costs , which is the loop-counting factor of string perturbation theory. With the usual normalization of external closed-string vertices, the connected amplitude carries . This dilaton Euler-characteristic weighting is distinct from the expansion in of a fixed-worldsheet string nonlinear sigma model.
Finally quantize that two-dimensional theory. The background fields are its couplings. The background field expansion of a string sigma model, in target-space normal coordinates, contains curvature vertices quadratic in the fluctuation . Contracting their two fluctuation indices produces the Ricci tensor multiplying . Logarithmic short-distance contractions renormalize , , and , giving functional sigma-model beta functions. Gauge independence requires vanishing of the worldsheet Weyl anomaly, including the classical improvement from the varying dilaton, not merely an arbitrary choice of renormalization scale.
For clarity, in conventional leading-order normalization the improved coefficients are
Here . The constant term in the dilaton coefficient is the matter-plus-ghost central charge deficit. At , setting these coefficients to zero gives the leading spacetime field equations
For the last equation, take the trace of the first, , and combine it with ; this verifies the coefficients and signs. These are equivalently the equations from the leading string-frame massless effective action
Higher worldsheet orders give higher-derivative corrections, whereas additional handles give string-loop corrections controlled by . Thus quantum consistency of a two-dimensional string nonlinear sigma model determines the dynamics of its spacetime background fields. These leading coefficient conventions agree with the primary string-theory lectures' background-field calculation.
Use a mostly-plus target Minkowski spacetime metric and restore the string tension by . After Wick rotation, the Polyakov action on a Riemann surface is
The 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 . 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 is
The worldsheet Green function is . The operator product expansion with the holomorphic stress-energy tensor gives conformal weights . An integrated string vertex operator must have weights , so the mass-shell condition is , or tachyonic mass parameter .
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 , 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 . The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factor
Set ; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and define
The mass-shell condition and momentum conservation imply . Since and similarly for the pair , the sphere tachyon position integral becomes
Here depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.
To evaluate the remaining worldsheet modulus, put and . The complex beta integral is
For 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 and ; the scattering result is its analytic continuation. The third gamma-function argument is . Absorbing into , 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 , 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 has coupling power .
Use the standard Euclidean convention and restore the curvature normalization explicitly. Let be the conventional dimensionless dilaton, whose worldsheet term is
For constant , the Gauss-Bonnet theorem gives . A closed surface of genus has Euler characteristic , so its contribution is weighted by
Thus
This is the dilaton normalization and Euler-characteristic weighting of string perturbation theory. If the unit curvature coefficient in the printed expression is retained literally in this Euclidean convention, then and . If denotes the conventional dilaton, the usual omitted is understood and . One must specify that normalization before exponentiating the field. Lorentzian overall signs are fixed consistently by Wick rotation.
For the sigma-model beta function, use
with vanishing two-form and dilaton. Perform the background field expansion of a string sigma model covariantly by setting . In Riemann normal coordinates, the quadratic fluctuation action is
The covariant derivative contains the pulled-back target connection. This expansion accounts for the connection vertices as well as the normal-coordinate metric expansion; keeping only a single metric tadpole would not give a covariant answer.
Integrating the Gaussian fluctuations gives , where
Contracting the curvature vertex with the short-distance propagator traces to the Ricci tensor . In dimensional regularization at , the logarithmic integral is . With the stated curvature convention the divergent effective action is
It is cancelled by the metric counterterm . Equivalently, write . Differentiating the bare coupling at fixed value gives the one-loop metric beta function of a string sigma model
This loop is a loop of two-dimensional fluctuation fields: its expansion is in , not a change of worldsheet genus or an extra power of . The sign here defines the renormalization scale to increase toward the ultraviolet. For a round target sphere, positive Ricci curvature makes its squared radius increase with that scale, consistent with the usual asymptotic freedom of the inverse-radius sigma-model coupling. With the printed kinetic coefficient taken literally, and the leading coefficient is . Requiring the metric beta function to vanish gives at this order. Full bosonic-string Weyl consistency also requires the other anomaly coefficients, including the critical-dimension condition when the dilaton vanishes.
For T-duality, choose coordinates adapted to the isometry and use units for the local Buscher rules. Assume , with a spacelike isometry for the usual unitary circle duality. In light-cone worldsheet coordinates take the convention that multiplies . Gauge translations of , replace by , gauge fix , and impose flatness with a multiplier . The relevant first-order Lagrangian is
Integrating out gives a locally pure-gauge connection and hence the original model. Instead integrate the last term by parts and solve the algebraic equations for :
Substitution gives
Reading its symmetric and antisymmetric parts yields the Buscher dual of a metric with vanishing two-form:
The spectator metric is the Schur complement of . Reversing the orientation of reverses the displayed mixed two-form signs; our multiplier and conventions fix them.
The metric rules arise already from the classical algebraic elimination. For quantum equivalence the regulated Gaussian measure also produces the Buscher dilaton shift
For a compact isometry the multiplier periodicity and flat-connection sectors implement the exchange of momentum and winding. On a circle, restoring dimensions gives . Thus the calculation derives the local dual background, while the measure and global sectors explain how it becomes a string-theory duality.
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 are
At , the states 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 . 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 .
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 is
Its conformal weights are , so its integrated form is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by 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 .
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 , so and the closed-string tachyon has . For four such external states the Mandelstam variables obey . The Virasoro–Shapiro amplitude has generic -channel poles at , exactly the bosonic string mass spectrum in these units.
The massless pole gives an especially direct check. With overall normalization and , the Gamma function recurrence gives
Thus
The quadratic residue in 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 , 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 , and a connected oriented surface of genus has Euler characteristic . Its weight is ; with normalized external vertices,
The sphere is tree order, the torus is one loop, and each additional handle adds a factor . Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in , with an independent low-energy expansion in .
For the one-loop vacuum contribution, torus modular invariance identifies with , . Integration is over the standard fundamental domain of the modular group,
The potential short-proper-time region , responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in . Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in the vacuum integrand is proportional to , with 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 is an infrared divergence from the tachyon: . 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.
Take embedding coordinates and give one coordinate the background charge . The remaining free bosons contribute , while the distinguished coordinate contributes , so the matter central charge is
The worldsheet ghosts contributes . Cancellation of the worldsheet Weyl anomaly therefore requires
which is real for and produces a noncritical bosonic string.
In target-space language the dilaton is linear in this coordinate, so the local string coupling 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.
Worldsheet moduli Created 2026-10-05 Updated 2026-10-14
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.