In the past, I said a few words about Grothendieck topologies and fpqc descent. Well, strictly speaking, I didn’t get very far into the descent bit. I described a topology on the category of schemes (the fpqc topology) and showed that it was a subcanonical topology, that is, any representable presheaf was a sheaf in this topology.
This amounted to saying that if was a fpqc morphism of schemes, then to hom out of was the same thing as homming out of such that the two pull-backs to were the same. If I had gotten further, I would have shown that to give a quasi-coherent sheaf on (among other things) is the same as giving “descent data” of a quasi-coherent sheaf on together with an isomorphism between the two pull-backs to satisfying the cocycle condition. Maybe I’ll do that later. But there is a more basic “toy” example that I now want to describe of a site (that is, category with a Grothendieck topology) and the associated category of sheaves on it.
Our category is going to be the category of left -sets for a fixed group ; morphisms will be equivariant morphisms of -sets. We are now going to define a Grothendieck topology on this category. For this, we need to axiomatize the notion of “cover.” We can do this very simply: a collection of maps is called a cover if the images cover . Now, fiber products of -sets are calculated in the category of sets, or in other words the forgetful functor
commutes with limits (as it has an adjoint, the functor ). Thus, taking pull-backs preserve the notion of covering, and it is easy to see the other axioms are satisfied too: if we have a cover of each of the (which cover ), then collecting them gives a cover of . Similarly, an isomorphism is a cover. This is obvious from the definitions.
2. Representable presheaves
So we indeed do have a perfectly good site. Now, we want a characterization of all the sheaves of sets on it. To start with, let us show that any representable functor forms a sheaf; that is, the topology is subcanonical. (In fact, this topology is the canonical topology, in that it is the finest possible that makes representable functors into sheaves.)
Proposition 1 Any representable functor on is a sheaf in the above topology.
To see this, we have to show the following fact (in view of the fact that . If is a surjection of -sets and we have a map (for some other -set ) such that the two pull-backs
become equal, then we get a map . But if we are thinking of maps of sets, then any two points in that map to the same thing in clearly go to the same place in by the above condition. So we can get a sequence
where the composite is the given map . We only need to see that is a homomorphism. But this is clear since is and is a surjective homomorphism.
3. The classification of sheaves
Now that we have shown that representable presheaves on are sheaves, we want to get the converse direction. We want to show that every sheaf is representable. In fact, we will show that there is a correspondence between sheaves and -sets.
Theorem 2 There is an equivalence of categories
that assigns to each -set the sheaf .
In fact, we are going to define the inverse functor. Given a sheaf , we consider . Since acts on on the right by morphisms of left -sets, is naturally a (left!) -set.
We are going to show that these two functors are inverse to each other. One direction is straightforward. If is a -set, then the -set of maps of left- sets is canonically isomorphic to ; if we have a map , we send it to . It is easy to check that for each element of , we do indeed get such a map , and that the left--structure on is the same as that on .
For the other, let be a sheaf on . We want to construct a natural isomorphism
It is clear that we have a map of -sets from (where denotes the -set but with only acting on the first factor) into . In fact, we have a surjection of -sets
There is thus an exact (equalizer) sequence by sheafiness
where is some set. We have used the fact that the fibered product of two copies of is always or . From this, it is clear that there is a natural injective map from into the set of functions . These functions are in fact -equivariant because of the way was defined. Now we want to check that the map is surjective.
For this, let us use a version of the “finite presentation trick.” We have seen that that for any -set , there is a coequalizer diagram
where are free -sets. Applying and turns this into two equalizer diagrams of sets with a morphism
To see that both are equalizer diagrams, we use the fact that is a sheaf and representable functors are sheaves. It is clear that the two rightmost vertical arrows are isomorphisms, so the leftmost one is an isomorphism too. This finishes the proof.
From this, we see that giving a sheaf on -sets equates to giving a -set. Giving a sheaf of abelian groups on this site thus equates to giving an abelian group with a compatible action of on it, i.e. a -module. With this in mind, we are going to get a toy example of sheaf cohomology on a site—namely, group cohomology.
I learned this from the book by Tamme on Etale cohomology. I’m reading it, and I’m repeatedly struck at how clear and accessible the exposition is there (especially compared with other treatments like SGA, which I find somewhat intimidating).