M-Theory
The five seemingly distinct 10D superstring theories are different limits of one deeper 11-dimensional theory. Strings are not fundamental on their own; branes of various dimensions are equally fundamental.
Placeholder for a 3D visualisation of String Theory. The interactive scene will land in Phase 3. String theory replaces point particles with tiny one-dimensional vibrating strings. To be mathematically consistent the strings have to live in 10-dimensional spacetime and obey supersymmetry, a proposed pairing between bosons (force carriers) and fermions (matter particles). Different vibrational modes of the same kind of string appear as different particles and forces; one of the modes is a spin-2 graviton, so gravity is automatically built in. The 1984 Green-Schwarz anomaly cancellation made this a serious candidate for a theory of everything; Witten's 1995 M-theory proposal showed the five seemingly distinct 10D superstring theories are different limits of one deeper 11-dimensional structure. F-theory, heterotic Calabi-Yau compactifications, and the Swampland Program are the active research programs trying to either derive realistic physics from string theory or constrain which low-energy theories can come from any quantum theory of gravity.
In one sentence
Witten's 1995 proposal: the five mutually-incompatible 10-dimensional superstring theories are actually different limits of a single underlying 11-dimensional theory, called M-theory. Strings are joined as fundamental objects by branes (extended membranes) of various dimensions, and our familiar physics would emerge from particular compactifications of this 11D structure.
The claim
Before Witten's 1995 paper the five 10D superstring theories looked like five competing candidate theories of everything, each internally consistent but mutually incompatible. M-theory's claim is that they are not five theories but five different limits of one 11-dimensional theory. The strong-coupling limit of Type IIA strings, for example, opens up an eleventh dimension and the theory looks 11D; the strong-coupling limit of E8 x E8 heterotic strings (Hořava-Witten 1996) is M-theory on a particular orbifold of the 11D spacetime. The web of dualities that connects the five 10D theories has the structure of a single 11D theory with different compactification choices.
M-theory also reframes what's fundamental. Strings are one-dimensional, but the 11D theory naturally contains 2-branes (membranes, hence the name M) and 5-branes (five-dimensional extended objects). When the eleventh dimension is small, the 2-brane wrapping it looks like a 10D string, recovering Type IIA. The Banks-Fischler-Shenker-Susskind 1996 Matrix Theory paper proposed a non-perturbative definition of M-theory in light-cone frame: M-theory in 11D infinite-momentum frame is the large-N limit of a specific 0+1-dimensional matrix quantum mechanics with U(N) gauge symmetry. Matrix Theory works as a definition in this particular limit and produces non-trivial cross-checks with M-theory expectations, but a fully complete non-perturbative definition of M-theory in general backgrounds is still missing.
Modern M-theory research focuses on compactifications on G2 manifolds (the 7-dimensional analog of Calabi-Yau geometry, preserving the right amount of supersymmetry in 4D), brane dynamics, dualities with lower-dimensional gauge theories, and connections to AdS/CFT. Explicit M-theory model building has been less dominant than in the late 1990s, but the framework remains a central conceptual tool: many results in formal high-energy theory are derived by lifting a lower-dimensional question to M-theory and using its dualities. The lack of a complete non-perturbative definition is a structural open problem, not a technicality.
The family stance
All forces and particles can be unified within a single framework of vibrating strings (and higher-dimensional branes) living in 10 or 11 spacetime dimensions. The specific spectrum we observe at low energies depends on how the extra dimensions are curled up. After four decades of work the framework is mathematically rich and internally consistent, but no specific compactification has been shown to reproduce the Standard Model uniquely and no distinctive low-energy prediction has been confirmed experimentally.
Predictions
- Strong-coupling limits of 10D string theories correspond to 11D M-theory sectors with specific brane and geometry content; explicit dualities relating Type IIA-M11, heterotic E8 x E8-M-on-S1/Z2, and others
- G2-manifold compactifications of 11D M-theory yield 4D N = 1 supersymmetric theories with gauge groups and matter content set by the singular structure of the G2 geometry
- Branes carry gauge theories on their worldvolume; stacks of D-branes in M-theory limits give SU(N) gauge theories whose AdS/CFT duals are well-studied
- Black-brane solutions in 11D M-theory account for the microscopic origin of certain black-hole entropies, generalising the Strominger-Vafa string-theoretic result
Evidence
- Witten 1995 demonstrated the duality web among the five 10D superstring theories, showing that strong-coupling limits are governed by an 11D theory; the duality structure has been checked in many dimensions and survives non-trivial cross-tests
- Hořava & Witten 1996 derived the strong-coupling limit of E8 x E8 heterotic strings as M-theory on R^10 x S1/Z2, giving an explicit 11D realisation of the heterotic gauge content
- BFSS 1996 Matrix Theory: M-theory in 11D infinite-momentum frame is the large-N limit of supersymmetric matrix quantum mechanics with U(N) gauge symmetry; non-trivial cross-checks with M-theory expectations have been verified
- AdS/CFT dualities involving M-theory backgrounds (AdS4 x S7 dual to ABJM theory in 3D; AdS7 x S4 dual to the 6D (2,0) superconformal theory) provide explicit non-perturbative definitions of M-theory in those specific backgrounds
Counterpoints
- No complete non-perturbative definition: M-theory is known patchwise via dualities and special limits (Matrix Theory in infinite-momentum frame; AdS/CFT in particular backgrounds), not via a single covariant Lagrangian or path-integral formulation
- Like superstrings, M-theory has not produced unique testable predictions at accessible energies; the framework is structural rather than predictive
- M-theory compactifications contribute further to the landscape problem: many 11D geometries (G2 manifolds, in particular) produce different 4D effective theories with no selection principle
- G2-manifold model building has produced fewer fully realistic candidate models than Calabi-Yau or F-theory approaches; the geometric machinery is less developed
Variants in this family
▸Go deeperTechnical detail with proper terminology
The duality web: Type IIA-M11 (strong-coupling Type IIA opens up an 11th dimension, the radius of which equals the Type IIA string coupling in string units), Type IIB self-dual under S-duality, heterotic E8 x E8-M-on-S1/Z2 (Hořava-Witten), heterotic SO(32)-Type I via S-duality, Type IIA-Type IIB via T-duality after compactification.
BFSS Matrix Theory: the action is the dimensional reduction of 10D N = 1 super-Yang-Mills to 0+1 dimensions, with U(N) gauge group. The matrix degrees of freedom encode positions and gauge connections of N D0-branes in Type IIA. In the large-N limit and a specific scaling, the theory is conjectured to be the discrete light-cone quantisation of M-theory in 11 flat dimensions.
Branes in M-theory: the M2-brane (2+1-dimensional extended object) and M5-brane (5+1-dimensional) are the basic extended objects. Their worldvolume theories carry gauge fields and tensor fields whose detailed structure has been worked out and provides input for AdS/CFT.
G2 holonomy: a 7-manifold with G2 holonomy preserves 1/8 of 11D supersymmetry on compactification, giving N = 1 supersymmetry in 4D. Singular G2 manifolds (codimension-4 or codimension-7 singularities) are needed to produce non-trivial gauge groups and chiral fermions; the geometry is less classified than Calabi-Yau threefolds.
References
- EstablishedWitten (1995). String theory dynamics in various dimensions. Nucl. Phys. B 443, 85
- EstablishedHořava & Witten (1996). Heterotic and Type I string dynamics from eleven dimensions. Nucl. Phys. B 460, 506
- EstablishedBanks, Fischler, Shenker & Susskind (1997). M theory as a matrix model: A conjecture. Phys. Rev. D 55, 5112
Last reviewed May 18, 2026
Spotted an error? Have a source to add?
Prefer email?
You can also send a prefilled email with the variant URL already filled in.