arXiv subjects
Publications and source records attributed to Sharon Hollander.
We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of sheaves and quasi-coherent sheaves. As a corollary we obtain an alternate proof of a generalized change of rings theorem of Hovey.
We extend the notion of algebraic stack to an arbitrary subcanonical site C. If the topology on C is local on the target and satisfies descent for morphisms, we show that algebraic stacks are precisely those which are weakly equivalent to representable presheaves of groupoids whose domain map is a cover. This leads naturally to a definition of algebraic n-stacks. We also compare different sites naturally associated to a stack.
We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare different definitions of stacks and show that they lead to Quillen equivalent model categories. In addition, we show that these model structures are Quillen equivalent to the $S^2$-nullification of Jardine's model structure on sheaves of simplicial sets on $\cC$.
Let A be a DGA over a field and X a module over H_*(A). Fix an $A_\infty$-structure on H_*(A) making it quasi-isomorphic to A. We construct an equivalence of categories between A_{n+1}-module structures on X and length n Postnikov systems in the derived category of A-modules based on the bar resolution of X. This implies that quasi-isomorphism classes of A_n-structures on X are in bijective correspondence with weak equivalence classes of rigidifications of the first n terms of the bar resolution of X to a complex of A-modules. The above equivalences of categories are compatible for different values of n. This implies that two obstruction theories for realizing X as the homology of an A-module coincide.
We prove that Jardine's model category of simplicial presheaves can be obtained by localizing the `discrete' version at the collection of all hypercovers. One consequence is that the fibrant objects can be explicitly identified in terms of a hypercover descent condition. Another is a very simple approach to change-of-site functors. In an appendix, we discuss how this hypercover localization compares to the more naive process of localizing at the Cech complexes; the two are not the same in general, but agree in some cases of interest.