Schreiber sheaves

Geometric embeddings into presheaf topoi

previous: geometric embedding

home: sheaves and stacks

next: geometric morphisms of sheaf topoi


  • in the previous bit we had worked out the detailed description of geometric embeddings f:FEf : F \hookrightarrow E of categories with finite limits (or of topoi). We found three equivalent characterizations:

    • FEF \hookrightarrow E is a geometric embedding;

    • FF is (equivalent to) the full subcategory on WW-local objects;

    • FF is (equivalent to) the localization E[W 1]E[W^{-1}].

  • we now apply this to the case that E=PSh(S)E = PSh(S) is a category of presheaves and discover this way the notions

    • coverage– a characterization of the weak equivalences WW in E=PSh(S)E = PSh(S)

    • sheaf– the WW-local objects

  • the formalism is set up in such a way that from there we arrive with ease at

Geometric embeddings into presheaf topoi

Let SS be a small category and write PSh(S)=PSh S=[S op,Set]PSh(S) = PSh_S = [S^{op}, Set] for the corresponding topos of presheaves.

Assume then that another topos Sh(S)=Sh SSh(S) = Sh_S is given together with a geometric embedding

f:Sh(S)PSh(S) f : Sh(S) \to PSh(S)

i.e. with a full and faithful functor

f *:Sh(S)PSh(S) f_* : Sh(S) \to PSh(S)

and a left exact functor

f *:PSh(S)Sh(S) f^* : PSh(S) \to Sh(S)

Such that both form a pair of adjoint functors

f *f * f^* \dashv f_*

with f *f^* left adjoint to f *f_*.

Write WW for the category

Core(PSh(S))WPSh(S) Core(PSh(S)) \hookrightarrow W \hookrightarrow PSh(S)

consisting of all those morphisms in PSh(S)PSh(S) that are sent to isomorphisms under f *f^*.

W=(f *) 1(Core(Sh S)). W = (f^*)^{-1}(Core(Sh_S)) \,.

In the present situation of presheaves, we call the morphisms in WW local isomorphism.

From the discussion at geometric embedding we know that Sh(S)Sh(S) is equivalent to the full subcategory of PSh(S)PSh(S) on all WW-local objects.

Recall that an object APSh(S)A \in PSh(S) is called a WW-local object if for all p:YXp : Y \to X in WW the morphism

p *:PSh S(X,A)PSh S(Y,A) p^* : PSh_S(X,A) \to PSh_S(Y,A)

is an isomorphism. This we call the descent condition on presheaves (saying that a presheaf “descends” along pp from YY “down to” XX). Our task is therefore to identify the category WW, show how it determines and is determined by a coverage or Grothendieck topology on SS – equipping SS with the structure of a site – and characterize the WW-local objects. These are (up to equivalence of categories) the objects of Sh(S)Sh(S), i.e. the sheaves with respect to the given Grothendieck topology.

Lemma

A morphism YXY \to X is in WW if and only if for every representable presheaf UU and every morphism UXU\to X the pullback Y× XUUY \times_X U \to U is in WW

Y× XU Y W W U X. \array{ Y \times_X U &\to& Y \\ \downarrow^{\in W} && \downarrow^{\Leftrightarrow \in W} \\ U &\to& X } \,.
Proof

Since WW is stable under pullback (as described at geometric embedding: simply because f *f^* preserves finite limits) it is clear that Y× XUUY \times_X U \to U is in WW if YXY \to X is.

To get the other direction, use the co-Yoneda lemma to write XX as a colimit of representables over the comma category (Y/const X)(Y/const_X) (with YY the Yoneda embedding):

Xcolim U iXU i. X \simeq colim_{U_i \to X} U_i \,.

Then pull back Ycolim U iXUY \to colim_{U_i \to X} U over the entire colimiting cone, so that over each component we have

Y× XU i Y U i X. \array{ Y \times_X U_i &\to& Y \\ \downarrow && \downarrow \\ U_i &\to& X } \,.

Using that in PSh(S)PSh(S) colimits are stable under base change we get

colim i(Y× XU i)(colim iU i)× XY. colim_i (Y \times_X U_i) \simeq (colim_i U_i) \times_X Y \,.

But since Xcolim iU iX \simeq colim_i U_i the right hand is X× XYX \times_X Y, which is just YY. So Y=colim i(Y× XU i)Y = colim_i (Y \times_X U_i) and we find that YXY \to X is a morphism of colimits. But under f *f^* the two respective diagrams become isomorphic, since Y× XU iU iY \times_X U_i \to U_i is in WW. That means that the corresponding morphism of colimits f *(YX)f^*(Y \to X) (since f *f^* preserves colimits) is an isomorphism, which finally means that YXY \to X is in WW.

Lemma

A presheaf APSh(S)A \in PSh(S) is a local object with respect to all of WW already if it is local with respect to those morphisms in WW whose codomain is representable

Proof

