Compare · A Theory of Everything

M-Theory vs F-Theory

String Theory· within family

	M-Theory Frontier	F-Theory Frontier
Proposed	1995	1996
Key figures	Edward Witten, Petr Hořava, Tom Banks, Willy Fischler, Stephen Shenker, Leonard Susskind	Cumrun Vafa
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 brane\|branes (extended membranes) of various dimensions, and our familiar physics would emerge from particular compactifications of this 11D structure.	F-theory reformulates Type IIB string theory by imagining an extra 'hidden' 2-dimensional torus at every point in spacetime. The shape of that torus encodes how the Type IIB string coupling (and its axion partner) varies geometrically. The framework turns out to be a powerful tool for systematically constructing candidate models of realistic particle physics, including grand unified theories, using algebraic geometry on elliptically fibered manifolds.
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 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	Realistic gauge groups (SU(3) x SU(2) x U(1), SU(5), SO(10), E6) can be engineered via the singular structure of the elliptic fibration over a 6D base manifold Three-generation chiral matter spectra arise from intersection of gauge-group divisors in the base; the number of generations is determined by intersection numbers in cohomology Coupling unification at high energies can be derived from the F-theory geometry, including specific Yukawa coupling structures determined by triple intersections Certain combinations of gauge group and matter content are geometrically forbidden in F-theory, contributing to Swampland conjectures about what consistent quantum gravity allows
Where it breaks	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	Vacuum non-uniqueness on a vastly larger scale than heterotic: the space of Calabi-Yau fourfolds and possible gauge configurations is enormous, and no unique compactification has been derived from first principles Mathematical complexity: F-theory model building requires advanced algebraic geometry (singular elliptic fibrations, divisor intersection theory, cohomology of resolutions); the barrier to independent empirical scrutiny is high Like all string variants, F-theory has produced no distinct, testable low-energy predictions at currently accessible energies; predictions of specific particle properties (masses, mixings) depend on a chosen vacuum that has not been uniquely identified Moduli stabilisation in F-theory faces the same technical challenges as heterotic compactifications: many scalar fields need to be fixed at definite values to make 4D predictions, and the procedures for doing so are model-dependent
Key unresolved problem	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.	The too-many-solutions problem, called vacuum non-uniqueness: the menu of possible geometries is so vast it cannot be searched through, and no rule picks out the single one that would match our universe.
Reader vote	No votes yet	No votes yet

M-Theory

1995 · Frontier

F-Theory

1996 · Frontier

Proposed

1995

1996

Key figures

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

Cumrun Vafa

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

F-theory reformulates Type IIB string theory by imagining an extra 'hidden' 2-dimensional torus at every point in spacetime. The shape of that torus encodes how the Type IIB string coupling (and its axion partner) varies geometrically. The framework turns out to be a powerful tool for systematically constructing candidate models of realistic particle physics, including grand unified theories, using algebraic geometry on elliptically fibered manifolds.

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
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

Realistic gauge groups (SU(3) x SU(2) x U(1), SU(5), SO(10), E6) can be engineered via the singular structure of the elliptic fibration over a 6D base manifold
Three-generation chiral matter spectra arise from intersection of gauge-group divisors in the base; the number of generations is determined by intersection numbers in cohomology
Coupling unification at high energies can be derived from the F-theory geometry, including specific Yukawa coupling structures determined by triple intersections
Certain combinations of gauge group and matter content are geometrically forbidden in F-theory, contributing to Swampland conjectures about what consistent quantum gravity allows

Where it breaks

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

Vacuum non-uniqueness on a vastly larger scale than heterotic: the space of Calabi-Yau fourfolds and possible gauge configurations is enormous, and no unique compactification has been derived from first principles
Mathematical complexity: F-theory model building requires advanced algebraic geometry (singular elliptic fibrations, divisor intersection theory, cohomology of resolutions); the barrier to independent empirical scrutiny is high
Like all string variants, F-theory has produced no distinct, testable low-energy predictions at currently accessible energies; predictions of specific particle properties (masses, mixings) depend on a chosen vacuum that has not been uniquely identified
Moduli stabilisation in F-theory faces the same technical challenges as heterotic compactifications: many scalar fields need to be fixed at definite values to make 4D predictions, and the procedures for doing so are model-dependent

Key unresolved problem

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.

The too-many-solutions problem, called vacuum non-uniqueness: the menu of possible geometries is so vast it cannot be searched through, and no rule picks out the single one that would match our universe.

Reader vote

No votes yet