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 of categories with finite limits (or of topoi). We found three equivalent characterizations:
is a geometric embedding;
is (equivalent to) the full subcategory on -local objects;
is (equivalent to) the localization .
we now apply this to the case that is a category of presheaves and discover this way the notions
the formalism is set up in such a way that from there we arrive with ease at
the description of sheafification;
the generalization to (the homotopy category) of infinity-stacks
Let be a small category and write for the corresponding topos of presheaves.
Assume then that another topos is given together with a geometric embedding
i.e. with a full and faithful functor
and a left exact functor
Such that both form a pair of adjoint functors
with left adjoint to .
Write for the category
consisting of all those morphisms in that are sent to isomorphisms under .
In the present situation of presheaves, we call the morphisms in local isomorphism.
From the discussion at geometric embedding we know that is equivalent to the full subcategory of on all -local objects.
Recall that an object is called a -local object if for all in the morphism
is an isomorphism. This we call the descent condition on presheaves (saying that a presheaf “descends” along from “down to” ). Our task is therefore to identify the category , show how it determines and is determined by a coverage or Grothendieck topology on – equipping with the structure of a site – and characterize the -local objects. These are (up to equivalence of categories) the objects of , i.e. the sheaves with respect to the given Grothendieck topology.
A morphism is in if and only if for every representable presheaf and every morphism the pullback is in
Since is stable under pullback (as described at geometric embedding: simply because preserves finite limits) it is clear that is in if is.
To get the other direction, use the co-Yoneda lemma to write as a colimit of representables over the comma category (with the Yoneda embedding):
Then pull back over the entire colimiting cone, so that over each component we have
Using that in colimits are stable under base change we get
But since the right hand is , which is just . So and we find that is a morphism of colimits. But under the two respective diagrams become isomorphic, since is in . That means that the corresponding morphism of colimits (since preserves colimits) is an isomorphism, which finally means that is in .
A presheaf is a local object with respect to all of already if it is local with respect to those morphisms in whose codomain is representable
Rewriting the morphism in in terms of colimits as in the above proof
we find that equals
If is local with respect to morphisms with representable codomain, then by the above if is in all the morphisms in the limit here are isomorphisms, hence
Every morphism in factors as an epimorphism followed by a monomorphism in with both being morphisms in .
Use factorization through image and coimage, use exactness of to deduce that the factorization exists not only in but even in .
More in detail, given we get the diagram
The outer square is a pullback, the inner a pushout.
Because is exact, the pullbacks and pushouts in this diagram remain such under . But since is an isomorphism by assumption, the all these are pullbacks and pushouts along isomorphisms in , so all morphisms in the above diagram map to isomorphisms in , hence the entire diagram in is in .
Since the morphism out of the coimage is at the same time the equalizing morphism into the image , it is a monomorphism.
The monomorphisms in which are in are called dense monomorphisms.
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 be a small category.
A sieve (Fr. crible) on an object is a subset of the set of objects of the over category over which is closed under precomposition: it has the property that with for every morphism also the composite is in .
Sometimes the condition of a sieve being closed under the operation of precomposing with an arbitrary morphism is called a “saturation condition”. Given any collection of morphisms targeted at , one can always close it up or saturate it, to obtain a sieve on .
There is a canonical way to create subfunctors from sieves and sieves from subfunctors.
Given a sieve on , the subfunctor defined by the sieve is the presheaf
that assigs to each object the set ;
that assigns to each morphism the function induced on elements by precomposition with .
Given a subfunctor , the sieve defined by the subfunctor is given by
or equivalently
These two definitions establish a bijection between sieves on and subobjects of .
For every sieve we have
and for every subfunctor we have
The construction of makes sense for every morphism of presheaves . The sieve is sensitive precisely to the image of this map,
In the presence of a coverage a morphism is sometimes called a local epimorphism if the sieve is a covering sieve. If is actually a subfunctor, then it is called a dense monomorphism.
The pullback of a subfunctor along any morphism is again a subfunctor of , hence sieves are closed under pulling back. Concretely,
A sieve on , for a subfunctor, may be described as a function which assigns to each object a collection of morphisms into . Naturality of the inclusion means that whenever belongs to the sieve and is any morphism, then also belongs to the sieve.
The subfunctor corresponding to a sieve is the coimage of the morphism out of the disjoint union of all objects (regarded as representable presheaves) in the sieve:
in that
If the sieve is generated by (is the saturation of) a collection of morphisms then the same statement remains true with being the coproduct over just these .
As described at limits and colimits by example, the colimit of presheaves may be computed objectwise in . Doing so and using the Yoneda lemma tells us that for each object we have
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
where the equivalence relation is
So the set is just the set of maps from to that factor through one of the , which is precisely the set assigned by the subfunctor corresponding to the sieve.
For a topological space let be the category of open subsets of and consider presheaves on . For any open subset let be a cover of by open subsets in the ordinary sense (i.e. each is an open subset of and their joint union is , ), then (with the Yoneda embedding) is a local epimorphism of presheaves on and its image – or equivalently its coimage – is the subfunctor that sends each to the set of maps that factor through one of the . The collection of all such maps for all choice of is the corresponding covering sieve .
The situation for more general sites other than is literally the same as above, with etc. objects of .
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 with an open subset that is covered by two open subsets in that the union in coincides with :
This is the coproduct in the category of open subsets of . 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 with over in , which is the intersection sitting in the pullback diagram
in .
The union 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 , i.e. the diagram
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 to presheaves on . 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 that last pushout reproduced the open subset . In it instead reproduces the sieve on generated by and .
Let’s go through this in detail. First of all notice that in all limits and colimits do exist (see limits and colimits by example for more on that), so that for instance the coproduct
does always exist (as opposed to its would-be cousin ). Here 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 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 yields the set
where the coproducts on the right are just those in Set which are just ordinary disjoint unions of sets.
So this says that is the presheaf that assigns to any open set the dijoint union of the collections of maps from to and those from to in . (Since 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. just happens to be a particularly simple example.)
Notice that in particular a given map which factors both through as well as through will appear as two distinct elements in the set . 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 in
is the same as .
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 the covariant hom-functor preserves limits (by the very definition of limit!) we have for every a pullback diagram of sets
Again by the Yoneda lemma this is simply
This being a pullback diagram now says in words:
The set is the set of those pairs of maps and that coincide as maps and to .
Clearly, this set is the same as the set of maps into the intersection , so indeed
So far so long-winded. Now let’s see what happens when we now form the pushout over
that will go, for a moment, by its canonical but lenghty name
Again, we can figure out what this presheaf is by computing objectwise what it does to any open subset : since colimits of presheaves are computed objectwise, the diagram
must be a colimit in Set. Again, this is easily read out in words:
The set is the quotient of the disjoint union of the collection of maps from into and those from into , by the equivalence relation which identifies two such maps and if they both factor through a map , i.e. if they both land in the intersection and coincide there.
But this just means that contrary to the plain coproduct , two maps and that coincide as maps 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
But this is by definition the assignment of the subfunctor coresponding to the sieve on generated by and .
So we find that
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 and . 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 does exist. Let’s just call this presheaf . (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
in that
This description now has an evident direct generalization to the case where instead of just and we have an arbitrary collection of open sets covering . One finds again with
that
is the presheaf that to every assigns the set of all maps that factor through any one of the .
It is in this way that sieves and their associated subfunctors encode the notion of cover of an object : they tell us which of all the maps into 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 there is no stopping. We can keep forming higher and higher such fiber products
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.
Let be a dense monomorphism coming from a sieve .
The condition that a presheaf be local with respect to is called the sheaf condition. We now spell out in more detail what this condition says.
From the above detailed discuss recall that is precisely the coequalizer? of the obvious pair of morphisms
with denoting the presheaf represented? under the Yoneda embedding? by , as usual.
Here the domain of this parallel pair is the pullback? of the evident map
along itself, and the two parallel arrows are the projection maps out of this pullback:
Thus for any presheaf?, maps are precisely the same as maps which coequalize the parallel pair. Applying to the colimit diagram
yields the limit diagram
which using Yoneda? is the equalizer diagram
and hence identifies indeed as the set of descent? data for the sheaf? condition on .
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 of open subsets.
Using the Yoneda lemma and the fact that the contravariant Hom takes colimits to limits we find that
So the sheaf condition on says that for all covering sieves on a representable , has to be the above limit (an equalizer).
By the general prescription this limit is precisely:
Now that we understand the locality condition with respect to dense monomorphisms, we continue with the discussion of the general characterization of -local objects. It will turn out that locality with respect to dense monomorphisms already implies -locality. But the general local isomorphisms are still important, for instance for sheafification, described further below.
If a presheaf is local with respect to all dense monomorphisms, then it is already local with respect to all morphisms of the form
with the left vertical morphism a dense monomorphism
(and with the disjoint union (of representable presheaves) over a covering family of objects.)
The morphisms in with representable codomain
of the form as above are covers:
of the form (with a cover of ) as above are hypercovers
of the representable .
A presheaf is -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.
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:
We have:
Systems of weak equivalences defined by choice of geometric embedding are in canonical bijection with choice of Grothendieck topology.
A presheaf is -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.
We have seen that only the sieves corresponding to the dense monomorphisms in matter for the definition of sheaves. Therefore often geometric embedding is characterized by this collection of sieves.
A coverage on a category is a collection of families of coterminal morphisms 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 . 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 of open sets in some topological space (or locale) , where a morphism is an inclusion, and a family of inclusions is a covering family iff .
Another perspective on a coverage is that the covering families are “postulated well-behaved quotients.” That is, saying that is a covering family means that we want to think of as a well-behaved quotient (i.e. colimit) of the . Here “well-behaved” means primarily “stable under pullback.” In general, may or may not actually be a colimit of the ; if it always is we call the site subcanonical. From this perspective, the embedding of into its category of sheaves is “the free cocompletion of that takes covering families to well-behaved quotients”; compare how the Yoneda embedding of an arbitrary category 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.
A coverage on a category consists of a collection of families of coterminal morphisms , called covering families, such that
A site is a category equipped with a coverage. Often sites are required to be small (see large site).
From the assumption that is a geometric embedding follows at once the following explicit description of the sheafification functor .
For a presheaf, its sheafification is the presheaf given by
By the discussion at geometric embedding the category is equivalent to the localization , which in turn is the category with the same objects as and with morphisms given by spans out of hypercovers in
So we have
and deduce
by Yoneda that ;
by the hom-adjunction this is ;
by the equivalence just mentioned this is .
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.
For a presheaf, the plus-construction on is the presheaf
where the colimit is over all dense monomorphisms (instead of over all local isomorphisms as for sheafification ).
In general is not yet a sheaf. It is howver in general closer to being a sheaf than is, in that it is a separated presheaf.
But applying the plus-construction twice yields the desired sheaf
This is essentially due to the fact that in the context of ordinary sheaves discussed here, all hypercovers are already of the form
for 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.