Abstract
In [E1] we introduced several computational challenges concerning Shimura curves, and some techniques to partly address them. The challenges are: obtain explicit equations for Shimura curves and natural maps between them; determine a Schwarzian equation on each curve (a.k.a. Picard-Fuchs equation, a linear second-order differential equation with a basis of solutions whose ratio inverts the quotient map from the upper half-plane to the curve); and locate CM (complex multiplication) points on the curves. We identified some curves, maps, and Schwarzian equations using the maps’ ramification behavior; located some CM points as images of fixed points of involutions; and conjecturally computed others by numerically solving the Schwarzian equations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arno, S.: The Imaginary Quadratic Fields of Class Number 4. Acta Arith. 40, 321–334 (1992)
Barth, W.P., Hulek, K., Peters, C.A.M., van de Ven, A.: Compact Complex Surfaces, 2nd edn. Springer, Berlin (2004)
Cremona, J.E.: Algorithms for Modular Elliptic Curves. Cambridge University Press, Cambridge (1992); 2nd edn. (1997), http://www.warwick.ac.uk/staff/J.E.Cremona/book/fulltext/index.html
Dolgachev, I., Galluzzi, F., Lombardo, G.: Correspondences between K3 surfaces. Michigan Math. J. 52(2), 267–277 (2004)
Elkies, N.D.: Shimura curve computations. In: Buhler, J.P. (ed.) ANTS 1998. LNCS, vol. 1423, pp. 1–47. Springer, Heidelberg (1998), http://arXiv.org/abs/math/0005160
Elkies, N.D.: Rational points near curves and small nonzero |x 3 − y 2| via lattice reduction. In: Bosma, W. (ed.) ANTS 2000. LNCS, vol. 1838, pp. 33–63. Springer, Heidelberg (2000), http://arXiv.org/abs/math/0005139
Elkies, N.D.: Shimura curves for level-3 subgroups of the (2,3,7) triangle group, and some other examples. In: Hess, F., Pauli, S., Pohst, M. (eds.) ANTS 2006. LNCS, vol. 4076, pp. 302–316. Springer, Heidelberg (2006), http://arXiv.org/abs/math/0409020
Elkies, N.D.: Three lectures on elliptic surfaces and curves of high rank. Oberwolfach lecture notes (2007), http://arXiv.org/abs/0709.2908
Errthum, E.: Singular Moduli of Shimura Curves. PhD thesis, Univ. of Maryland (2007), http://arxiv.org/abs/0711.4316
González, J., Rotger, V.: Equations of Shimura curves of genus two. International Math. Research Notices 14, 661–674 (2004)
Gross, B.H., Zagier, D.: On singular moduli. J. für die reine und angew. Math. 335, 191–220 (1985)
Hall, M.: The Diophantine equation x 3 − y 2 = k. In: Atkin, A., Birch, B. (eds.) Computers in Number Theory, pp. 173–198. Academic Press, London (1971)
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(2), 271–296 (1995)
Kumar, A.: K3 Surfaces of High Rank. PhD thesis, Harvard (2006)
Lian, B.H., Yau, S.-T.: Mirror maps, modular relations and hypergeometric series I (preprint, 1995), http://arXiv.org/abs/hep-th/9507151
Piateckii-Shapiro, I., Šafarevič, I.R.: A Torelli theorem for algebraic surfaces of type K3 [Russian]. Izv. Akad. Nauk SSSR, Ser. Mat. 35, 530–572 (1971)
Roberts, D.P.: Shimura Curves Analogous to X 0(N). PhD thesis, Harvard (1989)
Rotger, V.: Shimura curves embedded in Igusa’s threefold. In: Cremona, J., Lario, J.-C., Quer, J., Ribet, K. (eds.) Modular curves and abelian varieties. Progress in Math., vol. 224, pp. 263–276. Birkhäuser, Basel (2004), http://arXiv.org/abs/math/0312435
Rotger, V.: Modular Shimura varieties and forgetful maps. Trans. Amer. Math. Soc. 356, 1535–1550 (2004), http://arXiv.org/abs/math/0303163
Shioda, T.: The elliptic K3 surfaces with a maximal singular fibre. C. R. Acad. Sci. Paris Ser. I 337, 461–466 (2003)
Silverman, J.H.: Computing Heights on Elliptic Curves. Math. Comp. 51(183), 339–358 (1988)
Tate, J.: Algorithm for determining the type of a singular fiber in an elliptic pencil. In: Birch, B.J., Kuyk, W. (eds.) Modular Functions of One Variable IV (Antwerp, 1972). Lect. Notes in Math., vol. 476, pp. 33–52. Springer, Berlin (1975)
Vignéras, M.-F.: Arithmétique des Algèbres de Quaternions. Lect. Notes in Math., vol. 800. Springer, Berlin (1980)
Watkins, M.: Class numbers of imaginary quadratic fields. Math. Comp. 73, 907–938 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elkies, N.D. (2008). Shimura Curve Computations Via K3 Surfaces of Néron–Severi Rank at Least 19. In: van der Poorten, A.J., Stein, A. (eds) Algorithmic Number Theory. ANTS 2008. Lecture Notes in Computer Science, vol 5011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79456-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-79456-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79455-4
Online ISBN: 978-3-540-79456-1
eBook Packages: Computer ScienceComputer Science (R0)