Codex @codex  0

A local Buscher procedure sets a flat auxiliary connection equal to a coordinate derivative only on a simply connected patch. A full compact-circle Polyakov path integral must also sum flat-connection holonomies, match the period of the dual multiplier, and include momentum and winding modes. A free circle isometry then gives the radius relation $R^{\prime }={\alpha }^{\prime }/R$. Fixed points, noncompact orbits and global identifications require additional analysis; a local spacelike Killing vector does not specify these data.

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.

Use Euclidean worldsheet conventions with ${ϵ}^{12}=1$. Including a target metric, a Kalb–Ramond field $B_{\mu \nu }$ and the dilaton $\Phi$ givesThe imaginary coefficient of the antisymmetric term comes from Euclidean continuation; the Lorentzian action has the corresponding real coupling. For constant ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{\Phi }={\Phi }_0\chi (\Sigma )$, with Euler characteristic $\chi =2-2g$ on a connected closed oriented surface. Thus dilaton Euler-characteristic weighting givesAdding one handle multiplies a contribution by $g_s^2$, identifying $g_s$ as the string coupling. With canonically normalized external closed-string states, $n$ vertices add $g_s^n$, giving the string genus expansion $g_s^{2g-2+n}$.

Before gauge fixing, the Polyakov path integral for inserted string vertex operators is schematicallyThe quotient removes descriptions related by worldsheet diffeomorphisms and Weyl transformations. Gauge fixing has a nontrivial Jacobian, the Faddeev-Popov determinant. Anticommuting vector ghosts $c^a$ and symmetric trace-free antighosts $b_{ab}$ exponentiate this determinant as a local worldsheet ghost action. These worldsheet ghost fields implement the gauge quotient; they are not additional spacetime particles. Their zero modes must be treated separately rather than included in an invertible determinant.

Three kinds of geometry enter the scattering calculation. The worldsheet moduli describe genuinely different conformal shapes that remain after local gauge fixing. Each such shape must be integrated over. The mapping class group consists of orientation-preserving diffeomorphisms modulo those continuously deformable to the identity; it identifies different markings of the same conformal surface, so only one representative of each class is counted. The worldsheet conformal Killing group is the continuous residual conformal symmetry of a chosen surface. It moves insertion positions without changing the geometry and must be divided out, usually by fixing enough vertex positions.

For a torus, write $z\sim z+1\sim z+\tau$, with $\mathrm{Im}\tau >0$. Its shape modulus is $\tau$, its mapping class group acts through the modular group, and its connected worldsheet conformal Killing group acts by translations. Thus the shape integral runs over the standard fundamental domain of the modular group, while one insertion position can be fixed by translation. On the sphere, three positions can instead be fixed by Möbius transformations; for genus at least two the continuous conformal Killing group is trivial.

Now use the half-normalized worldsheet diffeomorphism ghost operator in the question. A vector field $v^a$ can preserve the representative metric after a compensating Weyl transformation precisely when $P_{1}v=0$. The trace of the metric variation sets $\delta \omega =\frac{1}{2}{\nabla }_a{v}^a$, leaving the Conformal Killing equationThe kernel of this operator gives the infinitesimal worldsheet conformal Killing group.

For a surviving infinitesimal worldsheet modulus, choose its metric variation $t_{ab}$ orthogonal to all gauge variations. Orthogonality to Weyl transformations requires $h^{ab}{t}_{ab}=0$. On the closed surface, the formal adjoint of the worldsheet conformal Killing operator follows by integration by parts:Orthogonality to every diffeomorphism variation is therefore the adjoint-kernel condition, givingIn a local conformal coordinate these imply ${\partial }_{\bar{z}}{t}_{zz}=0$ and its conjugate: the moduli variations are represented by holomorphic quadratic differentials. Multiplying the definition of $P_1$ by two changes its adjoint by two but changes neither kernel.

For four tachyon vertex operators on the torus, there is one complex shape modulus, four complex insertion positions and one complex translation to remove. The worldsheet integration count after conformal gauge fixing is thereforeFix the fourth insertion at $z_4=0$. A schematic gauge-fixed expression isHere the antighost pair supplies the modulus measure, and the ghost pair at the fixed vertex absorbs the translation zero modes. The three unfixed positions and $\tau$ are the four complex integrations. The punctured Riemann surface moduli dimension gives the same result, $3g-3+n=4$. Target-spacetime zero-mode integrals producing momentum conservation are separate from this requested count of worldsheet integrations.

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.

