Fibred sites and stack cohomology
type: Item
instance of: scholarly article
title: Fibred sites and stack cohomology
zbMATH Open document ID: 1126.14022
published in: Mathematische Zeitschrift
publication date: 2007-10-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0406483
review text: Let \(G\) be a stack defined on a Grothendieck site \({\mathcal C}\). Recall that \(G\) is a pseudo-functor on \({\mathcal C}\), with values in groupoids, such that the objects of \(G\) form a pseudo-functorial sheaf. In this general setting, there is a fundamental construction of another Grothendieck site \({\mathcal C}/G\), which is called the site associated to the stack \(G\). The introduction of the site \({\mathcal C}/G\), the idea of which goes back to A. Grothendieck himself, allows to develop the notion of stack cohomology of \(G\) with coefficients in a sheaf \(A\) on \({\mathcal C}/G\) [cf.: \textit{G. Laumon} and \textit{L. Moret-Bailly} [``Algebraic spaces'', Ergebn. Math. Grenzgeb., 3. Folge, Vol. 39 (2000; Zbl 0945.14005)], and this kind of (generalized) cohomology theory is closely related to the categorical homotopy theory of sheaves and stacks via the concept of Eilenberg-MacLane simplicial sheaves \(K(A,n)\) associated to a sheaf \(A\) on \({\mathcal C}/G\) [cf.: \textit{J. F. Jardine}, Homology Homotopy Appl. 3, No. 2, 361--384 (2001; Zbl 0995.18006)]. In the paper under review, the author provides the technical fundamentals for a conceptual expansion of this (already quite general) framework. In the first part, it is shown that the usual construction of the site \({\mathcal C}/G\) associated to a stack \(G\) admits a substantial generalization, namely to a site \({\mathcal C}/ A\) fibred over a presheaf of categories \(A\) on the base site \({\mathcal C}\). This concept generalizes many standard constructions, including those of the geometric sites fibred over diagrams of algebraic schemes. Then the simplicial presheaves on such a site \({\mathcal C}/A\) are described as enriched contravariant diagrams on \(A\). From this characterization it is derived that, if \(A\) is a presheaf of groupoids \(G\), then the associated homotopy category of simplicial presheaves over \({\mathcal C}/G\) is Quillen equivalent to the homotopy category of simplicial…
Mathematics Subject Classification ID: 14F20
Mathematics Subject Classification ID: 18G30
Mathematics Subject Classification ID: 14A20
Mathematics Subject Classification ID: 14F35
Mathematics Subject Classification ID: 18F10
Mathematics Subject Classification ID: 18B40
zbMATH DE Number: 5204065
zbMATH Keywords: Grothendieck topologies
zbMATH Keywords: sites
zbMATH Keywords: stacks
zbMATH Keywords: stack cohomology
zbMATH Keywords: homotopy theory
zbMATH Keywords: simplicial objects
zbMATH Keywords: groupoids
zbMATH Keywords: homotopy categories
author: J. F. Jardine
reviewed by: Werner Kleinert
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W1990833082
arXiv ID: math/0406483
cites work: Local projective model structures on simplicial presheaves
cites work: Q4191283
cites work: Homotopy limits, completions and localizations
cites work: Simplicial homotopy theory
cites work: A homotopy theory for stacks
cites work: Simplicial presheaves
cites work: Generalized étale cohomology theories
cites work: Presheaves of symmetric spectra
cites work: Stacks and the homotopy theory of simplicial sheaves
cites work: Categorical homotopy theory
cites work: Diagrams and torsors
cites work: Strong stacks and classifying spaces
cites work: Q4935967
cites work: Higher algebraic K-theory: I
DOI: 10.1007/S00209-006-0009-Z
description: scientific article