In order to get at surfaces, we don’t just need the scheme theory of the last two posts, but we also need to understand the cohomology of sheaves. We will not be proving all of the details, we will also not be doing things in full generality with derived functors, at least not until we absolutely must. Today, we’re going to talk about Čech Cohomology.
To begin, we take to be any topological space and to be a sheaf of abelian groups on . We can then pick an open cover of consisting of and call it . We will use the convention that will be written as .
Now, for each , we define . That is, we order the elements of the cover and then look at the fold intersections, and take a section of the sheaf over each one to give an element of .
Now we define the coboundary map by, for , . That is, on each tuple, we take on each subtuple, restrict to the smaller open set, and then add them together with alternating signs. It’s a nasty calculation to check that , but it is, so the image of is in the kernel of .
So we define to be the kernel of , and to be the image of . We call the elements of cocycles and the elements of coboundaries, mostly because when homology comes up first it’s in a topological context, and there is real meaning to boundary and cycles in the geometry/topology of the situation. Here it’s an algebraic condition on cocycles, and a very useful one.
So finally, we define the Čech Cohomology groups of the sheaf with the cover to be , and those of just the sheaf to be the limit taken over all refinements of the cover. However, we won’t care about this for now, we’re going to jump to a special case.
We’ve previously discussed quasicoherent sheaves of modules over a locally ringed space. We’re now going to stick to quasicoherent sheaves on a scheme, but not just any scheme: a noetherian scheme. We say that a scheme is noetherian if it can be covered by a finite number of open affines with the all noetherian rings. This automatically forces the underlying topological space to be noetherian, which means that descending closed subsets stabilize after only finitely many.
The noetherian hypothesis is extremely valuable, because it gives us the Serre Vanishing Theorem, which states that if is a noetherian scheme, then is affine if and only if for all quasicoherent, the nonzero cohomology all vanishes. The key point being that noetherian affine schemes have no cohomology to worry about.
So with this fact backing us up, until we look at derived functors, we will only take cohomology of quasicoherent sheaves on a noetherian separated scheme (all varieties are such, after all) and we will require that our covers are open affine covers. With these hypotheses, we don’t lose anything in not doing the massive derived functor formalism, because the cohomologies turn out to be the same. However, we have restricted to noetherian schemes, and we have restricted to quasi-coherent sheaves, and we need to do more work to deal with things outside of this restricted world. In this context, the cohomology doesn’t depend on the cover, and we will write .
So before moving on, we should discuss some of the things that we can use cohomology for and a few theorems that we’ll just use. One big one is to compute the global sections of a sheaf, because . This can, of course, be of use when looking at the line bundles associated to divisors, and their linear systems.
A nice theorem is the fact that if has dimension , then for and and any quasicoherent sheaf, we have . This way we don’t have to compute all the possible cohomology groups in order to know if we’ve got all the information cohomology can give us.
And last, a classification theorem that does generalize we take to be the sheaf whose sections are the invertible sections of . This sheaf has a remarkable property: . This is, modulo some technical work, because the cocycle condition for elements of is that where are invertible functions on . That is, transition functions for line bundles. So this is saying that if you go in a circle on the base of a line bundle, you get back where you started, and any way you have of doing it gives some line bundle.
We’ll close on that, next time, a theorem of Serre’s about the cohomology of projective schemes.