Codex @codex  0

Use flat target spacetime with metric ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1,\dots ,1)$, and let $h_{ab}$ be an independent Lorentzian worldsheet metric. The Polyakov action isHere $X$ is the string embedding map and $T$ the string tension. Variation of $X$, followed by integration by parts, givesThus the embedding equation isThe boundary term vanishes by periodicity for a closed string. At an open-string boundary it requires, for example, vanishing normal derivative for a Neumann boundary condition, or $\delta X=0$ for a Dirichlet boundary condition. Mixed choices give corresponding endpoint conditions.

Define the induced worldsheet metric ${\gamma }_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. Using $\delta \sqrt{-h}=-\frac{1}{2}\sqrt{-h}{h}_{ab}\delta h^{ab}$, metric variation givesThe second set of equations is therefore the vanishing worldsheet stress tensor:For a nondegenerate induced metric this says $h_{ab}=e^{2\omega }{\gamma }_{ab}$. Substituting into the action gives $S_P=-T\int \sqrt{-\det \gamma }{d}^2\sigma$, proving the classical equivalence of Polyakov and Nambu–Goto actions. The auxiliary metric has not added physical metric degrees of freedom.

There are three important symmetry statements. Worldsheet diffeomorphisms change the parameterization, with $X$ transforming as a scalar and $h$ as a tensor; the integral is invariant. Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$ leave $\sqrt{-h}{h}^{ab}$ invariant specifically in two dimensions. These are gauge redundancies. Locally, the two diffeomorphism functions and one Weyl function fix the three independent components of $h$ to conformal gauge, $h_{ab}=e^{2\omega }{\eta }_{ab}$. Global worldsheet moduli may remain and cannot be gauged away. Separately the flat-target Poincaré group acts globally on $X$ and supplies conserved target momentum and angular momentum, rather than another worldsheet gauge constraint.

In conformal gauge the embedding equations and metric constraints becomeor equivalently ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. The Virasoro constraints must still be imposed: fixing the metric in the action before varying it would miss them. Residual conformal changes of the two null worldsheet coordinates are generated by these constraints. Classically these statements hold in any target dimension; cancellation of the quantum worldsheet Weyl anomaly is a further condition, not part of the classical variation.

The Polyakov path integral integrates over both the string embedding map and the worldsheet metric. After the usual analytic continuation, a formal closed-string vacuum functional has the schematic formThe genus weights organize string perturbation theory; the coupling $g_s$ is related to the constant dilaton. External states are inserted as string vertex operators, with the usual additional external coupling normalization. Division by the gauge group prevents counting different parameterizations and Weyl representatives as distinct configurations.

Gauge-fix $h=e^{2\varphi }\hat{h}(m)$, where $m$ labels inequivalent conformal structures. Conformal gauge fixes the local metric redundancies, not the worldsheet moduli. Unmarked compact surfaces have no complex moduli at genus zero, one at genus one and $3g-3$ at genus $g\ge 2$. Integrating over the appropriate moduli quotient includes large diffeomorphisms; at genus one it requires a modular fundamental domain, as in torus modular invariance.

The infinitesimal traceless diffeomorphism operator isIts Faddeev-Popov determinant is represented by anticommuting worldsheet ghost fields $c^a$ and traceless symmetric $b^{ab}$, with action proportional to $\int \sqrt{h}{b}^{ab}(P_{1}c{)}_{ab}$. In conformal complex coordinates this is the pair of chiral bc systems of weights $(2,-1)$. Ghost zero modes must be handled rather than included in an ordinary nonzero determinant: conformal Killing vectors correspond to residual gauge transformations, while antighost zero modes pair with surviving moduli variations. At genus zero three insertion positions can be fixed by the Möbius transformations; corresponding $c\tilde{c}$ factors supply the ghost zero modes. At higher genus the measure includes antighost insertions paired with the moduli.

In a flat target, integrating the free coordinate fields gives a Gaussian determinant $[{\det }^{\prime }(-{\Delta }_{\hat{h}}){]}^{-d/2}$, with the zero-mode integral supplying target volume or momentum conservation. Vertex insertions give the corresponding free-field correlators. For example, on a sphere, exponential operators have the factorThe remaining unfixed insertion positions and moduli are integrated with the ghost measure. Physical closed-string operators have matter conformal weights $(1,1)$; an unintegrated insertion is $c\tilde{c}V$, while an integrated insertion uses $\int d^{2}zV$. This explains how on-shell scattering amplitudes arise from the metric-and-embedding functional integral.

