Let be a number field, and let be the Galois group over of the maximal extension of unramified outside a finite set of primes . It should follow from the Langlands correspondence that -dimensional continuous (we shall only be talking about continuous Galois representations in this post, so we omit the word “continuous” from here on) representations should correspond to certain automorphic representations of unramified outside (see also Automorphic Forms).

The **Fontaine-Mazur-Langlands conjecture** further states that such Galois representations that are irreducible and “geometric” (i.e. its restrictions to the primes above satisfy some conditions related to p-adic Hodge theory, see also p-adic Hodge Theory: An Overview) should match up with “algebraic” (we shall explain this shortly) cuspidal . Furthermore this conjecture expects that certain “Hodge numbers” associated to the Galois representation via p-adic Hodge theory should match up to “Hodge numbers” defined for the automorphic representation via its “infinitesimal character” at the archimedean primes (note that they are defined differently, since they are associated to different kinds of representations; they only share the same name because they are expected to coincide).

Generally, whether is “geometric” or not, its Hodge numbers going to be -adic numbers, and whether is “algebraic” or not, its Hodge numbers are complex numbers. However, if is geometric, then its Hodge numbers are integers, and if is algebraic, its Hodge numbers are also integers (in fact the definition of “algebraic” here just means that its Hodge numbers are integers), and this allows us to match them up.

To see things in a little more detail, let us consider the case of a -dimensional representation . We have seen in Galois Representations that an example of this is given by the p-adic cyclotomic character which we can also view as follows. Let . Let be the abelianization of . It follows from the **Kronecker-Weber theorem** that is isomorphic to , and it is precisely the p-adic cyclotomic character that gives this isomorphism. Since embeds into , which is also , we have our -dimensional Galois representation. We can also take a power of the p-adic cyclotomic character to get another -dimensional Galois representation.

But the p-adic cyclotomic character and its powers are not the only -dimensional Galois representations. For instance, we have a map from given by reducing mod and then composing it with the map that sends this element of to the corresponding -th root of unity in . This is a **finite-order character**. We also have another map from which sends to , for some in such that . If we compose the p-adic cyclotomic character with either of these maps, we get another -dimensional Galois representation. It turns out the Hodge number of the latter representation is given by .

The -dimensional Galois representations form a rigid analytic space (see also Rigid Analytic Spaces), and their Hodge numbers form p-adic analytic functions on this space. The geometric representations are the ones that are from a power of the p-adic cyclotomic character composed with a finite-order character, and these form a countable dense subset of this rigid analytic space.

Some form of this phenomena happens more generally for higher dimensional Galois representations – they form a rigid analytic space and the geometric ones are a subset of these.

It is convenient that our Galois representations form a rigid analytic space, and suppose we want to do something similar for our automorphic representations. The problem is that the automorphic representations aren’t really “p-adic”, as we may see from the fact that their Hodge numbers are complex instead of p-adic. This is the problem that **p-adically completed cohomology**, also simply known as **completed cohomology**, aims to solve.

Let us look at how we want to find automorphic representations in cohomology. Let . If has real embeddings and complex embeddings, then will be isomorphic to . Let be a maximal connected compact subgroup of . With and as earlier, will be isomorphic to .

Let be the quotient . This is an example of a symmetric space – for example, if and , is going to be .

The space has an action of , and its subgroup . Letting , we may therefore take the quotient

For example, if and , then consists of copies of the (uncompactified) modular curve of level (the number of copies is equal to the number of primes less than ).

It is this space whose cohomology we are interested in. For instance is related to automorphic forms by a theorem of Jens Franke. However, it is complex, and not the p-adically varying one that we want. There is an isomorphism between and , but the important part of this cohomology comes from the cohomology with coefficients, which is unchanged when we do this isomorphism, and therefore does not really add anything.

This is now where we introduce completed cohomology. Let us require that and be mutually prime. We define the completed cohomology as follows:

The order of the limits here is important (we will see shortly what happens when they are interchanged). By first taking the direct limit we are essentially considering the union of for all with coefficients. This is a very big abelian group that might not even be finitely generated. Then the inverse limit means we are taking the -adic completion – having this as the last step guarantees that the result is something that is *p-adically complete* (hence the name p-adically completed cohomology). So the completed cohomology is a p-adically complete module over , which again may not be finitely generated. Taking the tensor product of with over gives us a vector space which moreover is a Banach space.

Let us consider now what happens if the order of the limits were interchanged. Let us denote the result by :

By taking the inverse limit first we are simply considering , and taking the direct limit means we are taking the union of for all . If we take the tensor product of with over , then what we get is , the union of for all . Being the cohomology with characteristic zero coefficients, this may once again be related to the automorphic forms, as earlier.

Therefore, , via the Fontaine-Mazur-Langlands conjecture, should be related to the geometric Galois representations. Now it happens that we can actually embed into the completed cohomology , because there is a map from to , and then we can take the direct limit over followed by the inverse limit over and then tensor over as previously.

This embedding of into should now bring to mind the picture with the geometric Galois representations which sit inside the rigid analytic space of Galois representations which may not necessarily be geometric, as discussed earlier. It is in fact a conjecture that should know about the rigid analytic space of Galois representations.

In the case and , the completed cohomology is some space of p-adic modular forms, and there is much that is known via the work of Matthew Emerton, who also showed that the **p-adic local Langlands correspondence** appears inside the completed cohomology. This has led to a proof of many cases of the Fontaine-Mazur conjecture for -dimensional odd Galois representations.

We have only provided a rough survey of the motivations behind the theory of completed cohomology in this post. We will discuss further deeper aspects of it, and its relations to the p-adic local Langlands correspondence and the Fontaine-Mazur conjecture in future posts.

References:

Completed cohomology and the p-adic Langlands correspondence by Matthew Emerton on YouTube

Completed cohomology and the p-adic Langlands program by Matthew Emerton

Completed cohomology – a survey by Frank Calegari and Matthew Emerton

Pingback: Completed Cohomology and Local-Global Compatibility | Theories and Theorems