I once idly asked RLT (around 2004ish) whether one could use Buzzard-Taylor arguments to prove that any representation:
which was unramified at p and residually irreducible (and modular) was itself modular (in the Katz sense). Galois representations of this flavour are obviously something I’ve thought about (and worked on with David G) quite a lot since then. But I have never actually seen any examples of mod p^2 forms which didn’t lift to characteristic zero. I asked George Schaeffer about it once, but his computations were only set up to detect the primes for which non-liftable forms existed rather than to compute the precise structure of the torsion in H^1(X,omega). But just today I stumbled across an example in relation to a pairing I learned about from Akshay (which I will tell you all about some other time).
The particular form (or rather pair, since it comes with a twist by the nebentypus character) occurs at level and is defined over the ring It doesn’t lift to a weight one form mod 11^3. The nebentypus character is the only one it could be at this level and weight: the odd quadratic character of conductor 3. When I looked again at Schaeffer’s thesis, he does indeed single out this particular level as a context where computations suggested their might exist a mod p^2 form. (Literally, he says that a computation “seems to imply the existence” of such a form.) I guess this remark was not in any previous versions of the document I had, so I hadn’t seen it. Here are the first few terms of the q-expansion(s):
Some remarks. Note that the coefficients of g and f satisfy for all and where is the quadratic character of conductor 3 (the nebentypus character). On the other hand, at the prime 3, we have
and so the eigenvalue of U_3 is the image of Frobenius at 3 under or and hence satisfies the equality
I was temporarily confused about the fact that for the Steinberg prime rather than and thought for a while I had made an error or mathematics was wrong. But then I realized this was weight one not weight two, and so one should have instead that (note that ) And it just so happens that the equation
in a weird coincidence has a solution very close to 103 (this is a solution mod 11^3, in fact). It’s easy enough to see that the image of rho and its twist contains with index two, and so has degree 3513840. (At this level, the only real alternative is that the form is Eisenstein, which it isn’t.) The root discriminant is not particularly small, it is
Finally, the Frobenius eigenvalues at the prime p = 11 are distinct, which is easy enough to see because otherwise the coefficient of q^11 would have to be twice the squareroot of chi(11) = -1, which isn’t even a square mod 11.
Perhaps there’s not too much more to say about this particular example, but I was happy to come across it, nonetheless. Well, perhaps I should also say that I computed this example in SAGE, as I slowly wean myself off magma dependency.