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.
References
Arno, S.: The imaginary quadratic fields of class number 4. Acta Arith. 60 (1992), 321–334.
Beckmann, S.: Ramified primes in the field of moduli of branches coverings of curves. J. of Algebra 125 (1989), 236–255.
Birch, B.J., Kuyk, W., ed.: Modular Functions of One Variable IV. Lect. Notes in Math. 476, 1975.
Cremona, J.E.: Algorithms for modular elliptic curves. Cambridge University Press, 1992.
Deuring, M.: Die Typen die Multiplikatorenringe elliptische Funktionkörper, Abh. Math. Sem. Hansischen Univ. 14, 197–272 (1941).
Elkies, N.D.: ABC implies Mordeil, International Math. Research Notices 1991 #7, 99–109.
The existence of infinitely many supersingular primes for every elliptic curve over Q, Invent. Math. 89 (1987), 561–568.
Supersingular primes for elliptic curves over real number fields, Compositio Math. 72 (1989), 165–172.
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).
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).
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).
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.
Fricke, R.: Entwicklungen zur Transformation fünfter und siebenter Ordnung einiger specieller automorpher Functionen, Acta Mathematica 17 (1893), 345–395.
Fricke, R.: Ueber eine einfache Gruppe von 504 Oprationen, Math. Ann. 52 (1899), 321–339.
Fulton, W., Harris, J.: Representation Theory: A First Course. New York: Springer, 1991 (GTM 129).
Goppa, V.D.: Codes on algebraic curves, Soviet Math. Dokl. 24 (1981), 170–172.
Goppa, V.D.: Algebraico-geometric codes, Math. USSR Izvestiya 24 (1983), 75–91.
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products. New York: Academic Press 1980.
Granville, A., Stark, H.M.: abc implies no Siegel zeros, preprint 1997.
Gross, B.H., Zagier, D.: On singular moduli, J. für die reine und angew. Math. 335 (1985), 191–220.
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.
Ihara, Y.: Schwarzian equations, J. Fac. Sci. Univ. Tokyo 21 (1974), 97–118.
Ihara, Y.: On the differentials associated to congruence relations and the Schwarzian equations defining uniformizations, J. Fac. Sci. Univ. Tokyo 21 (1974), 309–332.
Ihara, Y.: Some remarks on the number of rational points of algebraic curves over finite fields. J. Fac. Sci. Tokyo 28 (1981), 721–724.
Jordan, B.W., Livné, R.A.: Local Diophantine properties of Shimura curves. Math. Ann. 270 (1985), 235–248.
Knapp, A.W.: Elliptic Curves. Princeton Univ. Press, 1992 (Mathematical Notes 40).
Kurihara, A.: On some examples of equations defining Shimura curves and the Mumford uniformization, J. Fac. Sci. Univ. Tokyo 25 (1979), 277–301.
Malle, G., Matzat, B.H.: Realisierung von Gruppen PSL 2(F p) als Galoisgruppen über Q, Math. Ann. 272 (1985), 549–565.
Macbeath, A.M.: On a curve of genus 7, Proc. LMS 15 (1965), 527–542.
Matzat, B.H.: Konstruktive Galoistheorie, Lect. Notes Math. 1284, 1987.
Michon, J.-F.: Courbes de Shimura hyperelliptiques, Bull. Soc. math. France 109 (1981), 217–225.
Müller, P.: Arithmetically exceptional functions and elliptic curves. Preprint, 1998.
Ribet, K.A.: On modular representations of Gal(Q/Q) arising from modular forms, Invent. Math. 100 (1990), 431–476.
Roberts, D.P.: Shimura curves analogous to X0(N). Harvard doctoral thesis, 1989.
Serre, J.-P.: Topics in Galois Theory. Boston: Jones and Bartlett 1992.
Shimizu, H.: On zeta functions of quaternion algebras, Ann. of Math. 81 (1965), 166–193.
Shimura, G.: Construction of class fields and zeta functions of algebraic curves, Ann. of Math. 85 (1967), 58–159.
Shimura, G.: On the Real Points of an Arithmetic Quotient of a Bounded Symmetric Domain, Math. Ann. 215 (1975), 135–164.
Takeuchi, K.: Commensurability classes of arithmetic triangle groups, J. Fac. Sci. Univ. Tokyo 24 (1977), 201–212.
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.
Vignéras, M.-F.: Arithmétique des Algèbres de Quaternions. Berlin: Springer, 1980 (SLN 800).
Yui, N. Zagier D.: On the singular values of Weber modular functions. Math. of Computation 66 (1997), 1629–1644.
Author information
Authors and Affiliations
Editor information
Rights 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