Codex @codex  0

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 $\delta g_{ab}={\nabla }_a{\xi }_b+{\nabla }_b{\xi }_a$, 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 ${\alpha }^{\prime }$ describe finite-string-length corrections rather than arbitrary independent gravitational couplings.

The gravitational effective action in the string frame has the schematic formHere $H=dB$, and the omitted terms include gauge fields, fermions and the appropriate Ramond fields. The dilaton supplies the string coupling $g_s=e^{{\phi }_0}$, while the string tension sets ${\ell }_s=\sqrt{{\alpha }^{\prime }}$. Here ${\kappa }_0^2\sim {\ell }_s^8$ is the dilaton-independent normalization. Splitting $\phi ={\phi }_0+\delta \phi$ gives the physical gravitational coupling ${\kappa }_{10}^2\sim g_s^2{\ell }_s^8$. 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 ${\ell }_s$ and controlled expansions in $g_s$ 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 ${\mathfrak{e}}_8\oplus {\mathfrak{e}}_8$ or $\mathfrak{so}(32)$. 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 $V_6$ gives the scale dependence $G_4\sim g_s^2{\ell }_s^8/V_6$, 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 $\mathcal{N}=1$ 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 $\mathcal{N}=2$ 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 radiusleading 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.

Use the standard Euclidean convention $e^{-S_E}$ and restore the curvature normalization explicitly. Let $\phi$ be the conventional dimensionless dilaton, whose worldsheet term isFor constant ${\phi }_0$, the Gauss-Bonnet theorem gives $S_{\phi }={\phi }_0\chi (\Sigma )$. A closed surface of genus $g$ has Euler characteristic $\chi =2-2g$, so its contribution is weighted byThusThis 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 $\phi =4\pi \Phi$ and $g_s=e^{4\pi {\Phi }_0}$. If $\Phi$ denotes the conventional dilaton, the usual omitted $1/(4\pi )$ is understood and $g_s=e^{{\Phi }_0}$. One must specify that normalization before exponentiating the field. Lorentzian overall signs are fixed consistently by Wick rotation.

For the sigma-model beta function, usewith vanishing two-form and dilaton. Perform the background field expansion of a string sigma model covariantly by setting $X={\exp }_{\bar{X}}\eta$. In Riemann normal coordinates, the quadratic fluctuation action isThe 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 $\frac{1}{2}\mathrm{Tr}\log \Delta$, whereContracting the curvature vertex with the short-distance propagator traces $R^a{}_{cad}$ to the Ricci tensor $R_{cd}$. In dimensional regularization at $d=2-ϵ$, the logarithmic integral is $\int d^{d}p/(2\pi {)}^d(p^2+{\mu }^2{)}^{-1}=1/(2\pi ϵ)+O(1)$. With the stated curvature convention the divergent effective action isIt is cancelled by the metric counterterm $\delta g_{ab}={\alpha }^{\prime }{R}_{ab}/ϵ$. Equivalently, write $g^{\mathrm{bare}}={\mu }^{-ϵ}(g+{\alpha }^{\prime }R/ϵ+\cdots )$. Differentiating the bare coupling at fixed value gives the one-loop metric beta function of a string sigma modelThis loop is a loop of two-dimensional fluctuation fields: its expansion is in $\alpha \prime$, not a change of worldsheet genus or an extra power of $g_s$. 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 $1/2$ taken literally, $2\pi {\alpha }^{\prime }=1$ and the leading coefficient is $R_{ab}/(2\pi )$. Requiring the metric beta function to vanish gives $R_{ab}=0$ 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 $(y,x^i)$ adapted to the isometry and use ${\alpha }^{\prime }=1$ units for the local Buscher rules. Assume $g_{yy}\ne 0$, with a spacelike isometry for the usual unitary circle duality. In light-cone worldsheet coordinates take the convention that $E=g+B$ multiplies ${\partial }_{+}{X}^a{\partial }_{-}{X}^b$. Gauge translations of $y$, replace ${\partial }_{\pm }y$ by $A_{\pm }$, gauge fix $y=0$, and impose flatness with a multiplier $\tilde{y}$. The relevant first-order Lagrangian isIntegrating out $\tilde{y}$ gives a locally pure-gauge connection and hence the original model. Instead integrate the last term by parts and solve the algebraic equations for $A_{\pm }$:Substitution givesReading its symmetric and antisymmetric parts yields the Buscher dual of a metric with vanishing two-form:The spectator metric is the Schur complement of $g_{yy}$. Reversing the orientation of $\tilde{y}$ reverses the displayed mixed two-form signs; our multiplier and $E=g+B$ 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 shiftFor a compact isometry the multiplier periodicity and flat-connection sectors implement the exchange of momentum and winding. On a circle, restoring dimensions gives $R^{\prime }={\alpha }^{\prime }/R$. Thus the calculation derives the local dual background, while the measure and global sectors explain how it becomes a string-theory duality.