Rewriting the morphism YXY \to X in WW in terms of colimits as in the above proof

colim UXU i× XY Y colim UXU X \array{ colim_{U \to X} U_i \times_X Y &\stackrel{\simeq}{\to}& Y \\ \downarrow && \downarrow \\ colim_{U \to X} U &\stackrel{\simeq}{\to}& X }

we find that A(X)A(Y)A(X) \to A(Y) equals

lim UX(A(U)A(U× XY)). lim_{U \to X} (A(U) \to A(U \times_X Y)) \,.

If AA is local with respect to morphisms WW with representable codomain, then by the above if YXY \to X is in WW all the morphisms in the limit here are isomorphisms, hence

=Id A(X). \cdots = Id_{A(X)} \,.
Lemma

Every morphism YXY \to X in WPSh(S)W \subset PSh(S) factors as an epimorphism followed by a monomorphism in PSh(S)PSh(S) with both being morphisms in WW.

Proof

Use factorization through image and coimage, use exactness of f *f^* to deduce that the factorization exists not only in PSh(S)PSh(S) but even in WW.

More in detail, given h:YXh : Y \to X we get the diagram

Y× XY Y Y Y× XYY h Y h X. \array{ Y \times_X Y &&\to&& Y \\ &&& \swarrow \\ \downarrow &&Y \sqcup_{Y \times_X Y} Y && \downarrow^h \\ & \nearrow && \searrow \\ Y && \stackrel{h}{\to} && X } \,.

The outer square is a pullback, the inner a pushout.

Because f *f^* is exact, the pullbacks and pushouts in this diagram remain such under f *f^*. But since f *(YX)f^*(Y \to X) is an isomorphism by assumption, the all these are pullbacks and pushouts along isomorphisms in Sh(S)Sh(S), so all morphisms in the above diagram map to isomorphisms in Sh(S)Sh(S), hence the entire diagram in PSh(S)PSh(S) is in WW.

Since the morphism Y Y× XYYXY \sqcup_{Y \times_X Y} Y \to X out of the coimage is at the same time the equalizing morphism into the image lim(XX YX)lim(X \stackrel{\to}{\to} X \sqcup_Y X), it is a monomorphism.

Definition

The monomorphisms in PSh(S)PSh(S) which are in WW are called dense monomorphisms.

Sieves

Lemma

Every monomorphism YXY \to X with XX representable is of the form

Y=colim(U× XUU) Y = colim ( U \times_X U \stackrel{\to}{\to} U )

for U= αU αU = \sqcup_{\alpha} U_\alpha a disjoint union of representables

Proof

This is a direct consequence of the standard fact that subfunctors are in bijection with sieves.

Sieves are an equivalent way to encode subobjects of representable functors in a presheaf category in terms of the total sets of elements of such a subfunctor.

The notion of sieve is usually used when certain such subobjects are singled out as cover?s of a coverage: the singled out subobjects then correspond to covering sieves.

Let CC be a small category.

Definition

A sieve SS (Fr. crible) on an object cCc \in C is a subset SOb(C/c)S \subset Ob(C/c) of the set of objects of the over category over cc which is closed under precomposition: it has the property that with (dc)S(d \to c) \in S for every morphism (ed)Mor(C)(e \to d) \in Mor(C) also the composite (edc)(e \to d \to c) is in SS.

Remark

Sometimes the condition of a sieve being closed under the operation of precomposing with an arbitrary morphism g:edg: e \to d is called a “saturation condition”. Given any collection of morphisms targeted at cc, one can always close it up or saturate it, to obtain a sieve on cc.

There is a canonical way to create subfunctors from sieves and sieves from subfunctors.

Definition

Given a sieve SS on cc, the subfunctor F SY(c)F_S \hookrightarrow Y(c) defined by the sieve is the presheaf

  • that assigs to each object dCd \in C the set F S(d)={(dc)S}F_S(d) = \{(d \to c) \in S\};

  • that assigns to each morphism (dd)C(d \to d') \in C the function F S(d)F S(d)F_S(d') \to F_S(d) induced on elements by precomposition with ddd \to d'.

Definition

Given a subfunctor FY(c)F \hookrightarrow Y(c), the sieve defined by the subfunctor is given by

  • S F:={g:dcMor(C)|Y(d)Y(g)Y(c)=Y(d)FY(c)}S_F := \{g: d \to c \in Mor(C) | Y(d) \stackrel{Y(g)}\to Y(c) = Y(d) \to F \to Y(c) \}

or equivalently

  • S F= dObj(C)F(d)S_F = \coprod_{d \in Obj(C)}F(d).
Lemma

These two definitions establish a bijection between sieves on cc and subobjects of Y(c)Y(c).

For every sieve SS we have

S F S=S S_{F_S} = S

and for every subfunctor we have

