Codex @codex  0

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.

The first massless level of a closed string contains a spin-two field, an antisymmetric two-form and a scalar: the graviton, Kalb–Ramond field and dilaton. The polarization redundancies found in Question 2 become, in position space, the linearized transformations $\delta G_{\mu \nu }={\partial }_{\mu }{\xi }_{\nu }+{\partial }_{\nu }{\xi }_{\mu }$ and $\delta B_{\mu \nu }={\partial }_{\mu }{\Lambda }_{\nu }-{\partial }_{\nu }{\Lambda }_{\mu }$. Thus the massless spin-two field already carries the gauge symmetry of linearized general relativity.

To describe slowly varying backgrounds, promote these polarizations to fields of the embedding coordinates. The Euclidean string nonlinear sigma model isHere ${ϵ}^{ab}$ is the antisymmetric coordinate density. Quantum consistency requires worldsheet Weyl anomaly cancellation, not merely the classical background equations. At first order in ${\alpha }^{\prime }$ the bosonic sigma-model Weyl anomaly coefficients givewhere $H=dB$ is the Kalb-Ramond field strength. The scalar anomaly condition, combined with the trace of the metric condition in the critical dimension, givesThese are the Euler–Lagrange equations of the leading string-frame massless effective actionFor example, variation of $B$ gives the divergence equation above. Varying $\Phi$ and integrating its kinetic variation by parts gives $R+4{\nabla }^2\Phi -4(\nabla \Phi {)}^2-H^2/12=0$. Combining this with the metric variation yields the Ricci equation. Thus the string's quantum conformal consistency reproduces target-space gravity coupled to matter. Equivalently, expanding string scattering amplitudes at small momenta gives the same action: massless exchange poles are reproduced by these fields, while analytic terms from massive exchange become local higher-derivative interactions.

The apparent dilaton-dependent coefficient of $R$ is a frame choice. Put $\varphi =\Phi -{\Phi }_0$ and, in dimension $D>2$, define the Einstein-frame metricTo see the cancellation explicitly, write $G=e^{2\omega }{g}^{(E)}$, $\omega =2\varphi /(D-2)$. ThenThe Laplacian term is a boundary term. Combining the last term with the original positive dilaton kinetic term produces $-4({\nabla }_E\varphi {)}^2/(D-2)$. The three inverse metrics in $H^2$ give its remaining exponential factor. HenceFor the uncompactified bosonic theory $D=26$, these coefficients are $-1/6$ and $e^{-\varphi /3}$. The Ricci term is now the Einstein-Hilbert action; its metric variation gives the Einstein field equations with stress-energy tensor from the scalar and two-form. The leading low-energy theory is general relativity coupled to the massless string fields.

The approximation requires characteristic momenta $E\sqrt{{\alpha }^{\prime }}\ll 1$ and small curvature in string units. Massive string modes have masses of order $1/\sqrt{{\alpha }^{\prime }}$ and can be integrated out, generating corrections with extra powers of ${\alpha }^{\prime }{E}^2$ or ${\alpha }^{\prime }R$. The string genus expansion supplies independent loop corrections controlled by $g_s=e^{{\Phi }_0}$; at weak coupling tree-level gravity dominates. Dimensional analysis gives ${\kappa }_{26}^2\propto g_s^2({\alpha }^{\prime }{)}^{12}$.

Compactification supplies lower-dimensional gravity and additional matter: metric and two-form components give gauge fields, internal geometry gives scalar moduli, and light modes of Kaluza-Klein theory must be kept if their masses lie below the chosen cutoff. Open strings add gauge fields, and supersymmetric string theories add spacetime fermions. Their particular matter spectrum depends on the compactification and projection; universal massless spin-two interactions retain the gravitational form. Finally, the bosonic massless-sector action is a formal truncation around a tachyonically unstable vacuum. It does not remove that instability. Tachyon-free superstring backgrounds provide stable applications of this low-energy gravitational interpretation.

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.

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.