Use Euclidean worldsheet conventions with . Including a target metric, a Kalb–Ramond field and the dilaton gives
The imaginary coefficient of the antisymmetric term comes from Euclidean continuation; the Lorentzian action has the corresponding real coupling. For constant , the Gauss-Bonnet theorem gives , with Euler characteristic on a connected closed oriented surface. Thus dilaton Euler-characteristic weighting gives
Adding one handle multiplies a contribution by , identifying as the string coupling. With canonically normalized external closed-string states, vertices add , giving the string genus expansion .
Before gauge fixing, the Polyakov path integral for inserted string vertex operators is schematically
The quotient removes descriptions related by worldsheet diffeomorphisms and Weyl transformations. Gauge fixing has a nontrivial Jacobian, the Faddeev-Popov determinant. Anticommuting vector ghosts and symmetric trace-free antighosts exponentiate this determinant as a local worldsheet ghost action. These worldsheet ghost fields implement the gauge quotient; they are not additional spacetime particles. Their zero modes must be treated separately rather than included in an invertible determinant.
Three kinds of geometry enter the scattering calculation. The worldsheet moduli describe genuinely different conformal shapes that remain after local gauge fixing. Each such shape must be integrated over. The mapping class group consists of orientation-preserving diffeomorphisms modulo those continuously deformable to the identity; it identifies different markings of the same conformal surface, so only one representative of each class is counted. The worldsheet conformal Killing group is the continuous residual conformal symmetry of a chosen surface. It moves insertion positions without changing the geometry and must be divided out, usually by fixing enough vertex positions.
For a torus, write , with . Its shape modulus is , its mapping class group acts through the modular group, and its connected worldsheet conformal Killing group acts by translations. Thus the shape integral runs over the standard fundamental domain of the modular group, while one insertion position can be fixed by translation. On the sphere, three positions can instead be fixed by Möbius transformations; for genus at least two the continuous conformal Killing group is trivial.
Figure 1.
One representative of each torus conformal shape in the modular fundamental domain
. Details.
Now use the half-normalized worldsheet diffeomorphism ghost operator in the question. A vector field can preserve the representative metric after a compensating Weyl transformation precisely when . The trace of the metric variation sets , leaving the Conformal Killing equation
The kernel of this operator gives the infinitesimal worldsheet conformal Killing group.
For a surviving infinitesimal worldsheet modulus, choose its metric variation orthogonal to all gauge variations. Orthogonality to Weyl transformations requires . On the closed surface, the formal adjoint of the worldsheet conformal Killing operator follows by integration by parts:
Orthogonality to every diffeomorphism variation is therefore the adjoint-kernel condition, giving
In a local conformal coordinate these imply and its conjugate: the moduli variations are represented by holomorphic quadratic differentials. Multiplying the definition of by two changes its adjoint by two but changes neither kernel.
For four tachyon vertex operators on the torus, there is one complex shape modulus, four complex insertion positions and one complex translation to remove. The worldsheet integration count after conformal gauge fixing is therefore
Fix the fourth insertion at . A schematic gauge-fixed expression is
Here the antighost pair supplies the modulus measure, and the ghost pair at the fixed vertex absorbs the translation zero modes. The three unfixed positions and are the four complex integrations. The punctured Riemann surface moduli dimension gives the same result, . Target-spacetime zero-mode integrals producing momentum conservation are separate from this requested count of worldsheet integrations.
For an oriented Euclidean string worldsheet with metric , use the string nonlinear sigma model action
Here is an antisymmetric density with . The factor in the Euclidean Kalb–Ramond field term follows from continuing the real Lorentzian two-form coupling; reversing orientation or the convention for reverses its sign. The conventional positive Euclidean dilaton coupling is being used. With worldsheet boundaries its curvature coupling also needs , where is the boundary geodesic curvature, to have the proper topological normalization for constant .
All three terms are invariant under worldsheet diffeomorphisms. Target-coordinate changes act on by their ordinary scalar and tensor transformation rules, making the target description covariant as well. For the two-form there is also the target gauge symmetry . Its change in the closed-worldsheet action is an integral of an exact two-form and hence zero. With boundaries it is instead ; an endpoint gauge field with cancels it.
Under a local Weyl transformation , the metric term is invariant because the two-dimensional factors and cancel. The term is independent of and is separately invariant. The curvature transforms as
On a closed surface the dilaton variation is consequently
Thus a general nonconstant dilaton term is not separately invariant under Weyl transformations. Its variation is the Weyl variation of a nonconstant dilaton coupling; it vanishes for constant after the boundary completion where necessary.
For , the Gauss-Bonnet theorem gives . In the Euclidean path integral the resulting weight is
For a connected orientable genus- surface with boundaries, , so the weight is . A closed-string handle therefore adds two powers of string coupling. External vertex normalizations add their own coupling factors; they are distinct from this dilaton Euler-characteristic weighting. The constant dilaton controls the string genus expansion, rather than adding a force to the classical embedding equation.
Quantization treats the target fields as position-dependent couplings of a two-dimensional interacting quantum field theory. Expanding around a background embedding gives fluctuation vertices involving target curvature and derivatives of and . Short-distance contractions require local counterterms, so the target fields become renormalized couplings. In particular a curvature vertex contracted once yields a Ricci tensor counterterm proportional to . Each additional sigma-model loop brings another power of and more target derivatives. The expansion is useful when the target variation scale is large compared with ; it is not the separate expansion in powers of .
After gauge fixing, a worldsheet Weyl anomaly would make amplitudes depend on the discarded local conformal factor. Quantum consistency therefore requires the trace anomaly to vanish, including the reparameterization worldsheet ghost field contribution. In a conventional renormalization scheme the resulting bosonic sigma-model Weyl anomaly coefficients start as
The barred quantities include the dilaton stress-energy tensor improvement; ordinary coupling sigma-model beta functions can differ by field redefinitions or target diffeomorphisms. Setting these coefficients to zero gives differential equations for the background fields order by order, including the metric gravitational equation and the antisymmetric-field equation. These conventions for the leading coefficients are described in the background-field lecture notes. Higher orders supply higher-curvature and higher-derivative corrections. This explains how spacetime dynamics follows from quantum gauge consistency of the worldsheet, not from asking only for a classical stationary worldsheet in an arbitrarily chosen background.
The apparently noninvariant dilaton term is essential outside the critical dimension because its stress-energy tensor improvement can cancel the quantum central charge mismatch. A flat constant-dilaton background has matter central charge and worldsheet ghost field central charge . If , changing the constant value of only changes and cannot cure that mismatch.
A concrete solution is the linear dilaton conformal field theory with , , and . Its metric and antisymmetric-field anomaly coefficients vanish, while the scalar condition is
One can also see this cancellation directly from the improved holomorphic stress-energy tensor. With the positive Euclidean curvature convention above,
The free-field contraction is . Differentiating it twice at each point gives a fourth-order pole from the improvement. Since the fourth-order stress-tensor pole is , the matter central charge becomes . The worldsheet ghost field contribution then cancels it. This is why a classical Weyl variation need not mean inconsistency: it can cancel the quantum variation of the other terms. For the required gradient is spacelike; for it is timelike in the Lorentzian target theory. Such backgrounds are not flat constant-dilaton Minkowski vacua with full target Lorentz symmetry, nor does a central charge cancellation by itself prove stability or unitarity of every noncritical background. If the conformal factor is instead retained dynamically, its Liouville field theory supplies the corresponding noncritical description.
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.
Actions and equations. Use a mostly-plus Minkowski metric and define the induced worldsheet metric . For a nondegenerate timelike worldsheet, the Nambu–Goto action is
Varying the independent metric in the Polyakov action sets its worldsheet stress tensor to zero:
In two dimensions this says for a positive local factor. The factor drops out of , 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 in the metric action, followed by elimination of , gives the Nambu–Goto equations of motion
A closed string has periodic and no spatial endpoint variation.
For a background metric , Kalb–Ramond field , and dilaton , one consistent Lorentzian convention is
The orientation fixes the two-form sign; here the Lorentzian curvature convention is chosen so Wick rotation gives the positive Euclidean dilaton term . This avoids hiding the convention in the topology argument. For constant vacuum value , the Gauss-Bonnet theorem gives . A connected closed oriented surface of genus has Euler characteristic , so
The connected vacuum amplitude has a string genus expansion ; disconnected vacuum diagrams exponentiate the connected sum. Each additional handle supplies a factor . This is dilaton Euler-characteristic weighting.
The rotating circle. For the specified embedding, the squared spatial speed and tangent length are both , and their spatial inner product is zero. Including therefore gives
The metric is constant. Its equation reduces to , satisfied by the left- and right-moving trigonometric components and the linear time component. On a constant-time slice with , the proper length of a string is
It is time-independent.
Let be an ordinary two-dimensional rotation matrix. Rotate the first coordinate pair by and the second by . In these time-dependent Cartesian coordinates both pairs become . A further fixed orthogonal change of basis gives
Thus every spatial slice is a planar circle of radius ; 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 . Here , hence the conserved target-space energy is
The material velocity is transverse to the tangent and has magnitude . Its Lorentz factor is , so the excess over 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 imposes
These 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 are
For an open string, integration by parts leaves the spatial boundary variation
Allowed 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 and finite nonzero , this is the Neumann boundary condition at each end. This shows that free-end string boundary conditions are consistent.
At such an end, gives , and gives . 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 -plane, split coordinates into along its -dimensional worldvolume, including time, and transverse to it. Set and 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 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 ; 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.
Take an oriented closed string in flat, critical bosonic string theory, with and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action is
Target-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike would not be convergent.
An external tachyon is represented by the tachyon vertex operator , with conformal weights . The physical integrated vertex has , so . Schematically its tree amplitude is
The 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, . Fix three insertion points, accompanying their unintegrated vertices by the required ghost factors. The remaining 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, with
Their zero-mode integral gives momentum conservation, and their nonzero-mode Gaussian integral gives the Koba-Nielsen factor
This 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 alongside the two printed dimensionless Mandelstam variables. Since and , one obtains . The physical center-of-mass energy squared in the channel is . The channel measures the analogous crossed momentum transfer, with sign determined by the mostly-plus convention. Rewriting the Gamma factors in a symmetric form gives
The 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 -channel pole occurs when the intermediate momentum satisfies the mass-shell condition for a closed-string state:
The pole at exchanges the ground-state tachyon, the pole at exchanges massless states, and the positive integer poles exchange the infinite massive tower. The -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 residue
The residue polynomial has degree , consistent with maximum spin in the exchanged level. The amplitude also has the corresponding -channel poles by crossing symmetry.
The massless fields can be treated as target backgrounds rather than separate asymptotic insertions. Write the target metric as , introduce a Kalb–Ramond field , and a dilaton . In conventional Euclidean signs their string nonlinear sigma model action is
Here 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 , 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 , 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 . 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 is
The terms denoted 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, . By the Gauss-Bonnet theorem, its dilaton Euler-characteristic weighting on a connected closed oriented surface follows from
Define the string coupling by . A genus- path integral is weighted by
The sphere carries , the torus carries , and each extra handle adds . 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 -point genus- amplitude scales as .
Summing connected worldsheets of every genus of a surface yields the string-loop effective action expansion
Each coefficient has its own low-energy expansion. The two parameters have different roles: resolves finite string size through higher derivatives, while counts additional string loops.