I’ll begin today by taking a poll. Usually I’d do this at the end, but I assume no one will be reading at that point. Since my research has a bit of an arithmetic flavor, one thing I’d like to do is post about some standard algebraic number theory where about a 10 week graduate class would leave off with an eye towards class field theory. I should probably be more comfortable with these things. My other idea is to blog about Neron models which I feel like I should understand better as well. If you strongly want to see one of these over another, then speak up soon in the comments (I’ll probably do both eventually).
The subject of today is to discuss the obstruction space a little. Recall that whenever we’ve discussed the universal deformation ring in the previous posts we had the caveat “if the deformations are unobstructed, then … “. It would be nice to have some theorems that tell us when this actually happens, or if it doesn’t happen at least get some good control on what the obstructions are.
Let’s quickly recall how this works. Fix a finite set of primes and some prime (not in ). Fix a an absolutely irreducible residual representation . In this case, we know the deformation functor is representable by some universal deformation ring denoted . The structure of this ring is immensely important since it completely determines what all the deformations are. We said that the obstruction space for deforming is , so if we suppose this is , then we know that where . This is why unobstructedness is so important. We can completely determine up to isomorphism.
A theorem of Flach in 1992 tells us one case when we get unobstructedness. Let be an elliptic curve having good reduction at and the primes of bad reduction together with and . Let and the residual representation. Suppose we have the following three conditions satisfied as well: is surjective, for all we have has no -invariants, and does not divide , then the deformation problem is unobstructed for .
We definitely won’t worry about what everything in that last condition is. You might be worried that this never happens, but in some sense that can be made precise these conditions are almost always satisfied. Now to finish the post off we’ll just very generally give an outline of the proof. Since we are trying to make some vanish, it isn’t surprising that we can reduce to checking that Ш
Ш Ш vanishes. We can already start to see the appearence of some of the conditions.
Using standard techniques in Galois cohomology like Hilbert 90 it can be checked directly that the first factor vanishes, so we only need to check that second one. Now define . It turns out that we get an injection
Ш into the Selmer group, so we can reduce to proving this Selmer group is . Using a very hard, deep theorem and the fact that is modular we can conclude that where is a modular parametrization. From this we can conclude the theorem of Flach.