Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Home
  • Home
Article
  • Cited by 18

  • Access

Sato–Tate distributions and Galois endomorphism modules in genus 2

  • Francesc Fité (a1), Kiran S. Kedlaya (a2), Víctor Rotger (a3) and Andrew V. Sutherland (a4)

Abstract

For an abelian surface A over a number field k, we study the limiting distribution of the normalized Euler factors of the L-function of A. This distribution is expected to correspond to taking characteristic polynomials of a uniform random matrix in some closed subgroup of USp(4); this Sato–Tate group may be obtained from the Galois action on any Tate module of A. We show that the Sato–Tate group is limited to a particular list of 55 groups up to conjugacy. We then classify A according to the Galois module structure on the ℝ-algebra generated by endomorphisms of (the Galois type), and establish a matching with the classification of Sato–Tate groups; this shows that there are at most 52 groups up to conjugacy which occur as Sato–Tate groups for suitable A and k, of which 34 can occur for k=ℚ. Finally, we present examples of Jacobians of hyperelliptic curves exhibiting each Galois type (over ℚ whenever possible), and observe numerical agreement with the expected Sato–Tate distribution by comparing moment statistics.

    •

      • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      Sato–Tate distributions and Galois endomorphism modules in genus 2
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      Sato–Tate distributions and Galois endomorphism modules in genus 2
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      Sato–Tate distributions and Galois endomorphism modules in genus 2
      Available formats
      ×

Copyright

COPYRIGHT: © Foundation Compositio Mathematica 2012

References

