New paper by Dembélé (friend of the blog) on abelian surfaces with good reduction everywhere (or rather, the lack of them for many real quadratic fields of small discriminant). I have nothing profound to say about the question of which fields admit non-trivial abelian varieties with everywhere good reduction, but looking at the paper somehow dislodged the following question from my brain, which I often like to ask and don’t mind repeating here:
Question: Fix a prime p. Does there exist a non-solvable extension of unramified everywhere except for p?
There is a (very) related question of Gross, who (and I can’t track down the precise reference) was generous and allowed ramification at infinity. That makes the question easy to answer for big enough p just by taking the mod-p Galois representations associated to either the weight 12 or weight 16 cusp form of level 1. But what if you impose the condition that the extension has to be unramified at the infinite prime as well (so totally real) then you are completely out of luck as far as Galois representations from algebraic automorphic forms go, because for those, complex conjugation will always be non-trivial. (Things don’t get any easier if you even allow regular algebraic automorphic representations, as Caraiani and Le Hung showed). Except, that is, for the case when p = 2. There is a different paper by Lassina on this topic, which solved Gross’ question for p=2 by finding a level one Hilbert modular form over the totally real field for a 32nd root of unity with a non-solvable mod-2 representation. But (as he shows) this extension is ramified at infinity — in fact, the Odlyzko discriminant bounds show that to get a totally real extension (assuming GRH) one would have to take the totally real field to be at least as large as for a 128th root of unity. Is it even possible to compute Hilbert Modular Forms for a field this big?
Leaving aside the computational question, there is also a theoretical one as well, even for classical modular forms. Given a Hilbert modular form, or even a classical modular form, is there any easy way to compute the image of complex conjugation modulo 2? One reason this is subtle is that the answer depends on the lattice so it really only makes sense for a residually absolutely irreducible representation. For example:
Question: For every n, does there exist a (modular) surjective Galois representation
I don’t even have a guess as to the answer for the first question, but the second one certainly should have a positive answer, at least assuming the inverse Galois problem. As usual, an Aperol Spritz is on offer to both the second question and to the first in the special case of p=2.