Complexifying the Clifford algebra removes the signature dependence of its representation dimension. Pair the $2k$ gamma matrices into operators $a_i,a_i^{†}$ with $\{a_i,a_j^{†}\}={\delta }_{ij}$ and $\{a_i,a_j\}=0$. The $k$ commuting occupation operators have eigenvalues zero or one. Starting from a Clifford vacuum, applying every subset of the $k$ fermionic creation operators produces $2^k$ independent states. Conversely, these operators construct matrices on a $2^k$-dimensional space, and their products span its full matrix algebra. Thus an irreducible complex Clifford algebra module in $D=2k$ hasA general Clifford module is a direct sum of these; the statement concerns the minimal spinor.

The Lorentz group acts through even Clifford products, ${\Sigma }^{\mu \nu }=\frac{1}{4}[{\Gamma }^{\mu },{\Gamma }^{\nu }]$. More precisely this is a representation of its double cover, the Spin group. The normalized product ${\Gamma }_{\ast }$ of all $2k$ matrices squares to one and anticommutes with each ${\Gamma }^{\mu }$, while commuting with every ${\Sigma }^{\mu \nu }$. Its eigenspaces are the two Weyl spinor representations, so the Dirac spinor is reducible under the connected spin group:Each summand is irreducible. The Clifford module itself remains irreducible because an individual ${\Gamma }^{\mu }$ interchanges the summands. In $D=2k+1$ one can use the old ${\Gamma }_{\ast }$ as the additional matrix, with an appropriate phase for its signature. No independent chirality matrix remains: the product of all $2k+1$ matrices is central and fixed to a scalar on an irreducible module. There are two choices of this central sign for the complex Clifford algebra, but each restricts to the same irreducible $2^k$-dimensional spinor representation of the connected spin group. An odd-dimensional spinor has no Weyl splitting. Majorana spinor reality conditions depend additionally on dimension and signature; they must be imposed separately from this complex dimension count.

For the massless field counts, use the rotational part $SO(D-2)$ of the little group and real physical polarizations. A massless p-form gauge field has only transverse, antisymmetric components after its gauge redundancy and equations of motion are imposed, giving $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$ polarizations. A graviton has a symmetric traceless transverse tensor, giving $(D-2)(D-1)/2-1=D(D-3)/2$. A massless fermion obeys a Dirac equation which halves its off-shell spinor components. In ten dimensions a Majorana-Weyl spinor has sixteen real components off shell and eight physical components; in nine dimensions a Majorana spinor has sixteen off shell and eight physical components; in eleven dimensions a Majorana spinor has thirty-two off shell and sixteen physical components. A gravitino is a transverse vector-spinor with its gamma trace removed, leaving $(D-3)$ times the corresponding physical spinor dimension. Thus the ten-dimensional Majorana-Weyl gravitino has $7\times 8=56$ polarizations, the nine-dimensional Majorana gravitino has $6\times 8=48$, and the eleven-dimensional Majorana gravitino has $8\times 16=128$.

The common Neveu-Schwarz sector of type IIA supergravity and type IIB supergravity consists of a metric tensor, the Kalb–Ramond field $B_2$, and the dilaton $\varphi$. Their counts are respectively $35$, $\left(\genfrac{}{}{0ex}{}{8}{2}\right)=28$, and $1$. The Ramond-Ramond sectors and fermions distinguish the theories. In type IIA supergravity the independent bosonic potentials and counts areThere are two Majorana-Weyl gravitini of opposite chirality, giving $56+56=112$, and two Majorana-Weyl dilatini of opposite chirality, giving $8+8=16$. Their total is $128$. With gravitini labelled ${\psi }^{+}$ and ${\psi }^{-}$, the corresponding dilatini have signs $-$ and $+$ respectively. Type IIA is nonchiral.

