OK, this will be another quick one.
We want to introduce the notion of a Grothendieck topology on a category .
The goal of this very general notion is to be able to speak about sheaves on . Let’s recall a few things.
Let’s fix a topological space X.
A presheaf on X is the data of a set for each open subset , together with a map of sets for all inclusions (called restrictions), satisfying the obvious compatibilities.
Explicitly the compatibilities are as follows: given inclusions then we have two maps and (the latter coming from the inclusion ) and we ask they be the same. Elements are called sections of over U. We denote the image of s in , under the appropriate restriction map.
There is a more compact way to describe what a presheaf is. Define the category whose objects are the open subsets of X and where the hom-set between V and U is empty if and is a singleton if .
A presheaf on X is just a contravariant functor from to
We can see that in this definition the topology of X hasn’t really played a huge role. It does play a role in the definition of a sheaf. Essentially, a sheaf is a presheaf where global data is glued from local data. That is, if is an open cover of U, then is obtained by gluing the . More precisely:
A presheaf is separated if given two sections and a covering of U such that for all i, then s=t.
A presheaf satisfies gluing if given a collection of sections such that then there exists a section s over U such that .
Examples of sheaves and presheaves abound in nature. For example we have a sheaf of continuous functions from X to the real numbers, or smooth functions if X is a smooth manifold (or holomorphic if X is complex). An example of presheaf which is not always a sheaf is the presheaf of bounded functions from a topological space X into the real numbers. This presheaf is separated but doesn’t satisfy gluing in general.
Again there is a more compact way to state when a presheaf is a sheaf.
Again let be a presheaf, U be an open subset of X and a covering of U.
We have a map from sending a section s to the sequence of restrictions .
We also have another two maps (where ) defined by restricting on the first and second component respectively.
A presheaf is a sheaf if, in the above context, the following sequence is exact
(that is, the guy on the left is the equaliser of the guys on the right)
What should transpire by the discussion above is that if we are only interested in sheaves on X, we only need to know about coverings of X. This idea is the key to generalise topologies to arbitrary categories.
Given an object U of a category C, a topology on C will tell us that some collections of arrows are coverings of U.
Before we give the exact definition we should think of what should one use to replace intersections.
If then it is trivial to see that is the fibre product of and over U. This is the correct replacement for the notion of intersection.
A Grohendieck topology on a category C is a collection Cov U of coverings for each object U, satisfying some axioms. That is, Cov U is a collection of families of morphisms which the topology declares to be coverings. The axioms they satisfy are as follows
- , the family consisting of just the identity of U is a covering of U
- If and then
- If and is any morphism in C then
The first axiom is saying the the covering consisting of the whole space is a covering; the second states that if you start with a covering of U and then cover each open of that covering with other open sets, then the latter forms a covering of U; the third axiom says that if you start from a covering of U and V is any open subset of U then we can restrict (i.e. intersect) to obtain a covering of V.
A site is a category endowed with a grothendieck topology.
Now we want to define sheaves on a site C. A presheaf will simply be a functor . A sheaf is a presheaf satisfying the exactness condition we’ve seen above, where now U varies through all objects of C and the collection varies through all coverings of U (wrt the topology of C).
Now, I’m sure that if you’ve never seen all this before, you’re quite confused. We’ve rushed a lot. So, we’ll rush even more by saying a few words about limits and colimits in the category of sheaves (of sets) on a site C.
The Yoneda embedding preserves limits, therefore things like fibre products remain intact when transported inside the category of presheaves.
Both limits and colimits in PSh C are computed pointwise. That is, a (co)limit is a presheaf, whose value at an object U is given by the corresponding (co)limit in Set: .
There is a forgetful functor , which admits a left adjoint called sheafification. In our case, sheaves with values in Set, it’s easy to construct it (set-theoretic difficulties aside), no pun intended.
Hence limits in ShC are computed pointwise as well, and once again fibre products remain intact!
For colimits it’s a bit more complicated, but not tremendously so: the colimit of a diagram of sheaves will just be the sheafification of the colimit of the same diagram as presheaves. (someone please correct if I’m wrong!)
Anyways, this ought to be enough. Next time, we’ll finally have a look at some algebraic geometry.
(for the pedants, all categories above are assumed to have fibre products)