My favourite group as far as the inverse Galois problem goes is . This is not known to be a Galois group over for any , the difficulty of course being that is must correspond to an even Galois representation. A more tractable case is , and this was recently answered by David Zywina here. Here is a more elementary version of that construction. Suppose that is a classical modular form of weight three with coefficients in and quadratic Nebentypus character . Note that there is an isomorphism . For all primes in , one obtains a representation:

with determinant . There are two cases, depending on whether is split or not. If splits, then, assuming is not CM, the image of restricted to the kernel of is for sufficiently large which can be explicitly determined in any specific case. Thus the image of is plus the image of complex conjugation:

Since , there exists an element of square , and hence an element in equal to

Hence the image of contains a scalar element of determinant , and thus it has projective image .

If , then, from the isomorphism , there is an isomorphism where is the Galois conjugate induced by complex conjugation. It follows that the *projective* image of lands in . The image of is thus, for sufficiently large , a subgroup of with projective image containing . We first observe that this implies that contains ). It suffices to show that it contains all the transvections; yet the lift of any transvection in is a transvection of order times a scalar of order prime to , which one can remove by taking an appropriate power. Since the determinant of is , this leaves only the following three possibilities for the image of :

1. The subgroup of of matrices with determinant .

2. The previous subgroup together with the the scalar element with .

3. The group together with .

The third group does not have a non-scalar element of order correponding to complex conjugation, and the first has traces which do not generate . Hence the image must be the second, which has projective image .

To conclude the argument, it suffices to show that there exists such a . Consulting William Stein’s tables, one may take

for a quadratic where . Since , this form does not have CM by or , so is a Galois group for sufficiently large , which one could compute exactly if one wanted. My impression from the notation in William Stein’s tables is that the fixed field of the kernel of is , so this is presumably the same family of examples that arises in Zywina. Other examples (in the range of William’s tables) are as follows:

Note that this argument requires slightly more than pure thought; it was key that there existed a non-CM form with coefficient field , and there is no *a priori* reason why there should exist any such form. For example, suppose one wanted to generalize this argument to to . Then one would want to look for a non-endoscopic Siegel cusp form of weight where (**edit**) is odd with Hecke eigenvalues in and quadratic Nebentypus character. Possibly such things exist but perhaps they don’t!

Very nice. Is it generally believed that PSL_2(F_{p^2}) is out of reach?

Believed by whom? I’ve never really thought about these problems. My first impression is that it should be relatively easy to prove it for various sets of positive density, but one runs into problems with the fact that given a modular form with coefficients over a field , it’s hard to prevent the existence of primes which split completely in .

Dear GR,

Yes, your cusp form of weight 3 and level 32 gives rise to exactly the same representations as in my paper! (I found this post when doing a literature search for a note I am finishing up.)

Amusingly, your cusp form of weight 3 and level 27 shows up at the end of Serre’s 1987 Duke paper. He shows that the mod 7 representation attached to it produces PSL_2(F_7) as a Galois group over Q (unsurprisingly, the key is that the image contains a scalar matrix with determinant -1). Serre was actually giving an example of his conjecture (he started with the PSL_2(F_7)-extension and then found the form), so he overlooked that this cusp form also produces PSL_2(F_p)-extensions for all p>5 !

-DZ

Ah, then I should have entitled this post “a proof that Serre missed…”

By the way, his last name is Zywina, not Zwyina. If it were Zwyina, he wouldn’t be the alphabetically last mathematician in human history.

Oops, thanks! (now corrected)

Thanks for the exposition. Could you please elaborate on the line

“If , then, from the isomorphism , there is an isomorphism , where is the Galois conjugate induced by complex conjugation. It follows that the *projective* image of lands in ”

Could you explain how the existence of an “inner twist” by c implies that the projective image lands in PGL_2(F_p)? Where does the congruence class of p mod 4 play a role?

Thanks

The assumption that means that the residue field of the coefficient ring is (the case when is easier and was dealt with previously). Moreover, if , then there are two primes above in , and so there is no Galois action on the coefficient field. When , complex conjugation on the coefficients induces the automorphism of .

Two representations and correspond to the same projective representation if and only if for some character . The representation

a priorilands in , and the projective representation lands in . The condition that actually arises from a representation is that . The condition that the projective representation lands in is that for some character .Pingback: Inverse Galois Problems II | Persiflage