Compare · A Theory of Everything

Heterotic Compactifications vs M-Theory

String Theory· within family

	Heterotic Compactifications Frontier	M-Theory Frontier
Proposed	1985	1995
Key figures	Philip Candelas, Gary Horowitz, Andrew Strominger, Edward Witten	Edward Witten, Petr Hořava, Tom Banks, Willy Fischler, Stephen Shenker, Leonard Susskind
In one sentence	The heterotic string has a built-in gauge group (E8 x E8 or SO(32)) large enough to contain the Standard Model. Candelas, Horowitz, Strominger, and Witten proposed in 1985 that if the six extra spatial dimensions are curled up into a Calabi-Yau manifold, the geometry of that manifold determines the pattern of particles, charges, and forces seen in 4D.	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 brane\|branes (extended membranes) of various dimensions, and our familiar physics would emerge from particular compactifications of this 11D structure.
Predictions	Specific Calabi-Yau geometries plus a stable holomorphic vector bundle yield gauge groups, chiral fermion spectra, and generation counts in 4D; three-generation E6 or SU(5)-like models are constructible Yukawa couplings (the strengths of fermion-Higgs interactions, which set particle masses) are calculable in principle from the Calabi-Yau geometry, though the calculations are technically formidable Heterotic-F-theory duality predicts that certain 4D physics derivable from heterotic compactifications must agree with the same physics derived from elliptically fibered Calabi-Yau fourfolds in F-theory, giving cross-checks that constrain both Moduli stabilisation: heterotic compactifications generically have many massless [[scalar-field\|scalar fields]] (moduli) parameterising the geometry; stabilising them at observed values is a non-trivial constraint and a major open technical problem	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 The surfaces swept out by branes (their worldvolume) carry gauge theories, the force-describing field theories of particle physics; stacks of these branes in M-theory limits produce SU(N) gauge symmetries, the same kind that govern the known forces, 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
Where it breaks	Vacuum non-uniqueness: the number of distinct Calabi-Yau manifolds plus vector bundle choices is large, and many produce semi-realistic spectra; no unique vacuum has been derived from first principles Moduli problem: the massless scalar fields parameterising the geometry need to be stabilised at definite values for the theory to make 4D predictions, and stabilising them while preserving phenomenological success is technically hard Parameter fitting: with enough geometric freedom many Standard-Model-like spectra can be produced, but this weakens predictive power; critics argue heterotic phenomenology has too many adjustable inputs to count as a genuine derivation Empirical gap: no robust low-energy signature distinguishes a heterotic-derived Standard Model from a generic Standard Model, so the framework remains formally consistent but observationally underdetermined	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
Key unresolved problem	The moduli problem: the curled-up extra dimensions have many free size-and-shape settings, called moduli, and no one has pinned them to fixed values that single out our universe's particles.	The missing definition problem: M-theory has no single complete equation, what physicists call a non-perturbative definition, so it is known only in scattered pieces glued together through special limits and dualities.
Reader vote	No votes yet	No votes yet

Heterotic Compactifications

1985 · Frontier

M-Theory

1995 · Frontier

Proposed

1985

1995

Key figures

Philip Candelas, Gary Horowitz, Andrew Strominger, Edward Witten

Edward Witten, Petr Hořava, Tom Banks, Willy Fischler, Stephen Shenker, Leonard Susskind

In one sentence

The heterotic string has a built-in gauge group (E8 x E8 or SO(32)) large enough to contain the Standard Model. Candelas, Horowitz, Strominger, and Witten proposed in 1985 that if the six extra spatial dimensions are curled up into a Calabi-Yau manifold, the geometry of that manifold determines the pattern of particles, charges, and forces seen in 4D.

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 brane|branes (extended membranes) of various dimensions, and our familiar physics would emerge from particular compactifications of this 11D structure.

Predictions

Specific Calabi-Yau geometries plus a stable holomorphic vector bundle yield gauge groups, chiral fermion spectra, and generation counts in 4D; three-generation E6 or SU(5)-like models are constructible
Yukawa couplings (the strengths of fermion-Higgs interactions, which set particle masses) are calculable in principle from the Calabi-Yau geometry, though the calculations are technically formidable
Heterotic-F-theory duality predicts that certain 4D physics derivable from heterotic compactifications must agree with the same physics derived from elliptically fibered Calabi-Yau fourfolds in F-theory, giving cross-checks that constrain both
Moduli stabilisation: heterotic compactifications generically have many massless [[scalar-field|scalar fields]] (moduli) parameterising the geometry; stabilising them at observed values is a non-trivial constraint and a major open technical problem

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
The surfaces swept out by branes (their worldvolume) carry gauge theories, the force-describing field theories of particle physics; stacks of these branes in M-theory limits produce SU(N) gauge symmetries, the same kind that govern the known forces, 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

Where it breaks

Vacuum non-uniqueness: the number of distinct Calabi-Yau manifolds plus vector bundle choices is large, and many produce semi-realistic spectra; no unique vacuum has been derived from first principles
Moduli problem: the massless scalar fields parameterising the geometry need to be stabilised at definite values for the theory to make 4D predictions, and stabilising them while preserving phenomenological success is technically hard
Parameter fitting: with enough geometric freedom many Standard-Model-like spectra can be produced, but this weakens predictive power; critics argue heterotic phenomenology has too many adjustable inputs to count as a genuine derivation
Empirical gap: no robust low-energy signature distinguishes a heterotic-derived Standard Model from a generic Standard Model, so the framework remains formally consistent but observationally underdetermined

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

Key unresolved problem

The moduli problem: the curled-up extra dimensions have many free size-and-shape settings, called moduli, and no one has pinned them to fixed values that single out our universe's particles.

The missing definition problem: M-theory has no single complete equation, what physicists call a non-perturbative definition, so it is known only in scattered pieces glued together through special limits and dualities.

Reader vote

No votes yet