I talked previously about work of Wake and Wang-Erickson on deformations of Eisenstein residual representations. In that post, I also mentioned a paper of Emmanuel Lecouturier who has also proved some very interesting theorems. Today, I wanted to talk about some complementary results by my student Eric Stubley in collaboration with Karl Schaefer (a student of Matthew Emerton). To duplicate slightly from that previous post, recall that Matt and I proved the following:
Theorem Let p > 3 be prime, and let N = 1 mod p be prime. If the rank of the cuspidal Hecke algebra of level localized at the Eisenstein prime is greater than one, then
has non-cyclic p-class group. Using work of Merel, one can dispense with the discussion of Hecke algebras and instead give an equivalent reformulation of the first condition, namely, if and only if is a p-th power, where
We followed up this result with the comment:
We expect (based on the numerical evidence) that the condition that the class group of K has p-rank [at least] two is equivalent to the existence of an appropriate group scheme, and thus to [the rank being greater than one].
As noted previously, there are counter-examples, already for p = 7 and N = 337. However, there was still clearly some relationship between these quantities beyond the one-way implication above. In particular, the numerical evidence still stubbornly supported the hope that the converse may indeed be true for p = 5. This is the first theorem that Schaefer and Stubley prove. More precisely, they completely determine the rank of the class group of for primes N which are 1 mod 5.
Theorem [Schaefer, Stubley]: Let be prime. Then the 5-rank r_K of the class group of is either 1, 2, or 3. Moreover:
- if and only if the Merel invariant is not a perfect 5th power.
- if and only if is a perfect 5th power, and is not a perfect 5th power modulo N.
- if and only if and are both 5th powers modulo N.
This also answers a conjecture of Lecouturier. Their argument greatly clarified (to me) the exact relationship between the class group of K and a number of other related quantities in this picture. To recall, a third reformulation of whether the Hecke algebra has non-trivial deformations can be given (as in Wake–Wang-Erickson) by whether a certain pairing between specific classes and in and vanish or not. The point is that the vanishing of a cup product ensures the existence of an extension
and one can show (after some massaging) that c_0 gives rise to something in the p-class group of K. Conversely, if one starts with a class in the p-class group of K, and then takes the Galois closure over Q, then (sometimes) one arrives with a Galois extension M/Q with a Galois representation to GL(3) of the above form. The problem is, in other circumstances, one arrives at a representation which has a much larger Galois group and a map to the Borel subgroup in higher dimension, which looks something like this:
Suppose one now tries to construct a representation of this form in order to find a non-trivial class in the p-class group of K. First, one can start by finding a suitable class which cups trivially with The vanishing of a generalized Merel invariant (under a regularity hypothesis) is exactly what guarantees the existence of such a suitable class at least when m is odd. However, one is then faced with an increasing sequence of obstruction problems in order to climb the ladder and get all the way to the full representation of the form above. Here one has to deal with not only cup products, but also (implicitly) higher Massey products. Ultimately, the relation between the quantity and the deformation rings of Hecke algebras is most precise only when . It turns out that there is still something one can say for however. Consider the higher Merel invariant
for odd values of n. Suppose that p is a regular prime. One can show that if , then at least one of these quantities M_n is a perfect pth power for an odd When p = 5, this is a weaker version of the theorem above. So an optimistic variation on the conjecture above is that if and only if is a perfect pth power of for at least one odd The description of the relationship between these classes (which also come up in Lecouturier, they arise via an explicit analysis of Gauss sums and Stickelberger’s theorem) suggests that this conjecture is too optimistic in general, and indeed there are counter-examples for p = 11. But, Schaefer and Stubley do prove the following:
Theorem [Schaefer, Stubley]: Let p = 7, and let N = 1 mod p be prime. Then the 7-class group of has rank if and only if either M_1 or M_3 is a perfect 7th power modulo N.
For example, consider the previous “counter-example” for N = 337 and p = 7. Here the non-trivial class group is explained by the fact that M_3 is a perfect 7th power modulo N.
One thing I especially like about this result is that there are three groups of people (Wake–Wang-Erickson, Lecouturier, and Schaefer–Stubley) are all working around a similar problem, but their results are complementary to each other. I believe that all five people will be at the upcoming IAS workshop, so I hope to hear more about this then.