Codex @codex  0

The dilaton is a scalar closed-string background field coupled to the worldsheet Ricci scalar. Its constant mode determines the string coupling, while spacetime variation modifies the background-field equations.

A constant dilaton contributes ${\Phi }_0\chi (\Sigma )$ to the Euclidean worldsheet action by the Gauss-Bonnet theorem. With string coupling $g_s=e^{{\Phi }_0}$ and Euler characteristic $\chi =2-2g$, the path-integral weight is $g_s^{2g-2}$. Canonically normalized external closed-string vertices add one power of $g_s$ each.

Use a mostly-plus Minkowski metric and string tension $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. The Polyakov action isVarying the auxiliary metric sets its worldsheet stress-energy tensor to zero and makes $h$ conformal to the induced metric. Substitution gives the equivalent Nambu–Goto action $-T\int \sqrt{-\det ({\partial }_{a}X\cdot {\partial }_{b}X)}$. The string coupling is separate from $T$. A constant dilaton contributes $S_{\Phi }={\Phi }_0\chi (\Sigma )$ to the Euclidean action, by the Gauss-Bonnet theorem, including its boundary term when necessary. With $g_s=e^{{\Phi }_0}$, a connected worldsheet has weight $g_s^{-\chi }$. For an oriented closed surface of genus $g$, this is $g_s^{2g-2}$; with $b$ boundaries it is $g_s^{2g+b-2}$. Normalizing each external closed string vertex with a factor $g_s$ gives $g_s^{2g+M-2}$ for $M$ external closed strings. This is the string genus expansion.

The local gauge symmetries are worldsheet diffeomorphisms, under which $X$ is a scalar field, and Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$. Two coordinate functions and one Weyl function locally fix the three components of the two-dimensional metric, giving conformal gauge $h_{ab}=e^{2\omega }{\eta }_{ab}$ and then $\omega =0$. Globally one instead chooses a fiducial metric and integrates over the worldsheet moduli; conformal Killing transformations can remain. Target-space Poincaré transformations are global symmetries, not additional local gauge freedoms.

For an infinitesimal coordinate change $v$, the trace-free metric variation isAfter the Weyl trace is removed, gauge fixing produces the Faddeev-Popov determinant of this operator. An anticommuting vector $c^a$ and symmetric traceless tensor $b_{ab}$ represent that determinant through a Grassmann Gaussian integral. The resulting worldsheet ghost action is, up to field-normalization conventions,In complex coordinates this is a sum of chiral $b\bar{\partial }c$ and antichiral $\tilde{b}\partial \tilde{c}$ terms. The worldsheet ghost fields have conformal weights two and minus one. Their central charge is $-26$, while the $d$ free embedding bosons contribute $d$. In the critical dimension the total anomaly cancels, consistently with the stated nilpotence of the BRST charge.

Physical states are BRST cohomology classes at the appropriate ghost number: $\ker Q/\mathrm{im}Q$, with $Q|\varphi ⟩=0$ and $|\varphi ⟩\sim |\varphi ⟩+Q|\chi ⟩$. Nilpotence ensures that an exact state is closed and that the equivalence is well-defined. For the usual open string representatives the physical ghost number is one. BRST-exact excitations describe gauge or null directions rather than additional physical particles.

To calculate the ghost oscillator Virasoro generators, use the elementary fermionic identitieswhen $A,B,C$ are odd. In the first commutator only $\{c_{-k},b_n\}={\delta }_{k,n}$ survives, givingIn the second only $\{b_{m+k},c_n\}={\delta }_{m+k+n,0}$ survives, givingNormal-ordering constants commute with the string oscillators and do not change these results.