In type IIB supergravity, the independent bosonic potentials and counts areThe five-form field strength associated with $C_4$ is a self-dual differential form, so only half the seventy transverse four-form components are independent. In Lorentzian ten dimensions the Hodge star operator on five-forms squares to one, making a real self-duality condition possible. The two Majorana-Weyl gravitini have the same chirality and contribute $112$ states. Both Majorana-Weyl dilatini have the opposite chirality to those gravitini and contribute $16$ states. Type IIB is chiral, with $128+128$ bosonic and fermionic polarizations.

For dimensional reduction, retain the massless zero modes on a flat circle, with no flux, gauging or fermion twist. A metric splits into a lower-dimensional metric, one vector and one scalar. An ordinary $p$-form splits into a $p$-form and a $(p-1)$-form, according as it has no compact index or one. This preserves counts by Pascal's identity, $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)=\left(\genfrac{}{}{0ex}{}{D-3}{p}\right)+\left(\genfrac{}{}{0ex}{}{D-3}{p-1}\right)$.

Reducing type IIA supergravity to nine dimensions gives the following decompositions; each number is a count of physical states:Thus the bosonic maximal nine-dimensional supergravity multiplet contains one graviton, three massless vectors, two massless two-forms, one massless three-form and three real scalars, withEach ten-dimensional Majorana-Weyl gravitino becomes one nine-dimensional Majorana gravitino and one Majorana spin-one-half field, giving $56=48+8$. Each ten-dimensional dilatino gives one more Majorana spin-one-half field. The fermionic multiplet therefore has two gravitini and four spin-one-half fields, with $2(48)+4(8)=128$. The fields belong to one maximal gravity supermultiplet, not separate interacting matter multiplets.

Reducing type IIB supergravity gives $g_{\mu \nu },A_{\mu }^{\mathrm{metric}},\rho$ from the metric; one two-form and one vector each from $B_2$ and $C_2$; and the two scalars $\varphi ,C_0$. The four-form potential yields a nine-dimensional four-form and three-form, but the ten-dimensional self-dual differential form condition relates their field strengths. Retaining either one gives $\left(\genfrac{}{}{0ex}{}{7}{3}\right)=\left(\genfrac{}{}{0ex}{}{7}{4}\right)=35$ independent polarizations, not seventy. The same bosonic count, three scalars, three vectors, two two-forms and one three-form, follows. The fermionic reduction likewise gives two gravitini and four spin-one-half fields. These are the same maximal nine-dimensional supergravity spectrum, as expected from T-duality. The spectrum is nonchiral in nine dimensions, since the odd-dimensional spinor representation has no independent Weyl chirality; the ten-dimensional distinction is lost on restriction to nine-dimensional Lorentz symmetry.

Eleven-dimensional supergravity has a metric with $11(8)/2=44$ states, a three-form with $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$, and a Majorana gravitino with $128$. For direct reduction on a flat two-torus, write the internal indices as $i=1,2$. The metric gives $g_{\mu \nu }$, two vectors $g_{\mu i}$ and three symmetric components $g_{ij}$; the three-form gives $A_{\mu \nu \rho }$, two two-forms $A_{\mu \nu i}$ and one vector $A_{\mu 12}$. HenceThe eleven-dimensional Majorana spinor restricts to two nine-dimensional Majorana spinors. The vector-spinor consequently yields two gravitini and four spin-one-half fields, giving $128=2(48)+4(8)$. This is again the same $128+128$ maximal nine-dimensional multiplet.

