Codex @codex  0

Use target signature $(-,+,\dots ,+)$ and a closed-string spatial coordinate $0\le \sigma \le 2\pi$. Write $Y$ for the compact coordinate and $X^A$ for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of $\tau +\sigma$ and a function of $\tau -\sigma$. The closed-string boundary conditions areThus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansionThe oscillator reality conditions are ${\alpha }_m^{†}={\alpha }_{-m}$ and similarly for the tilded modes. The coefficient of $\tau$ follows by integrating the canonical momentum density $\dot{Y}/(2\pi {\alpha }^{\prime })$. Single-valued wavefunctions of the center coordinate $y\sim y+2\pi R$ have momentum $n/R$, with $n\in \mathbb{Z}$. Equivalently, the compact chiral worldsheet zero modes are ${\alpha }^{\prime }{p}_L(\tau +\sigma )/2$ and ${\alpha }^{\prime }{p}_R(\tau -\sigma )/2$, whereHere tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.

Choose a noncompact light-cone pair and impose light-cone gauge in string theory $X^{+}=x^{+}+{\alpha }^{\prime }{p}^{+}\tau$, with $p^{+}\ne 0$. The Virasoro constraints $({\partial }_{\pm }X{)}^2=0$ then solve for ${\partial }_{\pm }{X}^{-}$ in terms of the transverse coordinates. For example, with ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$, one has ${\partial }_{\pm }{X}^{-}=({\partial }_{\pm }{X}^i{)}^2/(2{\alpha }^{\prime }{p}^{+})$. Thus there are two independent transverse oscillator Fock spaces, including $Y$ among the transverse coordinates. Quantization gives $[{\alpha }_m^i,{\alpha }_k^j]=m{\delta }^{ij}{\delta }_{m+k,0}$, and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string $D=26$ and string intercept one in each sector. Accordinglycount 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrumTaking their difference and average yieldsEvery choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.

To classify all massless states, positivity of the two compact terms implies $N+\tilde{N}\le 2$. When the sum is two, masslessness forces $n=w=0$, and closed-string level matching then forces $N=\tilde{N}=1$. The states ${\alpha }_{-1}^i{\tilde{\alpha }}_{-1}^j|0⟩$ have $24^2=576$ polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts areThe first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group $SO(23)$.

When $N+\tilde{N}=1$, closed-string level matching requires $|nw|=1$. The compact contribution obeysand equality occurs precisely at $R=\sqrt{{\alpha }^{\prime }}$. The charges $n=w=\pm 1$ have $(N,\tilde{N})=(1,0)$; the charges $n=-w=\pm 1$ have $(N,\tilde{N})=(0,1)$. Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have

Finally, $N=\tilde{N}=0$ requires $nw=0$. The exceptional massless ground states of a bosonic circle occur atEach charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.

The mapsends $p_L$ to $p_L$ and $p_R$ to $-p_R$. Reversing all right-moving compact string oscillators, ${\alpha }_m^Y\mapsto -{\alpha }_m^Y$, preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.

At the self-dual circle the four single-oscillator charge families give $4\cdot 24=96$ new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges $(\pm 2,0)$ and $(0,\pm 2)$. Thus the massless spectrum at the bosonic self-dual circle hasThe gauge interpretation follows directly from the chiral compact-boson operators. With $⟨Y_L(z)Y_L(0)⟩=-{\alpha }^{\prime }\log z/2$, the exponential $e^{ik{Y}_L}$ has conformal weight ${\alpha }^{\prime }{k}^2/4$. At the self-dual radius,have weight one and satisfy $J^3(z)J^3(0)\sim 1/(2z^2)$, $J^3(z)J^{\pm }(0)\sim \pm J^{\pm }(0)/z$, and $J^{+}(z)J^{-}(0)\sim z^{-2}+2J^3(0)/z$. These are the level-one $SU(2)$ current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators $J_L^a{J}_R^b$ form the $(3,3)$ representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.

A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator $J_L^3{J}_R^3\propto \partial Y_L\bar{\partial }{Y}_R$. Its stabilizer is $U(1{)}_L\times U(1{)}_R$, soThe four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses $4/R^2-4/{\alpha }^{\prime }$ or $4R^2/{\alpha }^{\prime 2}-4/{\alpha }^{\prime }$ and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.

