DIAGRAMS INDEXED BY GROTHENDIECK CONSTRUCTIONS AND STACKS ON STACKS

Let I be a small indexing category, G : I → Cat be a functor and BG ∈ Cat denote the Grothendieck construction on G. We define and study Quillen pairs between the category of diagrams of simplicial sets (resp. categories) indexed on BG and the category of I-diagrams over N(G) (resp. G). As an application we obtain a Quillen equivalence between the categories of presheaves of simplicial sets (resp. groupoids) on a stackM and presheaves of simplicial sets (resp. groupoids) overM.

[1]  Sharon Hollander.  Descent for quasi-coherent sheaves on stacks , 2007, 0708.2475.

[2]  P. Goerss,et al.  A resolution of the K(2)-local sphere at the prime 3 , 2005, 0706.2175.

[3]  M. Behrens.  A modular description of the K(2)-local sphere at the prime 3 , 2005, math/0507184.

[4]  J. Jardine.  Fibred sites and stack cohomology , 2004, math/0406483.

[5]  Daniel Dugger,et al.  Hypercovers and simplicial presheaves , 2002, Mathematical Proceedings of the Cambridge Philosophical Society.

[6]  P. Goerss.  (PRE-)Sheaves of Ring Spectra Over the Moduli Stack of Formal Group Laws , 2004 .

[7]  Philip S. Hirschhorn.  Model categories and their localizations , 2003 .

[8]  M. Hopkins.  Algebraic topology and modular forms , 2002, math/0212397.

[9]  Sharon Hollander.  A homotopy theory for stacks , 2001, math/0110247.

[10]  Daniel Dugger.  Universal Homotopy Theories , 2000, math/0007070.

[11]  J. Jardine,et al.  Simplicial Homotopy Theory: Progress in Mathematics 174 , 1999 .

[12]  C. Rezk,et al.  Notes on the Hopkins-Miller theorem , 1998 .

[13]  D. M. Kan,et al.  Homotopy Limits, Completions and Localizations , 1987 .

[14]  W. Dwyer,et al.  A classification theorem for diagrams of simplicial sets , 1984 .

[15]  W. Dwyer,et al.  Equivariant maps which are self homotopy equivalences , 1980 .

[16]  M. Artin,et al.  Versal deformations and algebraic stacks , 1974 .

[17]  Jean Giraud,et al.  Cohomologie non abélienne , 1971 .

[18]  D. Mumford,et al.  The irreducibility of the space of curves of given genus , 1969 .