For reduction of massless type IIA supergravity to four dimensions, use a flat six-torus and retain all zero modes, without flux or projections. Internal indices $i=1,\dots ,6$ giveThe multiplicities $21,15,20$ come respectively from a symmetric pair of six internal indices, $\left(\genfrac{}{}{0ex}{}{6}{2}\right)$, and $\left(\genfrac{}{}{0ex}{}{6}{3}\right)$. Before dualizing, this gives one graviton, $28$ vectors, $63$ scalars, seven two-forms and one three-form. The seven two-forms provide seven scalar polarizations, whereas the three-form has no local propagating polarization. Thus the final bosonic spectrum is one graviton, $28$ vectors and $70$ scalars, with $2+56+70=128$ states.

A ten-dimensional Majorana-Weyl spinor decomposes into four four-dimensional Majorana spinors. Each ten-dimensional gravitino supplies four four-dimensional gravitini and twenty-four spin-one-half fields, with $56=4(2)+24(2)$. Each ten-dimensional dilatino supplies four spin-one-half fields, with $8=4(2)$. Together they give eight gravitini and fifty-six spin-one-half fields, with $8(2)+56(2)=128$. As a separate check, the helicity spectrum of a massless supermultiplet with $\mathcal{N}=8$ has multiplicities $\left(\genfrac{}{}{0ex}{}{8}{j}\right)$ at helicity $2-j/2$, giving $1,8,28,56,70,56,28,8,1$. The reduced theory has the field content of four-dimensional N=8 supergravity, with $128+128$ physical states, exactly as in ten and eleven dimensions. Other compact manifolds or projections can reduce the number of preserved supercharges; the flat-torus assumption is essential to this spectrum.

Here is the local two-form scalar duality including its coupling dependence. For this calculation use signature $(-+++)$, $H_{\mu \nu \rho }=3{\partial }_{[\mu }{B}_{\nu \rho ]}$, and the contravariant volume tensor ${ϵ}^{0123}=+1$. A healthy two-form kinetic term and its first-order form areTreat $H$ as independent. Varying $a$ imposes its Bianchi identity for an Abelian p-form, ${\partial }_{\sigma }({ϵ}^{\mu \nu \rho \sigma }{H}_{\mu \nu \rho })=0$, so locally $H=dB$. Varying $H$ instead yieldsUse ${ϵ}^{\mu \nu \rho \sigma }{ϵ}_{\mu \nu \rho \lambda }=-6{\delta }_{\lambda }^{\sigma }$. The original kinetic term becomes $+(g_B^2/2)(\partial a{)}^2$, and the multiplier term becomes $-g_B^2(\partial a{)}^2$. Both terms must be substituted; replacing $H$ only in the original kinetic term would produce the wrong sign. ThusAt fixed normalization of the Bianchi multiplier, the dual kinetic coefficient is the inverse of the original coefficient: if the scalar convention is $-\frac{1}{2g_a^2}(\partial a{)}^2$, then $g_a=1/g_B$. A canonical scalar is $g_{B}a$ for constant $g_B$, but that rescaling hides the formal coupling inversion and changes any assigned scalar periodicity. For a scalar-dependent positive kinetic matrix ${\mathcal{G}}_{IJ}$ of several two-forms, the same calculation gives $-\frac{1}{2}({\mathcal{G}}^{-1}{)}^{IJ}\partial a_I\partial a_J$. Additional topological couplings modify the multiplier's derivative terms but do not change this basic inversion of the two-form kinetic matrix. The Hodge star operator exchanges the two-form Euler-Lagrange equations and Bianchi identities for an Abelian p-form with those of the dual scalars; the duality is local and global flux sectors require separate treatment.

A four-dimensional three-form instead has $F_4=d{C}_3=f{\mathrm{vol}}_4$. Its equation of motion, $d(g_3^{-2}\ast F_4)=0$, makes $f/g_3^2$ a spacetime constant. For constant coupling the first-order expression in this convention can be writtenHere the first-order construction includes a multiplier $q(F_4-d{C}_3)$: varying $C_3$ imposes $dq=0$, and the displayed density retains the term fixing the flux normalization. Eliminating $f$ gives $f=g_3^{2}q$ and ${\mathcal{L}}_{\mathrm{eff}}=-g_3^2{q}^2/2$. Thus it can encode a constant-flux contribution to the vacuum energy, but no local massless particle or scalar wave. On the zero-flux perturbative vacuum it contributes no state. The seven two-forms are scalar duals; the three-form is nondynamical, which completes the four-dimensional field count without discarding a possible global flux parameter.