Locally in the space of worldsheet metrics, divide out the volume of worldsheet diffeomorphisms and Weyl transformations. With stabilizer zero modes omitted, the inverse Faddeev-Popov determinant at a metric $g$ isThis is the linearized orbit integral: the delta functional is the product of the metric-component delta functions, and its Jacobian is the inverse determinant of the gauge-orbit map. The omitted zero modes and any metric moduli must be handled separately; this local formula is not an integration over the physical moduli themselves.

The trace elimination in string Faddeev-Popov gauge fixing is essential. In two dimensions, split the variation asThe second term is trace-free. Integration over $\omega$ removes the trace delta function, leaving $\int Dv\delta [P_{1}v]=(\det {}^{\prime }{P}_1{)}^{-1}$, with the measure understood through the metric inner products. Equivalently, a Fourier representation of the metric delta functional introduces a commuting symmetric tensor ${\beta }^{ab}$. Integration over $\omega$ enforces $g_{ab}{\beta }^{ab}=0$, and the remaining exponent is proportional to $\int \sqrt{g}{\beta }^{ab}(P_{1}v{)}_{ab}$. This gives the same inverse Faddeev-Popov determinant and explains why its tensor variable must be trace-free.

For the Polyakov path integral, insert the gauge-fixing identitywhere $\hat{g}(m)$ is a representative depending on the worldsheet moduli $m$. Gauge invariance of the action, measure, and Faddeev-Popov determinant lets us change variables along the gauge orbit. Its volume cancels the original gauge-group denominator, leaving an integral over $X$, the moduli, and the determinant evaluated at $\hat{g}$. This is how the determinant enters the numerator of the gauge-fixed integral, despite the inverse determinant occurring in the orbit integral above.

A fermionic Gaussian integral exponentiates $\det {}^{\prime }{P}_1$ using an anticommuting vector $c^a$ and an anticommuting symmetric trace-free tensor $b^{ab}$:The constant $C$ can be absorbed into $b$. In local complex conformal gauge, trace-freeness sets $b_{z\bar{z}}=0$. The only surviving components of the worldsheet diffeomorphism ghost operator are proportional to $\bar{\partial }{c}^z$ and $\partial c^{\bar{z}}$. Rescaling the antighost therefore gives exactly the chiral worldsheet ghost actionThe chiral bc ghost system has weights $h_b=2$, $h_c=-1$, with $b(z)c(w)\sim 1/(z-w)$. Its worldsheet stress tensor is $T_{\mathrm{gh}}=-2:b\partial c:-:(\partial b)c:$. Fermionic double Wick contractions in $T_{\mathrm{gh}}{T}_{\mathrm{gh}}$ give the fourth-order coefficient $-13$, hence central charge $c_{\mathrm{gh}}=-26$. More generally this calculation gives $c=1-3(2h_b-1{)}^2$. Each embedding scalar contributes one, so the total chiral central charge is $D-26$. The gauge-fixed quantum theory must have no worldsheet Weyl anomaly; consequently the critical dimension of the bosonic string is $D=26$. Zero-mode insertions for Conformal Killing vector fields and moduli do not change this local anomaly calculation.

For the Veneziano amplitude, first examine an ordered beta-function term. A pole occurs when $-{\alpha }^{\prime }s-1=-n$, with $n=0,1,2,\dots$, so the exchanged masses follow the open bosonic string mass spectrumThere is a tachyon at level zero, a massless vector at level one, then an infinite tower with equally spaced squared masses. In oscillator quantization these levels are $N=n$; the poles alone do not determine all oscillator degeneracies or all states that might fail to couple to the chosen external particles.

The Veneziano amplitude pole residue gives considerably more information than a pole position. Near $s_n=(n-1)/{\alpha }^{\prime }$, use $\Gamma (-n+ϵ)\sim (-1{)}^n/(n!ϵ)$ and $ϵ=-{\alpha }^{\prime }(s-s_n)$. The finite Gamma function ratio is a product of $n$ linear factors. Thus, for generic $t$,The empty product at $n=0$ is one. This degree-$n$ angular polynomial decomposes into spin partial waves; it reveals the spins that couple, up to maximal spin $n$ in the ordered channel, and the corresponding products of three-point couplings. For example, the level-one linear residue encodes vector exchange. A single external-state amplitude need not separate all states with the same mass and spin.

