M-theory Overview

• M-theory is an eleven-dimensional framework unifying five ten-dimensional string theories and supergravity, involving M2- and M5-branes, with possible compactifications and relations to type IIA string theory.
• Fundamentally, M-theory is composed of objects like the metric, the three-form potential, and gravitino, under the massless little group SO(9).
• Key applications and implications of M-theory: in the context of supergravity, brane worldvolume theories, matrix models and matrix theory, duality-symmetric formulations, higher algebra, compactifications, scattering amplitudes, and beyond.

M-theory is a conjectured nonperturbative eleven-dimensional framework whose perturbative limits include the five ten-dimensional string theories and whose low-energy limit is eleven-dimensional supergravity. It has no known microscopic definition comparable to the worldsheet formulation of string theory. Its fundamental supersymmetric extended objects are the M2-brane and M5-brane, with worldvolumes of dimensions $2+1$ and $5+1$, respectively. M-theory is related to type IIA string theory by compactification on a circle of radius $R_{11}=g_s l_s$; the limit $g_s\to\infty$ decompactifies the eleventh dimension. Its structure is studied through supergravity, brane worldvolume theories, matrix models, duality-symmetric formulations, higher algebra and homotopy theory, compactifications, scattering amplitudes, and non-Lorentzian limits.

1. Definition, dimensional relations, and fundamental objects

M-theory is conventionally associated with eleven-dimensional supergravity in its low-energy limit. Its massless fields are the metric $g_{\mu\nu}$, the three-form potential $C_{(3)}$, and the gravitino $\psi_\mu$. Under the massless little group $SO(9)$, their physical degrees of freedom decompose as

$44_g+84_{C_{(3)}}=128_\psi.$

The theory possesses maximal supersymmetry, and its supersymmetry algebra includes momentum, M2-brane, and M5-brane charges:

$$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$

The M2-brane has a $5+1$0-dimensional worldvolume and eight physical transverse scalar fields. The M5-brane has a $5+1$1-dimensional worldvolume and, in its abelian description, a $5+1$2 tensor multiplet containing five scalar fields, chiral fermions, and a self-dual three-form field strength $5+1$3, satisfying $5+1$4.

The principal relation to type IIA string theory is

$5+1$5

where $5+1$6 is the radius of the eleventh-dimensional circle, $5+1$7 is the type IIA string coupling, and $5+1$8 is the string length. Type IIA string theory is the small-$5+1$9, or weak-coupling, expansion of M-theory. Wrapped and unwrapped branes are mapped according to

$R_{11}=g_s l_s$0

The worldvolume quantum field theories are obtained in a decoupling limit in which gravity is removed while brane excitations remain finite. The M2-brane theory is described by three-dimensional maximally supersymmetric conformal field theories, whereas the interacting six-dimensional theory of multiple M5-branes remains an open problem (Lambert, 2012).

2. M2-branes, 3-algebras, and superconformal field theories

The construction of multiple-M2-brane theories is based on the requirement of eight scalars $R_{11}=g_s l_s$1, fermions, $R_{11}=g_s l_s$2 supersymmetry, $R_{11}=g_s l_s$3 R-symmetry, conformal invariance, parity, and interactions without propagating gauge-field degrees of freedom. Ordinary Yang–Mills theory is not conformal in three dimensions because its coupling is dimensionful. The appropriate gauge sector is instead Chern–Simons theory.

The Bagger–Lambert–Gustavsson construction takes the fields to be valued in a vector space $R_{11}=g_s l_s$4 with basis $R_{11}=g_s l_s$5,

$R_{11}=g_s l_s$6

equipped with a totally antisymmetric triple product

$R_{11}=g_s l_s$7

An invariant inner product $R_{11}=g_s l_s$8 gives

$R_{11}=g_s l_s$9

Supersymmetry requires the fundamental identity,

$g_s\to\infty$0

This identity ensures that the transformations generated by two elements act as derivations and close into an ordinary Lie algebra of gauge transformations. The BLG scalar potential is sextic,

$g_s\to\infty$1

and the gauge sector is Chern–Simons-like rather than Yang–Mills.

For a positive-definite invariant metric, the nontrivial finite-dimensional example is essentially

$g_s\to\infty$2

with gauge algebra

$g_s\to\infty$3

