David Zywina was in town today to talk about a follow up to his previous results mentioned previously on this blog. This time, he talked about his construction of Galois groups which were simple of orthogonal type, in particular, the simple groups
where is a vector space over of odd dimension at least five. The group here is a simple group of index two inside In the special case when there is an exceptional isomorphism
In constrast to his constructions of number fields with Galois group Zywina actually constructs a family of compatible families whose residual image is generically When David told me about this construction (scribbled on a piece of paper) in Frankfurt airport on the way back from Oberwolfach, I was troubled by something which I shall now explain. Without saying so much about the construction (you can read about it here), the compatible families of Galois representations of interest occur inside for a carefully chosen family of non-isotrivial elliptic sufaces As David explained in his talk today, the zero section and the fibres of bad reduction contribute a large Galois trivial summand to and the remaining piece is five dimensional. What disturbed me at the time was that this construction was surely liftable to a compatible family of four dimensional representations with generalized symplectic image. After all, Tate’s result on guarantees that one can lift any projective representation with image in to a genuine generalized symplectic representation. This representation should then come from a Siegel modular form, since all oddness conditions should be automatic. On the other hand, if you want a family of Galois representations giving rise to a family of Siegel modular forms, especially one for which the maximal difference between any two Hodge-Tate weights in is two, then you expect that they have to come from a family of abelian surfaces, or at least abelian varieties of dimension with endomorphisms by the ring of integers in a totally real field of degree However, there is an obstruction to making this work — the corresponding Galois representations will have Hodge-Tate weights and they will have similitude character that is an even finite order character times the cyclotomic character. It’s easy to see that for such a family, the residual representations will (at least half the time) land in and not in the simple index two subgroup, similar to what happens for modular forms of weight two. I thought at the time that I must have been making some group theory error, so after today’s talk we sorted out the details:
In the process of this computation, however, I realized what my error actually was. I was imagining that the original compatible family of Galois representations in had Hodge-Tate weights but they could equally have had Hodge-Tate weights And in this latter case, the Galois representation (up to twist) of the corresponding Siegel modular form in will have Hodge-Tate weights In particular, we are not looking for classical Siegel modular forms of low weight, but the nasty Siegel modular forms which do not contribute to holomorphic limits of discrete series and only occur in coherent cohomology via or (A reference for this fact is George Boxer’s talk in Barbados.) And now everything makes sense! That is, if you have a family of Galois representations with Hodge Tate weights and quadratic similitude character, then (with some good luck) you can really have projective representations which land in the right simple group for all but finitely many
A related point: when lifting projective representations using Tate’s theorem, one may have to increase the size of the residue field. In fact, when it will not be possible to lift an odd representation to one in (there is an obstruction at infinity). Indeed, the natural lift is the group together with a scalar matrix with This suggests what the picture should be motivically: there should be an eight dimensional piece of (for some which admits an involution breaking the representation up into two four dimensional pieces, and these pieces will have coefficients in Can one find such a explicitly? This does remind me of the motivic lifting problems that Stefan Patrikis knows about.
From this analysis, it also becomes clearer why Zywina could find a family of compatible families with residual image when is odd and at least five, but only isolated examples of compatible families with residual projective image with In the latter case, the corresponding modular forms will be forced to have odd weight and so the Hodge-Tate weights will differ by at least two, and so Griffiths’ theorem implies that they should not deform in a family. On the other hand, if you want to look for Siegel modular forms which could possibly correspond to geometric families, and you want the similitude character to be an even power of the cyclotomic character times a finite character, then it is possible to escape the specter of Griffiths on your shoulder, but only barely — you will be pretty much forced to work with forms whose HT weights are Of course, I’m not sure I can prove that any Siegel modular forms of this kind actually exist! (insisting the Mumford-Tate group is big, naturally). My proposal in the previous post to look for these representations using Siegel modular forms would also have only found sporadic compatible families, because to ensure computability and the determinant condition I suggested looking in weights where the Galois representation was regular and had HT weights something like — the gap being necessary to make the multiplier character a square of a Hodge-Tate character.
There is one check left on these musings (though I’m sure it must be correct), namely, that for the surface in 1.4 of Zywina’s paper, one should have
Update: Here’s a proof of this statement:
Proof: The Hodge diamond of a minimal elliptic surface was computed by Miranda, see IV.1.1 here; I’ll try to give a self contained argument. Let be the Euler characteristic of Let be the bundle on it is a line bundle because the fibres are elliptic curves, so it makes sense to talk about The bundle has positive degree if and only if the fibration is not isotrivial (this is not so hard, but let me give the proof of III.1.6 of Miranda as a reference); let us assume this is the case. From the Leray spectral sequence, there is an exact sequence
Since the first term has dimension the genus of Since we are assuming that has positive degree, the third term is also zero, and hence the irregularity of a non-isotrivial elliptic surface is
It follows that
In our particular case, the genus of is zero. On the other hand, as noted in 2.4 of Zywina’s paper, the degree of the minimal discriminant is In the example at hand, Zywina computes (see section 8) that and so