F S F=F. F_{S_F} = F \,.
Remarks
  • The construction of S FS_F makes sense for every morphism of presheaves FY(c)F \to Y(c). The sieve is sensitive precisely to the image of this map,

    S F=S im(FY(c)). S_{F} = S_{im (F \to Y(c))} \,.
  • In the presence of a coverage a morphism FY(c)F \to Y(c) is sometimes called a local epimorphism if the sieve S FS_F is a covering sieve. If FY(c)F \to Y(c) is actually a subfunctor, then it is called a dense monomorphism.

  • The pullback of a subfunctor i:F SY(c)=hom(,c)i: F_S \hookrightarrow Y(c) = \hom(-, c) along any morphism hom(,g):hom(,d)hom(,c)\hom(-, g): \hom(-, d) \to \hom(-, c) is again a subfunctor g *Fg^* F of dd, hence sieves are closed under pulling back. Concretely,

    g *S= eOb(C){f:ed:gfS}.g^* S = \bigcup_{e \in Ob(C)} \{f: e \to d: g f \in S\} \,.
  • A sieve S FS_F on cc, for i:Fhom(,c)i: F \hookrightarrow \hom(-, c) a subfunctor, may be described as a function which assigns to each object dd a collection of morphisms f:dcf: d \to c into cc. Naturality of the inclusion ii means that whenever f:dcf: d \to c belongs to the sieve and g:edg: e \to d is any morphism, then fg:ecf g: e \to c also belongs to the sieve.

Lemma

The subfunctor F SXF_S \hookrightarrow X corresponding to a sieve SS is the coimage of the morphism out of the disjoint union of all objects (regarded as representable presheaves) in the sieve:

(U= (U αX)SU α)X (U = \coprod_{(U_\alpha \to X) \in S} U_\alpha) \to X

in that