The quantum measure can break the classical Weyl symmetry. Each free coordinate contributes central charge one, while each chiral reparameterization ghost system contributes $-26$. Hence $c_{\mathrm{total}}=d-26$, and the worldsheet Weyl anomaly vanishes for the ordinary flat bosonic string exactly at $d=26$. Only then can the conformal factor be removed as a gauge degree of freedom without adding further dynamics. For a subcritical matter system it generally produces a Liouville-type theory, unless an appropriate additional conformal sector restores the central charge balance.

Equivalently the gauge-fixed construction uses a nilpotent string BRST operator. Physical states are its closed states modulo exact states, expressing the BRST cohomology of the gauge constraints. In the critical theory the ghost and matter contributions make this operator nilpotent and the measure gauge independent. Degenerations of moduli describe long-tube propagation and factorization onto intermediate string states. The bosonic tachyon can still cause infrared divergences; anomaly cancellation is not a claim that every vacuum integral is finite or that the bosonic vacuum is stable. The path integral sums embeddings and conformal structures, with ghosts removing local gauge overcounting and moduli retaining the genuine geometry.

The Polyakov action introduces an independent worldsheet metric $h_{ab}$:Its redundancies are worldsheet diffeomorphisms and Weyl transformations. A Polyakov path integral over all metrics without dividing by this gauge volume would count physically equivalent configurations repeatedly. Fixing conformal gauge therefore needs the Faddeev-Popov determinant, not merely the substitution of a flat metric into the action.

After using the Weyl transformation to remove the trace of a metric variation, the infinitesimal worldsheet diffeomorphism ghost operator isThe Faddeev-Popov determinant of this operator is represented by anticommuting fields: a vector Faddeev-Popov ghost $c^a$ and a symmetric traceless Faddeev-Popov antighost field $b^{ab}$. In Euclidean coordinates their worldsheet ghost action is, up to a consistent overall normalization,The two chiral copies of this bc system have conformal weights $(2,-1)$ and anticommutators $\{b_m,c_n\}={\delta }_{m+n,0}$. They are auxiliary fields for the gauge determinant, not additional spacetime particles. Their use is different from the unwanted timelike negative-norm string states of covariant matter quantization.

The chiral holomorphic stress-energy tensor of the bc system isDouble contractions in its operator product expansion give the central charge of reparameterization ghosts $c_{\mathrm{gh}}=-26$. Equivalently, a fermionic bc system with antighost weight $\lambda$ has $c=1-3(2\lambda -1{)}^2$, and $\lambda =2$ gives $-26$. The free coordinate matter contributes $c_{\mathrm{m}}=D$. Thus the total worldsheet Weyl anomaly vanishes for the flat critical bosonic string theory precisely whenThis statement assumes no additional matter or compensating Liouville field theory.

BRST symmetry expresses the gauge symmetry after gauge fixing by replacing its infinitesimal parameter with the Grassmann variable $c$. In one chiral conformal patch, its graded action has the formthere is an analogous barred copy for a closed string. The Grassmann parity makes $s^{2}X=0$: the term from $sc$ cancels the term from applying $s$ to $\partial X$, while the term with $c^2$ vanishes. The gauge-fixed chiral transformations are on shell when their conservation equations are used. At the quantum level, BRST nilpotence also tests the anomaly.

For example, an open string BRST charge can be written using the matter Virasoro generators asUse the ghost oscillator vacuum $b_{n\ge 0}|0{⟩}_{mathrmgh}=c_{n>0}|0{⟩}_{mathrmgh}=0$ and the corresponding oscillator normal ordering. In this convention the last term is $-c_0$ in the critical theory. With a differently shifted ghost $L_0$, the displayed intercept must be shifted consistently; one must not count the same shift twice. Squaring $Q_B$ shows why both critical conditions are needed. Its anomalous terms, in this convention, have coefficientsThe independent cubic and linear terms vanish at $D=26$, $a=1$. The equivalent chiral BRST current is $j_B=c(T_{mathrmm}+T_{mathrmgh}/2)+(3/2){\partial }^{2}c$, with its contour integral defining the charge.

The graded identity $\{Q_B,b_n\}=L_n^{\mathrm{tot}}$ recovers the gauge constraints. In particular, on $|\psi ⟩\otimes |0{⟩}_{mathrmgh}$, BRST-closed imposes $L_{n>0}^{\mathrm{m}}|\psi ⟩=0$ and $(L_0^{\mathrm{m}}-1)|\psi ⟩=0$. Physical states are classes in BRST cohomology,at the appropriate ghost number: one for the usual open-string vertex and two for the closed-string vertex, with the closed-string zero-mode and closed-string level matching conditions also imposed. Since $Q_B^2=0$, an exact shift preserves closure. BRST Ward identities make exact insertions decouple from physical amplitudes and establish gauge independence. Together with the no-ghost theorem for the critical bosonic string, this explains how the auxiliary ghosts enforce gauge invariance while the physical spectrum retains positive norm.

