In Galois Deformation Rings we introduced the concept of Galois deformations and Galois deformation rings, which had the property that Galois deformations (which are certain equivalence classes of lifts of a fixed residual representation) correspond to maps from those Galois deformations to the one over the Galois deformation ring. In a way this allows us to consider all the deformations of this residual representation altogether.
In this post, we will consider not only the Galois representations that are lifts of some fixed residual representation, but consider Galois representations without the need to fix a residual representation. These Galois representations are going to be parametrized by the moduli stack of Galois representations, whose geometry we will study.
Before we consider Galois representations, let us first consider the simpler case of representations of a finitely presented group. Let be such a finitely presented group, with generators and relations . Let us consider its -dimensional representations over some ring . The first thing we have to do is to give matrices , with coefficients in , corresponding to the generators . Then we have to quotient out by the relations , each viewed as a relation on the matrices . Then we may see the functor that assigns to a ring the set of -dimensional representations of over is representable by an affine scheme.
Now the theory of stacks (see also Algebraic Spaces and Stacks) comes in when we take into consideration that two representations that differ only by a change of basis may be considered to be “the same”. So we take the quotient of our affine scheme by this action of , and what we get is a stack.
Let us now go back to Galois representations. Note that the absolute Galois groups we will be interested in are not finitely presented, however, the idea is that we will have to find some clever way of relating these absolute Galois groups to some finitely presented groups so we can make use of what we have just learned.
Let us first discuss the local case, for , i.e. our representations will be on -modules, where is some -algebra. Consider , a finite extension of , and let be its residue field. As a shorthand let us also denote by . Let us recall (see also Splitting of Primes in Extensions and Weil-Deligne Representations) that we have the exact sequence
Recall that is called the inertia group. An extension of is tamely ramified if its ramification index is prime to . Let be the maximal tamely ramified extension of and be the maximal unramified extension of . Let and let . We have an exact sequence
Where is called the tame inertia. It is a quotient of the inertia group by a subgroup , called the wild inertia. The tame inertia is of the form and is a pro-cyclic group.
Let be a generator of as a pro-cyclic group. Let be a lift of Frobenius in . We consider the subgroup of given by
where is the cardinality of the residue field . This subgroup is is dense inside , and is its profinite completion.
We have the following exact sequence:
Inside we have the subgroup , and we have another exact sequence as follows:
The middle term is defined to be the limit , where is an open subgroup of which is normal in , and is in turn defined to be the extension of the finitely presented group by the finite group , i.e. is the middle term in the exact sequence
Now the idea is that , being an extension of a finitely presented group by a finite group, is finitely presented, and we can use what we have learned about moduli stacks of finitely presented groups at the beginning of this post. At the same time, is dense inside , and we have .
Therefore, we let be the moduli stack of representations of the finitely presented group , and our moduli stack of Galois representations will be given by the direct limit .
Now all of what we just discussed applies to the case, but the case is much more subtle. To properly construct the moduli stack of Galois representations for the case we will need the theory of -modules, which will not discuss in this post, though hopefully we will be able to in some future post.
Let us now discuss briefly the global case. Let be a number field, and let be a finite set of places of . Let denote the Galois group of the maximal Galois extension of unramified outside . We want to consider -dimensional representations of over a -algebra , for some . The functor that assigns to such an this set of representations gives us a stack over the formal scheme (see also Formal Schemes).
Not only can we consider representations, but we can also consider pseudo-representations, which are sort of generalizations of the concept of the trace of a representation. These pseudo-representations also have a corresponding moduli space, which is a formal scheme, denoted by , also over . Since we can associate a pseudo-representation to a representation, we have a map .
It is a theorem of Chenevier that is a disjoint union of components indexed by residual pseudo-representations (semi-simple pseudo-representations over a finite field). Similarly, will be a disjoint union of components , each with a map to the corresponding . In the case that is irreducible, will be , while will be , where is the universal deformation ring, and is some formal completion of .
We end this post by mentioning a conjecture related to the conjectural categorical geometric Langlands correspondence mentioned at the end of The Global Langlands Correspondence for Function Fields over a Finite Field. This is currently part of ongoing work by Matthew Emerton and Xinwen Zhu. There is a “restriction” map
from the global moduli stack to the product of local moduli stacks , for all in the set (defined at the start of the discussion of the global case). It is then conjectured that there are coherent sheaves on each , which come from representations of . We can form the product of these sheaves and pull back to get a sheaf on the global stack , and after tensoring with the universal Galois representation on , it is conjectured that this gives the compactly supported cohomology of Shimura varieties.
One can also form, more generally, moduli stacks not just of Galois representations but of Langlands parameters. More on these, as well as more in-depth details on these moduli stacks and the conjectures regarding coherent sheaves on these moduli stacks, will hopefully be discussed in future posts.
Moduli stacks of Galois representations by Matthew Emerton on YouTube
Moduli Stacks of (phi, Gamma)-modules: a survey by Matthew Emerton and Toby Gee
Moduli of Langlands parameters by Jan-Francois Dat, David Helm, Robert Kurinczuk, and Gilbert Moss
Coherent sheaves on the stack of Langlands parameters by Xinwen Zhu
Moduli of Galois representations by Carl Wang-Erickson