nLab descent for simplicial presheaves

Redirected from "homotopy descent".
Contents

Context

Locality and descent

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

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 X¯\bar X that a simplicial presheaf X:S opSSetX : S^{op} \to SSet is weakly equivalent to with respect to this model structure is the ∞-stackification of XX. 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

  • Daniel Dugger, Sharon Hollander, Daniel C. Isaksen, Hypercovers and simplicial presheaves (web)

and

  • Toën-Vezzosi, Segal topoi and stacks over Segal categories (pdf)

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.

Details

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 SS, as follows.

Let [S op,SSet][S^{op}, SSet] be the SSet-enriched category of simplicial presheaves on SS.

Recall from model structure on simplicial presheaves that there is the global and the local injective simplicial model structure on [S op,SSet][S^{op}, SSet], 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 [S op,SSet][S^{op}, SSet] with respect to the global injective model structure is (the SSet-enriched category realization of) the (,1)(\infty,1)-category PSh (,1)(S)PSh_{(\infty,1)}(S) of (∞,1)-presheaves on SS.

  • the full simplicial subcategory on fibrant-cofibrant objects of [S op,SSet][S^{op}, SSet] with respect to the local injective model structure is (the SSet-enriched category realization of) the (,1)(\infty,1)-category Sh¯ (,1)(S)\bar{Sh}_{(\infty,1)}(S) which is the hypercompletion of the (,1)(\infty,1)-category Sh (,1)(S)Sh_{(\infty,1)}(S) of (∞,1)-sheaves on SS.

Since with respect to the local or global injective model structure all objects are automatically cofibrant, this means that Sh¯ (,1)(S)\bar Sh_{(\infty,1)}(S) is the full sub-(,1)(\infty,1)-category of PSh (,1)(S)PSh_{(\infty,1)}(S) 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 f:YXf : Y \to X in PSh (,1)(S)PSh_{(\infty,1)}(S) – hence between injective-fibrant objects in [S op,PSh(S)][S^{op}, PSh(S)] – such that the simplicial presheaves representing \infty-stacks are precisely the local objects with respect to these morphisms.

This was worked out in

  • D. Dugger, S. Hollander, D. Isaksen, Hypercovers and simplicial presheaves (pdf)

We now describe central results of that article.

Definition

For XSX \in S an object in the site regarded as a simplicial presheaf and Y[S op,SSet]Y \in [S^{op}, SSet] a simplicial presheaf on SS, a morphism YXY \to X is a hypercover if it is a local acyclic fibration, i.e. of for all VSV \in S and all diagrams

Λ k[n]V Y Δ nV XrespectivelyΔ nV Y Δ nV X \array{ \Lambda^k[n]\otimes V &\to & Y \\ \downarrow && \downarrow \\ \Delta^n\otimes V &\to& X } \;\; respectively \;\, \array{ \partial \Delta^n\otimes V &\to & Y \\ \downarrow && \downarrow \\ \Delta^n\otimes V &\to& X }

there exists a covering sieve {U iV}\{U_i \to V\} of VV with respect to the given Grothendieck topology on SS such that for every U iVU_i \to V in that sieve the pullback of the abve diagram to UU has a lift

Λ k[n]U i Y Δ nU i XrespectivelyΔ nU i Y Δ nU i X. \array{ \Lambda^k[n]\otimes U_i &\to & Y \\ \downarrow &\nearrow & \downarrow \\ \Delta^n\otimes U_i &\to& X } \;\; respectively \;\, \array{ \partial \Delta^n\otimes U_i &\to & Y \\ \downarrow &\nearrow& \downarrow \\ \Delta^n\otimes U_i &\to& X } \,.

If SS is a Verdier site then every such hypercover YXY \to X 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 YXY \to X 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.)

Proposition

