An approach for computing generators of class fields of imaginary quadratic number fields using the Schwarzian derivative
HTML articles powered by AMS MathViewer
- by Jay Jorgenson, Lejla Smajlović and Holger Then;
- Math. Comp. 91 (2022), 331-379
- DOI: https://doi.org/10.1090/mcom/3619
- Published electronically: October 21, 2021
- HTML | PDF | Request permission
Abstract:
Let $N$ be one of the $38$ distinct square-free integers such that the arithmetic group $\Gamma _0(N)^+$ has genus one. We constructed canonical generators $x_N$ and $y_N$ for the associated function field (see Jorgenson, L. Smajlović, and H. Then [Exp. Math. 25 (2016), pp. 295–319]). In this article we study the Schwarzian derivative of $x_N$, which we express as a polynomial in $y_N$ with coefficients that are rational functions in $x_N$. As a corollary, we prove that for any point $e$ in the upper half-plane which is fixed by an element of $\Gamma _0(N)^+$, one can explicitly evaluate $x_N(e)$ and $y_N(e)$. As it turns out, each value $x_N(e)$ and $y_N(e)$ is an algebraic integer which we are able to understand in the context of explicit class field theory. When combined with our previous article (see Jorgenson, L. Smajlović, and H. Then [Exp. Math. 29 (2020), pp. 1–27]), we now have a complete investigation of $x_N(\tau )$ and $y_N(\tau )$ at any CM point $\tau$, including elliptic points, for any genus one group $\Gamma _0(N)^+$. Furthermore, the present article when combined with the two aforementioned papers leads to a procedure which we expect to yield generators of class fields, and certain subfields, using the Schwarzian derivative and which does not use either modular polynomials or Shimura reciprocity.References
- A. O. L. Atkin and F. Morain, Elliptic curves and primality proving, Math. Comp. 61 (1993), no. 203, 29–68. MR 1199989, DOI 10.1090/S0025-5718-1993-1199989-X
- A. Borel, S. Chowla, C. S. Herz, K. Iwasawa, and J.-P. Serre, Seminar on complex multiplication, Lecture Notes in Mathematics, No. 21, Springer-Verlag, Berlin-New York, 1966. Seminar held at the Institute for Advanced Study, Princeton, N.J., 1957-58. MR 201394, DOI 10.1007/BFb0091550
- Imin Chen and Noriko Yui, Singular values of Thompson series, Groups, difference sets, and the Monster (Columbus, OH, 1993) Ohio State Univ. Math. Res. Inst. Publ., vol. 4, de Gruyter, Berlin, 1996, pp. 255–326. MR 1400423
- So Young Choi and Ja Kyung Koo, Class fields from the fundamental Thompson series of level $N=o(g)$, J. Korean Math. Soc. 42 (2005), no. 2, 203–222. MR 2121496, DOI 10.4134/JKMS.2005.42.2.203
- David A. Cox, Primes of the form $x^2 + ny^2$, A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1989. Fermat, class field theory and complex multiplication. MR 1028322
- David Cox, John McKay, and Peter Stevenhagen, Principal moduli and class fields, Bull. London Math. Soc. 36 (2004), no. 1, 3–12. MR 2011972, DOI 10.1112/S0024609303002583
- C. J. Cummins, Congruence subgroups of groups commensurable with $\textrm {PSL}(2,\Bbb Z)$ of genus 0 and 1, Experiment. Math. 13 (2004), no. 3, 361–382. MR 2103333, DOI 10.1080/10586458.2004.10504547
- Andreas Enge and François Morain, Comparing invariants for class fields of imaginary quadratric fields, Algorithmic number theory (Sydney, 2002) Lecture Notes in Comput. Sci., vol. 2369, Springer, Berlin, 2002, pp. 252–266. MR 2041089, DOI 10.1007/3-540-45455-1_{2}1
- Andreas Enge and François Morain, Generalised Weber functions, Acta Arith. 164 (2014), no. 4, 309–342. MR 3244938, DOI 10.4064/aa164-4-1
- Daniel Garbin, Effective bounds for Fourier coefficients of certain weakly holomorphic modular forms, J. Number Theory 191 (2018), 384–395. MR 3825476, DOI 10.1016/j.jnt.2018.03.019
- A. Gee, Class fields by Shimura reciprocity, PhD thesis, Univ. of Amsterdam, 2001.
- Farshid Hajir and Fernando Rodriguez Villegas, Explicit elliptic units. I, Duke Math. J. 90 (1997), no. 3, 495–521. MR 1480544, DOI 10.1215/S0012-7094-97-09013-X
- Jay Jorgenson, Lejla Smajlović, and Holger Then, On the distribution of eigenvalues of Maass forms on certain moonshine groups, Math. Comp. 83 (2014), no. 290, 3039–3070. MR 3246823, DOI 10.1090/S0025-5718-2014-02823-8
- Jay Jorgenson, Lejla Smajlović, and Holger Then, Kronecker’s limit formula, holomorphic modular functions, and $q$-expansions on certain arithmetic groups, Exp. Math. 25 (2016), no. 3, 295–319. MR 3478329, DOI 10.1080/10586458.2015.1053161
- Jay Jorgenson, Lejla Smajlović, and Holger Then, The Hauptmodul at elliptic points of certain arithmetic groups, J. Number Theory 204 (2019), 661–682. MR 3991438, DOI 10.1016/j.jnt.2019.03.021
- Jay Jorgenson, Lejla Smajlović, and Holger Then, On the evaluation of singular invariants for canonical generators of certain genus one arithmetic groups, Exp. Math. 29 (2020), no. 1, 1–27. MR 4067903, DOI 10.1080/10586458.2017.1422161
- J. Jorgenson, L. Smajlović, and H. Then, web page with computational data, http://www.efsa.unsa.ba/~lejla.smajlovic/jst2/.
- B. H. Lian and J. L. Wiczer, Genus zero modular functions, arXiv:math/0611291v1, 2006.
- Colin Maclachlan, Groups of units of zero ternary quadratic forms, Proc. Roy. Soc. Edinburgh Sect. A 88 (1981), no. 1-2, 141–157. MR 611307, DOI 10.1017/S0308210500017352
- David Masser, Heights, transcendence, and linear independence on commutative group varieties, Diophantine approximation (Cetraro, 2000) Lecture Notes in Math., vol. 1819, Springer, Berlin, 2003, pp. 1–51. MR 2009828, DOI 10.1007/3-540-44979-5_{1}
- F. Morain, Implementing the asymptotically fast version of the elliptic curve primality proving algorithm, Math. Comp. 76 (2007), no. 257, 493–505. MR 2261033, DOI 10.1090/S0025-5718-06-01890-4
- J Sotáková, Eta quotients and class fields of imaginary quadratic fields, MSc thesis, Univ. Leiden and Univ. Regensburg, 2017.
- Noriko Yui and Don Zagier, On the singular values of Weber modular functions, Math. Comp. 66 (1997), no. 220, 1645–1662. MR 1415803, DOI 10.1090/S0025-5718-97-00854-5
Bibliographic Information
- Jay Jorgenson
- Affiliation: Department of Mathematics, The City College of New York, Convent Avenue at 138th Street, New York, New York 10031
- MR Author ID: 292611
- Email: jjorgenson@mindspring.com
- Lejla Smajlović
- Affiliation: Department of Mathematics, University of Sarajevo, Zmaja od Bosne 35, 71 000 Sarajevo, Bosnia and Herzegovina
- ORCID: 0000-0002-2709-5535
- Email: lejlas@pmf.unsa.ba
- Holger Then
- Affiliation: Freie Waldorfschule und Waldorfkindergärten Ausburg e.V., Dr.-Schmelzing-Straße 52, 86169, Germany
- MR Author ID: 742378
- ORCID: 0000-0002-0368-639X
- Email: holger.then@gmx.de
- Received by editor(s): July 30, 2019
- Received by editor(s) in revised form: July 29, 2020, and November 3, 2020
- Published electronically: October 21, 2021
- Additional Notes: The first author acknowledges grant support from PSC-CUNY Awards, which were jointly funded by The Professional Staff Congress and The City University of New York
- © Copyright 2021 American Mathematical Society
- Journal: Math. Comp. 91 (2022), 331-379
- MSC (2020): Primary 11F11, 11R37; Secondary 11G05
- DOI: https://doi.org/10.1090/mcom/3619
- MathSciNet review: 4350542