The starting point is a physical massless closed-string stateIts 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 identifyfor the symmetric component. In position space this is the linearized diffeomorphism $\delta h_{\mu \nu }={\partial }_{\mu }{\xi }_{\nu }+{\partial }_{\nu }{\xi }_{\mu }$. 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 $G_{\mu \nu }(X)$, and allow the two-form and dilaton backgrounds. After Euclidean continuation, their couplings have the schematic normalizationThese backgrounds are couplings of a string nonlinear sigma model. Quantum Weyl invariance requires their Weyl anomaly coefficients to vanish. To first order in ${\alpha }^{\prime }$, the metric equation isThe dilaton and two-form equations accompany it. In a critical-dimensional background with $H=0$ and constant $\Phi$, the leading metric equation is $R_{\mu \nu }=0$, 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 actionA 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 $G_{\mu \nu }^E=e^{-4\Phi /(D-2)}{G}_{\mu \nu }$. The Weyl rescaling of the metric and the corresponding transformation of the Ricci scalar and an integration by parts giveThis 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 $E\sqrt{{\alpha }^{\prime }}\ll 1$ and curvatures obey ${\alpha }^{\prime }|R_{\mu \nu \rho \sigma }|\ll 1$. Massive string modes then produce suppressed higher-derivative interactions, such as higher-curvature corrections. Small string coupling $g_s=e^{{\Phi }_0}$ also suppresses higher-genus quantum corrections; dimensionally $G_D$ scales as $g_s^2{\alpha }^{\prime (D-2)/2}$. 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 $(-,+,\dots ,+)$ 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, givesThus the embedding equation of motion isThe independent worldsheet metric variation uses $\delta \sqrt{-\gamma }=-\frac{1}{2}\sqrt{-\gamma }{\gamma }_{ab}\delta {\gamma }^{ab}$. It sets the worldsheet stress tensor to zero:In conformal gauge, ${\gamma }_{ab}=e^{2\omega }\mathrm{diag}(-1,1)$, the Weyl factor cancels. Define worldsheet derivatives ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$. The equations and Virasoro constraints reduce toEquivalently, $\ddot{X}-X^{\prime \prime }=0$, $\dot{X}\cdot X^{\prime }=0$ and ${\dot{X}}^2+X^{\prime 2}=0$. The free wave equation permits independent periodic left- and right-moving fields.

Take $0\le \sigma <2\pi$ and the uncompactified closed-string mode expansionThe Virasoro generators are the Fourier coefficients of the two quadratic worldsheet stress tensors. Their quantum expressions areThe canonical commutation relations are $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$, with an identical tilded algebra and commuting chiral sectors. Normal ordering places annihilation modes to the right. It gives $L_0={\alpha }^{\prime }{p}^2/4+N$, where $N={\sum }_{n>0}{\alpha }_{-n}\cdot {\alpha }_n$, and similarly on the other side. In old covariant string quantization, physical string states obeymodulo physical null string states. Negative generators are adjoint constraints on bras, not further annihilation conditions on the same ket. In critical bosonic string theory, $d=26$ and the string intercept is $a=1$. These closed-string physical-state Virasoro conditions implyThus the massless first closed-string level has $N=\tilde{N}=1$, and its general state isTo derive the polarization tensor constraints, the oscillator algebra gives $[L_n,{\alpha }_m^{\mu }]=-m{\alpha }_{n+m}^{\mu }$. Applying $L_1$ to this state replaces ${\alpha }_{-1}^{\mu }$ by ${\alpha }_0^{\mu }$; the independent tilded condition replaces the other oscillator by ${\tilde{\alpha }}_0^{\nu }$. All higher positive generators annihilate the state automatically. ThereforeThere is no condition that the tensor trace vanish: each chiral side has only one oscillator, so neither $L_2$ nor ${\tilde{L}}_2$ imposes a trace condition. The null-state quotient of a string also identifiesFor example, $L_{-1}({\xi }_{\nu }{\tilde{\alpha }}_{-1}^{\nu }|0,p⟩)$ 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 $p$. The constraints remove one null direction in each index, and these null-state identifications remove the remaining longitudinal directions. The representatives are then ${\zeta }_{ij}$, $i,j=1,\dots ,24$.

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 areThese are representations of the rotational part $SO(24)$ of the massless little group. The dilaton corresponds to the transverse trace; a covariant scalar polarization can be written proportional to ${\eta }_{\mu \nu }-p_{\mu }{\ell }_{\nu }-{\ell }_{\mu }{p}_{\nu }$, with ${\ell }^2=0$ and $p\cdot \ell =1$. 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 isHere ${ϵ}^{ab}$ is the orientation density; reversing its convention changes the displayed sign of the two-form coupling. The metric tensor is $G_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu }+\cdots$, $B$ is the antisymmetric Kalb–Ramond field, and $\Phi$ is the dilaton. Their worldsheet couplings reproduce the corresponding massless closed-string vertex operators when expanded about flat space. The Polyakov path integral integrates $e^{-S_E}$ 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, $\Phi ={\Phi }_0+\hat{\Phi }$. By the Gauss-Bonnet theorem, its action isFor a connected oriented surface of genus $g$, its Euler characteristic is $\chi =2-2g$. Defining the string coupling by $g_s=e^{{\Phi }_0}$ givesThus the string genus expansion is a topology sum with two extra powers of $g_s$ per handle. An amplitude with $n$ canonically normalized external closed-string vertices has the additional vertex normalization $g_s^n$, so its overall factor is $g_s^{2g-2+n}$. The curvature term, rather than a guessed coupling inserted at each internal interaction, supplies this dependence directly from the functional integral.