There is a qualification specific to the sum printed in the question. For four identical on-shell tachyons, $s+t+u=-4/{\alpha }^{\prime }$. At ${\alpha }^{\prime }s=n-1$, put $P_n(t)={\prod }_{j=1}^n({\alpha }^{\prime }t+j+1)$. Then ${\alpha }^{\prime }u=-n-3-{\alpha }^{\prime }t$, and reversing the product gives $P_n(u)=(-1{)}^n{P}_n(t)$. The $t,u$ beta-function term is regular at a generic $s$-channel pole. The residue of the full symmetric amplitude is therefore proportional toThis is odd-level pole cancellation in the symmetric Veneziano amplitude. The fully symmetrized identical-tachyon amplitude has only even-level poles at generic angle, including the tachyon but not the massless vector. This is an external-state selection rule, not removal of odd-level states from the string theory. Ordered amplitudes, or suitable amplitudes with color factors and different external states, retain those exchanges. Thus interpreting every candidate Gamma function pole as a pole of the printed sum would give a false inference about that amplitude.

At high energy with $x=-t/s\in (0,1)$ fixed, the Gamma function reflection formula followed by the Stirling formula gives the fixed-angle softness of an open-string amplitude:up to oscillatory factors and possible additional cancellations. The bracket is positive at a genuinely nonforward fixed angle. This is the envelope away from resonance poles, or the corresponding analytically continued asymptotic regime; it is not a uniform bound through real-axis poles. String scattering is exponentially soft at fixed angle, unlike the typical power-law behavior of point-particle interactions. The finite string length distributes a hard collision over an extended object. This is evidence of improved ultraviolet behavior, not by itself a proof that every loop amplitude is finite. The fixed-angle limit also differs from the fixed-$t$ Regge limit.

Use a mostly-plus target Minkowski spacetime metric and restore the string tension by $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string $d=26$. Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.

A tachyon vertex operator isThe worldsheet Green function is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. The operator product expansion with the holomorphic stress-energy tensor gives conformal weights $({\alpha }^{\prime }{k}^2/4,{\alpha }^{\prime }{k}^2/4)$. An integrated string vertex operator must have weights $(1,1)$, so the mass-shell condition is $k^2=4/{\alpha }^{\prime }$, or tachyonic mass parameter $m^2=-4/{\alpha }^{\prime }$.

At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry $c\bar{c}$, while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.

The integral over the constant embedding worldsheet zero mode gives $(2\pi {)}^d{\delta }^{(d)}({\sum }_i{k}_i)$. The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet $(z_1,z_2,z_3,z_4)=(0,z,1,\infty )$; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply $s+t+u=-16/{\alpha }^{\prime }$. Since ${\alpha }^{\prime }{k}_1\cdot k_2=-4-{\alpha }^{\prime }s/2$ and similarly for the pair $(2,3)$, the sphere tachyon position integral becomesHere $\mathcal{N}$ depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.

To evaluate the remaining worldsheet modulus, put $a=-1-{\alpha }^{\prime }s/4$ and $b=-1-{\alpha }^{\prime }t/4$. The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for $\mathrm{Re}a,\mathrm{Re}b>0$ and $\mathrm{Re}(a+b)<1$; the scattering result is its analytic continuation. The third gamma-function argument is $1-a-b=-1-{\alpha }^{\prime }u/4$. Absorbing $\pi$ into $\mathcal{N}$, the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at $q=4(N-1)/{\alpha }^{\prime }$, matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus $g$ has coupling power $g_s^{2g+2}$.

The ungauge-fixed Polyakov action has worldsheet diffeomorphism and Weyl transformation symmetries. They must survive quantization so that conformal gauge remains a valid gauge choice. In a curved target, the string nonlinear sigma model has a field-dependent coupling $g_{ab}(X)$. Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.

Restore the Euclidean normalization $(4\pi {\alpha }^{\prime }{)}^{-1}\int g_{ab}(X)\partial X^a\partial X^b$. Use a covariant background field expansion of a string sigma model, with geodesic fluctuations about a slowly varying embedding. The quadratic fluctuation operator contains the target Riemann curvature tensor coupled to two background embedding derivatives. The ultraviolet coincident propagator is $⟨{\xi }^a{\xi }^b{⟩}_{\mathrm{UV}}=\alpha \prime g^{ab}\log (\Lambda /\mu )$: the kinetic operator supplies $2\pi \alpha \prime$, and the two-dimensional momentum integral supplies $(2\pi {)}^{-1}\log (\Lambda /\mu )$. Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to $\alpha \prime R_{ab}$. The resulting one-loop metric counterterm givesThe trace of the worldsheet stress tensor contains this coefficient multiplying $\partial X^a\partial X^b$, together with the curvature anomaly controlled by total central charge. Thus, with zero antisymmetric background, constant dilaton, and the critical matter/ghost system,The central-charge condition also requires $d=26$ if there is no extra internal conformal theory. This is a leading-order equation: higher-curvature terms enter the beta function at higher orders in ${\alpha }^{\prime }$, so a Ricci-flat metric alone is not a general all-orders quantum consistency criterion.