The resulting theory is an $g_s\to\infty$4 Chern–Simons theory with bifundamental matter. It is an interacting $g_s\to\infty$5 conformal field theory but cannot describe an arbitrary number of M2-branes. Lorentzian 3-algebras evade the positive-metric uniqueness result and can reproduce ordinary maximally supersymmetric Yang–Mills theories, although they introduce null directions, ghost-related issues, gauge-fixing subtleties, and decoupled sectors (Bagger et al., 2012).

The broader class of multiple-M2 theories uses complex Hermitian 3-algebras. Their bracket is antisymmetric in the first two entries and anti-linear in the third,

$g_s\to\infty$6

The resulting theories have $g_s\to\infty$7 supersymmetry, $g_s\to\infty$8 R-symmetry, four complex scalars $g_s\to\infty$9, and bifundamental matter. For matrix-valued fields,

$g_{\mu\nu}$0

the gauge group is

$g_{\mu\nu}$1

This is the ABJM theory. Its scalar moduli space is

$g_{\mu\nu}$2

interpreted as the moduli space of $g_{\mu\nu}$3 indistinguishable M2-branes on $g_{\mu\nu}$4. At $g_{\mu\nu}$5 and $g_{\mu\nu}$6, additional supersymmetries emerge through monopole or ’t Hooft operators, giving $g_{\mu\nu}$7, although the enhancement is not manifest in the classical $g_{\mu\nu}$8 Lagrangian.

The near-horizon geometry of $g_{\mu\nu}$9 M2-branes on $C_{(3)}$0 is

$C_{(3)}$1

The corresponding field theory is the planar sector of $C_{(3)}$2 ABJM theory, with effective ’t Hooft coupling $C_{(3)}$3. The free energy scales as

$C_{(3)}$4

The large-$C_{(3)}$5 limit shrinks the Hopf fibre of $C_{(3)}$6, producing the type IIA description on $C_{(3)}$7. A large scalar vacuum expectation value implements the novel Higgs mechanism: one Chern–Simons gauge field becomes auxiliary, is integrated out, and generates a Yang–Mills kinetic term. In the simultaneous large-$C_{(3)}$8, large-VEV limit, the theory reduces to maximally supersymmetric D2-brane Yang–Mills theory.

M2-brane theories also exhibit Basu–Harvey funnels and dielectric configurations. In BLG theory, the funnel equation is

$C_{(3)}$9

while in ABJM theory the corresponding Hermitian 3-bracket equation has solutions of the form

$\psi_\mu$0

These solutions support the interpretation of M2-branes ending on M5-branes, but they do not constitute a complete nonabelian M5-brane theory.

3. Matrix models and nonperturbative formulations

Matrix models provide proposed nonperturbative descriptions of M-theory. In BFSS matrix theory, M-theory in light-cone gauge is conjectured to be described by the large-$\psi_\mu$1 limit of supersymmetric matrix quantum mechanics. The BMN model is a mass-and-flux deformation of BFSS associated with the eleven-dimensional plane-wave background.

A separate construction seeks a covariant zero-dimensional matrix model containing matrices for all eleven spacetime coordinates. Starting from the semi-light-cone-gauge supermembrane action, one retains the Nambu–Poisson bracket

$\psi_\mu$2

and an invariant symmetric bilinear form. A proposed “second quantization” replaces the infinite-dimensional Nambu–Poisson algebra by a finite-dimensional 3-algebra,

$\psi_\mu$3

This yields two zero-dimensional matrix models: a real metric 3-algebra model with manifest $\psi_\mu$4 covariance and a Hermitian 3-algebra model with manifest $\psi_\mu$5 covariance. Both contain eleven bosonic matrix degrees of freedom,

$\psi_\mu$6

and

$\psi_\mu$7

They possess $\psi_\mu$8 kinematical and $\psi_\mu$9 dynamical supersymmetries. Their supersymmetry algebra is interpreted as the eleven-dimensional algebra even though $SO(9)$0 covariance is not manifest. The three $SO(9)$1 matrices in the Hermitian model arise from the gauge-field sector rather than as manifest spacetime coordinates (Sato, 2010).

For a particular Hermitian 3-algebra at Chern–Simons level $SO(9)$2, a discrete light-cone quantization limit gives BFSS matrix theory:

$SO(9)$3