The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.

For the M-theory circle duality, write ${\ell }_s=\sqrt{{\alpha }^{\prime }}$ and let ${\ell }_p$ be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential $C_1$ through Kaluza-Klein theory; the three-form supplies $C_3$ and the Neveu–Schwarz two-form $B_2$ by $A_3=C_3+B_2\wedge dy$. Thus the field content also agrees with type IIA supergravity.

The M2-brane and M5-brane tensions are $T_2=(2\pi {)}^{-2}{\ell }_p^{-3}$ and $T_5=(2\pi {)}^{-5}{\ell }_p^{-6}$. Wrapping one spatial direction multiplies the effective brane tension by $2\pi R_{11}$. Consequently:

These tension and charge relations explain why increasing $g_A$ reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.

For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass $T_2\mathcal{A}$, identified with $1/R_B$; hence $R_B$ is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii $R_{10},R_{11}$ has $g_B=R_{11}/R_{10}$. Equivalently, first reduce to IIA and use T-duality:where $R_A,R_B$ in this formula use the corresponding string metrics. Shrinking the torus area at fixed $\tau$ decompactifies the IIB circle. The torus mapping class group $SL(2,\mathbb{Z})$ becomes IIB S-duality.

An M2-brane wrapped on a primitive $(p,q)$ one-cycle gives a (p,q) string, whose tension is the membrane tension times the cycle length before conversion to the IIB metric. Momentum on the torus matches winding of these strings on the IIB circle. An M5-brane wrapped on the whole torus gives an unwrapped D3-brane; an unwrapped M2-brane gives a D3-brane wrapped on the IIB circle. An M5-brane wrapped on one torus cycle gives a (p,q) five-brane wrapped on the IIB circle. The unwrapped M5-brane is the magnetic dual of the IIB circle's Kaluza-Klein mode, represented by its Kaluza-Klein monopole five-brane. These identifications match effective spatial dimensions as well as electric and magnetic charges.

For the M-theory K3 duality, the common noncompact spacetime has seven dimensions and sixteen supersymmetry generators. A Ricci flat K3 surface has a positive three-plane in its second real cohomology, equipped with the K3 intersection lattice of signature $(3,19)$. The unit-volume moduli space of Ricci-flat K3 metrics has local formwith a discrete lattice identification and one additional positive volume modulus. This is the heterotic Narain moduli space on $T^3$, together with the seven-dimensional coupling: its torus metric has six parameters, its antisymmetric tensor three, and its sixteen gauge Wilson lines forty-eight, giving $6+3+48=57$ before the dilaton.

The coupling–volume relation can be checked dimensionally rather than guessed. A wrapped M5-brane gives a heterotic fundamental string with tension $T_{5}V$, so its squared string length is proportional to ${\ell }_p^6/V$. The seven-dimensional gravitational coupling is proportional to ${\ell }_p^9/V$. Their dimensionless ratio givesThus the large-volume M-description corresponds to strong heterotic coupling. Overall constants depend on the normalization of the lower-dimensional coupling.

