On the Evaluation of Singular Invariants for Canonical Generators of Certain Genus One Arithmetic Groups

被引:2
作者
Jorgenson, Jay [1 ]
Smajlovic, Lejla [2 ]
Then, Holger [3 ]
机构
[1] CUNY City Coll, Dept Math, Convent Ave & 138th St, New York, NY 10031 USA
[2] Univ Sarajevo, Dept Math, Zmaja Bosne 35, Sarajevo, Bosnia & Herceg
[3] Alemannenweg 1, Giengen, Germany
关键词
singular moduli; holomorphic functions; Hilbert class fields;
D O I
10.1080/10586458.2017.1422161
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Let N be a positive square-free integer such that the discrete group Gamma(0)(N)(+) has genus one. In a previous article, we constructed canonical generators x(N) and y(N) of the holomorphic function field associated with Gamma(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)(tau) and y(N)(tau) for any CM point tau in the upper half plane . If tau is any CM point which is not equivalent to an elliptic point of Gamma(0)(N)(+), we prove that the complex numbers x(N)(tau) and y(N)(tau) are algebraic integers. Going further, we characterize the algebraic nature of x(N)(tau) as the generator of a certain ring class field of of prescribed order and discriminant depending on properties of tau and level N. The theoretical considerations are supplemented by computational examples. As a result, several explicit evaluations are given for various N and tau, 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 whose coefficients are less than 2.2 x 10(4), whereas the minimal polynomial obtained from the Hauptmodul of have coefficients as large as 6.6 x 10(73).
引用
收藏
页码:1 / 27
页数:27
相关论文
共 18 条
[1]  
[Anonymous], MATH SCI RES I PUBL
[2]   ELLIPTIC-CURVES AND PRIMALITY PROVING [J].
ATKIN, AOL ;
MORAIN, F .
MATHEMATICS OF COMPUTATION, 1993, 61 (203) :29-68
[3]  
Borel A., 1966, Lecture Notes in Mathematics, V21
[4]  
Chen I, 1996, OHIO ST U M, V4, P255
[5]  
CN79 Conway J.H., 1979, Bull. London Math. Soc., V11, P308, DOI DOI 10.1112/BLMS/11.3.308
[6]  
COX DA, 1989, PRIMES FORM X NY
[7]   Congruence subgroups of groups commensurable with PSL (2, Z) of genus 0 and 1 [J].
Cummins, CJ .
EXPERIMENTAL MATHEMATICS, 2004, 13 (03) :361-382
[8]   Kronecker's Limit Formula, Holomorphic Modular Functions, and q-Expansions on Certain Arithmetic Groups [J].
Jorgenson, Jay ;
Smajlovic, Lejla ;
Thenc, Holger .
EXPERIMENTAL MATHEMATICS, 2016, 25 (03) :295-319
[9]  
Lang S., 2000, COLLECT PAPERS, VI
[10]  
Lang S., 1987, Elliptic Functions, V2, DOI 10.1007/978-1-4757-1949-9