The reduction uses a compactification along $SO(9)$4, a matrix shift condition, a block decomposition, Fourier transformation, and an infinite boost. The longitudinal matrix $SO(9)$5 disappears, $SO(9)$6 becomes the world-line parameter, and the remaining nine matrices produce the BFSS action,

$SO(9)$7

Toroidal compactification and T-duality lead to maximally supersymmetric Yang–Mills theories $SO(9)$8. For $SO(9)$9, the resulting theories are weakly coupled in the DLCQ limit; for $44_g+84_{C_{(3)}}=128_\psi.$0, they become strongly coupled and require an M-theory interpretation.

The BMN matrix model also supplies a concrete dynamical system. Its large-$44_g+84_{C_{(3)}}=128_\psi.$1 membrane limit replaces matrix commutators by Poisson brackets. In the plane-wave background, the transverse symmetry is $44_g+84_{C_{(3)}}=128_\psi.$2, and the membrane Hamiltonian contains commutator-squared or Poisson-bracket interactions, mass terms, and a cubic Myers coupling. Spherical and ellipsoidal M2-brane configurations arise as extrema of the reduced energy functional. The dielectric sphere is radially stable, while an intermediate configuration is a saddle with an unstable radial mode. Angular perturbations reveal zero modes, stable oscillatory modes, and unstable low multipoles. Nonlinear perturbation theory suggests transfer from low to high angular momentum, described as weak turbulence, although local instability does not establish global chaos (Axenides et al., 2020).

4. M5-branes, wrapped branes, and holographic sectors

The interacting theory of multiple M5-branes is expected to be a six-dimensional conformal $44_g+84_{C_{(3)}}=128_\psi.$3 theory. It should be chiral, maximally supersymmetric, genuinely interacting, and associated with ADE Lie-algebra data. No conventional local Lagrangian formulation is known.

A 3-algebra-inspired six-dimensional proposal introduces fields $44_g+84_{C_{(3)}}=128_\psi.$4, $44_g+84_{C_{(3)}}=128_\psi.$5, a self-dual three-form $44_g+84_{C_{(3)}}=128_\psi.$6, a gauge field, and a nondynamical vector-like field $44_g+84_{C_{(3)}}=128_\psi.$7. The supersymmetry constraints reduce, for a spacelike choice

$44_g+84_{C_{(3)}}=128_\psi.$8

to five-dimensional maximally supersymmetric Yang–Mills theory. The effective Lie bracket is

$44_g+84_{C_{(3)}}=128_\psi.$9

and the associated circle radius is

$$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$0

Momentum in the direction selected by $$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$1 is identified with instanton number,

$$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$2

For a null $$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$3, the construction reduces to quantum mechanics on instanton moduli space and connects with discrete light-cone quantization of the $$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$4 theory. These proposals reproduce important compactified sectors but remain incomplete as manifestly six-dimensional interacting theories (Lambert, 2012).

Wrapped M5-branes generate the MSW string. For M-theory on a Calabi–Yau threefold $$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$5, an M5-brane wrapping a divisor $$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$6 has worldvolume

$$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$7

In five dimensions it appears as a string with a $$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$8 two-dimensional superconformal field theory. Its near-horizon geometry is

$$\{Q_\alpha,Q_\beta\} =(\Gamma^\mu C^{-1})_{\alpha\beta}P_\mu +\frac{1}{2!}(\Gamma^{\mu\nu}C^{-1})_{\alpha\beta}Z^{(2)}_{\mu\nu} +\frac{1}{5!}(\Gamma^{\mu_1\cdots\mu_5}C^{-1})_{\alpha\beta} Z^{(5)}_{\mu_1\cdots\mu_5}.$$9

For $5+1$00 or $5+1$01, rational spectral transformations and dualities map a subsector of D1–D5 superstrata to smooth five-dimensional M-theory superstrata in the MSW frame. The construction selects the $5+1$02 subsector of D1–D5 modes and produces smooth horizonless solutions with ambi-polar Gibbons–Hawking bases and pseudo-harmonic fluxes. These geometries represent a restricted class of MSW microstates rather than the full MSW spectrum or the complete black-hole entropy (Bena et al., 2017).

M-theory also admits descriptions involving boundaries and corners. Hořava–Witten theory places heterotic string theory on the intersection of two eleven-dimensional boundary hypersurfaces inside a twelve-dimensional bounding manifold:

