M-theory torus duality 2026-10-14
M-theory on a two-torus and type IIB superstring theory on a circle describe the same nine-dimensional physics. Torus shape supplies the axion-dilaton; torus area supplies the circle-radius modulus after matching metrics. An M2-brane on a one-cycle gives a (p,q) string; an M5-brane on the whole torus gives a D3-brane. Matching brane charges and tensions establishes the dictionary in The Power of M Theory.
Introduce anticommuting matter fields as worldsheet Majorana fermions, transforming as target-spacetime vectors and two-dimensional spinors. The RNS string pairs them with through worldsheet supersymmetry. In flat superconformal gauge the matter action is, up to the conventional fermion normalization,
and the field equations split into left- and right-moving components. The supersymmetry constraints include both the stress tensor and the supercurrent, so unphysical polarizations are removed rather than interpreting every fermionic worldsheet component as a physical particle.
The possible spin structures produce two sectors. On the closed chiral circle, or the doubled open string, the Neveu–Schwarz sector has and half-integer modes . The Ramond sector has periodic and integer modes , including . Canonical quantization replaces the classical Grassmann variables by operators satisfying
In particular obeys . This is the Ramond zero-mode Clifford algebra in covariant form. Its ground-state space must carry a representation of the Clifford algebra of the target metric, and hence transforms as a spinor, not a scalar vacuum. Indeed the zero-mode Lorentz generators proportional to act on it as the spin representation. This is the essential mechanism converting anticommuting worldsheet matter into spacetime spinorial states.
The zero-mode supercurrent constraint on a Ramond ground state is proportional to . It becomes
the momentum-space Dirac equation. The Ramond level operator has zero intercept, so the ground state is massless. Exciting bosonic or nonzero fermionic oscillators gives tensor-spinor excitations; the Clifford ground-state factor is retained. In the Neveu–Schwarz sector there is no fermionic zero-mode degeneracy. Its ground state is a scalar and its excited states carry integer-spin tensor representations, despite the anticommuting oscillator construction. Thus worldsheet fermionic oscillators do not by themselves make every target-space state a fermion.
Consistent projection also matters. The GSO projection removes the NS tachyon and selects a definite Ramond chirality in the standard supersymmetric spectrum. At the critical dimension ten, the projected massless NS vector has eight transverse polarizations, while the projected Ramond ground state has eight physical spinor polarizations after the massless Dirac constraint and the Majorana-Weyl spinor conditions. The projection permits their organization into spacetime supersymmetry multiplets. The assignment of spacetime fermionic statistics is compatible with spinorial transformation, vertex-operator locality and the Spin-statistics theorem; it is not just a relabeling of the Grassmann variables in the classical action.
For a closed string the left and right sectors can be chosen independently subject to level matching and the consistent spin-structure sum. The NS-NS sector and Ramond–Ramond sector have bosonic spacetime representations; a pair of Ramond spinors produces integer-spin fields. The mixed NS-R sector and R-NS sector instead carry one spinor factor and yield spacetime fermions, including gravitino and dilatino states. Opposite versus equal chiralities of the two Ramond sectors distinguish the type IIA superstring theory and type IIB superstring theory choices.
Quantum consistency of this RNS matter-plus-gauge system requires : its matter central charge is , the reparameterization ghosts contribute and the commuting superconformal ghosts contribute , so the total is . Spacetime fermions arise through Ramond matter zero modes, their Clifford/spinor representations and the physical-state/projection conditions. The anticommuting gauge-fixing ghosts already present in the bosonic path integral are not such matter fields and do not create physical spacetime fermions.
For parallel type-II D-branes, an oriented open string has endpoint labels , its Chan-Paton factors. At coincidence, the massless states form matrices, giving adjoint fields of . Tangential polarizations produce the Yang-Mills theory gauge field; transverse polarizations produce adjoint scalar fields. The leading low-energy action is the dimensional reduction of ten-dimensional super Yang-Mills theory to dimensions. Expanding the Dirac-Born-Infeld action gives the gauge and scalar kinetic terms, while dimensional reduction supplies the Hermitian commutator potential in D-brane Yang-Mills theory:
The sign is important: for Hermitian , the commutator is anti-Hermitian. Zero potential requires commuting scalars, whose simultaneous eigenvalues are brane positions through the D-brane scalar-position normalization
This makes the Higgs mechanism geometrical. Separating branes gives masses to strings joining different positions; bringing them together gives Coincident-D-brane gauge enhancement.
Two parallel D3-branes in type IIB superstring theory give four-dimensional N=4 super Yang-Mills theory with gauge group , containing a gauge field, six real adjoint scalar fields and four adjoint Weyl fermions. On its Coulomb branch, choose
For distinct position vectors, breaks to . The off-diagonal vector multiplets are the two orientations of a string joining the branes, and
The same mass follows from the scalar covariant-derivative term, . The overall describes center-of-mass motion; the relative sector is Higgsed to its Cartan . At coincidence the off-diagonal states become massless and the full gauge symmetry is restored.
A -form gauge potential couples electrically to a spatial -brane through the Wess-Zumino brane coupling
The worldvolume dimension supplies exactly the degree required for integration. Under , the change is , so a closed worldvolume is gauge invariant; an open one needs suitable endpoint couplings. If has an ordinary dual potential, has degree and the dual potential degree . Thus the electric and magnetic dimensions of a form-coupled brane are
Electric charge is measured by , magnetic charge by , on spheres linking the corresponding objects. Flux normalization, and possible Chern-Simons modifications of charge definitions, must be fixed in interacting backgrounds; this is the basic linear form-field dictionary.
In ten dimensions the common NS-NS fields are the graviton , Kalb–Ramond field , and dilaton . Their on-shell bosonic polarizations are , respectively. The graviton count is , and a massless -form has transverse polarizations. The RR fields distinguish the two theories:
TheoryRR potentials and physical polarizationsTotal bosonsFermions and chiralities
Type IIA superstring theory, Two opposite-chirality Majorana-Weyl gravitini; two opposite-chirality Majorana-Weyl dilatini
Type IIB superstring theory, , with self-dual Two same-chirality Majorana-Weyl gravitini; two same-chirality Majorana-Weyl dilatini of the opposite chirality to the gravitini
Each gravitino has physical polarizations, and each dilatino , giving fermions in either theory. In IIA the two supersymmetry sectors have opposite ten-dimensional chiralities, and the dilatino in each sector has chirality opposite to its gravitino. In IIB both gravitini can be designated positive-chirality and both dilatini negative-chirality. The self-duality of the IIB five-form halves the unconstrained four-form count to . These are the massless type IIA spectrum and massless type IIB spectrum, not raw component counts.
The Neveu–Schwarz two-form couples electrically to the fundamental string and magnetically to the NS5-brane in both theories. IIA couples electrically to a D0-brane and magnetically to a D6-brane; couples electrically to a D2-brane and magnetically to a D4-brane. The magnetic descriptions use dual seven-form and five-form potentials, not extra independent polarizations. In IIB, gives D1-brane and D5-brane charges, while self-dual gives the self-dual D3-brane. The scalar couples to a Euclidean D-instanton, whose magnetic partner is the D7-brane. Momentum and, after circle compactification, Kaluza-Klein monopole charge come from the metric sector.
The full brane inventory also involves nonpropagating top-form potentials. A D8-brane is an IIA domain-wall source for Romans mass , described dually by a nine-form potential; it is not generated by the propagating massless spectrum alone. A space-filling IIB D9-brane has a ten-form coupling and requires appropriate global RR-charge consistency. Such fields add no ordinary massless polarizations. This distinction avoids confusing the list of propagating particles with all possible charged extended objects.
For T-duality, compactify a spatial coordinate with . Closed strings have integer momentum and winding , with
The map
leaves unchanged and reverses . Equivalently, it reverses while keeping , and reverses the corresponding right-moving worldsheet fermion to preserve worldsheet supersymmetry. Multiplication of the right Ramond ground-state spinor by reverses its ten-dimensional chirality. Left and right Ramond projections therefore change from opposite chirality to equal chirality, or conversely:
The zero-mode mass contribution and the oscillator spectrum are unchanged. The Buscher dilaton shift gives , which preserves the nine-dimensional gravitational coupling proportional to . The mixed metric and two-form components along the circle are exchanged; RR potentials with a circle leg map to one lower degree and those without it to one higher degree, in the corresponding gauge-covariant description.
For open strings, the derivative relations and exchange Neumann boundary conditions with Dirichlet boundary conditions. Consequently a wrapped D-brane becomes a D-brane, while a transverse one becomes a wrapped D-brane. The even-dimensional IIA branes and odd-dimensional IIB branes therefore transform consistently with the closed-string chirality flip; transverse positions and compact gauge Wilson lines are exchanged.
The RNS string adds worldsheet Majorana fermions to the coordinate fields . The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action is
where are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current .
Each real worldsheet Majorana fermion contributes to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes , and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights , with central charge . Thus
In light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.
On the doubled spatial interval of an open string, the two allowed fermionic periodicities are
They arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators , including , and the Neveu–Schwarz sector has half-integer oscillators , , without zero modes. In either sector,
A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.
The Ramond zero-mode Clifford algebra is
Hence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation . In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.
The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is . Per fermion it is the negative of the corresponding half-sum. Since , the eight transverse pairs give
Thus , , and the open string mass formula is . This distinguishes the lowest states explicitly:
The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining so that the NS vacuum has , its projector is
It removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may write
Here counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.
For a closed string, both chiral zero-mode constraints must hold:
This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.
For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by , with transverse counts . The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are , with self-dual five-form field strength, giving . Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.
If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential , and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select . This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.
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.
S-duality 2026-10-14
An S-duality relates descriptions at different coupling strengths. In type IIB superstring theory, acts on the axion-dilaton and string charge doublets.