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

DOI10.1080/10586458.2017.1422161MaRDI QIDQ4960474zbMATH OpenOpenAlexFDO

Authors Lejla Smajlovic, Holger Then, Jay Jorgenson

Publication date 16 April 2020

Published in Experimental Mathematics (Search for Journal in Brave)

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

monstrous moonshine Hauptmodul Hilbert Class field

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)

Abstract: Let

N

be a positive square-free integer such that the discrete group

G a m m 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

G a m m 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} (a u)

and

y_{N} (a u)

for any CM point

a u

in the upper half plane

m a t h b b H

. If

a u

is any CM point which is not equivalent to an elliptic point of

G a m m a_{0} (N)^{+}

, we prove that the complex numbers

x_{N} (a u)

and

y_{N} (a u)

are algebraic integers. Going further, we characterize the algebraic nature of

x_{N} (a u)

as the generator of a certain ring class field of

m a t h b b Q (a u)

of prescribed order and discriminant depending on properties of

a u

and level

N

. The theoretical considerations are supplemented by computational examples. As a result, several explicit evaluations are given for various

N

and

a u

, 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

m a t h b b Q (s q r t - 74)

whose coefficients are less than

2.2 i m e s 1 0^{4}

, whereas the minimal polynomials obtained from the Hauptmodul of

e x t r m P S L (2, m a t h b b Z)

has coefficients as large as

6.6 i m e s 1 0^{73}

.

Recommendations

Cites work

Cited in

(2)

Describes a project that uses

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)