$5+1$03

Near the corner,

$5+1$04

The analysis of Dirac and signature operators requires manifolds with corners, cylindrical ends, Melrose’s $5+1$05-calculus, $5+1$06-eta invariants, scattering Lagrangians, Maslov indices, and Wall’s nonadditivity invariant. The corner may contribute a phase such as

$5+1$07

In simple product and reflecting-boundary examples, these corrections vanish, while in general they encode global corner data (Sati, 2011).

5. Dualities, exceptional geometry, and higher algebra

M-theory compactified on $5+1$08 exhibits continuous classical $5+1$09 symmetry and, in the full quantum theory, discrete U-duality groups $5+1$10. Exceptional field theory enlarges spacetime by coordinates conjugate not only to momentum but also to wrapped M2- and M5-brane charges. The extended coordinates transform in representations $5+1$11 of $5+1$12. For example,

$5+1$13

The generalized metric combines the metric and form potentials into a single coset-valued object. In the $5+1$14 case, the four ordinary coordinates are supplemented by six coordinates $5+1$15 conjugate to M2 wrapping charges, forming the $5+1$16 representation. The section condition,

$5+1$17

ensures closure of the generalized Lie derivative. On the conventional section, the theory reduces to eleven-dimensional supergravity. Generalized Scherk–Schwarz twists can depend on dual coordinates and produce gauged supergravities, with generalized fluxes reproducing embedding-tensor components (Berman et al., 2013).

A complementary higher-geometric formulation treats the four-sphere as the universal target for the M-theory $5+1$18-field. The rational Sullivan model of $5+1$19 is

$5+1$20

A map from eleven-dimensional spacetime to $5+1$21 sends

$5+1$22

and reproduces

$5+1$23

The associated Quillen model has generators $5+1$24 with

$5+1$25

The M2-brane is represented by an invariant four-cocycle on eleven-dimensional super-Minkowski space. A further seven-cocycle on the M2 extension yields the M5-brane, encoding the relation that M2-branes can end on M5-branes. Rationally, M2/M5 charge is described by degree-four cohomotopy, while F1/D-brane charge is described by twisted K-theory. The distinction is essential: rationalization ignores torsion, global differential-cohomological refinements, discrete fluxes, and integral anomalies (Fiorenza et al., 2019).

The “superpoint” construction provides an algebraic route to super-Minkowski spacetime. Starting from $5+1$26, repeated doubling of supersymmetry and maximal invariant central extension produces

$5+1$27

The dimensions arise through the sequence of normed division algebras

$5+1$28

The final extension from type IIA supersymmetry to eleven-dimensional supersymmetry is associated with the D0-brane two-cocycle and is interpreted physically as the algebraic counterpart of the eleventh dimension (Huerta et al., 2017).

M-theory’s global gauge-theoretic information can also emerge from classical topology. For $5+1$29 M5-branes wrapped on a torus, an index-$5+1$30 sublattice

$5+1$31

determines the allowed M2-brane curves. Their intersection number gives

$5+1$32

which is the Dirac–Schwinger–Zwanziger mutual-locality condition for four-dimensional line operators. The same lattice determines

$5+1$33

including discrete electric-magnetic data. Modular transformations of the torus act as S-duality transformations on the resulting four-dimensional $5+1$34 gauge theories (Amariti et al., 2015).

6. Compactifications, orientifolds, non-Lorentzian limits, and proposed extensions

M-theory compactifications on manifolds with involutions produce orientifold and $5+1$35-holonomy constructions. A type IIA orientifold on a Calabi–Yau threefold $5+1$36 with antiholomorphic involution $5+1$37 lifts to

$5+1$38

For K3-fibered Calabi–Yau threefolds with compatible involutions, the lift can be realized as a twisted connected sum $5+1$39-manifold. The two building blocks have distinct interpretations:

$5+1$40

The open sector contains the geometry of O6-planes and D6-branes, while the closed sector is associated with the Calabi–Yau geometry. The resulting $5+1$41-manifold can possess inequivalent twisted connected sum decompositions, even when the underlying $5+1$42-manifold is the same (Braun, 2019).

Real topological string amplitudes also admit an M-theory interpretation. The relevant type IIA orientifold contains an $5+1$43-plane with one stuck D4-brane. Its M-theory lift acts freely on the M-theory circle:

