I just spent a week or so trying to determine whether Serre’s conjecture about the congruence subgroup property was false for a very specific class of S-arithmetic groups. The punch line, perhaps not surprisingly, was that I had made an error. I should note that I was pretty skeptical during the entire endeavour, so the final resolution was not a surpise, but there were still a few interesting twists along the way. (Thanks to Matt for some informative chats along the way.)
Let’s start by recalling Ribet’s proof of (what is one of many statements known as) Ihara’s lemma. Let be a congruence subgroup of of level prime to q. There is a congruence subgroup defined in the usual way, where However, there is also a second copy of this group inside with (Well, there are copies of this group, but let’s just consider these two for the moment.) The two groups are conjugate inside but not inside . An argument of Serre now shows that the amalgam of with itself along these groups (identified by conjugation by is the congruence subgroup of That is, the congruence subgroup where the local conditions away from q are the same as The Lyndon long exact sequence associated to an amalgam of groups shows that there is an exact sequence:
for any trivial coefficient system Now the group satisfies the congruence subgroup property, so the group on the right is easily seem to be finite and Eisenstein. By duality, there is also a map
and the composition of this map with the projection above is a matrix with determinant A bookkeeping argument now gives Ribet’s famous level raising theorem (taking coefficients )
Fred Diamond and Richard Taylor generalized this theorem by replacing the modular curve with both definite and indefinite quaternion algebras. The actual theorem itself at this point is probably quite easily to prove by the K-W method, but that’s not relevant here. Instead, let’s think a little about the proof. The more difficult and interesting case is when comes from the norm one units in an indefinite quaternion algebra, which we consider from now on (the case of Shimura curves over Morally, the proof should be exactly the same. The only wrikle is that the corresponding group is notoriously not known to satisfy the congruence subgroup property, although Serre conjectures that it does. Diamond and Taylor instead argued in the following way. (Let us specialize to the case of trivial weight, which is the only relevant case here.) Suppose that p is a prime greater than two and different from q. Then instead of working with Betti cohomology, one can instead, via a comparison theorem, use de Rham cohomology. The Hodge filtration consists of two pieces, one of which is and the other is They then investigate the kernel of the map:
where everything is now over Here the two maps are the two pullbacks under the two projections They now show that element in the kernel gives rise to a differential which vanishes at all the supersingular points or does not vanish at all. The first is impossible by a degree argument when and the second is always impossible. They conclude that, returning to etale cohomology, any kernel of the map
must lie entirely in one filtered piece, from which they deduce it must be Eisenstein. But let’s look at this argument a little more closely. Even in Ribet’s case, the conclusion is really much stronger than level raising for non-Eisenstein primes; there is a very precise description of the kernel (or cokernel in homology) in terms of the homology of coming from congruence quotients, which one can compute quite explicitly. So Ribet’s theorem also gives level raising for Eisenstein representations in some contexts. In particular, for a suitable choice of congruence subgroup (with one can make the group vanish identically. Let’s now return to the argument of Diamond and Taylor when All the comparison theorems are still valid, so the only issue is that the map
does have a kernel, namely, if one takes the “Hasse Invariant” which vanishes to degree one at all supersingular points, then the two pullbacks of to coincide up to a scalar, and so the kernel is at least one dimensional. In fact, the argument of Diamond-Taylor shows that the kernel is at most one dimensional. But what does this mean in the proof of Ihara’s Lemma? It means that, assuming has good reduction at the prime the level raising map always has a kernel, and thus is always non-trivial.
This now seems suspicious: all we need to do is find a quaternion algebra which doesn’t have any congruence homology of degree If the quaternion algebra is ramified at a prime then the congruence homology coming from this prime (for is a subgroup of the norm one elements of which has order So it makes sense to take a quaternion algebra ramified at since these are the two smallest primes different from 3 which are congruent to 1.
Because this seemed to contradict Serre’s conjecture, I decided for fun to explicitly compute a presentation for the amalgam to help work out what was going on. To first start, one needs a presentation for John Voight (friend of the blog) has written a very nice magma package to do exactly this. (More precisely, it’s trivial to write down a presentation — is torsion free, and hence a surface group for a genus one can compute via other means to be the point is that one also wants an explicit representation as well as an explicit identification with the norm one units of the correponding quaternion algebra.)
I then took an embarassingly long time to compute the subgroup The main issue was finding a suitable element in to play the role of in There certainly exists such a unit in so in real life one just has to find an actual norm 2 unit which is sufficiently close 2-adically to this. However, I am absolute rubbish at mathematica and so repeatedly made the following error: when you define suitable quaternions in for some quadratic splitting field and then compute with the matrix mathematica helpfully interprets “” here as rather than a multiple of the identity, a programming decision which makes a lot of sense, said no one ever. I did this more times than I care to admit. Then, using John’s program, one can find the subgroup and then write down a presentation for the amalgam by conjugating this subgroup by and identifying the correpsonding elements via a solution to the word problem as words in the original generators, and then substitute the names for these generators for the second copy of The result is a group with generators and relations (corresponding to the 2 surface relations and the fact that has generators.) Finally, one takes this group, plugs it into magma, and finds:
There are known congruence factors coming from and but here one sees that the factor of three survives!
And then, shortly after this point, I realized that has a quotient of order because it is So that degree three quotient is congruence after all… Oops! Still, it’s nice to see that mathematics is consistent.
However, at this point one might just ask why can’t one replace the quaternion algebra by (say) a real quadratic field in which is unramified and inert. Serre got away with it above because is solvable, but has the good manners not to have any such quotients. So why can’t one now run the same argument as above and disprove Serre’s conjecture? That’s a good question, and the entire argument works, up to the issue of defining the Hasse invariant. Quaternion algebras over fields other than are a bit of a disaster, because they don’t have nice moduli theoretic descriptions. That doesn’t mean they don’t have Hasse invariants, however. But now what happens, which at this point in the game I suspected but was confirmed and explained to be by George Boxer (Keerthi also suggested a computation which would lead to the same conclusion): the Hasse invariant is no longer a section of but rather a section of and this has too large a degree to contribute to the cohomology of Since it still has too large a degree when which is good, because otherwise working at this prime could have given rise to a counter-example to Serre’s conjecture because is perfect. (One would have to be slightly more careful with p=2 about comparison theorems, but at least one is dealing with curves.) So the conclusion is that Serre’s conjecture still stands, but only because various Hasse invariants in low weight are exactly accounted for by the solvability of when
(Also, completely randomly and apropos of nothing, this link is now the top hit on the web to the search “Fred Diamond’s Beard.”)