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 are
Quantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge , while the reparameterization bc ghost system contributes in each chirality. In the critical flat background cancellation therefore requires . In a curved background, vanishing improved sigma-model beta functions further imposes field equations for . For example, the leading metric condition is
These 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 action
The factor is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the 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 .
For a brane embedding , the D-brane worldvolume pullbacks are
The dilaton is evaluated at the embedding. When denotes the physical tension in a background with constant mode , the convention is , so in that vacuum. Equivalently one can use and a coefficient with the constant 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 , so a bulk transformation is canceled by . Thus only 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 rather than the closed-string sphere's . Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.
Explicitly, in flat background and static gauge with transverse fluctuations , the weak-field expansion starts as
The linear term in the antisymmetric matrix vanishes; the quadratic term follows from expanding . 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 at its ends. Its Chan-Paton factors are the matrix units . The four massless vector modes span the Lie algebra of : 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 , at energies and field variations well below the string scale. More precisely, derivative corrections satisfy , 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 is
A 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 , take Hermitian and to mean the literal matrix product. Then dimensional reduction has
Consequently . The consistent low-energy action is
This is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is , because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take , with Pauli matrices. Then , 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 , rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.
In an ordinary separated-brane vacuum the scalar expectation values commute and can be simultaneously diagonalized:
Their eigenvalue vectors specify the transverse positions, up to the normalization to be determined. The trace encodes the center of mass; their difference encodes separation. When the two vectors coincide, every transformation commutes with the vacuum. When they are distinct, only independent diagonal phases do, so the unbroken group is . The off-diagonal vectors acquire mass by the Higgs mechanism.
Write the off-diagonal entries of as and and put . At a constant diagonal vacuum, , so
The quadratic off-diagonal gauge kinetic term is with , and the scalar kinetic term supplies . Comparing these with the complex massive-vector action gives
Here the term W-boson means this broken-generator vector, not specifically an electroweak particle. The normalization places the gauge coupling outside the action, so no extra multiplies these ; rescaling to canonically normalized scalar fields moves that coupling into the usual Higgs mass formula.
The corresponding open-string vector oscillator stretched over distance has classical stretching mass . Its unstretched mass contribution vanishes because it is the vector level, rather than the bosonic tachyon level. Equating it with the gauge-theory mass gives
The component relation follows by rotational covariance and a common choice of transverse origin; a uniform translation adds the same constant to both brane coordinates. This is the D-brane scalar-position normalization. Together with the string tension determined in Question 1, it fixes the exact normalization of scalar eigenvalues as brane positions.
Use the free-boson operator product expansion
Write and . The needed Wick contractions are and . For , the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in , while the other contracts with . Including the factor gives
A primary operator has no cubic pole. Hence the first vertex is primary precisely when
The antiholomorphic conformal weight is . Primarity alone puts no mass-shell condition on .
For , the holomorphic cubic pole is . The antiholomorphic operator product expansion gives the analogous pole involving . Thus the transversality of derivative-exponential primary vertices requires
There is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights ; for this vertex that gives .
Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external through gives
Multiplying by and Taylor expanding at produces
This proves that is a primary operator with weight . To find the central charge, in the two double-contraction pairings contribute, before the overall factor ,
The single Wick contractions give , so
Comparing the leading term with proves , as in the free chiral Majorana fermion conformal field theory.
With four embedding bosons and the ordinary reparameterization bc ghost system, cancellation of the worldsheet Weyl anomaly in each chirality requires
Thus there are 44 real left-moving and 44 real right-moving fermions, equivalently 44 two-dimensional nonchiral Majorana fermions. These are internal free fermions in a four-dimensional bosonic string. Adding internal matter to the bosonic string does not introduce local worldsheet supersymmetry or its superghosts.
For the requested polynomial string vertex operators, work in the unprojected Neveu–Schwarz sector. A full model also chooses spin structures and a consistent projection, which the central-charge condition alone does not specify. If the holomorphic and antiholomorphic oscillator contributions to the conformal weights are , physicality requires
Therefore only equal levels at most one can contribute to the requested nonpositive bosonic string mass spectrum.
With zero fermion insertions, level zero gives the tachyon vertex operator , a scalar with . Level one gives the massless closed-string vertex operator , with the transverse conditions above and the string-state gauge redundancy that removes longitudinal polarizations. The physical transverse polarization tensor decomposes into a symmetric trace-free graviton, an antisymmetric Kalb–Ramond field, and a scalar dilaton. In four spacetime dimensions these have respectively two, one, and one physical polarizations; the two-form can be dualized to a scalar.
With two fermion insertions there are two possibilities. One fermion in each chirality gives
These are scalar tachyons before any projection. There is no spacetime derivative or spacetime polarization to impose a vector transversality condition.
Two different fermions in the same chirality form an antisymmetric fermion bilinear, a weight-one current ; equal-species undifferentiated bilinears vanish. Closed-string level matching then requires a weight-one bosonic derivative in the opposite chirality. The resulting string vertex operators are
They have and are gauge vectors, with and , and likewise for . Each chirality supplies gauge vectors. The fermion bilinears generate the two current algebras associated with the Special orthogonal Lie algebra, giving the unprojected gauge group . The tempting vertex alone fails closed-string level matching because its weights are before the common momentum contribution. Additional derivatives raise the levels above the nonpositive-mass range; a product of a left and a right bilinear has four fermion insertions and is outside this requested sector. This completes the zero- and two-fermion vertices of an internally fermionized bosonic string; a specified global projection can remove some of the listed states.
Choose a Euclidean string worldsheet and the usual normalization of the Polyakov action. For a closed oriented worldsheet , the string nonlinear sigma model is
Here is the alternating density, not the tensor with components . The imaginary coefficient in the Kalb–Ramond field term is the Euclidean continuation; in Lorentzian signature this term is real. is the spacetime metric and the dilaton.
All three terms have worldsheet diffeomorphism invariance, and are covariant under spacetime coordinate transformations when , , and are transformed together. Under a Weyl transformation , is invariant in two dimensions, so the metric coupling has classical Weyl invariance. The antisymmetric coupling is independent of the worldsheet metric, so it too has classical Weyl invariance.
The curvature coupling requires care. An infinitesimal Weyl transformation gives . Integration by parts on the closed worldsheet therefore gives the Weyl variation of a nonconstant dilaton coupling:
A constant dilaton coupling is topological and Weyl invariant; a general varying dilaton coupling is not separately classically Weyl invariant. Its classical variation participates in canceling the quantum worldsheet Weyl anomaly, producing the improved background equations below.
To relate these background couplings to the flat-space bosonic string mass spectrum, expand and express and as superpositions of plane waves. The perturbation of the action is a sum of integrated string vertex operators of the form
This is the vertex of in the massless first closed-string level. Its conformal weights are , so marginality gives . The primary operator conditions give transversality, and the string-state gauge redundancy removes longitudinal components. The symmetric trace-free polarization tensor is the graviton and perturbs ; its antisymmetric part is the Kalb–Ramond field and perturbs . The scalar physical polarization is the dilaton. At the level of background fields its vertex involves the metric trace and the curvature improvement, so an arbitrary off-shell metric trace should not simply be identified with the physical dilaton without this distinction.
The spacetime gauge invariance of the antisymmetric coupling is
Indeed its action is . Its variation is
for a closed worldsheet, by Stokes theorem. In components this is the total derivative : the term containing vanishes by antisymmetry. Thus only the Kalb-Ramond field strength can enter the local spacetime equations. With boundaries, a compensating boundary gauge-field transformation is needed.
Separate the dilaton into a constant and a varying part. The Gauss-Bonnet theorem gives
for a connected closed orientable genus- worldsheet. Its Euclidean path-integral weight contains
Consequently the sum over worldsheet topologies is the string genus expansion , with each coefficient integrating over that genus's worldsheet moduli. Each extra handle costs , which is the loop-counting factor of string perturbation theory. With the usual normalization of external closed-string vertices, the connected amplitude carries . This dilaton Euler-characteristic weighting is distinct from the expansion in of a fixed-worldsheet string nonlinear sigma model.
Finally quantize that two-dimensional theory. The background fields are its couplings. The background field expansion of a string sigma model, in target-space normal coordinates, contains curvature vertices quadratic in the fluctuation . Contracting their two fluctuation indices produces the Ricci tensor multiplying . Logarithmic short-distance contractions renormalize , , and , giving functional sigma-model beta functions. Gauge independence requires vanishing of the worldsheet Weyl anomaly, including the classical improvement from the varying dilaton, not merely an arbitrary choice of renormalization scale.
For clarity, in conventional leading-order normalization the improved coefficients are
Here . The constant term in the dilaton coefficient is the matter-plus-ghost central charge deficit. At , setting these coefficients to zero gives the leading spacetime field equations
For the last equation, take the trace of the first, , and combine it with ; this verifies the coefficients and signs. These are equivalently the equations from the leading string-frame massless effective action
Higher worldsheet orders give higher-derivative corrections, whereas additional handles give string-loop corrections controlled by . Thus quantum consistency of a two-dimensional string nonlinear sigma model determines the dynamics of its spacetime background fields. These leading coefficient conventions agree with the primary string-theory lectures' background-field calculation.
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 . Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.
Restore the Euclidean normalization . 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 : the kinetic operator supplies , and the two-dimensional momentum integral supplies . Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to . The resulting one-loop metric counterterm gives
The trace of the worldsheet stress tensor contains this coefficient multiplying , 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 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 , 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 . Use dimensionless coordinates and units for the duality formulas. The isometry makes the action depend on only through its derivatives. Replace those derivatives by an independent worldsheet one-form , and enforce its flatness with a Lagrange multiplier . With and , the relevant first-order worldsheet duality action is
Varying sets . Locally , recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying gives , or
Substituting into the entire first-order worldsheet duality action, including the multiplier term, gives
The multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rules
The coordinate map is , . The original equation is precisely the integrability condition for ; conversely the original identity 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 and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius becomes a circle of radius 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 also gives a regulated functional determinant. The Buscher dilaton shift is
in 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, 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 is
together with the scalar dilaton anomaly condition. It does not demand 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 and flat spectator directions. The polar-coordinate T-dual background is
Here
Both metric equations vanish. In critical dimension the scalar equation also holds: . The example is local on ; 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 is a special case in which the dual metric may also remain Ricci-flat.
Actions and equations. Use a mostly-plus Minkowski metric and define the induced worldsheet metric . For a nondegenerate timelike worldsheet, the Nambu–Goto action is
Varying the independent metric in the Polyakov action sets its worldsheet stress tensor to zero:
In two dimensions this says for a positive local factor. The factor drops out of , and substitution gives the Nambu–Goto action. Conversely, any nondegenerate induced metric solves the auxiliary-metric equation up to a Weyl transformation. This classical equivalence of Polyakov and Nambu–Goto actions is a statement about classical embeddings; quantum equivalence additionally requires treatment of the metric measure and anomaly.
Variation of in the metric action, followed by elimination of , gives the Nambu–Goto equations of motion
A closed string has periodic and no spatial endpoint variation.
For a background metric , Kalb–Ramond field , and dilaton , one consistent Lorentzian convention is
The orientation fixes the two-form sign; here the Lorentzian curvature convention is chosen so Wick rotation gives the positive Euclidean dilaton term . This avoids hiding the convention in the topology argument. For constant vacuum value , the Gauss-Bonnet theorem gives . A connected closed oriented surface of genus has Euler characteristic , so
The connected vacuum amplitude has a string genus expansion ; disconnected vacuum diagrams exponentiate the connected sum. Each additional handle supplies a factor . This is dilaton Euler-characteristic weighting.
The rotating circle. For the specified embedding, the squared spatial speed and tangent length are both , and their spatial inner product is zero. Including therefore gives
The metric is constant. Its equation reduces to , satisfied by the left- and right-moving trigonometric components and the linear time component. On a constant-time slice with , the proper length of a string is
It is time-independent.
Let be an ordinary two-dimensional rotation matrix. Rotate the first coordinate pair by and the second by . In these time-dependent Cartesian coordinates both pairs become . A further fixed orthogonal change of basis gives
Thus every spatial slice is a planar circle of radius ; its plane rotates in the ambient four-space. This is a rigid circular string in four spatial dimensions, not a pulsating circle. The rotating axes establish its spatial shape, not a transformation to an inertial spacetime frame.
The momentum density obtained from the Nambu–Goto action is . Here , hence the conserved target-space energy is
The material velocity is transverse to the tangent and has magnitude . Its Lorentz factor is , so the excess over is kinetic energy. The spatial circle being stationary in rotating axes does not eliminate this energy.
Constraints and endpoints. Varying the multipliers in the Nambu-Goto phase-space action imposes
These are first-class constraints generating normal and tangential worldsheet diffeomorphisms. They remove the two longitudinal embedding degrees of freedom; they are not extra physical force laws. Hamilton's equations are
For an open string, integration by parts leaves the spatial boundary variation
Allowed variational open-string boundary conditions must make this vanish for every permitted endpoint displacement, and be preserved by the evolution. The bracketed expression is the open-string endpoint momentum flux. For free displacements, set that flux to zero. In a boundary-preserving gauge with and finite nonzero , this is the Neumann boundary condition at each end. This shows that free-end string boundary conditions are consistent.
At such an end, gives , and gives . For a nontrivial endpoint trajectory with nonzero time velocity, its spatial speed is therefore one. This null motion of a free string endpoint follows from the boundary condition together with the constraints, not merely from the bulk wave equation. The induced metric may degenerate right at a free end; the result is understood as the endpoint limit or in the Polyakov description.
For a fixed spatial -plane, split coordinates into along its -dimensional worldvolume, including time, and transverse to it. Set and at the ends. Tangential variations are free and their momentum flux vanishes; normal variations vanish, so their flux need not vanish. Evolution preserves the fixed normal values with at the boundary in the same gauge. These mixed Neumann boundary conditions and Dirichlet boundary conditions consistently restrict the endpoint worldlines to the plane.
The massless open-string excitations then separate into a gauge vector along the worldvolume and transverse scalar fields. A scalar displacement changes the corresponding ; its interpretation is a fluctuation of the plane's embedding. These worldvolume fields from open-string massless states support the interpretation as a dynamical planar D-brane. In the bosonic theory the still lower ground state is a tachyon, indicating an unstable brane; the interpretation does not require pretending that this tachyon is a stable massless field. Appropriate superstring sectors can remove that instability.
Use , transverse coordinates , , and the Minkowski metric
The relativistic particle phase-space action becomes
In the light cone gauge , solve the mass-shell condition for , assuming . The reduced phase-space action is , with
The last equality selects the future-directed momentum sector and makes positivity transparent. With and , the Schrödinger equation is
The inverse acts only on Fourier modes with nonzero . Multiplication by gives . Therefore
The light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.
For the massive two-form field, take . Apply to its field equation. Antisymmetry of makes , so
Expanding , the other divergence terms vanish by this condition, leaving . The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation is
Taking and , respectively, gives
The equation follows from these expressions: the two terms containing cancel and . Consequently and are independent, each satisfying the Klein-Gordon equation with mass . The number of independent particle polarizations is
This is the exterior square of the vector representation of the massive little group . In the analogous Proca equation, determines from and , leaving components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If , instead use the two-form gauge field symmetry : the light-cone gauge for a two-form removes , leaving transverse particle polarizations. The massive and massless counts are different.
In the closed-string mode expansion, are center-of-mass canonical variables, while are independent left- and right-moving transverse string oscillators. Their complex conjugates are . The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators are
Their quantum definitions use normal ordering. The symplectic terms in the phase-space action give
with all brackets between distinct sectors zero. The nonzero-index string oscillators obey and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum by
For , has . Hence
Starting with , a finite product with creation operators of mode has eigenvalue . The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces .
There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string , these are
At the massless first closed-string level, the states are
Their transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts , , and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes . Equivalently, regularized transverse zero-point energy gives , and Lorentz consistency fixes the critical dimension of the bosonic string .
It follows that the bosonic string mass spectrum is
The ground state has and is a tachyon; level one is massless; for the mass is . The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical .
A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector are
They have components and assemble into the symmetric traceless square of the massive little group vector space . The full closed-string level is . For two symmetric trace-free matrices , the map
is an equivariant map onto antisymmetric matrices. To verify surjectivity, take diagonal with distinct entries in positions and with only its symmetric entry nonzero. Their commutator gives the antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly particle polarizations and is described by the massive field equation with . At this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components and 276 components .
Take an oriented closed string in flat, critical bosonic string theory, with and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action is
Target-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike would not be convergent.
An external tachyon is represented by the tachyon vertex operator , with conformal weights . The physical integrated vertex has , so . Schematically its tree amplitude is
The 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, . Fix three insertion points, accompanying their unintegrated vertices by the required ghost factors. The remaining complex insertion positions are integrated over the sphere; equivalently one integrates all positions and divides by the residual conformal group.
The embedding fields are free, with
Their zero-mode integral gives momentum conservation, and their nonzero-mode Gaussian integral gives the Koba-Nielsen factor
This explains the sphere tachyon position integral without needing its evaluation. For four tachyons the resulting Virasoro–Shapiro amplitude displays the exchanged string spectrum directly.
Use all-incoming external momenta and introduce alongside the two printed dimensionless Mandelstam variables. Since and , one obtains . The physical center-of-mass energy squared in the channel is . The channel measures the analogous crossed momentum transfer, with sign determined by the mostly-plus convention. Rewriting the Gamma factors in a symmetric form gives
The Gamma function poles imply, at generic fixed values of the other invariant,
The denominator Gamma factors can remove residues at special intersecting channel kinematics; the statement concerns a generic single-channel limit. An -channel pole occurs when the intermediate momentum satisfies the mass-shell condition for a closed-string state:
The pole at exchanges the ground-state tachyon, the pole at exchanges massless states, and the positive integer poles exchange the infinite massive tower. The -channel interpretation is the crossed version. Factorization means that each residue is a sum of products of couplings to intermediate physical states that couple to the chosen external particles. It need not expose every representation at that mass.
For example, the Gamma function recurrence and Gamma function residue at a nonpositive integer give the dimensionless Virasoro–Shapiro amplitude pole residue
The residue polynomial has degree , consistent with maximum spin in the exchanged level. The amplitude also has the corresponding -channel poles by crossing symmetry.
The massless fields can be treated as target backgrounds rather than separate asymptotic insertions. Write the target metric as , introduce a Kalb–Ramond field , and a dilaton . In conventional Euclidean signs their string nonlinear sigma model action is
Here is the antisymmetric tensor density. The three backgrounds correspond to the graviton, antisymmetric tensor and scalar states at closed-string level one. Expanding the vacuum functional in , then Fourier expanding the backgrounds, produces exactly their integrated string vertex operators. Its functional derivatives therefore generate the amplitudes with massless external strings. The connected vacuum functional organizes connected amplitudes; the spacetime effective action organizes the corresponding vertices after treating massless propagation consistently.
At momenta small compared with , massive string propagators can be expanded in powers of momenta over their masses. The analytic part of the amplitudes consequently determines local higher-derivative interactions, ordered by powers of . Massless exchange poles are retained through propagation of the massless fields, rather than expanded into local contact terms. Up to field redefinitions, the leading massless-sector action in the string-frame metric is
The terms denoted contain additional derivatives, including curvature-squared terms in the bosonic theory. The expansion concerns the massless sector around the perturbative bosonic background; the tachyon instability remains and is not cured by omitting its field from this displayed action. Thus this is a formal perturbative effective description, not a claim of a stable bosonic vacuum.
Finally split the dilaton into a constant and its variation, . By the Gauss-Bonnet theorem, its dilaton Euler-characteristic weighting on a connected closed oriented surface follows from
Define the string coupling by . A genus- path integral is weighted by
The sphere carries , the torus carries , and each extra handle adds . At higher genus one integrates over complex-structure moduli as well as insertion points, with the associated antighost insertions supplying the correct moduli measure. With canonically normalized external vertices an -point genus- amplitude scales as .
Summing connected worldsheets of every genus of a surface yields the string-loop effective action expansion
Each coefficient has its own low-energy expansion. The two parameters have different roles: resolves finite string size through higher derivatives, while counts additional string loops.
The fields constitute an RNS string coupled to two-dimensional worldsheet supersymmetry. The zweibein and worldsheet gravitino impose constraints; they do not supply extra propagating string polarizations. Worldsheet diffeomorphisms, local frame rotations and Weyl transformations put the metric locally in conformal gauge, . Local supersymmetry together with super-Weyl symmetry removes the worldsheet gravitino, giving superconformal gauge . On a general closed worldsheet, moduli and spin structures remain and must still be summed or integrated over; gauge fixing is not a declaration that every surface is globally a flat cylinder.
Variation with respect to the metric and worldsheet gravitino before gauge fixing gives the stress-tensor and supercurrent constraints and . The remaining matter consists of free and their worldsheet fermions. In covariant quantization, these become the N=1 super-Virasoro algebra physical-state conditions: positive Virasoro and supercurrent modes annihilate a physical state, , and the R sector also has the zero-mode condition . Null gauge states are quotiented out. Equivalently, physical states are BRST cohomology classes, so BRST-exact operators do not represent additional physical states.
The diffeomorphism ghosts have central charge , while the bosonic superconformal ghosts have charge . Matter contributes . Therefore quantum gauge consistency requires
This is the critical dimension of the RNS superstring. In light-cone gauge in string theory, choose nonzero , make linear in worldsheet time and set . The stress-tensor and supercurrent constraints solve for the longitudinal and oscillators. Only eight transverse bosons and eight transverse fermions remain, with positive norm. This explicitly eliminates the time-like and longitudinal unphysical states.
In a chiral sector the fermions have half-integral modes in the NS sector and integral modes in the R sector. The normal-ordering constant of a string is and . The GSO projection retains odd fermion-excitation parity in the NS sector, removing its tachyonic vacuum. In the R sector it keeps one chirality of the zero-mode spinor, with oscillator parity included in the projection. The Ramond zero-mode Clifford algebra then leaves eight ground-state polarizations in light-cone gauge in string theory.
Worldsheet supersymmetry alone does not imply spacetime supersymmetry. The GSO projection makes the spinorial worldsheet currents mutually local with the retained vertex operators and pairs their NS and R states. More explicitly, let be an RNS spin field and the bosonized superghost scalar. The spacetime supercharges are generated by
and similarly in the other chiral sector. The spin field has conformal weight , and its superghost factor has weight , so the current has weight one. Its operator products generate the spacetime translation operator; schematically . This is the spacetime supercharge from an RNS spin field. For type IIA superstring theory, the left and right Ramond projections select opposite ten-dimensional Majorana-Weyl chiralities, giving 32 real supercharges and a nonchiral spacetime theory.
The massless physical states are best counted with the transverse little group . Choose the left Ramond ground representation and the right one . Then
The NS-NS sector supplies the graviton, Kalb–Ramond field and dilaton, with , and polarizations. The RR sector supplies a one-form potential and a three-form potential, with and polarizations. The mixed sectors supply two gravitinos of opposite chirality, each with polarizations, and two dilatinos, each with . Covariantly the dilatino has chirality opposite to its corresponding supersymmetry parameter; the two chirality sets are both present. Thus the massless type IIA spectrum has
These fields form the massless type IIA supergravity multiplet.
For the first massive level of a chiral RNS sector, restore through
The first positive value is one. The NS states therefore have level . A complete transverse basis after GSO projection is
All contain odd fermion-excitation parity. Their respective dimensions are , and , so the NS count is . These are the first massive GSO-projected Neveu–Schwarz states. The middle family decomposes into . Together the families assemble into the massive representations : a symmetric traceless rank-two tensor and a three-form, since and .
In the R sector, the first massive level is . If the retained right-moving ground spinor is , its two families are
The Ramond spinors have opposite zero-mode chiralities in these two families: inserting one fermionic oscillator reverses the oscillator contribution to the GSO condition, so the second family must use the opposite zero-mode chirality. Each family has states. Hence
These first massive GSO-projected Ramond states form the gamma-traceless vector-spinor representation of , of dimension . Its transverse branching is . The right-moving sector therefore contains bosons and fermions, a massive chiral superstring supersymmetry multiplet.
For the closed string, closed-string level matching requires the left and right shifted levels to agree. Both chiral sectors at this first massive mass have NS states and R states. The bosons lie in the NS-NS sector and RR sector, while the mixed sectors are fermionic. Consequently
Their total is . A massive ten-dimensional state with 32 real supercharges and no central charges has sixteen fermionic creation operators in its rest-frame supersymmetry algebra, giving a long multiplet of this size. Thus the chiral equality, the four closed sectors and level matching are consistent with the first massive type IIA long supermultiplet, rather than merely matching an isolated number of right-moving states.
Superstring theory offers a common quantum framework for gravity, gauge fields and matter; obtaining a particular viable low-energy vacuum is the additional task. Its organizing idea is that particle species are different quantum states of one extended object, with interactions determined by joining and splitting worldsheets. This makes unification more substantive than placing independent field theories alongside one another.
The central gravitational fact is the massless spin-two state in every consistent closed superstring theory. Its transverse symmetric polarization is the graviton. Decoupling of unphysical polarizations gives the spacetime gauge transformation , and low-energy consistency requires the universal coupling of this field to energy-momentum. In the small-curvature limit its interactions reproduce Einstein field equations. The string nonlinear sigma model makes this particularly concrete: quantum worldsheet Weyl anomaly cancellation constrains the background metric and other fields, and its leading metric equation is an Einstein equation. Higher powers of describe finite-string-length corrections rather than arbitrary independent gravitational couplings.
The gravitational effective action in the string frame has the schematic form
Here , and the omitted terms include gauge fields, fermions and the appropriate Ramond fields. The dilaton supplies the string coupling , while the string tension sets . Here is the dilaton-independent normalization. Splitting gives the physical gravitational coupling . Thus the coupling and length scale organize both the spectrum and interactions. A varying dilaton is a physical field, not just a freely adjustable numerical coupling.
Extended strings also change the ultraviolet question. An interaction worldsheet has no invariant pointlike splitting location, and the integration over smooth surfaces replaces many short-distance configurations responsible for divergences in point-particle gravity. Infinite oscillator towers and modular invariance are essential to that reorganization. This does not mean that every amplitude in every background is automatically finite: worldsheet degenerations can produce ordinary infrared divergences, and tadpoles can signal an inconsistent chosen vacuum. A credible quantum theory must account for these effects, rather than discard them. The proposal is nevertheless a systematic perturbative framework for quantum gravity with a physical scale and controlled expansions in and curvature.
Matter and nongravitational forces have equally concrete origins. In an RNS string, the GSO projection removes the tachyon and produces spacetime supersymmetry, with Ramond sector states furnishing spacetime fermions. Gauge bosons arise from current-algebra states of a heterotic string or from open strings ending on D-branes. For coincident D-branes, endpoint labels produce matrix-valued gauge fields: the Chan-Paton factors generate the nonabelian gauge structure. Open strings joining different brane stacks can carry bifundamental matter. These mechanisms permit gauge interactions and matter to coexist with closed-string gravity in one string background.
Consistency greatly restricts the starting theories. The flat critical superstrings live in ten spacetime dimensions. The perturbative possibilities include type IIA superstring theory, type IIB superstring theory, type I superstring theory, and the heterotic theories with gauge algebras or . Cancellation of gauge anomalies and gravitational anomalies constrains these choices; it is not permissible to assign arbitrary chiral particle content and ignore its quantum consistency. The standard mechanism combines an anomalous variation with an appropriate transformation of the antisymmetric tensor. This provides a link between the allowed matter spectrum, gauge groups and geometry.
To connect ten dimensions to four, take a suitable compactification in string theory. If the internal six-dimensional space is small enough, low-energy observers see only zero modes; excited Kaluza-Klein modes have masses of order the inverse compactification size. The metric, form fields and gauge fields on the internal space then determine four-dimensional fields and their couplings. Integrating the gravitational term over an internal volume gives the scale dependence , illustrating how apparently separate low-energy constants arise from the same dilaton and geometry.
A Calabi-Yau threefold is a useful supersymmetry-preserving choice. A heterotic Calabi-Yau compactification with a suitable holomorphic gauge bundle can preserve four-dimensional supersymmetry and generate chiral matter. Internal Dirac zero modes determine the light fermions; their index gives the net chirality, while bundle structure and possible Wilson lines determine the surviving gauge group. In the standard embedding, the net generation number is the internal Euler characteristic divided by two, up to orientation conventions. A realistic construction must supply the correct generation content and couplings, not merely some chiral fermions. Unmodified type II compactification on a Calabi-Yau threefold instead has in four dimensions; obtaining a less supersymmetric spectrum requires further ingredients such as orientifold projections, branes or fluxes.
This is where orientifolds and flux compactification can become useful. Projection and brane choices can reduce supersymmetry and engineer chiral gauge sectors. Fluxes and nonperturbative effects can generate a potential for moduli of a string compactification, which otherwise appear as additional massless scalar fields controlling volumes, shapes, gauge-bundle parameters or the dilaton. Moduli stabilization is therefore part of a plausible model, alongside supersymmetry breaking and a suitable vacuum energy. These ingredients must obey charge-cancellation and consistency conditions; they are not arbitrary additions to an otherwise complete four-dimensional model.
The relation among the candidate theories further supports a unified interpretation. T-duality exchanges momentum and winding and relates type IIA and type IIB on circles. Strong/weak coupling dualities relate other descriptions. The strong-coupling limit of type IIA exposes an additional dimension with radius
leading to an eleven-dimensional M-theory description. D-branes provide nonperturbative objects needed in these relations. The duality web suggests that apparently different perturbative superstrings describe limits of a larger structure, rather than unrelated theories competing only by choice of notation.
A plausible theory of everything must finally reproduce the Standard Model gauge group, representations, symmetry breaking and interaction strengths, together with gravity. It must explain or accommodate mass hierarchies, suppress unwanted light fields and processes, and identify a consistent cosmological background. String theory supplies mechanisms and consistency conditions for these tasks. The multiplicity of possible compactifications means that the observed low-energy theory is not fixed simply by writing a ten-dimensional string action. The case for the framework rests on its joint treatment of quantum gravity, matter and gauge forces; a complete phenomenological theory additionally requires a specified, dynamically viable vacuum and its predictions.