Derived algebraic geometry
BRANCH OF MATHEMATICS GENERALIZING ALGEBRAIC GEOMETRY SO THAT COMMUTATIVE RINGS PROVIDING LOCAL CHARTS ARE REPLACED BY SIMPLICIAL COMMUTATIVE RINGS OR E∞-RING SPECTRA, WHOSE HIGHER HOMOTOPY GROUPS ACCOUNT FOR NON-DISCRETENESS OF THE STRUCTURE SHEAF
Homotopical algebraic geometry; Spectral algebraic geometry
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over \mathbb{Q}), simplicial commutative rings or E_{\infty}-ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g.