To derive the local T-duality, work where the spacelike Killing vector has nonzero norm $V>0$. Use dimensionless coordinates and ${\alpha }^{\prime }=1$ units for the duality formulas. The isometry makes the action depend on $z$ only through its derivatives. Replace those derivatives by an independent worldsheet one-form $A_{\mu }$, and enforce its flatness with a Lagrange multiplier $\tilde{z}$. With ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1)$ and ${ϵ}^{\tau \sigma }=1$, the relevant first-order worldsheet duality action isVarying $\tilde{z}$ sets $dA=0$. Locally $A=dz$, recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying $A_{\nu }$ gives $V{A}^{\nu }={ϵ}^{\mu \nu }{\partial }_{\mu }\tilde{z}$, orSubstituting into the entire first-order worldsheet duality action, including the multiplier term, givesThe multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rulesThe coordinate map is ${\partial }_{\tau }\tilde{z}=V{\partial }_{\sigma }z$, ${\partial }_{\sigma }\tilde{z}=V{\partial }_{\tau }z$. The original $z$ equation is precisely the integrability condition for $\tilde{z}$; conversely the original identity $d(dz)=0$ becomes the dual equation. Thus this transformation exchanges an equation of motion with the Bianchi identity for an Abelian p-form. It reverses one chiral derivative and preserves the other.

For full closed-string equivalence, the local derivation must include the global data. For a free compact circle isometry, the period of $\tilde{z}$ and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius $R$ becomes a circle of radius ${\alpha }^{\prime }/R$ when dimensions are restored. A spacelike Killing field alone does not fix these periods or ensure a free global circle action; the global qualifications of Abelian T-duality are additional to the local field transformation.

At the quantum level integrating out $A_{\mu }$ also gives a regulated functional determinant. The Buscher dilaton shift isin the stated units and conventional Euclidean dilaton normalization. It generates the dilaton curvature coupling even though the original dilaton vanished. The dilaton curvature coupling is defined before fixing conformal gauge; its metric variation improves the worldsheet stress tensor even when the reference worldsheet is flat. As a normalization check, $e^{-2\tilde{\Phi }}\sqrt{|\tilde{g}|}=e^{-2\Phi }\sqrt{|g|}$ for this block-diagonal background. The local dual metric by itself is therefore only part of the equivalent quantum background.

With a nonconstant dilaton and no antisymmetric field, the leading metric-dilaton Weyl condition istogether with the scalar dilaton anomaly condition. It does not demand ${\tilde{R}}_{ab}=0$ separately. The new Ricci tensor can be nonzero while the Hessian of the shifted dilaton compensates it.

For a direct example, take flat polar coordinates away from the origin, with $d{s}^2=d{r}^2+r^{2}d{z}^2$ and flat spectator directions. The polar-coordinate T-dual background isHereBoth metric equations vanish. In critical dimension the scalar equation also holds: $4|\tilde{\nabla }\tilde{\Phi }{|}^2-4\tilde{\square }\tilde{\Phi }-\tilde{R}=4/r^2-8/r^2+4/r^2=0$. The example is local on $r>0$; the circle degenerates at the excluded origin.

Nonzero dual Ricci curvature is consistent because quantum T-duality transforms the dilaton as well as the metric. The displayed curvature equations and classical Buscher rules are interpreted at their stated leading derivative order; higher-order renormalized descriptions require the corresponding corrections and field-redefinition conventions. A constant $V$ is a special case in which the dual metric may also remain Ricci-flat.

Take an oriented closed string in flat, critical bosonic string theory, with ${\alpha }^{\prime }=1/(2\pi T)$ and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings $X$ and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action isTarget-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike $X^0$ would not be convergent.

An external tachyon is represented by the tachyon vertex operator $V_p(z,\bar{z})=:e^{ip\cdot X}:$, with conformal weights $h=\bar{h}={\alpha }^{\prime }{p}^2/4$. The physical integrated vertex has $(h,\bar{h})=(1,1)$, so $p^2=4/{\alpha }^{\prime }$. Schematically its tree amplitude isThe Faddeev-Popov determinant from conformal gauge is represented by the worldsheet ghost fields. At tree level the worldsheet is a Riemann sphere, whose unpunctured complex structure has no moduli. Its residual conformal automorphisms are the Möbius transformations, $PSL(2,\mathbb{C})$. Fix three insertion points, accompanying their unintegrated vertices by the required $c\tilde{c}$ ghost factors. The remaining $N-3$ complex insertion positions are integrated over the sphere; equivalently one integrates all positions and divides by the residual conformal group.