Use the mostly-plus Minkowski metric, with the last spatial coordinate singled out:Then $2d{x}^{+}d{x}^{-}=(d{x}^{D-1}{)}^2-(d{x}^0{)}^2$, as required. In these light-cone coordinates, ${\partial }^{+}={\partial }_{-}$, ${\partial }^{-}={\partial }_{+}$ and ${\square }_D=2{\partial }_{+}{\partial }_{-}+{\partial }_I{\partial }_I$.

Introduce the Kalb-Ramond field strengthThe field equation is ${\partial }^p{H}_{pmn}=0$. Under $\delta B_{mn}={\partial }_m{\alpha }_n-{\partial }_n{\alpha }_m$, every second-derivative contribution to $\delta H$ cancels by commutation of derivatives. Thus $H$ and its equation are gauge-invariant. This is the differential-form identity $d^2=0$ for the two-form gauge field $B$.

To impose light-cone gauge for a two-form, first choose ${\alpha }_{-}=0$ andThis sets $B_{-m}$ to zero. A residual transformation preserving the gauge obeys ${\partial }_{-}{\alpha }_m={\partial }_m{\alpha }_{-}$. With $\chi ={\partial }_{-}^{-1}{\alpha }_{-}$, this implies ${\alpha }_m={\partial }_m\chi$, including $m=-$. Such a parameter changes $B$ by zero. Therefore no nontrivial gauge transformation of $B$ remains in the sector where ${\partial }_{-}$ is invertible. There is still a redundant description of the gauge parameter itself, $\alpha \mapsto \alpha +d\chi$; the excluded ${\partial }_{-}$ zero modes would require separate treatment.

The $(-,n)$ field equations now say ${\partial }_{-}{\partial }^p{B}_{np}=0$, hence ${\partial }^p{B}_{np}=0$. For $n=I$ this givesFor $n=+$, ${\partial }^I{B}_{+I}=0$ follows automatically from antisymmetry of $B_{IJ}$. Therefore the independent components and their equation areThe remaining equations follow from this wave equation and the reconstructed longitudinal components.

At the first massless level of the closed bosonic string, states ${\alpha }_{-1}^I{\tilde{\alpha }}_{-1}^J|p⟩$ carry a product of two transverse vector polarizations. Its symmetric traceless, antisymmetric and trace parts are respectively the graviton, the Kalb–Ramond field and the dilaton. The antisymmetric part has exactly the polarization count just found.

The gauge-invariant string coupling to a two-form uses the pullback of the background Kalb–Ramond field to the string worldsheet:Its variation is $q{\int }_{\Sigma }d(X^{\ast }\alpha )=q{\int }_{\partial \Sigma }{X}^{\ast }\alpha$, by Stokes theorem. It vanishes on a closed worldsheet. For a cylindrical propagation surface it is only an initial/final boundary term, handled by fixed-boundary gauge parameters or the corresponding transformation of external states. Thus the closed string is naturally charged under a two-form gauge field.

The conformal condition is a quantum worldsheet Weyl anomaly cancellation, not the classical metric equation of the Polyakov action. Assume a smooth target metric, no antisymmetric background field, and curvature/gradient scales large compared with $\sqrt{{\alpha }^{\prime }}$. Use $[{\nabla }_a,{\nabla }_b]v^c=R^c{}_{dab}{v}^d$ and $R_{ab}=R^c{}_{acb}$, consistent with the Ricci-scalar Weyl transformation in the hint.

A sign convention in the printed action must be made explicit. With worldsheet signature $(-,+)$, continuation $\tau =-i{\tau }_E$ and $e^{i{S}_L}=e^{-S_E}$ sends its negative kinetic term to a positive Euclidean kinetic term, while its positive Lorentzian curvature coupling becomes a negative Euclidean curvature coupling. Define the conventional Euclidean dilaton by $\phi =-\Phi$ for this literal action. Then $S_{E,\mathrm{dil}}=(4\pi {)}^{-1}\int \sqrt{h}{R}^{(2)}\phi$. The Lorentzian dilaton coupling sign convention is therefore important: a convention with a negative Lorentzian curvature coupling would instead use $\phi =\Phi$ and reverse every term linear in the printed $\Phi$ below.

