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