derived smooth geometry
In noncommutative algebraic geometry one represents a scheme by an abelian category of quasicoherent sheaves on the scheme, and looks at more general abelian categories as being categories of quasicoherent sheaves on a noncommutative space.
In derived (higher) noncommutative (algebraic) geometry one instead considers the derived category of quasicoherent sheaves, or more precisely its dg-enhancement or A-infinity-enhancement; dg-enhancements for the derived categories of quasiprojective smooth varieties are essentially unique by the results of Lunts and Orlov. Taking the derived category instead of the abelian loses a bit of information but sometimes the information is sufficient.
In general one represents complex noncommutative spaces by pretriangulated dg-categories. They may be viewed as models for stable -categories. Note that accessible stable -categories are quite close to Grothendieck -topoi; more flexibility one gets from pretriangulated -categories or, even better, certain class of spectral categories.
This is well into homotopy theory area. Quillen model category structures and homotopy limits in the context of dg-categories were studied by a number of people (including the impressive thesis by Tabuada). On the other hand, over a mixed characteristics, the meaning of such representations is less well understood.
Derived noncommutative geometry has been informally introduced by Kapranov-Bondal and later Orlov around 1990; full framework belongs to Kontsevich, Lunts, van den Bergh, Katzarkov, Kuznetsov, Kaledin. Some of the works of Toen, Vaquie, Keller, Cisinski, Tabuada are properly in this area as well.
In Katzarkov-Kontsevich-Pantev the following definition is given.
The derived categories of quasicoherent sheaves on a scheme over is one of the examples; another example is the category of dg-modules over a fixed dg-algebra , which are such that admits an exhaustive filtration such that the associated graded is a sum of shifts of . Call that category -.
Kontsevich calls a complex differential -graded algebra
smooth if is a perfect object in the category of --dg-bimodules (perfect object here means that preserves small homotopy colimits);
compact if the total complex dimension of its cohomology is finite
The category - is a smooth (resp. compact) nc space if the underlying dg-algebras is; this notion depends on the category and not on the underlying dg-algebra.
In the early works of the Moscow school (Kapranov, Bondal, Orlov, Kontsevich) one replaces a variety by the derived category of coherent sheaves (or quasicoherent sheaves on that variety, or dg-category (or A-infinity category) enhancements thereof. There are also noncommutative deformations of such derived categories and analogues like the categories corresponding to the so-called Landau-Ginzburg models. Therefore noncommutative derived algebraic geometry (and even noncommutative motives).
Notice that the derived category of coherent sheaves on a variety does not remember all the structure of the original variety hence derived geometry loses often some information (sometimes not); thus derived algebraic geometry is sometimes easier than nonderived.
The relations to tropical and symplectic geometry are in recent Kontsevich’s talk at 2009 Arbeitstagung:
Homological mirror symmetry is one of the main motivations and statements of the derived noncommutative algebraic geometry
Maxim Kontsevich, Homological algebra of mirror symmetry, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 120–139, Birkhäuser, Basel, 1995.
Notice that for the underlying ordinary rings (under ) are commutative. Therefore this has similarities with the formal noncommutative algebraic geometry perturbating around abelian schemes that is discussed in
For more on this see at Kapranov's noncommutative geometry