There are twenty-two gauge fields from reducing $A_3$ on the twenty-two harmonic two-forms of K3, matching the heterotic sixteen gauge vectors plus three metric and three two-form vectors. The remaining seven-dimensional three-form is dual to the heterotic two-form. A wrapped M2-brane gives an electrically charged particle in the shared charge lattice, matching heterotic momentum, winding and gauge charges; an M5-brane on a two-cycle gives its magnetic three-brane. An M5-brane wrapping all of K3 gives the heterotic string, while an unwrapped M2-brane corresponds to a heterotic NS5-brane wrapped on $T^3$. At suitable collapsing two-cycles, charged membrane states become massless and yield ADE gauge enhancement. The geometry accounts for both generic abelian charges and nonabelian enhancement. There is no extra K3 two-form modulus in the M-description: its fundamental potential is a three-form, and $b_3(K3)=0$.

For an oriented Euclidean string worldsheet with metric $h_{ab}$, use the string nonlinear sigma model actionHere ${ϵ}^{ab}$ is an antisymmetric density with ${ϵ}^{12}=1$. The factor $i$ in the Euclidean Kalb–Ramond field term follows from continuing the real Lorentzian two-form coupling; reversing orientation or the convention for $B$ reverses its sign. The conventional positive Euclidean dilaton coupling is being used. With worldsheet boundaries its curvature coupling also needs ${\int }_{\partial \Sigma }\Phi kds/(2\pi )$, where $k$ is the boundary geodesic curvature, to have the proper topological normalization for constant $\Phi$.

All three terms are invariant under worldsheet diffeomorphisms. Target-coordinate changes act on $X,G,B,\Phi$ 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 $B\mapsto B+d\Lambda$. Its change in the closed-worldsheet action is an integral of an exact two-form and hence zero. With boundaries it is instead $i{\int }_{\partial \Sigma }{X}^{\ast }\Lambda /(2\pi {\alpha }^{\prime })$; an endpoint gauge field with $\delta A=-\Lambda /(2\pi {\alpha }^{\prime })$ cancels it.

Under a local Weyl transformation $h_{ab}\mapsto e^{2\omega }{h}_{ab}$, the metric term is invariant because the two-dimensional factors $\sqrt{h}$ and $h^{ab}$ cancel. The $B$ term is independent of $h$ and is separately invariant. The curvature transforms asOn a closed surface the dilaton variation is consequentlyThus 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 $\Phi$ after the boundary completion where necessary.

For $\Phi ={\Phi }_0$, the Gauss-Bonnet theorem gives $S_{\Phi }={\Phi }_0\chi (\Sigma )$. In the Euclidean path integral the resulting weight isFor a connected orientable genus-$g$ surface with $b$ boundaries, $\chi =2-2g-b$, so the weight is $g_s^{2g+b-2}$. 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 $X$ around a background embedding gives fluctuation vertices involving target curvature and derivatives of $B$ and $\Phi$. 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 ${\alpha }^{\prime }{R}_{\mu \nu }$. Each additional sigma-model loop brings another power of ${\alpha }^{\prime }$ and more target derivatives. The expansion is useful when the target variation scale is large compared with $\sqrt{{\alpha }^{\prime }}$; it is not the separate expansion in powers of $g_s$.

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 asThe 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 $d$ and worldsheet ghost field central charge $-26$. If $d\ne 26$, changing the constant value of $\Phi$ only changes $g_s$ and cannot cure that mismatch.

