The first massless level of a closed string contains a spin-two field, an antisymmetric two-form and a scalar: the graviton, Kalb–Ramond field and dilaton. The polarization redundancies found in Question 2 become, in position space, the linearized transformations and . Thus the massless spin-two field already carries the gauge symmetry of linearized general relativity.
To describe slowly varying backgrounds, promote these polarizations to fields of the embedding coordinates. The Euclidean string nonlinear sigma model is
Here is the antisymmetric coordinate density. Quantum consistency requires worldsheet Weyl anomaly cancellation, not merely the classical background equations. At first order in the bosonic sigma-model Weyl anomaly coefficients give
where is the Kalb-Ramond field strength. The scalar anomaly condition, combined with the trace of the metric condition in the critical dimension, gives
These are the Euler–Lagrange equations of the leading string-frame massless effective action
For example, variation of gives the divergence equation above. Varying and integrating its kinetic variation by parts gives . Combining this with the metric variation yields the Ricci equation. Thus the string's quantum conformal consistency reproduces target-space gravity coupled to matter. Equivalently, expanding string scattering amplitudes at small momenta gives the same action: massless exchange poles are reproduced by these fields, while analytic terms from massive exchange become local higher-derivative interactions.
The apparent dilaton-dependent coefficient of is a frame choice. Put and, in dimension , define the Einstein-frame metric
To see the cancellation explicitly, write , . Then
The Laplacian term is a boundary term. Combining the last term with the original positive dilaton kinetic term produces . The three inverse metrics in give its remaining exponential factor. Hence
For the uncompactified bosonic theory , these coefficients are and . The Ricci term is now the Einstein-Hilbert action; its metric variation gives the Einstein field equations with stress-energy tensor from the scalar and two-form. The leading low-energy theory is general relativity coupled to the massless string fields.
The approximation requires characteristic momenta and small curvature in string units. Massive string modes have masses of order and can be integrated out, generating corrections with extra powers of or . The string genus expansion supplies independent loop corrections controlled by ; at weak coupling tree-level gravity dominates. Dimensional analysis gives .
Compactification supplies lower-dimensional gravity and additional matter: metric and two-form components give gauge fields, internal geometry gives scalar moduli, and light modes of Kaluza-Klein theory must be kept if their masses lie below the chosen cutoff. Open strings add gauge fields, and supersymmetric string theories add spacetime fermions. Their particular matter spectrum depends on the compactification and projection; universal massless spin-two interactions retain the gravitational form. Finally, the bosonic massless-sector action is a formal truncation around a tachyonically unstable vacuum. It does not remove that instability. Tachyon-free superstring backgrounds provide stable applications of this low-energy gravitational interpretation.
The starting point is a physical massless closed-string state
Its symmetric traceless part is a spacetime spin-two field, the graviton; the antisymmetric part is the Kalb–Ramond field, and the scalar field part gives the dilaton. The physical-state conditions impose transverse polarizations, and longitudinal null states identify
for the symmetric component. In position space this is the linearized diffeomorphism . Thus the massless spin-two state has the gauge redundancy required of a gravitational field, rather than an arbitrary massive tensor interaction.
Closed-string amplitudes factorize on this graviton pole. Its leading soft coupling is universal and couples to the energy-momentum tensor of the other string states. Decoupling longitudinal polarizations enforces the gravitational Ward identities. The two-derivative cubic graviton vertex extracted from the low-momentum three-point amplitude is the cubic vertex of the Einstein-Hilbert action; continuing these Ward identities requires the nonlinear diffeomorphism-invariant completion. A complementary way to derive the same dynamics is to demand quantum consistency of propagation in a curved background.
Replace the flat target metric in the worldsheet action by , and allow the two-form and dilaton backgrounds. After Euclidean continuation, their couplings have the schematic normalization
These backgrounds are couplings of a string nonlinear sigma model. Quantum Weyl invariance requires their Weyl anomaly coefficients to vanish. To first order in , the metric equation is
The dilaton and two-form equations accompany it. In a critical-dimensional background with and constant , the leading metric equation is , precisely the vacuum Einstein field equations. Matter and other massless string fields supply the corresponding stress-energy when retained. This argument also explains why arbitrary curved target metrics are not consistent string backgrounds.
The equations arise from the leading string-frame massless effective action
A constant-dilaton expansion of its curvature term directly gives the Einstein-Hilbert kinetic and self-interaction terms. For a varying dilaton, introduce the Einstein-frame metric . The Weyl rescaling of the metric and the corresponding transformation of the Ricci scalar and an integration by parts give
This displays ordinary Einstein gravity coupled to the dilaton and two-form. Gravity need not be the only low-energy field: those fields, compactification moduli and gauge fields have to be retained or stabilized as appropriate. Four-dimensional gravity additionally requires compactification from the critical target dimension, with its Newton constant depending on the compactification volume.
The approximation is controlled when external energies obey and curvatures obey . Massive string modes then produce suppressed higher-derivative interactions, such as higher-curvature corrections. Small string coupling also suppresses higher-genus quantum corrections; dimensionally scales as . Thus Einstein gravity is the universal leading two-derivative dynamics of the massless closed-string spin-two field, with additional massless matter, string-length corrections and quantum corrections systematically controlled.
For the bosonic theory this is the massless-sector effective description in 26 dimensions; the tachyon means that it is not by itself a proof of a stable vacuum. Tachyon-free supersymmetric string theories have the same massless graviton mechanism in ten dimensions before compactification. Removing the tachyon and obtaining a realistic four-dimensional model require extra physical input beyond the emergence of the Einstein action.
Use target-space signature and let a dot between target vectors denote contraction with the Minkowski metric. Varying the string embedding map in the Polyakov action, with periodic variations around the closed string, gives
Thus the embedding equation of motion is
The independent worldsheet metric variation uses . It sets the worldsheet stress tensor to zero:
In conformal gauge, , the Weyl factor cancels. Define worldsheet derivatives . The equations and Virasoro constraints reduce to
Equivalently, , and . The free wave equation permits independent periodic left- and right-moving fields.
Take and the uncompactified closed-string mode expansion
The Virasoro generators are the Fourier coefficients of the two quadratic worldsheet stress tensors. Their quantum expressions are
The canonical commutation relations are , with an identical tilded algebra and commuting chiral sectors. Normal ordering places annihilation modes to the right. It gives , where , and similarly on the other side. In old covariant string quantization, physical string states obey
modulo physical null string states. Negative generators are adjoint constraints on bras, not further annihilation conditions on the same ket. In critical bosonic string theory, and the string intercept is . These closed-string physical-state Virasoro conditions imply
Thus the massless first closed-string level has , and its general state is
To derive the polarization tensor constraints, the oscillator algebra gives . Applying to this state replaces by ; the independent tilded condition replaces the other oscillator by . All higher positive generators annihilate the state automatically. Therefore
There is no condition that the tensor trace vanish: each chiral side has only one oscillator, so neither nor imposes a trace condition. The null-state quotient of a string also identifies
For example, is a momentum-longitudinal state with zero inner product against every transverse physical polarization. This explains the string-state gauge redundancy, rather than merely counting covariant components. For an ordinary nonzero null momentum, choose a frame adapted to . The constraints remove one null direction in each index, and these null-state identifications remove the remaining longitudinal directions. The representatives are then , .
Decompose that transverse matrix into its symmetric trace-free part, antisymmetric part and trace. They describe the graviton, Kalb–Ramond field and dilaton, respectively. Their particle polarization counts are
These are representations of the rotational part of the massless little group. The dilaton corresponds to the transverse trace; a covariant scalar polarization can be written proportional to , with and . It is transverse in both indices and has trace 24. The nonzero-momentum assumption is appropriate for propagating particle states; zero momentum requires separate treatment of gauge and background zero modes.
In a general background, these fields replace the flat-space free action by the string nonlinear sigma model. A convenient Euclidean convention is
Here is the orientation density; reversing its convention changes the displayed sign of the two-form coupling. The metric tensor is , is the antisymmetric Kalb–Ramond field, and is the dilaton. Their worldsheet couplings reproduce the corresponding massless closed-string vertex operators when expanded about flat space. The Polyakov path integral integrates over embedding fields and metrics modulo worldsheet diffeomorphisms and Weyl transformations; gauge fixing supplies ghost determinants and moduli integrations. Quantum consistency of a general background additionally requires vanishing sigma-model beta functions, not just insertion of arbitrary backgrounds into a free theory.
Finally, separate the constant dilaton mode, . By the Gauss-Bonnet theorem, its action is
For a connected oriented surface of genus , its Euler characteristic is . Defining the string coupling by gives
Thus the string genus expansion is a topology sum with two extra powers of per handle. An amplitude with canonically normalized external closed-string vertices has the additional vertex normalization , so its overall factor is . The curvature term, rather than a guessed coupling inserted at each internal interaction, supplies this dependence directly from the functional integral.
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.
The string nonlinear sigma model regards the target-space metric, the Kalb–Ramond field and the dilaton as couplings of the two-dimensional worldsheet theory. Schematically its Euclidean terms are
Quantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge , while the reparameterization bc ghost system contributes in each chirality. In the critical flat background cancellation therefore requires . In a curved background, vanishing improved sigma-model beta functions further imposes field equations for . For example, the leading metric condition is
These are spacetime conditions because the couplings are functions of the embedding coordinates, not additional worldsheet coordinates.
The leading equations arise by varying the string-frame massless effective action
The factor is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the expansion; higher genera give string-loop corrections. Thus conformal consistency of the quantum worldsheet determines the low-energy target equations and their action. This is a massless-sector truncation: the bosonic tachyon is not removed by writing an action only for .
For a brane embedding , the D-brane worldvolume pullbacks are
The dilaton is evaluated at the embedding. When denotes the physical tension in a background with constant mode , the convention is , so in that vacuum. Equivalently one can use and a coefficient with the constant not already included. The physics is the same; the two conventions must not count that constant factor twice.
Several features motivate the Dirac-Born-Infeld action. Without gauge or two-form fields, it is the relativistic induced-volume action for a tensionful extended object. An open-string boundary couples to its gauge potential , so a bulk transformation is canceled by . Thus only can enter. For slowly varying constant field strength, the open-string disk partition function resums its dependence into the determinant; expansion gives the Maxwell kinetic term. The disk has Euler characteristic one, giving rather than the closed-string sphere's . Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.
Explicitly, in flat background and static gauge with transverse fluctuations , the weak-field expansion starts as
The linear term in the antisymmetric matrix vanishes; the quadratic term follows from expanding . Thus the DBI action contains both the scalar and gauge kinetic energies, while higher powers and derivatives are string-scale corrections.
For two coincident D-branes, an oriented open string has independent labels at its ends. Its Chan-Paton factors are the matrix units . The four massless vector modes span the Lie algebra of : diagonal strings supply the two Abelian fields, and oppositely oriented interbrane strings supply the off-diagonal modes. Joining strings multiplies these matrices, producing the non-Abelian commutators. Transverse vector polarizations become adjoint scalar fields. This is Coincident-D-brane gauge enhancement.
The massless gauge/scalar dynamics reduce to dimensionally reduced Yang-Mills theory in a flat background with constant dilaton and vanishing pulled-back , at energies and field variations well below the string scale. More precisely, derivative corrections satisfy , and one expands in small dimensionless field strengths and scalar gradients rather than retaining the full nonlinear determinant. Weak string coupling suppresses loop corrections. After subtracting the constant brane vacuum energy and using the scalar normalization fixed below, the coefficient is
A bosonic brane additionally has an open-string tachyon; the displayed action governs its massless sector and is not a stable complete truncation. For supersymmetric branes the corresponding leading action also has the massless fermions.
There is a sign qualification in the printed scalar potential. With the stated , take Hermitian and to mean the literal matrix product. Then dimensional reduction has
Consequently . The consistent low-energy action is
This is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is , because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take , with Pauli matrices. Then , so the literal printed plus sign would make the static energy negative and unbounded below. The printed plus sign is consistent only if its square denotes the positive norm , rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.
In an ordinary separated-brane vacuum the scalar expectation values commute and can be simultaneously diagonalized:
Their eigenvalue vectors specify the transverse positions, up to the normalization to be determined. The trace encodes the center of mass; their difference encodes separation. When the two vectors coincide, every transformation commutes with the vacuum. When they are distinct, only independent diagonal phases do, so the unbroken group is . The off-diagonal vectors acquire mass by the Higgs mechanism.
Write the off-diagonal entries of as and and put . At a constant diagonal vacuum, , so
The quadratic off-diagonal gauge kinetic term is with , and the scalar kinetic term supplies . Comparing these with the complex massive-vector action gives
Here the term W-boson means this broken-generator vector, not specifically an electroweak particle. The normalization places the gauge coupling outside the action, so no extra multiplies these ; rescaling to canonically normalized scalar fields moves that coupling into the usual Higgs mass formula.
The corresponding open-string vector oscillator stretched over distance has classical stretching mass . Its unstretched mass contribution vanishes because it is the vector level, rather than the bosonic tachyon level. Equating it with the gauge-theory mass gives
The component relation follows by rotational covariance and a common choice of transverse origin; a uniform translation adds the same constant to both brane coordinates. This is the D-brane scalar-position normalization. Together with the string tension determined in Question 1, it fixes the exact normalization of scalar eigenvalues as brane positions.
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.
The ungauge-fixed Polyakov action has worldsheet diffeomorphism and Weyl transformation symmetries. They must survive quantization so that conformal gauge remains a valid gauge choice. In a curved target, the string nonlinear sigma model has a field-dependent coupling . Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.
Restore the Euclidean normalization . Use a covariant background field expansion of a string sigma model, with geodesic fluctuations about a slowly varying embedding. The quadratic fluctuation operator contains the target Riemann curvature tensor coupled to two background embedding derivatives. The ultraviolet coincident propagator is : the kinetic operator supplies , and the two-dimensional momentum integral supplies . Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to . The resulting one-loop metric counterterm gives
The trace of the worldsheet stress tensor contains this coefficient multiplying , together with the curvature anomaly controlled by total central charge. Thus, with zero antisymmetric background, constant dilaton, and the critical matter/ghost system,
The central-charge condition also requires if there is no extra internal conformal theory. This is a leading-order equation: higher-curvature terms enter the beta function at higher orders in , so a Ricci-flat metric alone is not a general all-orders quantum consistency criterion.
To derive the local T-duality, work where the spacelike Killing vector has nonzero norm . Use dimensionless coordinates and units for the duality formulas. The isometry makes the action depend on only through its derivatives. Replace those derivatives by an independent worldsheet one-form , and enforce its flatness with a Lagrange multiplier . With and , the relevant first-order worldsheet duality action is
Varying sets . Locally , recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying gives , or
Substituting into the entire first-order worldsheet duality action, including the multiplier term, gives
The multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rules
The coordinate map is , . The original equation is precisely the integrability condition for ; conversely the original identity becomes the dual equation. Thus this transformation exchanges an equation of motion with the Bianchi identity for an Abelian p-form. It reverses one chiral derivative and preserves the other.
For full closed-string equivalence, the local derivation must include the global data. For a free compact circle isometry, the period of and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius becomes a circle of radius when dimensions are restored. A spacelike Killing field alone does not fix these periods or ensure a free global circle action; the global qualifications of Abelian T-duality are additional to the local field transformation.
At the quantum level integrating out also gives a regulated functional determinant. The Buscher dilaton shift is
in the stated units and conventional Euclidean dilaton normalization. It generates the dilaton curvature coupling even though the original dilaton vanished. The dilaton curvature coupling is defined before fixing conformal gauge; its metric variation improves the worldsheet stress tensor even when the reference worldsheet is flat. As a normalization check, for this block-diagonal background. The local dual metric by itself is therefore only part of the equivalent quantum background.
With a nonconstant dilaton and no antisymmetric field, the leading metric-dilaton Weyl condition is
together with the scalar dilaton anomaly condition. It does not demand separately. The new Ricci tensor can be nonzero while the Hessian of the shifted dilaton compensates it.
For a direct example, take flat polar coordinates away from the origin, with and flat spectator directions. The polar-coordinate T-dual background is
Here
Both metric equations vanish. In critical dimension the scalar equation also holds: . The example is local on ; the circle degenerates at the excluded origin.
Nonzero dual Ricci curvature is consistent because quantum T-duality transforms the dilaton as well as the metric. The displayed curvature equations and classical Buscher rules are interpreted at their stated leading derivative order; higher-order renormalized descriptions require the corresponding corrections and field-redefinition conventions. A constant is a special case in which the dual metric may also remain Ricci-flat.
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.
Superstring theory offers a common quantum framework for gravity, gauge fields and matter; obtaining a particular viable low-energy vacuum is the additional task. Its organizing idea is that particle species are different quantum states of one extended object, with interactions determined by joining and splitting worldsheets. This makes unification more substantive than placing independent field theories alongside one another.
The central gravitational fact is the massless spin-two state in every consistent closed superstring theory. Its transverse symmetric polarization is the graviton. Decoupling of unphysical polarizations gives the spacetime gauge transformation , and low-energy consistency requires the universal coupling of this field to energy-momentum. In the small-curvature limit its interactions reproduce Einstein field equations. The string nonlinear sigma model makes this particularly concrete: quantum worldsheet Weyl anomaly cancellation constrains the background metric and other fields, and its leading metric equation is an Einstein equation. Higher powers of describe finite-string-length corrections rather than arbitrary independent gravitational couplings.
The gravitational effective action in the string frame has the schematic form
Here , and the omitted terms include gauge fields, fermions and the appropriate Ramond fields. The dilaton supplies the string coupling , while the string tension sets . Here is the dilaton-independent normalization. Splitting gives the physical gravitational coupling . Thus the coupling and length scale organize both the spectrum and interactions. A varying dilaton is a physical field, not just a freely adjustable numerical coupling.
Extended strings also change the ultraviolet question. An interaction worldsheet has no invariant pointlike splitting location, and the integration over smooth surfaces replaces many short-distance configurations responsible for divergences in point-particle gravity. Infinite oscillator towers and modular invariance are essential to that reorganization. This does not mean that every amplitude in every background is automatically finite: worldsheet degenerations can produce ordinary infrared divergences, and tadpoles can signal an inconsistent chosen vacuum. A credible quantum theory must account for these effects, rather than discard them. The proposal is nevertheless a systematic perturbative framework for quantum gravity with a physical scale and controlled expansions in and curvature.
Matter and nongravitational forces have equally concrete origins. In an RNS string, the GSO projection removes the tachyon and produces spacetime supersymmetry, with Ramond sector states furnishing spacetime fermions. Gauge bosons arise from current-algebra states of a heterotic string or from open strings ending on D-branes. For coincident D-branes, endpoint labels produce matrix-valued gauge fields: the Chan-Paton factors generate the nonabelian gauge structure. Open strings joining different brane stacks can carry bifundamental matter. These mechanisms permit gauge interactions and matter to coexist with closed-string gravity in one string background.
Consistency greatly restricts the starting theories. The flat critical superstrings live in ten spacetime dimensions. The perturbative possibilities include type IIA superstring theory, type IIB superstring theory, type I superstring theory, and the heterotic theories with gauge algebras or . Cancellation of gauge anomalies and gravitational anomalies constrains these choices; it is not permissible to assign arbitrary chiral particle content and ignore its quantum consistency. The standard mechanism combines an anomalous variation with an appropriate transformation of the antisymmetric tensor. This provides a link between the allowed matter spectrum, gauge groups and geometry.
To connect ten dimensions to four, take a suitable compactification in string theory. If the internal six-dimensional space is small enough, low-energy observers see only zero modes; excited Kaluza-Klein modes have masses of order the inverse compactification size. The metric, form fields and gauge fields on the internal space then determine four-dimensional fields and their couplings. Integrating the gravitational term over an internal volume gives the scale dependence , illustrating how apparently separate low-energy constants arise from the same dilaton and geometry.
A Calabi-Yau threefold is a useful supersymmetry-preserving choice. A heterotic Calabi-Yau compactification with a suitable holomorphic gauge bundle can preserve four-dimensional supersymmetry and generate chiral matter. Internal Dirac zero modes determine the light fermions; their index gives the net chirality, while bundle structure and possible Wilson lines determine the surviving gauge group. In the standard embedding, the net generation number is the internal Euler characteristic divided by two, up to orientation conventions. A realistic construction must supply the correct generation content and couplings, not merely some chiral fermions. Unmodified type II compactification on a Calabi-Yau threefold instead has in four dimensions; obtaining a less supersymmetric spectrum requires further ingredients such as orientifold projections, branes or fluxes.
This is where orientifolds and flux compactification can become useful. Projection and brane choices can reduce supersymmetry and engineer chiral gauge sectors. Fluxes and nonperturbative effects can generate a potential for moduli of a string compactification, which otherwise appear as additional massless scalar fields controlling volumes, shapes, gauge-bundle parameters or the dilaton. Moduli stabilization is therefore part of a plausible model, alongside supersymmetry breaking and a suitable vacuum energy. These ingredients must obey charge-cancellation and consistency conditions; they are not arbitrary additions to an otherwise complete four-dimensional model.
The relation among the candidate theories further supports a unified interpretation. T-duality exchanges momentum and winding and relates type IIA and type IIB on circles. Strong/weak coupling dualities relate other descriptions. The strong-coupling limit of type IIA exposes an additional dimension with radius
leading to an eleven-dimensional M-theory description. D-branes provide nonperturbative objects needed in these relations. The duality web suggests that apparently different perturbative superstrings describe limits of a larger structure, rather than unrelated theories competing only by choice of notation.
A plausible theory of everything must finally reproduce the Standard Model gauge group, representations, symmetry breaking and interaction strengths, together with gravity. It must explain or accommodate mass hierarchies, suppress unwanted light fields and processes, and identify a consistent cosmological background. String theory supplies mechanisms and consistency conditions for these tasks. The multiplicity of possible compactifications means that the observed low-energy theory is not fixed simply by writing a ten-dimensional string action. The case for the framework rests on its joint treatment of quantum gravity, matter and gauge forces; a complete phenomenological theory additionally requires a specified, dynamically viable vacuum and its predictions.
Insert the given closed-string mode expansion into the stress tensor and compare . Normal ordering gives
The inverse of the worldsheet Laplacian gives the free-field operator-product expansion
Hence
Extracting the Laurent modes by contour integration yields the string oscillator algebra
The vanishing of the worldsheet stress tensor becomes the Virasoro constraints
Since and the bosonic-string normal-ordering constant is , these zero-mode constraints are the target-space string mass-shell condition
Therefore
The positive-mode constraints further require
and null string states identify polarizations that differ by momentum-longitudinal terms. The symmetric trace-free, antisymmetric, and trace sectors of describe the graviton, Kalb–Ramond field, and dilaton, respectively.
Finally, the state–operator correspondence maps to
Adding its integrated massless closed-string vertex operator to the string nonlinear sigma model changes the background coupling by
Thus a Fourier mode is precisely a linearized deformation of the target-space metric. Its transversality, mass-shell condition, and polarization gauge redundancy are the worldsheet statements that the deformation is marginal and is defined up to a linearized spacetime diffeomorphism.
Changing the target metric by changes the action by
Since the path-integral weight is , the leading change is the insertion
where
A change of worldsheet metric within a gauge orbit changes only the redundant description and cannot alter gauge-invariant observables. The target-space metric is instead a physical coupling of the string nonlinear sigma model, so changing it changes the theory and its correlation functions.
The target metric is a coupling of the string nonlinear sigma model. Quantum consistency requires the gauge-fixed worldsheet theory to preserve Weyl invariance, so its sigma-model beta functions must vanish. With no B-field or varying dilaton, the metric beta function begins as
Therefore vanishing of the worldsheet Weyl anomaly requires
to leading order in : the target-space metric must be Ricci-flat at this order.
In Euclidean worldsheet signature, the string nonlinear sigma model action can be written
The factor of in the B-field term is absent in Lorentzian signature. Here is the target metric, the Kalb–Ramond field, and the dilaton.
String-frame metric Created 2026-10-05 Updated 2026-10-06
The string-frame metric is the target metric appearing directly in the kinetic term of the string nonlinear sigma model. With conventional Euclidean dilaton , its leading spacetime gravitational action contains . The dilaton-dependent Ricci coefficient distinguishes it from the Einstein-frame metric. Frame changes are local field redefinitions where the conformal factor is finite and nonzero; the Lorentzian dilaton coupling sign convention fixes which named field is .