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.
Sheaf cohomology is simply the derived functor (see More on Chain Complexes and The Hom and Tensor Functors) of the global section functor , which assigns to a sheaf
its set of global sections
.
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
where
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, if the sheaf is quasi-coherent (see More on Sheaves). 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.
References:
Algebraic Geometry by Andreas Gathmann
The Rising Sea: Foundations of Algebraic Geometry by Ravi Vakil
Lectures on Etale Cohomology by J.S. Milne
Algebraic Geometry by Robin Hartshorne
Pingback: Etale Cohomology of Fields and Galois Cohomology | Theories and Theorems
Pingback: Direct Images and Inverse Images of Sheaves | Theories and Theorems
Pingback: The Riemann Hypothesis for Curves over Finite Fields | Theories and Theorems
Pingback: Algebraic Cycles and Intersection Theory | Theories and Theorems
Pingback: The Theory of Motives | Theories and Theorems
Pingback: Chern Classes and Generalized Riemann-Roch Theorems | Theories and Theorems
Pingback: Galois Representations | Theories and Theorems