The absolute Galois group is one of the most important objects of study in mathematics. However the direct study of this group is very difficult; for instance it is an infinite group, and we know very little about it. To make it easier for us, we will often instead study representations of this group – i.e. group homomorphisms to the group of linear transformations of some vector space over some field . When has finite dimension , is just , the group of matrices with entries in and nonzero determinant. Often we will also want the field to carry a topology – this will also endow with a topology. For instance, if is the -adic numbers it has a -adic topology (see also Valuations and Completions). Since has its own topology, we can then talk about representations which are continuous. In this post we shall consider three examples of these continuous Galois representations.
Our first example of a Galois representation is known as the -adic cyclotomic character. This is a one-dimensional representation over the -adic numbers , i.e. a group homomorphism from to , which also happens to just be the multiplicative group . Let us explain how to obtain this Galois representation.
Consider a primitive -th root of unity . Any element of acts on and sends it to some -th root of unity, which amounts to raising it to some integer power between and , i.e. an element of . We now define the -adic cyclotomic character to be the map from to which sends the element to the element of which after modding out by is precisely the integer power to which we raised .
Our second example of a Galois representation is known as the Tate module of an elliptic curve. We recall that we also discussed an example of a Galois representation coming from the -torsion points of an elliptic curve in Elliptic Curves. The Tate module is a way to package the action of the Galois group not only the -torsion points but also the -torsion for any , by taking an inverse limit over . Now the -torsion points are isomorphic to , so the inverse limit is going to be isomorphic to . This is not a vector space, since is not a field, so we take the tensor product with to get , which is a vector space. Therefore we get a Galois representation, i.e. a homomorphism from to . This construction also works for abelian varieties – higher dimensional analogues of elliptic curves – except that the Tate module is now -dimensional, where is the dimension of the abelian variety.
Our last example of a Galois representation is given by the -adic cohomology (explanation of this terminology to come later) of a smooth proper algebraic variety over . This is the inverse limit over of the etale cohomology (see also Cohomology in Algebraic Geometry) of with coefficients in the constant sheaf . These etale cohomology groups are somewhat confusingly denoted – note that they are not the etale cohomology of with coefficients! Just as in the case of the Tate module, we take the tensor product with to produce our Galois representation.
These Galois representations coming from the -adic cohomology somewhat subsume the Tate modules discussed earlier – that is because, if is an elliptic curve or more generally an abelian variety, we have that the -linear maps from the Tate module (tensored with ) is isomorphic to the first -adic cohomology . We say that the first -adic cohomology is the dual of the Tate module.
Although we discussed representations over in this post, it is also often useful to make our study “local” and focus on a single prime , and study instead. In this case we might as well just have replaced with in the above discussion, and nothing really changes, as long as the primes and are different primes. In the case that they are the same prime, things become much more complicated (and the theory is far richer)!
Note: Usually, when discussing “local” Galois representations, the notation for the primes and are switched! In other words, our local Galois representations are group homomorphisms from to . This is the reason for the terminology “-adic cohomology”. Since we started out just discussing “global” Galois representations, I switched the notation to use instead for the only instances were we needed a prime. Hopefully this is not overly confusing. We can also study Galois representations more generally for number fields (“global”) and finite extensions of (“local”).
Finally, although we stated above that we will only discuss three examples here, let us mention a fourth example: Galois representations can also come from modular forms (see also Modular Forms). To discuss these Galois representations would require us to develop some more machinery first, so we leave this to future posts for now.
Cyclotomic character on Wikipedia
Tate module on Wikipedia
Etale cohomology on Wikipedia
Reciprocity laws and Galois representations: recent breakthroughs by Jared Weinstein