$5+1$44

together with $5+1$45. Orientifold-even BPS states have integer Kaluza–Klein momentum, while orientifold-odd states have half-integer momentum. The resulting real topological-string invariants are parity-weighted equivariant Gopakumar–Vafa invariants,

$5+1$46

Only odd winding contributes to the genuine open/unoriented sector. The M-theory background flux and disk–crosscap pairing explain the tadpole condition

$5+1$47

This interpretation distinguishes the freely acting $5+1$48 lift from orientifold configurations with fixed loci (Piazzalunga et al., 2014).

A nonrelativistic limit of M-theory is obtained by scaling the longitudinal and transverse vielbeine as

$5+1$49

The resulting geometry is membrane Newton–Cartan geometry, with a rank-three longitudinal distribution and an eight-dimensional transverse metric. A critical three-form cancels the divergent membrane tension,

$5+1$50

Compactification on an anisotropic two-torus leads to a triangular realization of $5+1$51,

$5+1$52

which is interpreted as an effective Galilean boost. The construction yields a nonrelativistic IIB theory with polynomial transformations of its NS–NS and RR fields. A covariant nonrelativistic M5-brane action follows from the PST action and reduces, after compactification on the anisotropic torus, to a nonrelativistic IIB D3-brane action (Ebert et al., 2023).

Other proposed extensions are substantially more speculative. A $5+1$53-dimensional “Monstrous M-theory” is constructed at the level of a bosonic massless spectrum whose reduction to $5+1$54 dimensions has $5+1$55 degrees of freedom,

$5+1$56

The singlet is identified with the dilaton and the remaining states with the smallest nontrivial representation of the Monster group. The proposal connects the spectrum to the Leech lattice, the Griess algebra, $5+1$57, and Monster moonshine. A $5+1$58 subsector can be obtained by adding a Rarita–Schwinger field, suggesting—but not establishing—a possible $5+1$59 supergravity in $5+1$60 dimensions. The interacting theory, Monster action on the physical Hilbert space, and associated holographic dualities remain conjectural (Marrani et al., 2020).

M-theory also appears in scattering-amplitude bootstrap studies. Four-point amplitudes of the maximal-supergravity multiplet in $5+1$61 dimensions are written as

$5+1$62

where the leading local correction is controlled by a Wilson coefficient $5+1$63. In eleven-dimensional M-theory,

$5+1$64

Numerical bootstrap bounds give a lower estimate close to, but slightly below, the M-theory value. In eleven dimensions the extrapolated bound is approximately $5+1$65. The analysis provides evidence that M-theory lies near the lower boundary of the allowed space of unitary, analytic, crossing-symmetric, maximally supersymmetric gravitational amplitudes, but it does not establish uniqueness. Inelastic effects, including black-hole production, incomplete supersymmetry constraints, finite truncations, and the absence of a complete multiparticle bootstrap remain important limitations (Guerrieri et al., 2022).

M-theory’s proposed cosmological applications likewise remain exploratory. In the Lorentzian IIB matrix model, ten Hermitian matrices $5+1$66 are fundamental variables rather than coordinates. At large $5+1$67, factorization permits a master-field description. If the master-field matrices are approximately band diagonal, ordered eigenvalues of $5+1$68 can supply a candidate time coordinate, while block eigenvalues of spatial matrices define emergent points. A point distribution and its correlations can generate an effective inverse metric,

$5+1$69

With suitable assumed correlation functions, the resulting emergent metric can exhibit a degenerate three-dimensional defect at $5+1$70 while maintaining finite curvature. The construction is a proposal rather than a derivation from the exact master field. The emergence of four-dimensional expanding spacetime, the relation to M-theory, and the physical interpretation of the defect remain unconfirmed (Klinkhamer, 2021).

M-theory is therefore characterized by a network of mutually constraining but unequally established structures. Eleven-dimensional supergravity, the M2- and M5-brane spectrum, type IIA duality, ABJM theory, DLCQ and matrix models, exceptional geometry, higher algebra, brane charge quantization, wrapped-brane holography, and scattering amplitudes provide established or extensively developed sectors. The microscopic definition of the full theory, the interacting multiple-M5-brane theory, exact nonperturbative dynamics, and several proposed algebraic, cosmological, and higher-dimensional extensions remain open problems.