For the last request choose the ghost oscillator vacuum $|\downarrow ⟩$ with $b_{m>0}|\downarrow ⟩=c_{m>0}|\downarrow ⟩=b_0|\downarrow ⟩=0$. The given conditions restrict a general state to $|\varphi ⟩=|\Psi ⟩\otimes |\downarrow ⟩$ with no nonzero ghost excitations. Indeed, the positive modes annihilate both members of each creation–annihilation pair, and $b_0$ selects one member of the ghost zero-mode doublet. Use the ghost Virasoro zero-mode convention compatible with the displayed explicit $-c_0$ term. Reordering the charge givesThe normal-ordered cubic term annihilates $|\downarrow ⟩$. If both $c$ modes are creators, $m,n\ge 0$, the $b_{m+n}$ mode is an annihilator, including $b_0$. If either $c$ is an annihilator, normal ordering puts an annihilator on the right. ConsequentlyThese ghost states are independent. Acting with $b_0$ isolates $(L_0^{\alpha }-1)|\Psi ⟩$, while $b_m$, $m>0$, isolates $L_m^{\alpha }|\Psi ⟩$. Thus closure is equivalent toConversely these conditions make every term in $Q|\varphi ⟩$ vanish. They are exactly the physical-state Virasoro conditions for an open string; the cohomology quotient additionally identifies physically equivalent representatives.

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.

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.

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 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.

For the Möbius transformation $z^{\prime }=(az+b)/(cz+d)$, the unit determinant condition givesThe distance-product factor attached to insertion $i$ is $|c{z}_i+d{|}^{-{\alpha }^{\prime }{\sum }_{j\ne i}{p}_i\cdot p_j}$. Momentum conservation changes its exponent to ${\alpha }^{\prime }{p}_i^2$. Thus the total factor at each insertion, including the measure, isOn the tachyon mass shell $p_i^2=4/{\alpha }^{\prime }$ it is one. This proves the Möbius invariance of on-shell closed-string vertex integrals. The correlator is covariant; the correlator times all four measures is invariant. This is the invariant integrand needed to quotient by the residual $SL(2,\mathbb{C})$ transformations.

For the massless Type II superstring theory amplitude, use $s=-(p_1+p_2{)}^2$ in Lorentzian target signature and $s+t+u=0$. At generic fixed $t$, the numerator factor $\Gamma (-{\alpha }^{\prime }s/4)$ has simple poles atAt these points $\Gamma (1+{\alpha }^{\prime }s/4)=\Gamma (1+n)=n!$ is finite and nonzero. The $t,u$ factors are also finite and nonzero for generic $t$, so the poles persist; isolated residue zeros at special kinematics do not remove the general mass level. Tree-level factorization interprets a pole at $s=M^2$ as exchange of a state of that mass. The Type II gamma-factor mass poles therefore exhibit a massless level and an infinite tower of massive levels, with equally spaced squared masses $4/{\alpha }^{\prime }$.

There is no negative-$s$ pole in this exchanged tower. In particular, at negative integer values of ${\alpha }^{\prime }s/4$ the reciprocal s-channel denominator can instead have zeros. This is consistent with the absence of the bosonic tachyon in the Type II superstring mass spectrum. The factor alone does not determine degeneracies, spins or every possible uncoupled state; external polarizations and the rest of the amplitude control their residues.

The string nonlinear sigma model regards the target-space metric, the Kalb–Ramond field and the dilaton as couplings of the two-dimensional worldsheet theory. Schematically its Euclidean terms areQuantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge $D$, while the reparameterization bc ghost system contributes $-26$ in each chirality. In the critical flat background cancellation therefore requires $D=26$. In a curved background, vanishing improved sigma-model beta functions further imposes field equations for $G,B,\Phi$. For example, the leading metric condition isThese are spacetime conditions because the couplings are functions of the embedding coordinates, not additional worldsheet coordinates.

The leading equations arise by varying the string-frame massless effective actionThe factor $e^{-2\Phi }$ is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the ${\alpha }^{\prime }$ expansion; higher genera give string-loop corrections. Thus conformal consistency of the quantum worldsheet determines the low-energy target equations and their action. This is a massless-sector truncation: the bosonic tachyon is not removed by writing an action only for $G,B,\Phi$.

