Up until now, I have been talking primarily about the commutative algebra purely. I think I now want to go in a more algebro-geometric direction, partially because I find it easier to understand that way. Today, I will explain how the Koszul complex lets you compute certain types of Cech cohomology.
0.8. The Koszul complex and Cech cohomology
What we now want to show is that on a reasonable scheme, Cech cohomology of a quasi-coherent sheaf is really a type of Koszul cohomology. Namely, let’s start with a scheme , which I will take to be quasi-compact and quasi-separated. (If you are what Ravi Vakil calls a noetherian person, then you can ignore the previous remark.)
Let be a quasi-coherent sheaf on . Let be global regular functions on . Then we can define the sets where the functions “don’t vanish” (more precisely, are units in the local ring). One of the basic results one proves is that taking sections over these basic open sets corresponds to localization:
Proposition 29 if is quasi-coherent.
Proof: This is a general fact about quasi-coherent sheaves, and one way to see it is to use the fact that if is the ring of global functions, there is a morphism . This is a quasi-separated, quasi-compact morphism by hypothesis. Thus the direct image is quasi-coherent. In particular, this means that
where is the basic open set. When one translates this back via the definition of , one gets the proposition.
We now continue with the original question. So let be the global sections of the sheaf . We have seen that is for each . Similarly, is for any -tuple of the . To avoid triple subscripts, let us write instead of . This is precisely what we need to consider the Cech cohomology with respect to the open sets .
A priori, note that the won’t cover , so we shouldn’t immediately expect that the Cech cohomology will resemble the derived functor cohomology. Well, so what is it? Recall that the -th part of the Cech complex is the set of -cochains, which associate to every ordered tuple an element in . This cochain is required to be alternating, i.e. a swap in should flip a sign. In other words, the -th part is the subset of the product
consisting of alternating tuples. Let be the set of integers between and , and let be a -cochain in the Cech complex, so is an alternating function out of . The value on lies in the localization . The boundary of on a -tuple is defined as
So we have a fairly explicit description of the Cech complex in our case. This doesn’t look very much like a Koszul complex. For one thing, there are all sorts of localizations floating around. We can deal with this by the following result.
Lemma 30 Let be a ring, and an -module. Let . Then is the direct limit of the system
Proof: I’m only going to sketch the proof. The idea is that some in the th copy of should map to in . This is clearly compatible with the maps between the directed system, and one can check that the induced map is injective and surjective.
One amusing corollary, incidentally, is that a cocontinuous (or even one commuting with filtered colimits) functor from -modules to -modules preserves localization. Indeed, the above argument shows that it preserves localization at an element, and localization at a multiplicative set is a filtered colimit of localizations at various elements.
So, let’s see what this entails for the Cech complex. Instead of thinking of cochains , we now think of alternating cochains taking values in . Rather, we should take a direct limit over .
Let’s state this again. For each , we have a map sending . There is a system of maps where each is multiplication by . At the -th stage, the natural inclusion corresponds to multiplication by , for any . The direct limit of all these modules and all these morphisms gives the localizations and the natural maps between the localizations.
For each , let us consider the -module of alternating maps , which maps into the -th Cech cochain complex by identifying with the -Cech cochain defined via . Clearly the th cochain module is the limit of these. Note, however, that the differential has to be described differently. Namely, using the above identifications, we must have
To put everything together:
Proposition 31 The Cech complex of with respect to the open cover is isomorphic (up to a shift) to the direct limit of the complexes whose th term consists of alternating maps and such that the boundary is
The morphisms between the complexes are given by
Proof: This requires a little checking, which is probably best done at least partially for oneself. We have shown that the Cech complex is indeed the direct limit of this whole system, so all that is left to check is that these maps are indeed maps of complexes. We shall show in fact that these are maps of complexes. In other words, what we need to see is:
Proposition 32 as described is the (truncated) Koszul complex shifted by one. The maps are natural maps of complexes.
The point of the truncation is that the shifted Koszul complex will be nonzero in dimension , and we want to remove that.
Proof: Notice that the th term of the Koszul complex is the free -module on objects . So a map from into is just the same thing as an alternating map . Since the boundary on the Koszul complex is defined via
it is easy to see that the boundary described above on is just the dualized Koszul boundary map.
Finally, we must describe the morphism and show that it is a morphism of complexes, in terms of the Koszul complex. Let be -tuples of elements in . I claim that there is a morphism of differential graded algebras
(which induces a morphism on Koszul complexes with coefficients in any module ). This morphism is given by the natural extension of the diagonal morphism . One can see directly that this commutes with the boundary map. Dualizing this gives a map
which is just the map . I realize that I’ve been a little loose with the proofs, since they are nothing but straightforward verification, but I think I have sketched all the main ideas.
Anyway, the main idea to take away from this is that Cech cohomology over the open cover is a direct limit of Koszul cohomologies , with the dimension shifted by one. In particular, if is at least 2, . This will allow us to prove results in algebraic geometry using properties of the Koszul complex. Next time, we shall do the cohomology of affine space, for instance.