(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
Simplicial presheaves equipped with the model structure on simplicial presheaves are one model/presentation for the (∞,1)-category of (∞,1)-sheaves on a given site.
The fibrant object that a simplicial presheaf is weakly equivalent to with respect to this model structure is the ∞-stackification of . One expects that ∞-stacks/(∞,1)-sheaves are precisely those (∞,1)-presheaves which satisfy a kind of descent condition.
Precsisely what this condition is like for the particular model constituted by simplicial presheaves with the given Jardine model structure on simplicial presheaves was worked out in
and
recalled as corollary 6.5.3.13 in
The following is a summary of these results.
The main point is that the fibrant objects are essentially those simplicial presheaves, which satisfy descent with respect not just to covers, but to hypercovers.
Localizations of (∞,1)-presheaves at hypercovers are called hypercompletions in section 6.5.3 of Higher Topos Theory. Notice that in section 6.5.4 of Higher Topos Theory it is argued that it may be more natural not to localize at hypercovers, but just at covers after all.
A well-studied class of models/presentations for an (∞,1)-category of (∞,1)-sheaves is obtained using the model structure on simplicial presheaves on an ordinary (1-categorical) site , as follows.
Let be the SSet-enriched category of simplicial presheaves on .
Recall from model structure on simplicial presheaves that there is the global and the local injective simplicial model structure on , and that the local model structure is a (Bousfield-)localization of the global model structure.
According to section 6.5.2 of HTT we have:
the full simplicial subcategory on fibrant-cofibrant objects of with respect to the global injective model structure is (the SSet-enriched category realization of) the -category of (∞,1)-presheaves on .
the full simplicial subcategory on fibrant-cofibrant objects of with respect to the local injective model structure is (the SSet-enriched category realization of) the -category which is the hypercompletion of the -category of (∞,1)-sheaves on .
Since with respect to the local or global injective model structure all objects are automatically cofibrant, this means that is the full sub--category of on simplicial presheaves which are fibrant with respect to the local injective model structure: these are the ∞-stacks in this model.
By the general properties of localization of an (∞,1)-category there should be a class of morphisms in – hence between injective-fibrant objects in – such that the simplicial presheaves representing -stacks are precisely the local objects with respect to these morphisms.
This was worked out in
We now describe central results of that article.
For an object in the site regarded as a simplicial presheaf and a simplicial presheaf on , a morphism is a hypercover if it is a local acyclic fibration, i.e. of for all and all diagrams
there exists a covering sieve of with respect to the given Grothendieck topology on such that for every in that sieve the pullback of the abve diagram to has a lift
If is a Verdier site then every such hypercover has a refinement by a hypercover which is cofibrant with respect to the projective global model structure on simplicial presheaves. We shall from now on make the assumption that the hypercovers we discuss are cofibrant in this sense. These are called split hypercovers. (This works in many cases that arise in practice, see the discussion after DHI, def. 9.1.)
The objects of – i.e. the fibrant objects with respect to the projective model structure on – are precisely those objects of – i.e. Kan complex-valued simplicial presheaves – which satisfy descent for all split hypercovers, i.e. those for which for all split hypercover in we have that
This is DHI, thm 1.3 formulated in the light of DHI, lemma 4.4 ii).
Notice that by the co-Yoneda lemma every simplicial presheaf , which we may regard as a presheaf , is isomorphic to the weighted colimit
which is equivalently the coend
where is the Set-valued presheaf of -cells of regarded as an -valued presheaf under the inclusion , and where the SSet-weight is the canonical cosimplicial simplicial set , i.e. for all
In particular therefore for a Kan complex-valued presheaf the descent condition reads
With the shorthand notation introduced above the descent condition finally reads, for all global-injective fibrant simplicial presheaves and hypercovers :
The right hand here is often denoted , in which case this reads
(expanded version of remark 2.1 in DHI)
Using the Bousfield-Kan map every simplicial presheaf is also weakly equivalent to the weighted limit over with weight given by .
But by the discussion at weighted limit, the left hand computes the homotopy limit of (since is objectwise fibrant, since factors through ), hence we have a weak equivalence
Often the descent condition is therefore formulated with the cover replaced by its homotopy limit, whence it reads
With global-injective fibrant this is equivalent to
Using the notation introduced above this becomes finally
Last revised on August 20, 2022 at 11:12:45. See the history of this page for a list of all contributions to it.