derived smooth geometry
A derived stack is an ∞-stack – an (∞,1)-sheaf – on an (∞,1)-site . For example, is most often the (∞,1)-category of simplicial commutative rings or E-∞ ring spectra (with the Zariski or etale topology)).
But there is no natural reason why the domain should in general remain a 1-category if one passes to an ∞-categorical-context. A derived stack is a generalization of the notion of sheaf where both domain and codomain are taken to be -categorical.
Following the general logic of models for ∞-stack (∞,1)-toposes, derived stacks are typically modeled by the model structure on SSet-enriched presheaves on an SSet-site or model site . In such a model a derived stack is represented by an SSet-enriched functor from an SSet-enriched category to SSet that satisfies a descent condition.
One general idea for the use of higher and derived stacks is that
in the category Diff of manifolds the quotient by a non-free action of a group may not exist
in sheaves in it will exist, but will have the wrong properties in general with respect to some operations such as taking cohommology,
while finally in stacks it exists as the corresponding smooth action groupoid or orbifold and in this form rembers in terms of the isomorphisms how the quotient was obtained. The cohomology of the stack is then indeed the equivariant cohomology of the original manifold.
similarly passing to higher categorical domain – i.e. from presheaves on categories to presheaves on higher categories, is analogously a means to ensure that good limits exist.
A detailed illustration and motivation of the need of these “good limits” that don’t forget the way they were formed is
in the introductory section of
in the introductory section of
An introduction to this is for instance in chapter 5 of the lecture notes
A derived refinement of the ordinary site of smooth loci is the SSet-site of cosimplicial smooth loci. Derived stacks on this are the objects in a theory that could be called derived synthetic differential geometry?.
One obvious but notable phenomenon that occurs in derived stacks in general, but not in ∞-stacks over a 1-categorical site, is that under the Yoneda embedding for (∞,1)-categories a categorically discrete object, i,e. a 0-truncated object may be mapped to a higher categorical object.
for a fibrant and a cofibrant replacement functor. Then of course the simplicial presheaf for may in general take values in simplicial sets with nontrivial higher simplicial homotopy groups, to the extent that the SSet-hom-objects in are nontrivial.
A notable example of this is the case where CRing and . While ordinarily this is 0-categorical, when regarded as a derived stack on formal duals of simplicial rings this has in general a nontrivial free loop space object, i.e. a nontrivial homotopy pullback of the form
where, as indicated, the free loop space object is something like the de Rham space of . This means that regarded as a derived stack, the space becomes an ∞-groupoid whose morphisms are given by infinitesimal paths in the orighinal space.
By the -erspective on Hochschild cohomology (as discussed there) this implies a bunch of nice relations. Details are in
The fact is also mentioned and used in passing every now and then (e.g. p. 9) in
But there must be a better reference, somewhere.
An overview is provided in
A set of lecture notes on the model structure on simplicial presheaves with an eye towrads algebraic sites and derived algebraic geometry is
Details modeled on simplicial categories have been developed in the series of articles by Toën and Vezossi.
Of central interest in derived algebraic geometry is the simplicial site of simplicial algebras, which generalizes the familiar site of algebra used in algebraic geometry. This is introduced and studied in
Further developments in this direction are in
The unifying picture, in particular independent of the choice of model for the (infinity,1)-categories is presented in
Derived (-)stacks are currently mostly, maybe exclusively, studied on algebraic sites , where the category Alg is replaced with a category of “-algebras” of sorts. The theory of these -algebras is described in great detail in
Concretely the need for the site of simplicial ring objects is discussed in the introduction of
and in the introduction of