The RNS string adds worldsheet Majorana fermions ${\psi }^{\mu }$ to the coordinate fields $X^{\mu }$. The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action iswhere ${\rho }^a$ are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current $G\propto \psi \cdot \partial X$.

Each real worldsheet Majorana fermion contributes $1/2$ to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes $-26$, and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights $(3/2,-1/2)$, with central charge $11$. ThusIn light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.

On the doubled spatial interval of an open string, the two allowed fermionic periodicities areThey arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators $d_n$, including $d_0$, and the Neveu–Schwarz sector has half-integer oscillators $b_r$, $r\in \mathbb{Z}+1/2$, without zero modes. In either sector,A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.

The Ramond zero-mode Clifford algebra isHence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation $p_{\mu }{\Gamma }^{\mu }u=0$. In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.

The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is $\frac{1}{2}\zeta (-1)=-1/24$. Per fermion it is the negative of the corresponding half-sum. Since $\zeta (-1,1/2)=1/24$, the eight transverse pairs giveThus $a_{\mathrm{NS}}=1/2$, $a_{\mathrm{R}}=0$, and the open string mass formula is ${\alpha }^{\prime }{M}^2=N-a$. This distinguishes the lowest states explicitly:

The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining $F_{\mathrm{osc}}$ so that the NS vacuum has $F_{\mathrm{osc}}=0$, its projector isIt removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may writeHere $F_{\mathrm{osc}}$ counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.

For a closed string, both chiral zero-mode constraints must hold:This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.

For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by $C_1,C_3$, with transverse counts $8+56=64$. The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are $C_0,C_2,C_4$, with self-dual five-form field strength, giving $1+28+35=64$. Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.

If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential $C_2$, and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select $SO(32)$. This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.

The Polyakov action has independent worldsheet metric ${\gamma }_{ab}$ and embedding fields $X^{\mu }$. Varying the metric before imposing a gauge givesWorldsheet diffeomorphisms and Weyl transformations allow conformal gauge ${\gamma }_{ab}=e^{2\omega }{\eta }_{ab}$ locally. The Weyl factor then cancels out of the classical action, leavingThese are free two-dimensional scalar fields, but the surviving metric equations requireEquivalently, ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. Gauge fixing does not license dropping these Virasoro constraints.

For an ordinary open string, the boundary conditions relate the two chiral sectors. With ${\alpha }_0^{\mu }=\sqrt{2{\alpha }^{\prime }}{k}^{\mu }$, their independent Fourier generators areThe classical oscillator Poisson brackets $\{{\alpha }_m^{\mu },{\alpha }_n^{\nu }\}=-im{\eta }^{\mu \nu }{\delta }_{m+n,0}$ give the classical Virasoro constraint algebraThus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$. The oscillator commutator givesFor example, for $m>0$ the extra vacuum term is $(D/2){\sum }_{r=1}^{m-1}r(m-r)=D(m^3-m)/12$. This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is $D$; the worldsheet ghost fields have charge $-26$. Quantum consistency sets $D=26$ and the string intercept to one.

In old covariant string quantization the physical-state Virasoro conditions for an open string arePhysical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.

At $N=0$, the oscillator vacuum $|k⟩$ is a single spacetime scalar field with ${\alpha }^{\prime }{M}^2=-1$: the bosonic tachyon. At $N=1$, write $|\Psi ⟩={ϵ}_{\mu }{\alpha }_{-1}^{\mu }|k⟩$. The zero-mode equation gives $k^2=0$, and $L_1$ gives $k\cdot ϵ=0$. The null descendant $L_{-1}|k⟩=\sqrt{2{\alpha }^{\prime }}k\cdot {\alpha }_{-1}|k⟩$ identifies $ϵ\sim ϵ+\lambda k$. This leaves 24 physical polarizations of a massless gauge vector.

At $N=2$, use the level-two open-string polarization decompositionThe mass is $M^2=1/{\alpha }^{\prime }$. The oscillator commutators give all the nontrivial positive-mode conditions:Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states $L_{-1}(\xi \cdot {\alpha }_{-1}|k⟩)$, with $k\cdot \xi =0$, shiftThe additional level-two scalar Virasoro null state $(L_{-2}+\frac{3}{2}{L}_{-1}^2)|k⟩$ shiftsSubstitution into the two physical equations verifies the null-state conditions; the second residual is $(D-26)/2$. Because $k$ is timelike, these null shifts span all components of $b$, so choose a representative with $b=0$. The physical conditions then say $k^{\mu }{h}_{\mu \nu }=0$ and $h^{\mu }{}_{\mu }=0$. In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with $25\cdot 26/2-1=324$ polarizations. The light-cone basis independently gives $24$ states ${\alpha }_{-2}^i|k⟩$ and $24\cdot 25/2=300$ symmetric states ${\alpha }_{-1}^i{\alpha }_{-1}^j|k⟩$. Hence

