In Serre's letter to Vigneras of 2 Oct 1986, he summarizes a course he's giving in Paris, explaining how to control the image of the mod-l Galois representations attached to abelian varieties. In particular, given an abelian variety A over a number field K, and a (rational) prime l, he constructs an algebraic group H_l such that the image of the map

$G_K \rightarrow GSp(\mathbf{F}_l)$

has image contained in H_l(F_l) with bounded index, for all but finitely many l. The group H_l is constructed as the product of a semisimple group S_l and a torus C_l.

When K is instead a field of finite type over Q, Serre remarks in section 8.1 that all the theorems in the letter should still be true, but one has to be a little more careful ("il faut faire un peu plus attention.")

In 2010, is there a good reference for this generalization?

  • $\begingroup$ I always wonder how these private "letters" circulate on to the possession of a large number of people. This time I must try to find an answer. How did it reach your hands? :D $\endgroup$ – Anweshi Jul 13 '10 at 20:04
  • 6
    $\begingroup$ Anweshi, it's item 137 in volume IV of Serre's Oeuvres, near which are other letters too. JSE, is it just a matter of look at the proofs and applying more general "spreading out" and Chebotarev arguments with Faltings' generalization of Mordell-stuff to finitely generated ground fields (in char. 0)? If so, probably there's no reference, so you should write one as an appendix if you need it for a paper. Or should I write one for you (maybe an exercise as part of the Mordell seminar with AV next year...)? $\endgroup$ – BCnrd Jul 13 '10 at 21:23
  • $\begingroup$ I find it likely that a proof can be given by the sort of arguments BCnrd mentions above. However, I would also be interested in seeing the details. $\endgroup$ – Pete L. Clark Jul 13 '10 at 21:54
  • 3
    $\begingroup$ BCnrd, that is what we think, but wanted to save ourselves the peu plus attention if someone has already written the appendix for us. Will report back. $\endgroup$ – JSE Jul 13 '10 at 22:01

Part of what you are looking for seems to have been done recently. See Appendix B and Section 4 (especially Thm. 14) of the recent preprint "Expander graphs, gonality and variation of Galois representations" of Ellenberg, Hall and Kowalski. http://arxiv.org/abs/1008.3675

  • 7
    $\begingroup$ I think the E in JSE stands for Ellenberg! $\endgroup$ – Hailong Dao Oct 22 '10 at 10:03
  • $\begingroup$ Oh, that's funny. So maybe he has written up what he needs in the meantime, and I presented to him only a link to his own paper :-) But how could I know ... $\endgroup$ – Sebastian Petersen Oct 22 '10 at 10:26
  • $\begingroup$ He has a link on his profile page (but we don't expect everyone to check). $\endgroup$ – S. Carnahan Oct 22 '10 at 14:55
  • 2
    $\begingroup$ And this is why Scott pesters me to use my real name on Overflow! $\endgroup$ – JSE Oct 23 '10 at 23:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.