Skip to main content

Shimura curve computations

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1423))

Abstract

We give some methods for computing equations for certain Shimura curves, natural maps between them, and special points on them. We then illustrate these methods by working out several examples in varying degrees of detail. For instance, we compute coordinates for all the rational CM points on the curves X *(1) associated with the quaternion algebras over Q ramified at {2,3}, {2,5}, {2,7}, and {3,5}. We conclude with a list of open questions that may point the way to further computational investigation of these curves.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arno, S.: The imaginary quadratic fields of class number 4. Acta Arith. 60 (1992), 321–334.

    MATH  MathSciNet  Google Scholar 

  2. Beckmann, S.: Ramified primes in the field of moduli of branches coverings of curves. J. of Algebra 125 (1989), 236–255.

    Article  MATH  MathSciNet  Google Scholar 

  3. Birch, B.J., Kuyk, W., ed.: Modular Functions of One Variable IV. Lect. Notes in Math. 476, 1975.

    Google Scholar 

  4. Cremona, J.E.: Algorithms for modular elliptic curves. Cambridge University Press, 1992.

    Google Scholar 

  5. Deuring, M.: Die Typen die Multiplikatorenringe elliptische Funktionkörper, Abh. Math. Sem. Hansischen Univ. 14, 197–272 (1941).

    Article  MATH  MathSciNet  Google Scholar 

  6. Elkies, N.D.: ABC implies Mordeil, International Math. Research Notices 1991 #7, 99–109.

    Article  MathSciNet  Google Scholar 

  7. The existence of infinitely many supersingular primes for every elliptic curve over Q, Invent. Math. 89 (1987), 561–568.

    Google Scholar 

  8. Supersingular primes for elliptic curves over real number fields, Compositio Math. 72 (1989), 165–172.

    Google Scholar 

  9. Elkies, N.D.: Heegner point computations. Pages 122–133 in Algorithmic number theory (Ithaca, NY, 1994; L.M. Adleman and M.-D. Huang, eds.; Lect. Notes in Computer Sci. #877; Berlin: Springer, 1994).

    Google Scholar 

  10. Elkies, N.D.: Elliptic and modular curves over finite fields and related computational issues. Pages 21–76 in Computational Perspectives on Number Theory: Proceedings of a Conference in Honor of A.O.L. Atkin (D.A. Buell and J.T. Teitelbaum, eds.; AMS/International Press, 1998).

    Google Scholar 

  11. Elkies, N.D.: Explicit modular towers. Pages 23–32 in Proceedings of the Thirty-Fifth [1997] Annual Allerton Conference on Communication, Control and Computing (T. BaŞar and A. Vardy, eds.; Univ. of Illinois at Urbana-Champaign, 1998).

    Google Scholar 

  12. Fricke, R.: über den arithmetischen Charakter der zu den Verzweigungen (2, 3, 7) und (2, 4, 7) gehörenden Dreiecksfunctionen, Math. Ann. 41 (1893), 443–468.

    Article  MATH  MathSciNet  Google Scholar 

  13. Fricke, R.: Entwicklungen zur Transformation fünfter und siebenter Ordnung einiger specieller automorpher Functionen, Acta Mathematica 17 (1893), 345–395.

    Article  MATH  MathSciNet  Google Scholar 

  14. Fricke, R.: Ueber eine einfache Gruppe von 504 Oprationen, Math. Ann. 52 (1899), 321–339.

    Article  MATH  MathSciNet  Google Scholar 

  15. Fulton, W., Harris, J.: Representation Theory: A First Course. New York: Springer, 1991 (GTM 129).

    MATH  Google Scholar 

  16. Goppa, V.D.: Codes on algebraic curves, Soviet Math. Dokl. 24 (1981), 170–172.

    MATH  Google Scholar 

  17. Goppa, V.D.: Algebraico-geometric codes, Math. USSR Izvestiya 24 (1983), 75–91.

    Article  Google Scholar 

  18. Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products. New York: Academic Press 1980.

    MATH  Google Scholar 

  19. Granville, A., Stark, H.M.: abc implies no Siegel zeros, preprint 1997.

    Google Scholar 

  20. Gross, B.H., Zagier, D.: On singular moduli, J. für die reine und angew. Math. 335 (1985), 191–220.

    MathSciNet  Google Scholar 

  21. Hashimoto, K.-I., Murabayashi, N.: Shimura curves as intersections of Humbert surfaces and defining equations of QM-curves of genus two, Tohoku Math. Journal (2) 47 (1995), #2, 271–296.

    MATH  MathSciNet  Google Scholar 

  22. Ihara, Y.: Schwarzian equations, J. Fac. Sci. Univ. Tokyo 21 (1974), 97–118.

    MATH  MathSciNet  Google Scholar 

  23. Ihara, Y.: On the differentials associated to congruence relations and the Schwarzian equations defining uniformizations, J. Fac. Sci. Univ. Tokyo 21 (1974), 309–332.

    MATH  MathSciNet  Google Scholar 

  24. Ihara, Y.: Some remarks on the number of rational points of algebraic curves over finite fields. J. Fac. Sci. Tokyo 28 (1981), 721–724.

    MATH  MathSciNet  Google Scholar 

  25. Jordan, B.W., Livné, R.A.: Local Diophantine properties of Shimura curves. Math. Ann. 270 (1985), 235–248.

    Article  MATH  MathSciNet  Google Scholar 

  26. Knapp, A.W.: Elliptic Curves. Princeton Univ. Press, 1992 (Mathematical Notes 40).

    Google Scholar 

  27. Kurihara, A.: On some examples of equations defining Shimura curves and the Mumford uniformization, J. Fac. Sci. Univ. Tokyo 25 (1979), 277–301.

    MathSciNet  Google Scholar 

  28. Malle, G., Matzat, B.H.: Realisierung von Gruppen PSL 2(F p) als Galoisgruppen über Q, Math. Ann. 272 (1985), 549–565.

    Article  MATH  MathSciNet  Google Scholar 

  29. Macbeath, A.M.: On a curve of genus 7, Proc. LMS 15 (1965), 527–542.

    MATH  MathSciNet  Google Scholar 

  30. Matzat, B.H.: Konstruktive Galoistheorie, Lect. Notes Math. 1284, 1987.

    Google Scholar 

  31. Michon, J.-F.: Courbes de Shimura hyperelliptiques, Bull. Soc. math. France 109 (1981), 217–225.

    MATH  MathSciNet  Google Scholar 

  32. Müller, P.: Arithmetically exceptional functions and elliptic curves. Preprint, 1998.

    Google Scholar 

  33. Ribet, K.A.: On modular representations of Gal(Q/Q) arising from modular forms, Invent. Math. 100 (1990), 431–476.

    Article  MATH  MathSciNet  Google Scholar 

  34. Roberts, D.P.: Shimura curves analogous to X0(N). Harvard doctoral thesis, 1989.

    Google Scholar 

  35. Serre, J.-P.: Topics in Galois Theory. Boston: Jones and Bartlett 1992.

    MATH  Google Scholar 

  36. Shimizu, H.: On zeta functions of quaternion algebras, Ann. of Math. 81 (1965), 166–193.

    Article  MATH  MathSciNet  Google Scholar 

  37. Shimura, G.: Construction of class fields and zeta functions of algebraic curves, Ann. of Math. 85 (1967), 58–159.

    Article  MATH  MathSciNet  Google Scholar 

  38. Shimura, G.: On the Real Points of an Arithmetic Quotient of a Bounded Symmetric Domain, Math. Ann. 215 (1975), 135–164.

    Article  MATH  MathSciNet  Google Scholar 

  39. Takeuchi, K.: Commensurability classes of arithmetic triangle groups, J. Fac. Sci. Univ. Tokyo 24 (1977), 201–212.

    MATH  Google Scholar 

  40. Tsfasman, M.A., VlĂduţ, S.G., Zink, T.: Modular curves, Shimura curves and Goppa codes better than the Varshamov-Gilbert bound. Math. Nachr. 109 (1982), 21–28.

    MATH  MathSciNet  Google Scholar 

  41. Vignéras, M.-F.: Arithmétique des Algèbres de Quaternions. Berlin: Springer, 1980 (SLN 800).

    MATH  Google Scholar 

  42. Yui, N. Zagier D.: On the singular values of Weber modular functions. Math. of Computation 66 (1997), 1629–1644.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Joe P. Buhler

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Elkies, N.D. (1998). Shimura curve computations. In: Buhler, J.P. (eds) Algorithmic Number Theory. ANTS 1998. Lecture Notes in Computer Science, vol 1423. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054850

Download citation

  • DOI: https://doi.org/10.1007/BFb0054850

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64657-0

  • Online ISBN: 978-3-540-69113-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics