This post isn’t going to be a complete recount of sheaf cohomology. There is a succinct article fulfilling that purpose provided by the Stacks Project.
Instead, I want this post to outline some of the aspects which I felt like I missed when I first read through Hartshorne’s chapter on sheaf cohomology. The reason being: I’ve been attempting to write up some notes on certain categories of motives, and how one characterization of motives could be as a “universal Weil cohomology theory”; in looking at examples of Weil cohomology theories, I realized I should probably just refresh my memory of (read: learn more properly) some of the existing cohomology theories.
For the above reason, I don’t know where this post will go. Sheaf cohomology (for the Zariski site on smooth projective schemes) is not a Weil cohomology theory. It is, relative to other theories, somewhat computable by means of Čech cohomology of alternating cochains. Although, proving that one can use alternating cochains isn’t fun (thanks, Serre, for doing it for me).
Let me just start and see what happens.
An Introduction of Sorts
Cohomology is one of those subjects which is still elusive to some extent. One could focus on extreme concreteness with constructions like simplicial cohomology or de Rham cohomology, where to a space one assigns a complex , and cohomology is calculated as the homology of this complex. Such a theory would deserve to be called a cohomology theory if it satisfied usual cohomological properties: pullbacks, cup products, etc.
One could easily argue cohomological ideas began with Euler’s definition of the Euler characteristic for a polyhedron or, the sum vertices-edges+faces. This is generalized when one studies simplicial homology as the alternating sum of the dimensions of the homology of the simplicial chain complex associated to, say, a polyhedron. Poincaré used these dimensions implictly, calling them betti numbers, and not knowing they were in fact the dimensions of some homology.
At some point, the focus turned to computing homology of chain complexes as it was realized this idea captured all of the historical ones. Here the focus would be on the homology associated to a complex, discarding the complex afterwards. Today, I’d say this idea is outdated as well. A more modern approach would be to focus on the chain complexes but, to mod out by “homological equivalence” of some sort. This idea is captured by the derived category.
The unbounded derived category of an additive category is defined then like so: take the category of complexes of objects of , call it . Mod out the hom sets by those morphisms homotopy equivalent to 0, which define equal on-the-nose maps of homology between chain complexes, and call this category . Then, if a morphism from the category induces an isomorphism on all homology of the chain complex, give it a formal inverse, and call this new category .
This is the setting for which we’ll define a “cohomology theory”.
Construction of Cohomology
Let be a scheme. I’ll always work with schemes. However, I will remark quite a number of the below results hold for arbitrary ringed spaces.
(1.1) Definition: the functor , from the category of abelian sheaves over (sheaves of abelian groups on the Zariski topology of ) to the category of abelian groups, defined by
is called the global sections functor for .
is a left-exact functor but, it is not in general right exact (this can be checked very easily on short exact sequences of sheaves). Since the category has enough injectives, we can construct a right derived functor for .
(1.2) Proposition: the right derived functor exists.
Proof. This follows from the fact that has enough injectives. We can construct, for any complex of sheaves in a quasi-isomorphism with consisting of injectives of . Then .
(1.3) Definition: let be an abelian sheaf on . We define the th cohomology of with values in the sheaf to be
Another way to write this is
(1.4) Corollary: For any abelian sheaf we have .
Proof. Considering as a complex in degree 0, we can find a resolution of by injective abelian sheaves . Following the construction,
since is left-exact.
While the above notion is fine for most-intents-and-purposes, it sometimes falls short in using all of the information we really have. For example, any -module, say , is an abelian sheaf. Then the above says we can compute the cohomology of regarded as an abelian sheaf; this corresponds to first forgetting the module structure of and then taking the right derived functor to obtain a chain complex of abelian groups. Alternatively, knowing has enough injectives, we could mimic the proof of Lemma (1.3) to show
(1.5) Proposition: there is a right derived functor .
Proof. Similar to (1.3) but in different categories.
Computing then forgetting the module structure of the complex gives us another way to obtain a complex of abelian groups from , which just as reasonably could be used to define the cohomology of with values in . Ideally, it won’t matter which way we decide to calculate the cohomology. Indeed, this will be the case. But, in order to show this, we’ll need the notion of a flasque sheaf.
(1.6) Definition: A sheaf, , is called flasque if the restrictions
are surjective for any inclusion of open sets of .
To reiterate, we want to check the commutativity of the diagram
where the vertical arrows are forgetful functors.
The right derived functor is defined similar to before: for any complex of -modules we have for a quasi-isomorphism with a complex of injectives of .
As a first approach to showing commutativity of the above diagram, it would be tempting to say the complex is also a complex of injectives of . If this were true then all of our work would be for naught! So of course this is not the case; the complex considered as a complex of abelian sheaves is, in general, not a complex of injectives in the category .
However, the next proposition will show an -module is flasque. Flasque sheaves are very nice in the sense they are flasque in any category you consider them. That is, a flasque -module is also a flasque abelian sheaf after you forget the module structure. Combining this with proposition (1.7) below, that flasque abelian sheaves are acyclic (or right-adapted, depending on your terminology) for , we get the desired commutativity.
(1.7) Proposition: Injective -modules are flasque.
Proof. Proposition 6.2 (1) in [Ill].
(1.8) Proposition: Flasque sheaves are acyclic for .
Proof. Proposition 6.2 (3) in [Ill].
(1.9) Corollay: If an abelian sheaf has the structure of an -module, then its cohomology groups, , have the structure of -modules.
Proof. Indeed, by our discussion above we can compute cohomology by applying the forgetful functor to . So don’t apply the forgetful functor, and then we have a module structure on the cohomology.
A second, arguably as important, purpose for introducing flasque sheaves is for the study of constant sheaves on irreducible topological spaces and of skyscraper sheaves. In particular, we have a sheaf for any variety (separated scheme of finite type over a field ) , which will turn out to be constant on any integral variety.
Recall it suffices to define a presheaf on by defining what happens only for affine opens. We obtain a sheaf by taking the Zariski sheafification of this presheaf. So, let be an open affine subset of .
(1.10) Definition: In the setting described above we define the sheaf of rational functions on , denoted , to be the Zariski sheafification of the presheaf defined by
Note this is different from the sheaf defined in Hartshorne’s book. The definition for the sheaf of rational functions which is given in Hartshorne’s book is, unfortunately, incorrect in it’s full generality. (See here for a related question, and here for a discussion). For this reason we provide proof our definition of a presheaf is a presheaf.
(1.11) Proposition: The above definition is actually a definition. That is to say, as defined above is, in fact, a sheaf.
Proof. We need only check that for any inclusion of open affine sets of , we have a well-defined restriction . This gives the necessary presheaf condition — which is the only thing we have to check since sheafification always exists.
The map is actually the one which descends via the diagram
with all solid arrows the natural restriction and localization. To see this, note that we have defined maps
which take to invertible elements in (by our definition of !). Hence, by the universal property of localization, the map factors
completing the above square as desired. By the functorality of our construction of the restriction maps, the morphisms are compatible in the required sense.
As alluded to above, admits the following characterization.
(1.12) Proposition: If is integral, then is constant. In particular, as is a constant sheaf on an irreducible topological space, it is flasque.
Proof. Since is integral, has no zero divisors for any point . Then is the sheafification of the presheaf . But this presheaf is the constant presheaf. Indeed, is just localization at the generic point of , which is equal to the localization at the generic point of any other affine open by the assumption is integral. Hence, is a constant sheaf. The second claim follows by noting the constant presheaf on an irreducible topological space is already a sheaf. To see this one can check the sheaf exact sequence. But the constant presheaf on an irreducible topological space is flasque, as all the restriction maps are the identity.
To end this section, we make slight remarks on the relation between the pushforward functor of sheaves and cohomology. Although I used this functor in the last proof, I recall the definition purely for convenience.
(1.12) Definition: let be a morphism of schemes. We define the functor , called the direct image functor, by the rule
for any open in . For completeness, acts on morphisms of sheaves on , , by the rule
The functor is left-exact also (and this can also be checked very easily on short exact sequences of sheaves).
We have, on objects ,
and, on morphisms ,
(1.14) Corollary: There is a convergent spectral sequence
Proof. This is the Grothendieck spectral sequence applied to composition on the left hand side of proposition (1.13). The convergence claim follows from proposition (1.13) as the functors are equal on-the-nose so are their derived functors. This spectral sequence is actually called the Leray spectral sequence.
Here we collect some of the cohomological properties of sheaf cohomology for more general schemes.
(2.1) Characterization of Affines: A quasi-compact quasi-separated scheme is affine if, and only if, for every quasi-coherent sheaf on and all .
(2.2) Vanishing: If has a underlying Noetherian topological space and , then for all and any abelian sheaf on .
(2.3) Finite Generation: If is projective, and a coherent sheaf on , then is a finitely generated -module for all .
(2.4) Sort of Contravariance in the First Variable; Covariance in the Second Variable: For a morphism of schemes and an -module there is a natural map . For two -modules, and a morphism there is a natural morphism .
(2.5) Long Exact Sequence: Associated to any exact sequence of abelian sheaves
is a long exact sequence of cohomology
(2.6) Cup Product: For two -modules, there is a product
In particular, if then the direct sum inherits a ring structure which is skew-commutative in the sense for homogeneous elements .
(2.7) Künneth Formula: Let , be separated schemes over a field and quasi-coherent sheaves on respectively. There is an isomrphism
where for the projections , .
(2.8) Serre Duality: Let be a smooth projective -scheme of pure dimension . Then, with , there are perfect pairings
i) for any locally free coherent sheaf
ii) for any coherent sheaf
A Conclusion of Sorts
I’m deciding to stop here. Mostly because there are various directions one can take sheaf cohomology from this point and none of them are currently what I want to look at.
Some ideas, for those curious where to go:
- Take the Čech approach to sheaf cohomology, and find when they agree. In particular, on a separated scheme using a cover by affine opens.
- The classification of line bundles via the group . More generally, how classifies -torsors.
- The description of Cartier divisors as the group . Their relation to Weil divisors. More generally, the construction of the Chow ring via Bloch’s formula: .
- The use of sheaf cohomology to define numerical invariants and their use as discrete invariants in the classification problem. Examples: the arithmetic and geometric genus (when they agree and when they differ), Hilbert polynomials, Euler characteristic.
[Ill] Topics in Algebraic Geometry – Illusie. Link to text.