Hide All
[BK11]Banaszak, G. and Kedlaya, K. S., An algebraic Sato–Tate group and Sato–Tate conjecture, Preprint (2011), arXiv:1109.4449v1.
[BGG11]Barnet-Lamb, T., Geraghty, D. and Gee, T., The Sato–Tate conjecture for Hilbert modular forms, J. Amer. Math. Soc. 24 (2011), 411–469.
[BGHT11]Barnet-Lamb, T., Geraghty, D., Harris, M. and Taylor, R., A family of Calabi–Yau varieties and potential automorphy II, Publ. Res. Inst. Math. Sci. 47 (2011), 29–98.
[Bea10]Beauville, A., Finite subgroups of PGL2(K), Contemporary Mathematics, vol. 522 (American Mathematical Society, Providence, RI, 2010).
[Bog80]Bogomolov, F. A., Sur l’algébricité des représentations ℓ-adiques, C. R. Acad. Sci. Paris 290 (1980), 701–703.
[CF00]Chinburg, T. and Friedman, E., The finite subgroups of maximal arithmetic Kleinian groups, Ann. Inst. Fourier Grenoble 50 (2000), 1765–1798.
[Del82]Deligne, P., Hodge cycles on abelian varieties, in Hodge cycles, motives, and Shimura varieties, Lecture Notes in Mathematics, vol. 900 (Springer, Berlin, 1982), 9–100.
[Fal83]Faltings, G., Endlichkeitssätze für abelsche Varietäten über Zahlkörpern, Invent. Math. 73 (1983), 349–366.
[Fit10]Fité, F., Artin representations attached to pairs of isogenous abelian varieties, Preprint (2010), arXiv:1012.3390v1.
[GHM08]Galbraith, S. D., Harrison, M. and Mireles Morales, D. J., Efficient hyperelliptic arithmetic using balanced representation for divisors, in Algorithmic number theory: 8th international symposium, ANTS-VIII (Banff, Canada, May 2008) proceedings, Lecture Notes in Computer Science, vol. 5011 (Springer, Berlin, 2008), 342–356.
[GS01]Gaudry, P. and Schost, É., On the invariants of the quotients of the Jacobian of a curve of genus 2, in Applied algebra, algebraic algorithms and error-correcting codes: 14th international symposium, AAECC-14 (Melbourne, Australia, November 2001) proceedings, Lecture Notes in Computer Science, vol. 2227 (Springer, Berlin, 2001), 373–386.
[Har09]Harris, M., Potential automorphy of odd-dimensional symmetric powers of elliptic curves, and applications, in Algebra, arithmetic, and geometry: in honor of Yu. I. Manin. Volume II, Progress in Mathematics, vol. 270 (Birkhäuser, Boston, MA, 2009), 1–21.
[KS99]Katz, N. M. and Sarnak, P., Random matrices, Frobenius eigenvalues, and monodromy, American Mathematical Society Colloquium Publications, vol. 45 (American Mathematical Society, Providence, RI, 1999).
[KS08]Kedlaya, K. S. and Sutherland, A. V., Computing L-series of hyperelliptic curves, in Algorithmic number theory: 8th international symposium, ANTS-VIII (Banff, Canada, May 2008) proceedings, Lecture Notes in Computer Science, vol. 5011 (Springer, Berlin, 2008), 312–326.
[KS09]Kedlaya, K. S. and Sutherland, A. V., Hyperelliptic curves, L-polynomials, and random matrices, in Arithmetic, geometry, cryptography, and coding theory: international conference, November 5–9, 2007, CIRM, Marseilles, France, Contemporary Mathematics, vol. 487 (American Mathematical Society, Providence, RI, 2009), 119–162.
[Mum69]Mumford, D., A note of Shimura’s paper “Discontinuous subgroups and abelian varieties”, Math. Ann. 181 (1969), 345–351.
[Mum70]Mumford, D., Abelian varieties (Oxford University Press, Oxford, for Tata Institute of Fundamental Research, Bombay, 1970).
[OEIS] The OEIS Foundation Inc., On-Line Encyclopedia of Integer Sequences (OEIS), http://oeis.org.
[Rib04]Ribet, K. A., Abelian varieties over ℚ and modular forms, in Modular curves and abelian varieties, Progress in Mathematics, vol. 224, eds Cremona, J., Lario, J.-C., Quer, J. and Ribet, K. (Birkhäuser, Basel, 2004), 241–261.
[Ser68]Serre, J.-P., Abelian ℓ-adic representations and elliptic curves (W.A. Benjamin, New York, 1968).
[Ser72]Serre, J.-P., Propriétés galoisiennes des points d’ordre fini des courbes elliptiques, Invent. Math. 15 (1972), 259–331.
[Se81]Serre, J.-P., Lettres à Ken Ribet du 1/1/1981 et du 29/1/1981, in Œuvres. Collected papers. Volume IV: 1985–1998 (Springer, Berlin, 2000).
[Ser92]Serre, J.-P., Lie algebras and Lie groups, Lecture Notes in Mathematics, vol. 1500 (Springer, Berlin, 1992).
[Ser94]Serre, J.-P., Propriétés conjecturales des groupes de Galois motiviques et des représentations l-adiques, in Motives (Seattle, WA, 1991), Proceedings of Symposia in Pure Mathematics, vol. 55 (American Mathematical Society, Providence, RI, 1994), 377–400.
[Ser12]Serre, J.-P., Lectures on N X(p) (CRC Press, Boca Raton, FL, 2012).
[Shi63]Shimura, G., On analytic families of polarized abelian varieties and automorphic functions, Ann. of Math. (2) 78 (1963), 149–192.
[Shi71]Shimura, G., On the zeta-function of an abelian variety with complex multiplication, Ann. of Math. (2) 94 (1971), 504–533.
[Shi98]Shimura, G., Abelian varieties with complex multiplication and modular forms (Princeton University Press, Princeton, NJ, 1998).
[ST61]Shimura, G. and Taniyama, Y., Complex multiplication of abelian varieties and its application to number theory, Publications of the Mathematical Society of Japan, vol. 6 (Mathematical Society of Japan, Tokyo, 1961).
[Sil92]Silverberg, A., Fields of definition for homomorphisms of abelian varieties, J. Pure Appl. Algebra 77 (1992), 253–262.
[Sil94]Silverman, J. H., Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 151 (Springer, New York, 1994).
[Ste11]Stein, W. A.et al., Sage mathematics software (version 4.7.1), The Sage Development Team (2011), http://www.sagemath.org.
[Ste65]Steinberg, R., Regular elements of semisimple algebraic groups, Publ. Math. Inst. Hautes Études Sci. 25 (1965), 49–80.
[Str10]Streng, M., Complex multiplication of abelian surfaces, PhD thesis, Universiteit Leiden (2010).
[Sut07]Sutherland, A. V., Order computations in generic groups, PhD thesis, Massachusetts Institute of Technology (2007).
[Sut11a]Sutherland, A. V., smalljac software library, version 4.0 (2011).
[Sut11b]Sutherland, A. V., Structure computation and discrete logarithms in finite abelian p-groups, Math. Comp. 80 (2011), 477–500.
[Wei64]Weil, A., Remarks on the cohomology of groups, Ann. of Math. (2) 80 (1964), 149–157.
[Yos73]Yoshida, H., On an analogue of the Sato conjecture, Invent. Math. 19 (1973), 261–277.
[Zar00]Zarhin, Yu. G., Hyperelliptic Jacobians without complex multiplication, Math. Res. Lett. 7 (2000), 123–132.
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

Keywords

MSC classification

  • Cited by 18

  • Access

Sato–Tate distributions and Galois endomorphism modules in genus 2

  • Francesc Fité (a1), Kiran S. Kedlaya (a2), Víctor Rotger (a3) and Andrew V. Sutherland (a4)

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed