nLab
derived stack

**(∞,1)-topos theory** ## Background ## * sheaf and topos theory * (∞,1)-category * (∞,1)-functor * (∞,1)-presheaf * (∞,1)-category of (∞,1)-presheaves ## Definitions ## * elementary (∞,1)-topos * (∞,1)-site * reflective sub-(∞,1)-category * localization of an (∞,1)-category * topological localization * hypercompletion * (∞,1)-category of (∞,1)-sheaves * (∞,1)-sheaf/∞-stack/derived stack * (∞,1)-topos * (n,1)-topos, n-topos * n-truncated object * n-connected object * (1,1)-topos * presheaf * sheaf * (2,1)-topos, 2-topos * (2,1)-presheaf * (∞,1)-quasitopos * separated (∞,1)-presheaf * quasitopos * separated presheaf * (2,1)-quasitopos? * separated (2,1)-presheaf * (∞,2)-topos * (∞,n)-topos ## Characterization ## * universal colimits * object classifier * groupoid object in an (∞,1)-topos * effective epimorphism ## Morphisms * (∞,1)-geometric morphism * (∞,1)Topos * Lawvere distribution ## Extra stuff, structure and property * hypercomplete (∞,1)-topos * hypercomplete object * Whitehead theorem * over-(∞,1)-topos * n-localic (∞,1)-topos * locally n-connected (n,1)-topos * structured (∞,1)-topos * geometry (for structured (∞,1)-toposes) * locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos * local (∞,1)-topos * concrete (∞,1)-sheaf * cohesive (∞,1)-topos ## Models ## * models for ∞-stack (∞,1)-toposes * model category * model structure on functors * model site/sSet-site * model structure on simplicial presheaves * descent for simplicial presheaves * descent for presheaves with values in strict ∞-groupoids ## Constructions ## **structures in a cohesive (∞,1)-topos** * shape / coshape * cohomology * homotopy * fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos/of a locally ∞-connected (∞,1)-topos * categorical/geometric homotopy groups * Postnikov tower * Whitehead tower * rational homotopy * dimension * homotopy dimension * cohomological dimension * covering dimension * Heyting dimension

Edit this sidebar

Contents

Idea

A derived stack XX is an ∞-stack – an (∞,1)-sheaf – whose domain is not a 1-category but more generally an (∞,1)-category CC.

XSh (,1)(C). X \in Sh_{(\infty,1)}(C) \,.

One says derived stack in order to distinguish from the more restrictive notion of an ∞-stack on a 1-categorical site, such as for instance described at topological ∞-groupoid.

For recall that a sheaf is a functor F:C opSetF : C^{op} \to Set satisfying some descent-condition. So there are two steps in which the notion of sheaf may be categorified:

  1. the codomain is categorified and the domain remains a 1-category
  2. the codomain and the domain are categorified.

The categorification of the codomain leads to the notion of stacks when Set replaced by Grpd, and further to ∞-stacks, when sets are replaced by ∞-groupoids.

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 \infty-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 CC. In such a model a derived stack is represented by an SSet-enriched functor F:C opSSetF : C^{op} \to SSet from an SSet-enriched category CC to SSet that satisfies a descent condition.

Central motivation: derived stacks have good limits

One general idea for the use of higher and derived stacks is that

  • passing to a higher categorical codomain – i.e. from Set-values sheaves to higher groupoid valued sheaves – is a means to obtain good colimits, colimits that do not lose information. For instance

    • in the category Diff of manifolds the quotient by a non-free action of a group may not exist

    • in sheaves in [Diff op,Set][Diff^{op},Set] it will exist, but will have the wrong properties in general with respect to some operations such as taking cohommology,

    • while finally in stacks [Diff op,Grpd][Diff^{op}, Grpd] 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

Examples

Remarks

Derived Yoneda embedding

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.

Consider specifically an ordinary site CC and let csC=[Δ,C]csC = [\Delta,C] be the corresponding SSet-site of cosimplicial objects. Write

Y:C[Δ,C]Y[[Delta,C],SSet] \mathbf{Y} : C \hookrightarrow [\Delta,C] \stackrel{\mathbb{R}Y}{\to} [[Delta,C],SSet]

for the composite that first regards objects of CC as constant cosimplicial objects and then applies the derived functor of the enriched Yoneda embedding, i.e. the functor

Y=Y(Q(),P()) \mathbb{R}Y = Y(Q(-), P(-))

for QQ a fibrant and PP a cofibrant replacement functor. Then of course the simplicial presheaf Y(U)\mathbf{Y}(U) for UCU \in C may in general take values in simplicial sets with nontrivial higher simplicial homotopy groups, to the extent that the SSet-hom-objects Y(U):V[Δ,C](V,U)\mathbf{Y}(U) : V \mapsto [\Delta,C](V,U) in [Δ,C][\Delta,C] are nontrivial.

This cannot happen for ∞-stacks over 1-categorical site. For instance a topological space regarded as a topological ∞-groupoid is always an 0-truncated object as an ∞-stack.

A notable example of this is the case where C=C = CRing and U=SpecRU = Spec R. 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

SpecΩ K (R) SpecR (Id,Id) SpecR (Id,Id) SpecR×SpecR, \array{ \Spec \Omega^\bullet_K(R) &\to& Spec R \\ \downarrow && \downarrow^{\mathrlap{(Id,Id)}} \\ Spec R &\stackrel{(Id,Id)}{\to}& Spec R \times Spec R } \,,

where, as indicated, the free loop space object is something like the de Rham space of SpecRSpec R. This means that regarded as a derived stack, the space SpecRSpec R becomes an ∞-groupoid whose morphisms are given by infinitesimal paths in the orighinal space.

By the \infty-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.

References

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.

This article generalizes the notion of site and model structure on simplicial presheaves from 1-categorical sites to simplicial sites and hence to a model structure on SSet-enriched presheaves:

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

  • Bertrand Toën, Gabriele Vezzosi, From HAG to DAG: derived moduli stacks in Axiomatic, enriched and motivic homotopy theory, 173–216, NATO Sci. Ser. II Math. Phys. Chem., 131, Kluwer Acad. Publ., Dordrecht, 2004. (arXiv)

The unifying picture, in particular independent of the choice of model for the (infinity,1)-categories is presented in

Derived (\infty-)stacks are currently mostly, maybe exclusively, studied on algebraic sites SS, where the category S op:=S^{op} := Alg is replaced with a category of ”\infty-algebras” of sorts. The theory of these \infty-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

The proof that simplicial algebras are Quillen equivalent of differential graded algebras – so that derived stacks on simplicial algebras are the same as derived stacks on DGAs – is in

Revised on May 13, 2010 14:19:08 by Urs Schreiber (77.165.72.45)