Today we’ll describe what is meant by a deformation of a Galois representation. Since our motivation was Taniyama-Shimura we’ll quickly recall the type of Galois representations that came up there. There we technically had what are called -adic representations, because we considered . Our only caution was that we could have problems at places of bad reduction or ramification, so we will build that into the representations we consider.
Let be a finite set of primes. Define to be the Galois group of the maximal algebraic extension of unramified outside . Note that will always have the profinite topology. The term “Galois representation” from now on will mean a continuous representation where is a topological ring. Maybe this is a little loose because when we write we really mean , but we’ve chosen a basis to get actually matrices. Thus we really only want to consider two representations as different if they can’t be conjugated to one another. This is standard in representation theory, so we won’t dwell on it.
The idea of deformations of Galois representations is roughly to extrapolate information when or better by using information about representations when . If we think to the last post we can almost see how the deformation functor formalism can play a role here. We will set in which case is a local Noetherian -algebra with augmentation to . In fact, suppose , then the augmentation gives a natural map , so if we fix some called a residual representation a deformation of should be a continuous representation which is (up to equivalence) when composed with this map. The functor is now defined in the same way to be the set of all deformations of .
Now as was pointed out last time, in order to define our functor there is ambiguity about whether to define it on the completed category or on the full subcategory of Artin rings. It turns out that since our functor is continuous, for the purposes of representability we can check it on this full subcategory. In order to prevent a large amount of tedium and space there is a lot being brushed over here. I highly recommend Gouvêa’s great article on Galois Deformations in the book Arithmetic Algebraic Geometry for a more precise discussion of these points.
The punchline is that is actually a deformation functor. Moreover if is absolutely irreducible, then Mazur showed that the functor satisfies Schlessinger’s criterion and hence is prorepresentable (a far more general case was actually considered). Let’s unravel why this is important. What this says is that there exists a universal deformation ring (in the completed category), , so that given any we have . Even stronger we know there is a universal deformation so that the correspondence is actually given by goes to the deformation given by composing . This is wonderful. If we can somehow get our hands on this universal ring and universal deformation it will completely control all deformations.
Schlessinger unfortunately only tells us it exists, but subsequent work does tell us these things. That will be the subject of the next post.