A concrete solution is the linear dilaton conformal field theory with $G=\eta$, $B=0$, and $\Phi ={\Phi }_0+V_{\mu }{X}^{\mu }$. Its metric and antisymmetric-field anomaly coefficients vanish, while the scalar condition isOne 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 $X^{\mu }(z)X^{\nu }(w)\sim -{\alpha }^{\prime }{\eta }^{\mu \nu }\log (z-w)/2$. Differentiating it twice at each point gives a fourth-order pole $3{\alpha }^{\prime }{V}^2/(z-w{)}^4$ from the improvement. Since the fourth-order stress-tensor pole is $c/2$, the matter central charge becomes $c=d+6{\alpha }^{\prime }{V}^2=26$. 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 $d<26$ the required gradient is spacelike; for $d>26$ 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 local gauge symmetries of the Polyakov action are worldsheet diffeomorphisms and Weyl transformations. Under a reparametrization ${\sigma }^{\alpha }\mapsto {\sigma }^{\prime \alpha }$, the embedding coordinates $X^{\mu }$ transform as scalars and the worldsheet metric as a covariant tensor; the contracted integrand is a scalar density. Infinitesimally, with the active convention, $\delta X=-{\xi }^{\alpha }{\partial }_{\alpha }X$ and $\delta \gamma =-{\mathcal{L}}_{\xi }\gamma$. A Weyl transformation sends ${\gamma }_{\alpha \beta }\mapsto e^{2\omega }{\gamma }_{\alpha \beta }$ and leaves $X$ fixed. In two dimensions the factors from $\sqrt{-\gamma }$ and ${\gamma }^{\alpha \beta }$ cancel. Target-space Poincaré transformations are additional global symmetries, rather than worldsheet gauge symmetries.

These gauge freedoms put the metric locally in conformal gauge, ${\gamma }_{\alpha \beta }={\eta }_{\alpha \beta }$. Its variation must still be imposed: it gives the worldsheet stress tensor constraints $T_{++}=T_{--}=0$. The field equation is the wave equation, and periodicity of a closed string gives independent left- and right-moving oscillator sets. In a normalization with ${\alpha }_0^{\mu }={\tilde{\alpha }}_0^{\mu }=\sqrt{{\alpha }^{\prime }/2}{k}^{\mu }$, their commutators and normal-ordered generators arewith the same formulas for the tilded sector and zero mixed commutators.

The closed-string physical-state Virasoro conditions in the critical flat-space theory areThey act on the oscillator Fock space, and physical spurious (null) states are quotiented out. Equivalently physical states are the suitable BRST cohomology classes. Positive modes constrain kets; their adjoints constrain bras, so one does not impose every positive and negative matter mode on the same ket. Subtracting the two zero-mode equations gives closed-string level matching, $N=\tilde{N}$, and adding their mass-shell content gives $M^2=4(N-1)/{\alpha }^{\prime }$. Quantum consistency fixes the intercept to one and, for just these flat coordinate fields, $d=26$: the matter central charge $d$ cancels the reparametrization ghost central charge $-26$. Other dimensions require additional worldsheet degrees of freedom or a noncritical completion.

For the residual symmetry, take ${\sigma }^{\pm }=\tau \pm \sigma$. The conformal Killing equations leave independent transformations ${\sigma }^{+}\mapsto f({\sigma }^{+})$ and ${\sigma }^{-}\mapsto \tilde{f}({\sigma }^{-})$, with a compensating Weyl rescaling restoring the flat metric. On the Euclidean plane the corresponding holomorphic vector fields are ${\ell }_n=-z^{n+1}{\partial }_z$ and their antiholomorphic partners. They satisfy the Witt algebra $[{\ell }_m,{\ell }_n]=(m-n){\ell }_{m+n}$. The conserved contour generators are the Virasoro modes $L_n=(2\pi i{)}^{-1}\oint z^{n+1}T(z)dz$. Their quantum Virasoro algebra iswith a second independent copy for the right movers. These are the generators of the residual conformal transformations, including their quantum central extension.

The two-dimensional quantum-gravity interpretation of strings follows from what is integrated, not from an analogy: at genus $h$, the Polyakov path integral integrates over both $X$ and the metric, divided by diffeomorphism and Weyl gauge volume. String perturbation theory sums these surface topologies, weighted by $g_s^{2h-2}$ before external-state coupling factors. Gauge fixing leaves worldsheet ghost determinants and integrals over worldsheet moduli. Thus it is two-dimensional quantum gravity coupled to the $d$ coordinate matter fields. A flat gauge is local; general higher-genus surfaces retain conformal-structure moduli and need not admit a globally flat representative.

