On the evaluation of singular invariants for canonical generators of certain genus one arithmetic groups

DOI10.1080/10586458.2017.1422161zbMATH Open1458.11160arXiv1709.07640OpenAlexW3098152506MaRDI QIDQ4960474FDOQ4960474

Authors: Lejla Smajlovic, Holger Then, Jay Jorgenson 

Publication date: 16 April 2020

Published in: Experimental Mathematics (Search for Journal in Brave)

Abstract: Let $N$ be a positive square-free integer such that the discrete group $Gamm{a}_0(N{)}^{+}$ has genus one. In a previous article, we constructed canonical generators $x_N$ and $y_N$ of the holomorphic function field associated to $Gamm{a}_0(N{)}^{+}$ as well as an algebraic equation $P_N(x_N,y_N)=0$ with integer coefficients satisfied by these generators. In the present paper, we study the singular moduli problem corresponding to $x_N$ and $y_N$, by which we mean the arithmetic nature of the numbers $x_N(au)$ and $y_N(au)$ for any CM point $au$ in the upper half plane $mathbbH$. If $au$ is any CM point which is not equivalent to an elliptic point of $Gamm{a}_0(N{)}^{+}$, we prove that the complex numbers $x_N(au)$ and $y_N(au)$ are algebraic integers. Going further, we characterize the algebraic nature of $x_N(au)$ as the generator of a certain ring class field of $mathbbQ(au)$ of prescribed order and discriminant depending on properties of $au$ and level $N$. The theoretical considerations are supplemented by computational examples. As a result, several explicit evaluations are given for various $N$ and $au$, and further arithmetic consequences of our analysis are presented. In one example, we explicitly construct a set of minimal polynomials for the Hilbert class field of $mathbbQ(sqrt-74)$ whose coefficients are less than $2.2imes10^4$, whereas the minimal polynomials obtained from the Hauptmodul of $extrmPSL(2,mathbbZ)$ has coefficients as large as $6.6imes10^{73}$.

Full work available at URL: https://arxiv.org/abs/1709.07640

Recommendations

• The Hauptmodul at elliptic points of certain arithmetic groups
• N-systems, class polynomials for double eta-quotients and singular values of J-invariant function
• An approach for computing generators of class fields of imaginary quadratic number fields using the Schwarzian derivative
• ON SOME RING CLASS FIELDS BY SHIMURA'S CANONICAL MODELS
• Generation of Hauptmoduln of \(\Gamma_{1}(N)\) by Weierstrass units and application to class fields

zbMATH Keywords

monstrous moonshineHauptmodulHilbert Class field

Mathematics Subject Classification ID

Complex multiplication and moduli of abelian varieties (11G15) Class field theory (11R37) Arithmetic theory of algebraic function fields (11R58) Special algebraic curves and curves of low genus (14H45) Complex multiplication and abelian varieties (14K22)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Elliptic modular forms and their applications
• Monstrous Moonshine
• On the singular values of Weber modular functions
• Implementing the asymptotically fast version of the elliptic curve primality proving algorithm
• Title not available (Why is that?)
• Elliptic Curves and Primality Proving
• Title not available (Why is that?)
• Kronecker's limit formula, holomorphic modular functions, and \(q\)-expansions on certain arithmetic groups
• Title not available (Why is that?)
• Seminar on complex multiplication. Seminar held at the Institute for Advanced Study, Princeton, N.J., 1957--58
• Congruence Subgroups of Groups Commensurable with PSL (2, Z) of Genus 0 and 1
• Title not available (Why is that?)

Cited In (2)

• An approach for computing generators of class fields of imaginary quadratic number fields using the Schwarzian derivative
• Estimation of genus of arithmetic curves and applications

Uses Software

• ECPP

This page was built for publication: On the evaluation of singular invariants for canonical generators of certain genus one arithmetic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4960474)