The objects of Sh (,1)(S)Sh_{(\infty,1)}(S) – i.e. the fibrant objects with respect to the projective model structure on [S op,SSet][S^{op}, SSet] – are precisely those objects AA of PSh (,1)(S)PSh_{(\infty,1)}(S) – i.e. Kan complex-valued simplicial presheaves – which satisfy descent for all split hypercovers, i.e. those for which for all split hypercover f:YXf : Y \to X in [S op,SSet][S^{op}, SSet] we have that

[S op,SSet](X,A)[S op,SSet](Y,A) [S^{op}, SSet](X,A) \stackrel{\simeq}{\to} [S^{op}, SSet](Y,A)

is a weak equivalence of simplicial sets.

Proof

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 F:S opSSetF : S^{op} \to SSet, which we may regard as a presheaf F:Δ op×S opSetF : \Delta^{op}\times S^{op} \to Set, is isomorphic to the weighted colimit

Fcolim ΔF F \simeq colim^\Delta F_\bullet

which is equivalently the coend

F [n]ΔΔ nF n, F \simeq \int^{[n] \in \Delta} \Delta^n \cdot F_n \,,

where F nF_n is the Set-valued presheaf of nn-cells of FF regarded as an SSetSSet-valued presheaf under the inclusion SetSSetSet \hookrightarrow SSet, and where the SSet-weight is the canonical cosimplicial simplicial set Δ\Delta, i.e. for all XSX \in S

F:X [n]ΔΔ n×F(X) n. F : X \mapsto \int^{[n] \in \Delta} \Delta^n \times F(X)_n \,.

In particular therefore for AA a Kan complex-valued presheaf the descent condition reads

[S op,SSet](X,A)[S op,SSet](colim ΔY ,A)lim Δ[S op,SSet](Y ,A). [S^{op}, SSet](X,A) \stackrel{\simeq}{\to} [S^{op}, SSet](colim^\Delta Y_\bullet,A) \simeq lim^\Delta [S^{op}, SSet](Y_\bullet,A) \,.

With the shorthand notation introduced above the descent condition finally reads, for all global-injective fibrant simplicial presheaves AA and hypercovers UXU \to X:

A(X)lim ΔA(Y ). A(X) \stackrel{\simeq}{\to} lim^\Delta A(Y_\bullet) \,.

The right hand here is often denoted Desc(Y X,A)Desc(Y_\bullet \to X, A), in which case this reads

A(X)Desc(Y X,A). A(X) \stackrel{\simeq}{\to} Desc(Y_\bullet \to X, A) \,.

In terms of homotopy limit

(expanded version of remark 2.1 in DHI)

Using the Bousfield-Kan map every simplicial presheaf FF is also weakly equivalent to the weighted limit over F F_\bullet with weight given by N(Δ/()):ΔSSetN(\Delta/(-)) : \Delta \to SSet.

lim N(Δ/())F lim ΔF . lim^{N(\Delta/(-))} F_\bullet \stackrel{\simeq}{\to} lim^\Delta F_\bullet \,.

But by the discussion at weighted limit, the left hand computes the homotopy limit of F F_\bullet (since F F_\bullet is objectwise fibrant, since F nF_n factors through SetSSetSet \hookrightarrow SSet), hence we have a weak equivalence

holimF F. holim F_\bullet \stackrel{\simeq}{\to} F \,.

Often the descent condition is therefore formulated with the cover UU replaced by its homotopy limit, whence it reads

[S op,SSet](X,A)[S op,SSet](hocolimU ,A). [S^{op}, SSet](X,A) \stackrel{\simeq}{\to} [S^{op}, SSet](hocolim U_\bullet,A) \,.

With AA global-injective fibrant this is equivalent to

[S op,SSet](X,A)holim[S op,SSet](U ,A). [S^{op}, SSet](X,A) \stackrel{\simeq}{\to} holim [S^{op}, SSet](U_\bullet,A) \,.

Using the notation introduced above this becomes finally

A(X)holimA(U ). A(X) \stackrel{\simeq}{\to} holim A(U_\bullet) \,.

Last revised on August 20, 2022 at 11:12:45. See the history of this page for a list of all contributions to it.