(F SX)=((colim(U× XUU)X). (F_S \to X) = ((colim(U \times_X U \stackrel{\to}{\to} U) \to X) \,.

If the sieve is generated by (is the saturation of) a collection of morphisms {U αU}\{U_\alpha \to U\} then the same statement remains true with UU being the coproduct over just these U αU_\alpha.

Proof

As described at limits and colimits by example, the colimit of presheaves may be computed objectwise in SetSet. Doing so and using the Yoneda lemma tells us that for each object VV we have

colim(U× XUU)(V) colim(Hom(V,U× XU)Hom(V,U)) colim(Hom(V,U)× Hom(U,X)Hom(V,U)Hom(V,U)) \begin{aligned} colim(U \times_X U \stackrel{\to}{\to} U)(V) & \simeq colim(Hom(V,U \times_X U) \stackrel{\to}{\to} Hom(V,U)) \\ & \simeq colim( Hom(V,U) \times_{Hom(U,X)} Hom(V,U) \stackrel{\to}{\to} Hom(V,U)) \end{aligned}

where all objects appearing (at least in the first lines) are implicitly regarded as presheaves under the Yoneda embedding.

But this colimit now manifestly computes the set

{mapsfromVtoXthatfactorthroughU} \{ maps from V to X that factor through U\}_\sim

where the equivalence relation is

((fUX)(gUX))(fandgcoincideasmapstoX). ((f \to U \to X) \sim (g \to U \to X)) \Leftrightarrow (f and g coincide as maps to X) \,.

So the set is just the set of maps from VV to XX that factor through one of the U αU_\alpha, which is precisely the set F S(V)F_S(V) assigned by the subfunctor corresponding to the sieve.

Examples

  • For XX a topological space let Op(X)Op(X) be the category of open subsets of XX and consider presheaves PSh(X):=[Op(X) op,Set]PSh(X) := [Op(X)^{op}, Set] on XX. For any open subset c=VOp(X)c = V \in Op(X) let {d i}={U i}\{d_i\} = \{U_i\} be a cover of VV by open subsets U iU_i in the ordinary sense (i.e. each U iU_i is an open subset of VV and their joint union is VV, iU i=V\bigcup_i U_i = V), then π:( iY(U i)) iU i iXY(V)\pi : (\coprod_i Y(U_i)) \stackrel{\coprod_i U_i \hookrightarrow_i X}{\to} Y(V) (with YY the Yoneda embedding) is a local epimorphism of presheaves on VV and its image – or equivalently its coimage – is the subfunctor (F:= iY(U i))Y(V)(F := \bigcup_i Y(U_i)) \hookrightarrow Y(V) that sends each WOp(X)W \in Op(X) to the set of maps WVW \to V that factor through one of the U iU_i. The collection of all such maps for all choice of WW is the corresponding covering sieve {f:WVMor(S)|f=WU iV}\{ f : W \to V \in Mor(S) \;|\; f = W \to U_i \to V \}.

  • The situation for more general sites SS other than Op(X)Op(X) is literally the same as above, with U i,W,VU_i, W, V etc. objects of SS.

A detailed description of what’s going on

The followig is a pedagogical step-by-step description of the crucial aspects of sieves as covers.

To start with the simplest example that already contains in it all the relevant aspects, consider a topological space XX with an open subset VXV \subset X that is covered by two open subsets U 1,U 2XU_1, U_2 \subset X in that the union U 1U 2U_1 \cup U_2 in XX coincides with VV:

U 1U 2=V. U_1 \cup U_2 = V \,.

This is the coproduct in the category of open subsets of XX. Although it's not a disjoint coproduct, which coproducts in sheaf categories are, to which we come.

Another way to think of this is obtained by first forming the fiber product of U 1U_1 with U 2U_2 over VV in Op(X)Op(X), which is the intersection U 1U 2U_1 \cap U_2 sitting in the pullback diagram

U 1× VU 2 U 1 U 2 V \array{ U_1 \times_V U_2 &\to& U_1 \\ \downarrow && \downarrow \\ U_2 &\to& V }

in Op(X)Op(X).

The union U 1U 2U_1 \cup U_2 can be obtained from this by removing in the above diagram the bottom right corner and then forming the pushout over the resulting diagram: this is again VV, i.e. the diagram

U 1× VU 2 U 1 U 2 U 1U 2=V \array{ U_1 \times_V U_2 &\to& U_1 \\ \downarrow && \downarrow \\ U_2 &\to& U_1 \cup U_2 = V }

is not only a pullback also a pushout diagram.

The important point about (covering) sieves is that they show up when the above situation is sent via the Yoneda embedding from Op(X)Op(X) to presheaves on Op(X)Op(X). The crucial aspect here that gives rise to the peculiarities of sieves is that

As a result, the above discussion goes through equivalently for the presheaves represented by our open subsets all the way up to the last pushout. In Op(X)Op(X) that last pushout reproduced the open subset VV. In PSh(X)=[Op(X) op,Set]PSh(X) = [Op(X)^{op}, Set] it instead reproduces the sieve on VV generated by U 1U_1 and U 2U_2.

Let’s go through this in detail. First of all notice that in PSh(S)PSh(S) all limits and colimits do exist (see limits and colimits by example for more on that), so that for instance the coproduct

Y(U 1)Y(U 2) Y(U_1) \sqcup Y(U_2)

does always exist (as opposed to its would-be cousin U 1U 2U_1 \sqcup U_2). Here YY denotes the Yoneda embedding which we here indicate explicitly, even though often and elsewhere, notably elsewhere in this entry here, it is notationally suppressed.

For the following it is helpful to say explicitly what the presheaf Y(U 1)Y(U 2)Y(U_1) \sqcup Y(U_2) is like. Since, as described at limits and colimits by example, colimits of presheaves are computed objectwise, we know that this presheaf evaluated on any open set WXW \subset X yields the set

(Y(U 1)Y(U 2))(W) =Y(U 1)(W)Y(U 2)(W) =Hom(W,U 1)Hom(W,U 2), \begin{aligned} (Y(U_1) \sqcup Y(U_2))(W) &= Y(U_1)(W) \sqcup Y(U_2)(W) \\ &= Hom(W,U_1) \sqcup Hom(W, U_2) \end{aligned} \,,

where the coproducts on the right are just those in Set which are just ordinary disjoint unions of sets.

So this says that Y(U 1)Y(U 2)Y(U_1) \sqcup Y(U_2) is the presheaf that assigns to any open set WW the dijoint union of the collections of maps from WW to U 1U_1 and those from WW to U 2U_2 in XX. (Since Op(X)Op(X) is a poset there is either none or one such map in each case, but it is helpful to speak generally of “sets of all maps”, since that is the general intuition useful for presheaf categories. Op(X)Op(X) just happens to be a particularly simple example.)

Notice that in particular a given map WVW \to V which factors both through U 1VU_1 \to V as well as through U 2VU_2 \to V will appear as two distinct elements in the set (Y(U 1)Y(U 2))(W)(Y(U_1) \sqcup Y(U_2))(W). This we’ll come back to in a minute.

But first consider the fiber product from before, now after having applied the Yoneda embedding. Since we know from general nonsense that this preserves fiber products, we know that the pullback presheaf Y(U 1)× Y(V)Y(U 2)Y(U_1) \times_{Y(V)} Y(U_2) in

Y(U 1)× Y(V)Y(U 2) Y(U 2) Y(U 1) Y(V) \array{ Y(U_1) \times_{Y(V)} Y(U_2) &\to& Y(U_2) \\ \downarrow && \downarrow \\ Y(U_1) &\to& Y(V) }

is the same as Y(U 1× VU 2)=Y(U 1U 2)Y(U_1 \times_V U_2) = Y(U_1 \cap U_2).

But this is also easily checked explicitly. We go through this because this kind of reasoning for computing limits and colimits of presheaves will be needed throughout here: since for any WW the covariant hom-functor Psh(Y(W),):PshPShPsh(Y(W),-) : Psh \to PSh preserves limits (by the very definition of limit!) we have for every WW a pullback diagram of sets

Hom(Y(W),Y(U 1)× Y(V)Y(U 2)) Hom(Y(W),Y(U 2)) Hom(Y(W),Y(U 1)) Hom(Y(W),Y(V)) \array{ Hom(Y(W),Y(U_1) \times_{Y(V)} Y(U_2)) &\to& Hom(Y(W),Y(U_2)) \\ \downarrow && \downarrow \\ Hom(Y(W),Y(U_1)) &\to& Hom(Y(W),Y(V)) }

Again by the Yoneda lemma this is simply

(Y(U 1)× Y(V)Y(U 2))(W) Hom(W,U 2) Hom(W,U 1) Hom(W,V). \array{ (Y(U_1) \times_{Y(V)} Y(U_2) )(W) &\to& Hom(W,U_2) \\ \downarrow && \downarrow \\ Hom(W,U_1) &\to& Hom(W,V) } \,.

This being a pullback diagram now says in words:

The set (Y(U 1)× Y(V)Y(U 2))(W)(Y(U_1) \times_{Y(V)} Y(U_2) )(W) is the set of those pairs of maps WU 1W \to U_1 and WU 2W \to U_2 that coincide as maps WU 1VW \to U_1 \to V and WU 2VW \to U_2 \to V to VV.

Clearly, this set is the same as the set of maps into the intersection U 1U 2U_1 \cap U_2, so indeed

Y(U 1)× Y(V)Y(U 2)=Y(U 1× VU 2)=Y(U 1U 2). Y(U_1) \times_{Y(V)} Y(U_2) = Y(U_1 \times_V U_2) = Y(U_1 \cap U_2) \,.

So far so long-winded. Now let’s see what happens when we now form the pushout over

Y(U 1× VU 2) Y(U 2) Y(U 1) \array{ Y(U_1 \times_V U_2) &\to& Y(U_2) \\ \downarrow \\ Y(U_1) }

that will go, for a moment, by its canonical but lenghty name Y(U 1) Y(U 1× VU 2)Y(U 2) Y(U_1) \coprod_{Y(U_1 \times_V U_2)} Y(U_2)

Y(U 1× VU 2) Y(U 2) Y(U 1) Y(U 1) Y(U 1× VU 2)Y(U 2). \array{ Y(U_1 \times_V U_2) &\to& Y(U_2) \\ \downarrow && \downarrow \\ Y(U_1) &\to& Y(U_1) \coprod_{Y(U_1 \times_V U_2)} Y(U_2) } \,.

Again, we can figure out what this presheaf is by computing objectwise what it does to any open subset WW: since colimits of presheaves are computed objectwise, the diagram

Hom(W,U 1× VU 2) Hom(W,U 2) Hom(W,U 1) (Y(U 1) Y(U 1× VU 2)Y(U 2))(W) \array{ Hom(W, U_1 \times_V U_2) &\to& Hom(W, U_2) \\ \downarrow && \downarrow \\ Hom(W,U_1) &\to& (Y(U_1) \coprod_{Y(U_1 \times_V U_2)} Y(U_2))(W) }

must be a colimit in Set. Again, this is easily read out in words:

The set (Y(U 1) Y(U 1× VU 2)Y(U 2))(W)(Y(U_1) \coprod_{Y(U_1 \times_V U_2)} Y(U_2))(W) is the quotient of the disjoint union of the collection of maps from WW into U 1U_1 and those from WW into U 2U_2, by the equivalence relation which identifies two such maps WU 1W \to U_1 and WU 2W \to U_2 if they both factor through a map WU 1× XU 2W \to U_1 \times_X U_2, i.e. if they both land in the intersection U 1U 2U_1 \cap U_2 and coincide there.

But this just means that contrary to the plain coproduct Y(U 1)Y(U 2)Y(U_1) \sqcup Y(U_2), two maps WU 1W \to U_1 and WU 2W \to U_2 that coincide as maps WXW \to X are no longer regarded as different elements of our set given by the pushout presheaf, but are regarded as being the same.

So this means we find that

(Y(U 1) Y(U 1× VU 2)Y(U 2))(W)={mapsWVthatfactorthrougheitherU 1orU 2}. (Y(U_1) \coprod_{Y(U_1 \times_V U_2)} Y(U_2))(W) = \{ maps W \to V that factor through either U_1 or U_2 \} \,.

But this is by definition the assignment of the subfunctor coresponding to the sieve on VV generated by U 1VU_1 \to V and U 2VU_2 \to V.

So we find that

F sieve(U 1,U 2)=Y(U 1) Y(U 1× VU 2)Y(U 2). F_{sieve(U_1,U_2)} = Y(U_1) \coprod_{Y(U_1 \times_V U_2)} Y(U_2) \,.

Given that we made it to this point, we should go one small step further that will be very useful.

In the present simple example we worked with a cover given by just two objects U 1U_1 and U 2U_2. Of course in general the cover will consist of more than just two objects. Then the above kind of notation becomes a bit cumbersome. But there is a simple reformulation that makes everything look nice again.

Namely, let’s come back to the observation that the coproduct Y(U 1)Y(U 2)Y(U_1) \sqcup Y(U_2) does exist. Let’s just call this presheaf U\mathbf{U}. (not in general a representable?!).

Then it is easy to see by the same kind of objectwise reasoning that the colimiting presheaf that we are after is equivalently the colimit over the pair of parallel morphisms

U× Y(V)Up 1p 2U \mathbf{U} \times_{Y(V)} \mathbf{U} \stackrel{\stackrel{p_2}{\to}}{\stackrel{p_1}{\to}} \mathbf{U}

in that

F sieve(U 1,U 2)colim(U× Y(V)Up 1p 2U). F_{sieve(U_1,U_2)} \simeq colim ( \mathbf{U} \times_{Y(V)} \mathbf{U} \stackrel{\stackrel{p_2}{\to}}{\stackrel{p_1}{\to}} \mathbf{U} ) \,.

This description now has an evident direct generalization to the case where instead of just U 1VU_1 \to V and U 2VU_2 \to V we have an arbitrary collection {U iV}\{U_i \to V\} of open sets UU covering VV. One finds again with

U:= iY(U(i)) \mathbf{U} := \coprod_i Y(U(i))

that

F sieve({U i})colim(U× Y(V)Up 1p 2U) F_{sieve(\{U_i\})} \simeq colim ( \mathbf{U} \times_{Y(V)} \mathbf{U} \stackrel{\stackrel{p_2}{\to}}{\stackrel{p_1}{\to}} \mathbf{U} )

is the presheaf that to every WW assigns the set of all maps WVW \to V that factor through any one of the U iU_i.

It is in this way that sieves and their associated subfunctors encode the notion of cover of an object VV: they tell us which of all the maps into VV do factor through the cover.

And, to end this pedagocial piece with an outlook to indicate the gain in understanding this achieves:

once we start forming U× Y(V)UU\mathbf{U} \times_{Y(V)} \mathbf{U} \stackrel{\to}{\to} \mathbf{U} there is no stopping. We can keep forming higher and higher such fiber products

U× Y(V)U× Y(V)U× Y(V)UU× Y(V)U× Y(V)UU× Y(V)UU. \cdots \mathbf{U} \times_{Y(V)} \mathbf{U} \times_{Y(V)} \mathbf{U} \times_{Y(V)} \mathbf{U} \stackrel{\to}{\stackrel{\to}{\stackrel{\to}{\to}}} \mathbf{U} \times_{Y(V)} \mathbf{U} \times_{Y(V)} \mathbf{U} \stackrel{\to}{\stackrel{\to}{\to}} \mathbf{U} \times_{Y(V)} \mathbf{U} \stackrel{\to}{\to} \mathbf{U} \,.

When one passes from just presheaves to (infinity,1)-presheaves, then covering presheaves will be given by the right kind of colimit over these simplicial diagrams (namely the homotopy colimit). More on that is at descent.

Sheaves

Let F SXF_S \to X be a dense monomorphism coming from a sieve S={U αX}S = \{U_\alpha \to X\}.

The condition that a presheaf AA be local with respect to F SXF_S \to X is called the sheaf condition. We now spell out in more detail what this condition says.

sheaf condition for presheaves on open subsets

From the above detailed discuss recall that F sieve({U i})F_{sieve(\{U_i\})} is precisely the coequalizer? of the obvious pair of morphisms

i,jhom(,U iU j) ihom(,U i) \coprod_{i, j} \hom(-, U_i \cap U_j) \stackrel{\to}{\to} \coprod_i hom(-, U_i)

with hom(,U i):=Y(U i)hom(-, U_i) := Y(U_i) denoting the presheaf represented? under the Yoneda embedding? by U iU_i, as usual.

Here the domain of this parallel pair is the pullback? of the evident map ihom(,U i)hom(,X)\coprod_i hom(-, U_i) \to hom(-,X)
along itself, and the two parallel arrows are the projection maps out of this pullback:

i,jhom(,U iU j) ihom(,U j) ihom(,U i) hom(,X) \array{ \coprod_{i,j} hom(-,U_i \cap U_j) &\to& \coprod_i hom(-, U_j) \\ \downarrow && \downarrow \\ \coprod_i hom(-, U_i) &\to& hom(-,X) }

Thus for GG any presheaf?, maps FGF \to G are precisely the same as maps ihom(,U i)G\coprod_i \hom(-, U_i) \to G which coequalize the parallel pair. Applying Hom Set C op(,G)Hom_{Set^{C^{op}}}(-,G) to the colimit diagram

i,jhom(,U iU j) ihom(,U i)F \coprod_{i, j} \hom(-, U_i \cap U_j) \stackrel{\to}{\to} \coprod_i hom(-, U_i) \to F

yields the limit diagram

Hom(F,G)Hom( ihom(,U i),G)Hom( i,jhom(,U iU j),G) Hom(F, G) \to Hom(\coprod_i hom(-, U_i), G) \stackrel{\to}{\to} Hom(\coprod_{i, j} \hom(-, U_i \cap U_j), G)

which using Yoneda? is the equalizer diagram

Hom(F,G) iG(U i) i,jG(U iU j) Hom(F,G) \to \prod_i G(U_i) \stackrel{\to}{\to} \prod_{i, j} G(U_i \cap U_j)

and hence identifies Hom(F,G)Hom(F,G) indeed as the set of descent? data for the sheaf? condition on GG.

sheaf condition more generally

The above generalized essentially literally to sites that have pullbacks. For instance the canonical example of a category of subsets does: pullbacks are just intersections U α× XU β=U αU βU_\alpha \times_X U_\beta = U_\alpha \cap U_\beta of open subsets.

Using the Yoneda lemma and the fact that the contravariant Hom takes colimits to limits we find that

(Hom(X,A)Hom(colim(U× XUU),A))=(A(X)lim( αA(U α) α,βA(U α× XU β))) (Hom(X,A) \to Hom(colim(U \times_X U \stackrel{\to}{\to} U), A)) = (A(X) \to lim ( \prod_\alpha A(U_\alpha) \stackrel{\to}{\to} \prod_{\alpha, \beta} A(U_\alpha \times_X U_\beta)) )

So the sheaf condition on AA says that for all covering sieves on a representable XX, A(X)A(X) has to be the above limit (an equalizer).

By the general prescription this limit is precisely:

  • that subset whose elements have the property that restricted to double intersections they coin
{(σ αA(U α))|α,β:σ α| U α,β=σ β| U α,β} αA(U α) \{(\sigma_\alpha \in A(U_\alpha))| \forall \alpha, \beta : \sigma_\alpha|_{U_{\alpha, \beta}} = \sigma_\beta|_{U_\alpha, \beta}\} \subset \prod_\alpha A(U_\alpha)

Now that we understand the locality condition with respect to dense monomorphisms, we continue with the discussion of the general characterization of WW-local objects. It will turn out that locality with respect to dense monomorphisms already implies WW-locality. But the general local isomorphisms are still important, for instance for sheafification, described further below.

Corollary

If a presheaf AA is local with respect to all dense monomorphisms, then it is already local with respect to all morphisms YXY \to X of the form

Y X=colim(W U densemono Id U× XU U) \array{ Y \\ \downarrow \\ X } = colim \left( \array{ W &\stackrel{\to}{\to}& U \\ \;\;\downarrow^{dense mono} && \downarrow^{Id} \\ U \times_X U & \stackrel{\to}{\to}& U } \right)

with the left vertical morphism a dense monomorphism

(and with U= αU αU = \sqcup_\alpha U_\alpha the disjoint union (of representable presheaves) over a covering family of objects.)

Definition

The morphisms in WW with representable codomain

  • of the form colim(U× XUU)Xcolim (U \times_X U \stackrel{\to}{\to} U) \to X as above are covers:

  • of the form colim(WU)Xcolim (W \stackrel{\to}{\to} U) \to X (with WW a cover of U× XUU \times_X U) as above are hypercovers

of the representable XX.

Proposition

A presheaf AA is WW-local, i.e. a sheaf, already if it is local (satisfies descent) with respect to all covers, i.e. all dense monomorphisms with codomain a representable.

Remark

The above shows this almost. The claim follows using the full machinery leading up to section VII, 4, corollary 7 in Sheaves in Geometry and Logic, which we shall not go through here.

So we finally conclude:

Corollaries

We have:

  • Systems WW of weak equivalences defined by choice of geometric embedding f:Sh(S)PSh(S)f : Sh(S) \to PSh(S) are in canonical bijection with choice of Grothendieck topology.

  • A presheaf AA is WW-local, i.e. local with respect to all local isomorphisms, if and only if it is local already with respect to all dense monomorphism, i.e. if and only if it satisfies sheaf condition for all covering sieves.

Coverages

We have seen that only the sieves corresponding to the dense monomorphisms in WW matter for the definition of sheaves. Therefore often geometric embedding f:PSh(S)Sh(S)f : PSh(S) \to Sh(S) is characterized by this collection of sieves.

A coverage on a category CC is a collection of families of coterminal morphisms {f i:U iU} iI\{f_i:U_i\to U\}_{i\in I} to be thought of as covering families. The essential characteristic of these covering families is that they be “stable under pullback.” A number of other “saturation” conditions are frequently also imposed for convenience. A category equipped with a coverage is called a site.

One of the main purposes of a coverage is that it provides the minimum structure necessary to define a notion of sheaf (or more generally stack) on CC. A Grothendieck topos is defined to be the category of sheaves (of sets) on a small site. From this perspective, the example to keep in mind is the poset O(X)O(X) of open sets in some topological space (or locale) XX, where a morphism is an inclusion, and a family of inclusions {U iU}\{U_i \hookrightarrow U\} is a covering family iff U= iU iU = \bigcup_i U_i.

Another perspective on a coverage is that the covering families are “postulated well-behaved quotients.” That is, saying that {f i:U iU} iI\{f_i:U_i\to U\}_{i\in I} is a covering family means that we want to think of UU as a well-behaved quotient (i.e. colimit) of the U iU_i. Here “well-behaved” means primarily “stable under pullback.” In general, UU may or may not actually be a colimit of the U iU_i; if it always is we call the site subcanonical. From this perspective, the embedding of CC into its category of sheaves is “the free cocompletion of CC that takes covering families to well-behaved quotients”; compare how the Yoneda embedding of an arbitrary category CC into its category of presheaves is its free cocompletion, period.

The traditional name for a coverage, with the extra saturation conditions imposed, is a Grothendieck topology, and this is still widely used in mathematics. Following Sketches of an Elephant, on this page we use coverage for a pullback-stable system of covering families and Grothendieck coverage if the extra saturation conditions are imposed. See Grothendieck topology for a discussion of the objections to that term.

Definition

A coverage on a category CC consists of a collection of families of coterminal morphisms {f i:U iU} iI\{f_i:U_i\to U\}_{i\in I}, called covering families, such that

  • If {f i:U iU} iI\{f_i:U_i\to U\}_{i\in I} is a covering family and g:VUg:V\to U is a morphism, then there exists a covering family {h j:V jV}\{h_j:V_j\to V\} such that each composite gh jg h_j factors through some f if_i.
Definition

A site is a category equipped with a coverage. Often sites are required to be small (see large site).

Sheafification

From the assumption that f:Sh(S)PSh(S)f : Sh(S) \to PSh(S) is a geometric embedding follows at once the following explicit description of the sheafification functor f *:PSh(S)Sh(S)f^* : PSh(S) \to Sh(S).

Lemma (Sheafification)

For APSh(S)A \in PSh(S) a presheaf, its sheafification A¯:=f *f *A\bar A := f_* f^* A is the presheaf given by

A¯:Ucolim (YU)WA(U) \bar A : U \mapsto colim_{(Y \to U) \in W} A(U)
Proof

By the discussion at geometric embedding the category Sh(S)Sh(S) is equivalent to the localization PSh(S)[W 1]PSh(S)[W^{-1}], which in turn is the category with the same objects as PSh(S)PSh(S) and with morphisms given by spans out of hypercovers in WW

PSh(S)[W 1](X,A)=colim (YX)WA(X). PSh(S)[W^{-1}](X,A) = colim_{(Y \to X) \in W} A(X) \,.

So we have

Sh(S) f *f * PSh(S) PSh(S)[W 1]. \array { Sh(S) &&\stackrel{\stackrel{f_*}{\to}}{\stackrel{f^*}{\leftarrow}}& PSh(S) \\ & \searrow_{\simeq}&\Downarrow^{\simeq}& \downarrow \\ && PSh(S)[W^{-1}] \,. }

and deduce

  • by Yoneda that A¯(U)=PSh S(U,A¯)\bar A(U) = PSh_S(U, \bar A);

  • by the hom-adjunction this is Sh S(U¯,A¯)\cdots \simeq Sh_S(\bar U, \bar A);

  • by the equivalence just mentioned this is PSh S[W 1](U,A)\cdots \simeq PSh_S[W^{-1}](U,A).

Covers and hypercovers

Remark: covers versus hypercovers

For checking the sheaf condition the dense monomorphisms, i.e. the ordinary covers are already sufficient. But for sheafification one really needs the local isomorphisms, i.e. the hypercovers. If one takes the colimit in the sheafification prescription above only over covers, one obtains instead of sheafification the plus-construction.

Definition: plus-construction

For APSh(S)A \in PSh(S) a presheaf, the plus-construction on AA is the presheaf

A +:Xcolim (YX)WA(Y) A^+ : X \mapsto colim_{(Y \hookrightarrow X) \in W } A(Y)

where the colimit is over all dense monomorphisms (instead of over all local isomorphisms as for sheafification A¯\bar A).

Remark: plus-construction versus sheafification

In general A +A^+ is not yet a sheaf. It is howver in general closer to being a sheaf than AA is, in that it is a separated presheaf.

But applying the plus-construction twice yields the desired sheaf

(A +) +=A¯. (A^+)^+ = \bar A \,.

This is essentially due to the fact that in the context of ordinary sheaves discussed here, all hypercovers are already of the form

colim(WU) colim(W \stackrel{\to}{\to} U)

for WU× XUW \to U \times_X U a cover. For higher stacks the hypercover is in general a longer simplicial object of covers and accordingly if one restricts to covers instead of using hypercovers one will need to use the plus-construction more and more often.

Last revised on June 30, 2009 at 16:02:50. See the history of this page for a list of all contributions to it.