In this post we shall develop the very basics of Galois cohomology, see two basic but important applications: Kummer Theory and the Weak Mordell-Weil Theorem, and remark on the general shape of both arguments. Hopefully at a later point I will post on Neukirch’s `General’ Class Field Theory which is perhaps a more complex realisation of a similar philosophy. I guess the main theme is that even very basic Galois cohomology can be a powerful tool that allows you to `get your money’s worth’ out of Galois theory without having to think too hard.

Firstly, let us set up the general framework of Galois cohomology. In general we will have a profinite group and want to study the category of -modules, namely topological abelian groups with a continuous action by . There is an obvious functor on this category , called `taking -invariants.’ In fact, for any subgroup (or even subset) of we have a similar functor . In the case where is a closed subgroup, these will be of interest to us. Thus in this post, in its most general setting Galois cohomology will be about studying -modules together with their submodules fixed by closed subgroups of .

Example (the most basic reason for the name): If we consider the absolute Galois group of a field , acts on and by the fundamental theorem of Galois theory the closed subgroups of are in one to one correspondence with the subfields of containing , so the Galois cohomology of is just the study of the field extension and its subextensions. In fact, in all of the examples that follow we will take to be an absolute Galois group, but it is useful to remember that the general theory that follows is entirely group-theoretical.

So let us go back to our functor . As a functor in a category of abelian groups it is reasonable to investigate its exactness properties. In fact, given a short exact sequence of -modules

it is true that

is exact, but the final map need no longer be surjective. However, by general homological algebra nonsense (including that the category of -modules has enough injectives) this is enough to get some right-derived functors going, and allow us to define Galois cohomology groups with all the properties you would expect, but in particular such that and such that the above short exact sequence gives rise to a *long exact sequence of cohomology*:

In fact, for our examples we will only need to go up to the level, which already provides a powerful tool in virtue of the following very basic fact. If a -module is in fact invariant under , then . I.e. it is just group homomorphisms from to . In particular, if is -invariant, the term of the above sequence has a concrete interpretation, and will be of crucial importance.

We can already start thinking about our first application. Given an arithmetically interesting field , we want to study the relationship between the group and its abelian extensions of exponent (i.e. every element of the Galois group has order dividing ). More specifically, we want to prove the following:

Theorem 1 (Kummer Theory)Let be a field containing all the th roots of unity. Then every degree cyclic extension of is of the form for some . More generally, there is a bijective inclusion-preserving correspondence between abelian extensions of of exponent and subgroups of given by , and . There is a perfect pairing

How do we prove this theorem? Let us note several striking features of its statement. Firstly, for it to be nontrivial, the field involved has to actually have some abelian extensions of exponent . In particular, if is an algebraically closed field nothing interesting happens (and the theorem tells us that this is because every element of has an th root which is already in ). Secondly, it seems that to get things going, does need to make a small arithmetic sacrifice: the th roots of *unity* must already be present in . If we want to use Galois cohomology, there really is only one short exact sequence we could think of writing down. Maybe try to guess what it is before reading it.

What happens when we take invariants of the absolute Galois group ? Galois cohomology tells us that we have a long exact sequence

So in particular, if we truncate the exact sequence at the term, we get

This looks like we have got somewhere, *provided we can compute or interpret the first cohomology groups*. And here is where our assumption that contains all the th roots of unity comes into play. Given this, is -invariant, so we have is in fact isomorphic as an abelian group to .

Thus, certainly to prove the Kummer isomorphism it will suffice to prove that the next map in the exact sequence is the zero map, and in fact what we need is precisely Hilbert’s Theorem 90, which says that .

Finally, the inclusion-preserving correspondence and the claim that cyclic extensions of exponent are generated by an th root follow after a little more work from the Kummer isomorphism. Indeed, a homomorphism gives a cyclic quotient of with exponent and unravelling the definitions we see that it is generated by the th root of the corresponding element in . Furthermore, a collection of such homomorphisms gives rise to a map into a product of some whose kernel corresponds to a field of exponent , etc.

So we are done, having quoted facts about Galois cohomology and Hilbert’s Theorem 90 (and suppressed several other less significant details). There are two questions we should ask ourselves. Firstly, what did the Galois cohomology do for us? It seems to me that it provided the key tool for passing from a slightly hard-to-handle object directly connected to the arithmetic of fields () to some more abstract and more group-theoretical objects (the groups) which turned out to be easier to compute. It did this by lifting all attention away from , instead replacing it with the pair . The first object is in some sense arithmetically `trivial’, being algebraically closed, and the second is a group which we might hope is easier to manipulate than the complicated field and its algebraic extensions. Secondly, what *didn’t* it do for us? Most notably, it didn’t actually do the necessary computations involving and . It just told us which s to compute and we had to go away and do that. It was clever of \text{us} (or Kummer) to realise we needed the hypothesis that contained the th roots of unity and this gave us a handle on one of the groups, and to control the other group we should really have proved Hilbert 90, a nontrivial theorem.

The general shape of this argument was rather pleasant however, and seems to be quite common in number theory. We have an operation on some geometrical object which is surjective over an algebraically closed field because inverting it involves solving algebraic equations (like taking th roots), but not necessarily surjective over arbitrary fields. Such a failure to be surjective reflects interesting arithmetic behaviour, and the cokernels involved can be important arithmetic invariants but difficult to get our hands on. Galois cohomology allows us to translate this difficult arithmetic-geometric behaviour of geometrical spaces over a field like into group-theoretical behaviour of the absolute Galois group together with the much simpler geometric behaviour of our space considered over an algebraically closed field.

Our second striking example is the Weak Mordell-Weil theorem on elliptic curves.

Theorem 2 (Weak Mordell-Weil)Let be a number field, an elliptic curve with full -torsion: . Then is finite.

This might not superficially resemble Kummer Theory, but look at the data and the structure of the situation. We have an algebraic operation, the multiplication-by- map , and in particular it is surjective over but probably not surjective over . And, perhaps the biggest give-away of all, we have been told that the kernel of this map, the -torsion, is all invariant. This time, at least if you’re happy with elliptic curves and everything I’ve said so far, you should have no trouble working out which exact sequence to write down. Refer to the one above if it helps.

We consider

Taking -invariants, we get the usual long exact sequence:

and since , truncating at the usual place we can form the short exact sequence:

Sadly, the group fails to be finite, even using the hypothesis that is a number field, so we do need slightly more arithmetic input, and it turns out that (certainly when ) we can use arithmetic arguments to prove that any homomorphism in the image of factors through where is the compositum of all degree cyclic extensions of which are unramified outside a finite set of primes ( and those primes dividing the discriminant of ). By Hermite’s theorem, is finite, so is finite, and hence we get to the theorem we wanted.

In fact, by doing slightly more work, one is able to use techniques known as -descent to get good bounds on the size of this image. I should mention that I only feel comfortable when , in which case Kummer theory works nicely to allow us to describe these homomorphisms explicitly via

but my suspicion is that things are in fact more general.

Again, as with the previous application, it is in some sense difficult to pin down exactly what Galois cohomology did for us. It translated our problem about the mysterious group into one about an also slightly mysterious subgroup of the (at least superficially not too mysterious) , which then has to be attacked by further arithmetic arguments. However, it seems that in enacting this transformation, Galois cohomology redefines the problem in a way that does make it genuinely much easier to solve and I know of no proof that isn’t on one level or another via this very basic level of Galois cohomology.

## Leave a comment

Comments feed for this article