Perturbative string formulations treat strings as fundamental entities propagating across a pre-existing geometric background. However, M-theory taught us that strings are merely low-energy manifestations of extended membranes and five-branes in eleven dimensions. To formulate M-theory non-perturbatively, Banks, Fischler, Shenker, and Susskind (BFSS) achieved a profound breakthrough in 1996: M-theory in the infinite momentum frame is exactly equivalent to the large-(N) limit of supersymmetric matrix quantum mechanics of (N) D0-branes. Spacetime coordinates cease to be continuous numbers and become non-commuting (N imes N) Hermitian matrices.
1. D0-Branes as Partons of M-Theory
Recall that under the duality between Type IIA string theory and M-theory, the 11th dimension has compactification radius (R_{11} = g_s ll_s). The Kaluza-Klein momentum states carrying momentum (P_{11} = N / R_{11}) along this 11th circle carry mass:
[
M = rac{N}{R_{11}} = rac{N}{g_s ll_s} = N cdot M_{ ext{D0}}
]
which matches the mass of (N) Dirichlet 0-branes (D0-branes) exactly. In the Infinite Momentum Frame (or light-cone gauge (P^+ o infty)), any physical configuration of M-theory carrying longitudinal momentum (P^+ = N/R) can be completely decomposed into a collection of (N) fundamental D0-brane partons.
2. The BFSS Matrix Theory Action
The low-energy effective action of (N) coincident D0-branes is obtained by dimensionally reducing 10D Super Yang-Mills theory down to (0+1) dimensions (quantum mechanics). The dynamical variables are nine (N imes N) Hermitian matrices (X^i(t)) ((i = 1, dots, 9)) representing the transverse spatial coordinates, and 16-component Majorana-Weyl spinors ( heta_alpha(t)):
[
S_{ ext{BFSS}} = rac{1}{2 R} int dt , ext{Tr}left( dot{X}^i dot{X}^i + rac{1}{4pi^2 alpha’^2} [X^i, X^j]^2 + 2 heta^T dot{ heta} + rac{2}{pi alpha’} heta^T gamma_i [X^i, heta]
ight)
]
The fundamental equation of motion in the bosonic sector is:
[
ddot{X}^i + rac{1}{(2pialpha’)^2} [X^j, [X^j, X^i]] = 0
]
subject to the Gauss-law constraint generator of the (U(N)) gauge symmetry:
[
[X^i, dot{X}^i] – i [ heta, heta^T] = 0
]
3. The Emergence of Continuous Geometry and Extended Objects
How does smooth, classical 11-dimensional continuous spacetime emerge from an algebraic matrix equation?
- Commuting Matrices and Points: When the commutator vanishes, ([X^i, X^j] = 0), the matrices can be simultaneously diagonalized: (X^i = ext{diag}(x_1^i, x_2^i, dots, x_N^i)). The (N) eigenvalues (ec{x}_a) represent the classical spatial positions of (N) distinct, non-interacting particles in 9-dimensional space!
- Non-Commuting Matrices and Membrane Quanta: When matrices do not commute (([X^i, X^j] = i heta^{ij})), the off-diagonal elements represent quantum open strings stretched between D0-branes. Remarkably, non-commuting matrices with ( ext{Tr}[X^i, X^j]^2
e 0) describe smooth, continuous 2-branes (M2-branes) wrapped over non-commutative surfaces. The commutator acts as the Poisson bracket on the membrane worldvolume:
[
-i N [X^i, X^j] xrightarrow{N o infty} { x^i(sigma_1, sigma_2), x^j(sigma_1, sigma_2) }
]
Thus, BFSS Matrix Theory seamlessly unifies point particles, extended membranes, and spacetime itself into the spectrum of a single quantum matrix system.
4. The IKKT Matrix Model (Type IIB Matrix Model)
In 1996, Ishibashi, Kawai, Kitazawa, and Tsuchiya (IKKT) proposed a completely non-perturbative, background-independent matrix formulation of Type IIB string theory by reducing 10D Super Yang-Mills to a single point ((0+0) dimensions):
[
S_{ ext{IKKT}} = -rac{1}{g^2} ext{Tr}left( rac{1}{4} [A_mu, A_
u][A^mu, A^
u] + rac{1}{2} bar{psi} Gamma^mu [A_mu, psi]
ight) quad (mu = 0, dots, 9)
]
Here, even time itself is an (N imes N) Hermitian matrix (A_0). Spacetime does not exist prior to the model; points, time, metrics, and gauge fields condense spontaneously from the quantum fluctuations of 10 non-commutative matrices. Numerical Monte Carlo simulations of the IKKT model have demonstrated the spontaneous breaking of (SO(9,1) o SO(3,1) imes SO(6)), showing that a four-dimensional expanding universe emerges dynamically from pure matrix mathematics!