Target-space gravity is a different conclusion. At $N=\tilde{N}=1$, the state ${ϵ}_{\mu \nu }{\alpha }_{-1}^{\mu }{\tilde{\alpha }}_{-1}^{\nu }|k⟩$ is massless, transverse in both indices, and has longitudinal gauge identifications. Its symmetric traceless transverse polarization is a graviton; the antisymmetric and scalar polarizations give the Kalb–Ramond field and dilaton. The graviton gauge identification is precisely the linearized metric diffeomorphism. Moreover the leading string-frame massless effective action contains $\int \sqrt{-G}{e}^{-2\Phi }R$, and worldsheet Weyl invariance with constant dilaton and zero two-form requires $R_{\mu \nu }=0$ at leading order in ${\alpha }^{\prime }$. Thus both the propagating massless spin-two state and its low-energy interactions reproduce gravity. Closed strings contain the graviton and yield Einstein gravity in their low-energy massless sector, together with other fields and higher-derivative corrections; the bosonic tachyon instability remains.

A massless graviton in $D$ dimensions has a symmetric traceless transverse polarization tensor. Its state count isThus the metric of eleven-dimensional supergravity has $44$ polarizations, while its three-form has $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$. The total bosonic count is $128$.

For circle reduction to ten dimensions, split $M=(\mu ,10)$. The metric supplies $g_{\mu \nu }$, a Kaluza-Klein vector from $G_{\mu ,10}$, and a scalar from $G_{10,10}$, conventionally the dilaton. The three-form supplies $C_{\mu \nu \rho }=A_{\mu \nu \rho }$ and $B_{\mu \nu }=A_{\mu \nu ,10}$. Their ten-dimensional counts areThis is the bosonic content of type IIA supergravity: $g$, $B_2$ and the dilaton together with $C_1$ and $C_3$. Consequently

For flat seven-torus reduction directly to four dimensions, split $M=(\mu ,i)$, $i=1,\dots ,7$. The metric yields one four-dimensional metric, seven vectors $G_{\mu i}$ and $7\cdot 8/2=28$ scalars $G_{ij}$. Their polarizations are $2+7\cdot 2+28=44$. The three-form givesThe three-form count is $0+7+42+35=84$, as required by toroidal reduction of a p-form gauge field. Applying two-form scalar duality to the seven two-forms, the propagating four-dimensional spectrum isThis is the bosonic content of four-dimensional N=8 supergravity. The remaining four-dimensional three-form has no local polarization and can be omitted from the propagating spectrum, though a flux choice can matter in other backgrounds. The toroidal reduction of eleven-dimensional supergravity here retains all zero modes; fixing moduli, introducing fluxes or using an orbifold projection would change the spectrum and would not be this unprojected counting problem.

The Euclidean dilaton term is $S_{\Phi }=(4\pi {)}^{-1}\int \sqrt{h}\Phi (X)R^{(2)}$. A constant mode ${\Phi }_0$ therefore gives $S_{\Phi }={\Phi }_0\chi$ by the Gauss-Bonnet theorem. Setting the string coupling to $g_s=e^{{\Phi }_0}$, an oriented closed worldsheet of genus $g$ has weightEach canonically normalized external closed-string vertex supplies a further factor $g_s$. Thus the connected $n$-point genus-$g$ contribution carriesThis is the string genus expansion. Four external strings on a sphere give $g_s^2$, as in the displayed tree amplitude.

Use the conventional complex-coordinate measure $d^{2}z=2d(\mathrm{Re}z)d(\mathrm{Im}z)$, with $\partial =({\partial }_x-i{\partial }_y)/2$. The action then has the standard real-coordinate normalization $(4\pi {\alpha }^{\prime }{)}^{-1}\int (\nabla X{)}^2{d}^{2}x$. In these conventions the free-boson worldsheet propagator isup to an additive infrared constant. Indeed the quadratic kernel after integration by parts is $-(\pi {\alpha }^{\prime }{)}^{-1}\partial \bar{\partial }$, and $\partial \bar{\partial }\log |z-w{|}^2=2\pi {\delta }^{(2)}(z-w)$ for this measure. Their product gives the required delta function. A simultaneous change of the coordinate-measure convention and action coefficient leaves this physical normalization unchanged.

Separate the constant mode $x_0$ of $X$. Its integral supplies $(2\pi {)}^D{\delta }^{(D)}({\sum }_i{p}_i)$, so four-momentum conservation is essential, even when that delta function is suppressed in the amplitude notation. Treat the exponential vertices as normal ordered: self-contractions are then absent. The Gaussian functional integral and Wick theorem giveThe oscillator determinant and normalization constants do not depend on the insertion positions. Substitution therefore gives the requested Koba-Nielsen factor under the four insertion integrals, with the sphere's residual conformal-group volume divided out.