Chapter 6: M-Theory & 11 Dimensions
In 1995, Edward Witten proposed that the five consistent superstring theories are all limits of a single eleven-dimensional theory he called M-theory. This chapter explores the evidence for this unification and the structure of the 11-dimensional framework.
1. Why Eleven Dimensions?
Nahm’s classification (1978) showed that supersymmetric theories with spins at most 2 can exist in at most $D = 11$ dimensions. In $D = 11$, there is a unique supergravity theory. Its field content is:
$$\{g_{MN},\; C_{MNP},\; \Psi_M\}$$
Metric, 3-form gauge field, gravitino ($M,N = 0,\dots,10$)
The bosonic part of the 11-dimensional supergravity action is:
$$S_{11} = \frac{1}{2\kappa_{11}^2}\int d^{11}x\,\sqrt{-g}\,R - \frac{1}{4\kappa_{11}^2}\int d^{11}x\,\sqrt{-g}\,|F_4|^2 - \frac{1}{12\kappa_{11}^2}\int C_3 \wedge F_4 \wedge F_4$$
Here $F_4 = dC_3$ is the field strength of the 3-form potential. The last term is a topological Chern–Simons coupling unique to odd-dimensional theories.
2. M2-Branes
The 3-form $C_3$ naturally couples to a 2-dimensional extended object: the M2-brane. Its worldvolume action contains a Nambu–Goto kinetic term and a Wess–Zumino coupling:
$$S_{\text{M2}} = -T_{\text{M2}}\int d^3\xi\,\sqrt{-\det(\hat{g}_{ij})} + T_{\text{M2}}\int \hat{C}_3$$
The M2-brane tension is fixed by supersymmetry:
$$T_{\text{M2}} = \frac{1}{(2\pi)^2\,l_p^3}$$
where $l_p$ is the 11D Planck length
When M-theory is compactified on a circle $S^1$, an M2-brane wrapping the circle becomes the fundamental string of Type IIA string theory with $l_s^2 = l_p^3 / R_{11}$.
3. M5-Branes
Electromagnetic duality of the 4-form field strength $F_4$ gives the dual 7-form$F_7 = \star F_4$, which couples to a 5-brane:
$$T_{\text{M5}} = \frac{1}{(2\pi)^5\,l_p^6}$$
The M5-brane worldvolume theory is a 6-dimensional $(2,0)$ superconformal field theory — one of the most mysterious objects in theoretical physics. It contains a self-dual 2-form gauge field $B^+$ satisfying:
$$H_3 = \star_6 H_3, \quad H_3 = dB^+$$
A stack of $N$ M5-branes gives a theory with $N^3$ scaling of degrees of freedom, in contrast to the $N^2$ scaling of gauge theories.
4. The Duality Web
The five consistent superstring theories in 10D are connected by a web of dualities. T-duality exchanges Type IIA and IIB (and HE with HO) by inverting the compactification radius:
$$R \longleftrightarrow \frac{\alpha'}{R}$$
S-duality exchanges strong and weak coupling:
$$g_s \longleftrightarrow \frac{1}{g_s}$$
The strong coupling limit of Type IIA is 11-dimensional supergravity, with the dilaton related to the compactification radius:
$$R_{11} = g_s\,l_s, \quad l_p^3 = g_s\,l_s^3$$
5. Compactification to 10D
Compactifying M-theory on $S^1$ gives Type IIA string theory. Compactifying on $S^1/\mathbb{Z}_2$ (the Horava–Witten interval) gives the $E_8 \times E_8$ heterotic string:
$$\text{M-theory on } S^1/\mathbb{Z}_2 \;\longrightarrow\; E_8 \times E_8 \text{ heterotic}$$
The Kaluza–Klein reduction of the 11D metric on $S^1$ yields the 10D metric, dilaton, and RR 1-form:
$$ds_{11}^2 = e^{-2\phi/3}\,g_{\mu\nu}\,dx^\mu dx^\nu + e^{4\phi/3}(dx^{11} + A_\mu dx^\mu)^2$$
This demonstrates that the Type IIA dilaton $\phi$ is a geometric modulus in 11D — strong coupling literally means the eleventh dimension decompactifies.
6. Evidence for M-Theory
Although a complete formulation of M-theory remains unknown, strong evidence includes:
- Matching of BPS spectra across all dualities
- Agreement of anomaly cancellation in 11D SUGRA
- Matrix theory (BFSS) conjecture as a non-perturbative definition
- Entropy counting for black branes matching Bekenstein–Hawking formula
The BFSS matrix model proposes a concrete definition of M-theory in the infinite momentum frame via the action:
$$S_{\text{BFSS}} = \int dt\;\text{Tr}\!\left(\frac{1}{2}D_t X^i D_t X^i + \frac{1}{4}[X^i, X^j]^2 + \text{fermions}\right)$$
Here $X^i$ ($i = 1,\dots,9$) are $N \times N$ Hermitian matrices representing the transverse coordinates of $N$ D0-branes. In the large $N$ limit, this is conjectured to define the full M-theory.
Python: The Duality Web
Click Run to execute the Python code
Code will be executed with Python 3 on the server