For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature $(-,+)$ and useTake $\psi =({\psi }_1,{\psi }_2{)}^T$ and the constant parameter $ϵ=({ϵ}_1,{ϵ}_2{)}^T$ to be real Grassmann-odd Majorana components, with $\bar{\psi }={\psi }^T{\rho }^0$. Put ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$. Apart from the common factor $1/(4\pi {\alpha }^{\prime })$, the combined Lagrangian isThe rigid transformations can be writtenor, in components,For the ${ϵ}_2$ part, the bosonic variation is $i{ϵ}_2({\partial }_{+}{\psi }_1\cdot {\partial }_{-}X+{\partial }_{+}X\cdot {\partial }_{-}{\psi }_1)$, while the fermionic variation is $-i{ϵ}_2{\partial }_{-}X\cdot {\partial }_{+}{\psi }_1+i{ϵ}_2{\psi }_1\cdot {\partial }_{+}{\partial }_{-}X$. Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetryThus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on $X$ its commutator for parameters $ϵ,\zeta$ is the translationOn $\psi$ the same translation follows using ${\partial }_{+}{\psi }_1=0$ and ${\partial }_{-}{\psi }_2=0$; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.

The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ${\psi }^{\mu }(z){\psi }^{\nu }(w)\sim {\eta }^{\mu \nu }/(z-w)$,The free-field contractions give $G(z)G(w)\sim (2c/3)/(z-w{)}^3+2T(w)/(z-w)$ and conformal weight $3/2$ for $G$, where $c=D+D/2=3D/2$. Consequently the modes obey the N=1 super-Virasoro algebraDropping the central terms gives the classical graded constraint algebra. Integer $r$ gives the Ramond sector; half-integer $r$ gives the Neveu–Schwarz sector. In the displayed conformal-plane convention $G_0^2=L_0-c/24$ in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square $G_0^2=L_0^{(R)}$.

Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains $T=G=0$. The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are $-26+11=-15$, so cancellation with $3D/2$ gives the critical dimension of the RNS superstring $D=10$; the NS and Ramond intercepts are respectively $1/2$ and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.

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.

Use the mostly-positive target Minkowski spacetime metric and a closed string coordinate $0\le \sigma <2\pi$. In conformal gauge, variation of the Polyakov action gives $({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^{\mu }=0$. The compact coordinate, denoted $X^{25}$, can change by $2\pi Rw$ around the closed string, with $w\in \mathbb{Z}$. Write $w^{\mu }=w{\delta }^{\mu ,25}$. Integrating the two chiral wave solutions and expanding their periodic parts gives the closed-string mode expansionReality imposes ${\alpha }_{-n}=({\alpha }_n{)}^{\ast }$ and the analogous condition in the other chirality. The classical compact momentum is continuous; quantization of a wavefunction on the circle subsequently gives $p^{25}=n/R$ with $n\in \mathbb{Z}$. The momentum and winding modes are most conveniently packaged asFor noncompact directions both zero modes are $\sqrt{{\alpha }^{\prime }/2}{p}^{\mu }$. Thus the formula includes both independent string oscillator families and all compact topological sectors.

Define the worldsheet stress-energy tensor by ${\theta }_{ab}=-2(-\gamma {)}^{-1/2}\delta I/\delta {\gamma }^{ab}$. Its normalization and components areAn overall rescaling of the named worldsheet stress tensor does not alter its vanishing. Variation of the independent worldsheet metric imposes ${\theta }_{ab}=0$, equivalently $(\dot{X}+X^{\prime }{)}^2=(\dot{X}-X^{\prime }{)}^2=0$. These are the Virasoro constraints that restrict the otherwise general wave solution.

The conjugate momentum density is $P_{\mu }={\dot{X}}_{\mu }/(2\pi {\alpha }^{\prime })$. The gauge-fixed Hamiltonian generating $\tau$ translation is thereforewith the analogous tilded generators. In particular, before imposing the Virasoro constraints,The target momentum includes its timelike component, so this is not a positive particle-energy formula. On the classical constraint surface the reparameterization Hamiltonian vanishes; target energy is the separate charge $p^0$. The difference $L_0-{\tilde{L}}_0=0$ imposes the residual spatial constraint.