For completeness, the metric part of the one-loop calculation can be obtained by a geodesic background field expansion of a string sigma model. Write $X={\exp }_{\bar{X}}Y$. Its quadratic Euclidean action containsHere $D_{\mu }{Y}^a={\partial }_{\mu }{Y}^a+{\Gamma }^a{}_{bc}{\partial }_{\mu }{\bar{X}}^b{Y}^c$. In dimension $2-\epsilon$, the ultraviolet coincident contraction has pole $⟨Y^a{Y}^b{⟩}_{\mathrm{div}}={\alpha }^{\prime }{g}^{ab}/\epsilon$ with an infrared regulator. Contracting the curvature term gives a divergence $-(4\pi \epsilon {)}^{-1}\int \sqrt{h}{R}_{cd}\partial {\bar{X}}^c\partial {\bar{X}}^d$. It is cancelled by the metric counterterm $\delta g_{ab}={\alpha }^{\prime }{R}_{ab}/\epsilon$, giving the one-loop sigma-model beta function ${\beta }_{ab}^g={\alpha }^{\prime }{R}_{ab}+O({\alpha }^{\prime 2})$ before the dilaton improvement. Equivalently its local Euclidean Weyl variation is $-(4\pi {)}^{-1}\int \sqrt{h}\omega R_{ab}\partial X^a\partial X^b$, with terms proportional to the embedding equations understood as field redefinitions.

Set $\Omega =e^{\omega }$ in the supplied curvature transformation. On a closed string worldsheet, integration by parts givesThe chain rule and leading string embedding map equation implyThe kinetic embedding equation suffices for extracting the leading metric coefficient. More precisely, the full Euclidean embedding equation makes the parenthesis $({\alpha }^{\prime }/2)R^{(2)}{\nabla }^a\phi$, giving a curvature contribution $-({\alpha }^{\prime }/4\pi )\int \sqrt{h}\omega R^{(2)}|\nabla \phi {|}^2$ to the Weyl variation. This contributes to the scalar coefficient below rather than to the leading metric tensor coefficient. Combining the curvature counterterm anomaly with this variation gives the leading metric-dilaton Weyl condition:This is the gravitational equation in the string frame, rather than an ordinary Einstein equation with a minimally coupled scalar. In terms of the field and signs literally printed in this Lorentzian action it readsThe frequently used $R_{ab}+2{\nabla }_a{\nabla }_b\Phi =0$ is obtained if the printed $\Phi$ is identified with the conventional Euclidean dilaton, which requires the opposite Lorentzian curvature-coupling sign. Both conventions describe the same mathematics after $\Phi \mapsto -\Phi$, but one cannot change only the field equation silently. Also, vanishing of this tensor coefficient is the metric part of Weyl invariance; the dilaton curvature coefficient and central-charge condition remain to be checked.

Now derive the scalar consequence without presupposing its integration constant. The contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. The Ricci identity applied to the gradient of a scalar givesDiverging the metric equation and then substituting $R_{ab}=-2{\nabla }_a{\nabla }_b\phi$ yieldsThus the bracket is constant on each connected target component. Its trace equation is $R+2{\square }_g\phi =0$, so the dilaton equation from contracted Bianchi identity becomesThe second equation uses the literal printed sign convention. These are nonlinear scalar wave equations analogous to the Klein-Gordon equation. For the exponentiated dilaton wave equation, put $F=e^{-2\phi }=e^{2\Phi }$; differentiating twice givesHere ${\square }_g={\nabla }^a{\nabla }_a$ is the Lorentzian Laplace-Beltrami operator, and $|\nabla \phi {|}^2=g^{ab}{\partial }_a\phi {\partial }_b\phi$ is a Lorentzian contraction, not necessarily nonnegative.

The Bianchi and Ricci identities alone do not imply $C=0$. The linear dilaton counterexample to zero integration constant is flat target space with $\phi =q_a{X}^a$: the tensor equation holds for every constant $q$, while $C=-2q^2$. A non-null $q$ disproves any deduction of the zero-constant scalar equation from that tensor equation alone.

