Full formulation of M-theory

Establish a complete, mathematically precise formulation of M-theory, providing a non-perturbative and globally defined framework for the theory that unifies its various limits, incorporates extended supersymmetry, and makes duality symmetries manifest.

Background

The paper reviews super-Lie-infinity structures underlying supergravity and dualities, and argues for the M-algebra as a local model space for duality-covariant completions. Despite extensive evidence and partial formulations (e.g., via brane charges, dualities, and exceptional symmetries), a complete formulation of M-theory has not yet been achieved.

The authors situate their work within ongoing efforts to better understand M-theory through extended supersymmetry and duality symmetry, noting that while significant structural hints exist, the definitive formulation is still missing.