Wed 15 Mar 2006
Homotopical Algebraic Geometry II: geometric stacks and applications.
Bertrand Toen, Gabriele Vezzosi
This is the second part of a series of papers devoted to develop HomotopicalAlgebraic Geometry. We start by defining and studying generalizations ofstandard notions of linear and commutative algebra in an abstract monoidalmodel category, such as derivations, etale and smooth maps, flat and projectivemodules, etc. We then use the theory of stacks over model categories introducedin \cite{hagI} in order to define a general notion of geometric stack over abase symmetric monoidal model category C, and prove that this notion satisfiesthe expected properties. The rest of the paper consists in specializing C toseveral different contexts. First of all, when C=k-Mod is the category ofmodules over a ring k, with the trivial model structure, we show that ournotion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod,the model category of simplicial k-modules, and obtain this way a notion ofgeometric derived stacks which are the main geometric objects of DerivedAlgebraic Geometry. We give several examples of derived version of classicalmoduli stacks, as for example the derived stack of local systems on a space, ofalgebra structures over an operad, of flat bundles on a projective complexmanifold, etc. Finally, we present the cases where C=(k) is the model categoryof unbounded complexes of modules over a char 0 ring k, and C=Sp^{\Sigma} themodel category of symmetric spectra. In these two contexts, called respectivelyComplicial and Brave New Algebraic Geometry, we give some examples of geometricstacks such as the stack of associative dg-algebras, the stack ofdg-categories, and a geometric stack constructed using topological modularforms.



