In Cohomology in Algebraic Geometry we have introduced sheaf cohomology and Cech cohomology as well as the concept of etale morphisms, and the Grothendieck topology (see More Category Theory: The Grothendieck Topos) that it defines. In this post, we give one important application of these ideas, related to the ideas discussed in Galois Groups.

Let be a field (see Rings, Fields, and Ideals). A field has only two ideals: and , the latter of which is the unit ideal and is therefore the entire field itself as well. Its only prime ideal (which is also a maximal ideal) is ; recall that in algebraic geometry (see Basics of Algebraic Geometry), the “points” of the mathematical object we call a **scheme** correspond (locally, at least) to the prime ideals of a ring , and we refer to this set of “points” as . Therefore, for the field , , in other words, is made up of a single point.

Now we need to define sheaves on . Using ordinary concepts of topology will not be very productive, since our topological space consists only of a single point; therefore, we will not be able to obtain any interesting open covers out of this topological space. However, using the ideas in More Category Theory: The Grothendieck Topos, we can “expand” our idea of open covers. Instead of inclusions of open sets, we will instead make use of etale morphisms, as we have discussed in Cohomology in Algebraic Geometry.

Let be an etale morphism. This also means that is an etale -algebra (see also The Hom and Tensor Functors for the definition of algebra in our context). It is a theorem that an etale -algebra is a direct product of finitely many separable field extensions of (see Algebraic Numbers).

The definition of presheaf and sheaf remains the same, however the sheaf conditions can be restated in our case as the following (perhaps easier to understand) statement, which we copy verbatim from the book Etale Cohomology and the Weil Conjecture by Eberhard Freitag and Reinhardt Kiehl:

*The elements correspond one-to-one to families of elements*

*, *

*having the property*

*, in *

*This condition must also hold for !*

A **separable closure** of is a separable field extension of (see Cohomology in Algebraic Geometry) that is a subfield of the **algebraic closure** of . The algebraic closure of is an algebraic extension (see Algebraic Numbers) of which is algebraically closed, i.e., it contains all the roots of polynomials with coefficients in this algebraic extension. Both the algebraic closure and the separable closure of are unique up to isomorphism. In the case of the field of rational numbers , the separable closure and the algebraic closure coincide and they are both equal to the field of algebraic numbers.

Given the separable closure of , we define as the **stalk** (see Localization) of the sheaf at . It is also written using the language of **direct limits** (also called an **inductive limit**):

We digress slightly in order to explain what this means. The language of **direct limits** and **inverse limits** (the latter are also called **projective limits**) are ubiquitous in abstract algebra, algebraic geometry, and algebraic number theory, and are special cases of the notion of limits we have discussed in Even More Category Theory: The Elementary Topos.

A **directed set** is an ordered set in which for every pair there exists such that . A **direct**, resp. **inverse system** over is a family of objects and morphisms , resp. such that

is the identity map of , and

resp.

for all .

The **direct limit** of a direct system is then defined as the quotient

where two elements and are considered equivalent, if there exists such that .

Meanwhile, the **inverse ****limit** of an inverse system is the subset

of the product .

The classical definition of **stalk**, for a sheaf can then also be expressed as the direct limit of the direct system given by the sets (or abelian groups, or modules, etc.) and the restriction maps for open sets . In our case, of course, instead of inclusion maps we instead have more general maps induced by etale morphisms.

An example of an etale sheaf over is given by the following: Let

where is the multiplicative group of the etale -algebra .

In this case we have , the multiplicative group of the separable closure of . We note that the multiplicative group of a field is just the group , with the law of composition given by multiplication.

In order to make contact with the theory of Galois groups, we now define the concept of **-modules**, where is a group. A **left** **-module** is given by an abelian group and a map such that

,

,

and

.

Instead of we usually just write . A **right ****-module** may be similarly defined, and may be obtained from a left -module by defining .

The abelian group has the structure of a -module, where is the **Galois group** (also written as ), the group of field automorphisms of that keep fixed.

We see now that there is a connection between Galois theory and etale sheaves over a field. More generally, there is a connection between the Etale cohomology of a field and “**Galois cohomology**“, an important part of algebraic number theory that we now define. Galois cohomology is the derived functor (see More on Chain Complexes and The Hom and Tensor Functors) of the **fixed module functor**.

First we construct the **standard resolution** of the the **Galois module** (a -module where is the Galois group of some field extension) . It is given by , the abelian group of all functions from the direct product to , and the coboundary map

given by

where signifies that is to be omitted.

We now apply the fixed module functor to obtain the **cochain complex**

.

The elements of are the functions such that

for all .

The **Galois cohomology groups** are then obtained by taking the cohomology of this cochain complex, i.e.

*Note: We have adopted here the notation of the book Cohomology of Number Fields by Jurgen Neukirch, Alexander Schmidt, and Kay Wingberg. Some references use a different notation; for instance may be defined as the abelian group of functions from to instead of from to . This results in different notation for the cochain complexes and their boundary operators; however, the Galois cohomology groups themselves will remain the same.*

It is a basic result of Galois cohomology that gives , the subset of such that for all . In other words, is the subset of that is fixed by .

We have the following connection between Etale cohomology for fields and Galois cohomology:

We now mention some other basic results of the theory. In analogy with sheaf cohomology, the group is just the set of “global sections” of . Letting which we have defined earlier, we have

In the language of Galois cohomology,

Meanwhile, for , we have the following result, called **Hilbert’s Theorem 90**:

.

The group is called the **Brauer group** and also plays an important part in algebraic number theory. The etale cohomology of fields, or equivalently, Galois cohomology, are the topic of famous problems in modern mathematics such as the **Milnor conjecture** and its generalization, the **Bloch-Kato conjecture**, which was solved by Vladimir Voevodsky in 2009. They also play an important part in the etale cohomology of more general rings.

References:

Hilbert’s Theorem 90 on Wikipedia

Galois Cohomology on Wikipedia

Milnor Conjecture on Wikipedia

Norm Residue Isomorphism Theorem

Etale Cohomology and the Weil Conjecture by Eberhard Freitag and Reinhardt Kiehl

Cohomology of Number Fields by Jurgen Neukirch, Alexander Schmidt, and Kay Wingberg

Pingback: Direct Images and Inverse Images of Sheaves | Theories and Theorems