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
Pingback: Some Basics of Class Field Theory | Theories and Theorems
Pingback: More on Galois deformation rings | Theories and Theorems