The leading dilaton Weyl anomaly coefficient is obtained as follows. The matter and reparameterization-ghost central charges give the constant $(D-26)/6$. Expanding the curvature coupling along the same geodesic fluctuation gives the quadratic term $\frac{1}{2}{\nabla }_a{\nabla }_b\phi Y^a{Y}^b$; its coincident contraction is cancelled by $\delta \phi =-{\alpha }^{\prime }{\square }_g\phi /(2\epsilon )$, giving the term $-{\alpha }^{\prime }{\square }_g\phi /2$. The full embedding-equation contribution identified above supplies $+{\alpha }^{\prime }|\nabla \phi {|}^2$. Therefore full leading-order bosonic-string Weyl invariance also requiresIt fixes $C=(D-26)/(3{\alpha }^{\prime })$. Hence in the critical $D=26$ theory, or under boundary conditions making the constant vanish,This explains precisely the extra input needed for a zero-mass Klein-Gordon-type equation. In noncritical dimension the corresponding equation has the central-charge-deficit constant, subject to the usual controlled-background assumptions.

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 areAt $N=\tilde{N}=1$, the states ${ϵ}_{mn}{\alpha }_{-1}^m{\tilde{\alpha }}_{-1}^n|0;k⟩$ 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 $SO(D-2)$. 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 $D(D-3)/2$.

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 isIts conformal weights are $(1,1)$, so its integrated form $\int d^{2}z{V}_{ϵ,k}$ is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by $c\bar{c}$ 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 $h_{mn}\mapsto h_{mn}+{\partial }_m{\xi }_n+{\partial }_n{\xi }_m$.

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 $8\pi T=1$, so ${\alpha }^{\prime }=4$ and the closed-string tachyon has $M^2=-1$. For four such external states the Mandelstam variables obey $s+t+u=-4$. The Virasoro–Shapiro amplitude has generic $s$-channel poles at $s=-1,0,1,\dots$, exactly the bosonic string mass spectrum in these units.

The massless pole gives an especially direct check. With overall normalization $C$ and $u=-4-s-t$, the Gamma function recurrence givesThusThe quadratic residue in $t$ 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 $\sqrt{{\alpha }^{\prime }}$, 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 $g_s=e^{{\Phi }_0}$, and a connected oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$. Its weight is $g_s^{-\chi }$; with $n$ normalized external vertices,The sphere is tree order, the torus is one loop, and each additional handle adds a factor $g_s^2$. Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in $g_s$, with an independent low-energy expansion in ${\alpha }^{\prime }$.

For the one-loop vacuum contribution, torus modular invariance identifies $\tau$ with $(a\tau +b)/(c\tau +d)$, $ad-bc=1$. Integration is over the standard fundamental domain of the modular group,The potential short-proper-time region ${\tau }_2\to 0$, responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in $\mathcal{F}$. Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in $D=26$ the vacuum integrand is proportional to $d^2\tau {\tau }_2^{-14}|\eta (\tau ){|}^{-48}$, with $\eta$ 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 ${\tau }_2\to \infty$ is an infrared divergence from the tachyon: $|\eta (\tau ){|}^{-48}\sim e^{4\pi {\tau }_2}$. 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.

Insert the given closed-string mode expansion into the stress tensor and compare $T(z)={\sum }_n{L}_n{z}^{-n-2}$. Normal ordering gives

The inverse of the worldsheet Laplacian gives the free-field operator-product expansionHenceExtracting the Laurent modes by contour integration yields the string oscillator algebra

The vanishing of the worldsheet stress tensor becomes the Virasoro constraintsSince $L_0={\alpha }^{\prime }{k}^2/4+N$ and the bosonic-string normal-ordering constant is $a=1$, these zero-mode constraints are the target-space string mass-shell conditionThereforeThe positive-mode constraints further requireand null string states identify polarizations that differ by momentum-longitudinal terms. The symmetric trace-free, antisymmetric, and trace sectors of ${ϵ}_{\mu \nu }$ describe the graviton, Kalb–Ramond field, and dilaton, respectively.