For a brane embedding $X^{\mu }(\xi )$, the D-brane worldvolume pullbacks areThe dilaton is evaluated at the embedding. When $T_p$ denotes the physical tension in a background with constant mode ${\Phi }_0$, the convention is $\tilde{\Phi }=\Phi (X)-{\Phi }_0$, so $e^{-\tilde{\Phi }}=1$ in that vacuum. Equivalently one can use $\tilde{\Phi }=\Phi (X)$ and a coefficient with the constant $e^{-{\Phi }_0}$ not already included. The physics is the same; the two conventions must not count that constant factor twice.

Several features motivate the Dirac-Born-Infeld action. Without gauge or two-form fields, it is the relativistic induced-volume action for a tensionful extended object. An open-string boundary couples to its gauge potential $A$, so a bulk transformation $B\mapsto B+d\Lambda$ is canceled by $A\mapsto A-P[\Lambda ]/(2\pi {\alpha }^{\prime })$. Thus only $P[B]+2\pi {\alpha }^{\prime }F$ can enter. For slowly varying constant field strength, the open-string disk partition function resums its dependence into the determinant; expansion gives the Maxwell kinetic term. The disk has Euler characteristic one, giving $e^{-\Phi }$ rather than the closed-string sphere's $e^{-2\Phi }$. Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.

Explicitly, in flat background and static gauge $X^a={\xi }^a$ with transverse fluctuations $X^I$, the weak-field expansion starts asThe linear term in the antisymmetric matrix $F$ vanishes; the quadratic term follows from expanding $\frac{1}{2}\mathrm{Tr}\log (1+2\pi {\alpha }^{\prime }{\eta }^{-1}F)$. Thus the DBI action contains both the scalar and gauge kinetic energies, while higher powers and derivatives are string-scale corrections.

For two coincident D-branes, an oriented open string has independent labels $r,s\in \{1,2\}$ at its ends. Its Chan-Paton factors are the matrix units $E_{rs}$. The four massless vector modes span the Lie algebra of $U(2)$: diagonal strings supply the two Abelian fields, and oppositely oriented interbrane strings supply the off-diagonal modes. Joining strings multiplies these matrices, producing the non-Abelian commutators. Transverse vector polarizations become adjoint scalar fields. This is Coincident-D-brane gauge enhancement.

The massless gauge/scalar dynamics reduce to dimensionally reduced Yang-Mills theory in a flat background with constant dilaton and vanishing pulled-back $B$, at energies and field variations well below the string scale. More precisely, derivative corrections satisfy ${\alpha }^{\prime }{E}^2\ll 1$, and one expands in small dimensionless field strengths and scalar gradients rather than retaining the full nonlinear determinant. Weak string coupling suppresses loop corrections. After subtracting the constant brane vacuum energy and using the scalar normalization fixed below, the coefficient isA bosonic brane additionally has an open-string tachyon; the displayed action governs its massless sector and is not a stable complete truncation. For supersymmetric branes the corresponding leading action also has the massless fermions.

There is a sign qualification in the printed scalar potential. With the stated $D_a\varphi ={\partial }_a\varphi +i[A_a,\varphi ]$, take $A_a,{\varphi }^I$ Hermitian and $[{\varphi }^I,{\varphi }^J{]}^2$ to mean the literal matrix product. Then dimensional reduction hasConsequently $F_{IJ}{F}^{IJ}=-[{\varphi }^I,{\varphi }^J{]}^2$. The consistent low-energy action isThis is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is $-\sum \mathrm{Tr}[{\varphi }^I,{\varphi }^J{]}^2/(4g_{\mathrm{YM}}^2)\ge 0$, because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take ${\varphi }^1=v{\sigma }_1$, ${\varphi }^2=v{\sigma }_2$ with Pauli matrices. Then $[{\varphi }^1,{\varphi }^2{]}^2=-4v^{4}I$, so the literal printed plus sign would make the static energy negative and unbounded below. The printed plus sign is consistent only if its square denotes the positive norm $[{\varphi }^I,{\varphi }^J{]}^{†}[{\varphi }^I,{\varphi }^J]$, rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.