In Homology and Cohomology we discussed cohomology as used to study topological spaces. In this post we study cohomology in the context of algebraic geometry. We will need the concepts we have discussed in Presheaves, Sheaves, More on Chain Complexes, and The Hom and Tensor Functors.
One thing to note here, in constructing our resolutions, is that we are dealing with sheaves of modules, instead of just modules. The morphisms of sheaves of modules on a topological space are defined as homomorphisms of modules for every open set of .
Since our definition is quite abstract, we also discuss here Cech cohomology, which is more concrete. Let be a topological space, and let be an open covering of . We let
The coboundary maps are given by
where means that the index is to be omitted. The Cech cohomology is then given by the cohomology of this complex.
The Cech cohomology is equivalent to the sheaf cohomology. The injective resolution of the sheaf is given by a “sheafified” version of the chain complex we constructed earlier. For an open subset of , let be the inclusion map. We define
with the same definition for the coboundary map as earlier. Then
from which it can be seen that the Cech cohomology is indeed the derived functor of the global section functor .
Up to now, for our topological spaces we have always used the Zariski topology. We now introduce another kind of topology called the Etale topology. The Etale topology is not a topology in the sense of Basics of Topology and Continuous Functions, but a Grothendieck topology, which we have discussed in More Category Theory: The Grothendieck Topos. Our underlying category will be written , and its objects will be etale morphisms (to be explained later) , and its morphisms will be etale morphisms such that if then .
An etale morphism is a morphism of schemes that is both flat (see The Hom and Tensor Functors) and unramified. A morphism is said to be unramified if for all points of the morphism of local rings (see Localization) has the property that and the residue field is a finite separable field extension of .
The concept of field extensions was discussed in Algebraic Numbers. We have explored in that same post how field extensions may be “generated” by the roots of polynomials with coefficients in . The field extension is called separable if the aforementioned polynomial (called the minimal polynomial) has distinct roots.
An unramified morphism is also required to be locally of finite type, which means that for every open subset (we recall that in Localization we have updated our definition of schemes to mean something that “locally” looks like our “old” definition of schemes – the mathematical objects referred to by this “old” definition will henceforth be referred to as affine schemes) of and every open subset of the induced morphism makes into a “finitely generated” -algebra.
Using the etale topology to define the sheaves to be used in cohomology results in etale cohomology, the original driving force for the development of the concept of the Grothendieck topos. Hopefully we will be able to flesh out more of this interesting theory in future posts.
Algebraic Geometry by Robin Hartshorne