Related papers: The Hauptmodul at elliptic points of certain arith…

There are a number of fundamental results in the study of holomorphic function theory associated to the discrete group PSL(2,Z) including the following statements: The ring of holomorphic modular forms is generated by the holomorphic…

We study the values taken by Gamma_0(n) modular functions at elliptic points of order 2 for the Fricke extension that lie outside Gamma_0(n). In the case of a principal modulus (`Hauptmodul') for Gamma_0(n) or its Fricke extension, we…

We initiate a study of Hilbert modules over the polynomial algebra A=C[z_1,...,z_d] that are obtained by completing A with respect to an inner product having certain natural properties. A standard Hilbert module is a finite multiplicity…

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le…

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 to…

We associate to every algebraic number field a hyperbolic surface lamination and an external fundamental group: the latter a generalization of the fundamental germ that necessarily contains external (not first order definable) elements. The…

For any square-free integer $N$ such that the "moonshine group" $\Gamma_0(N)^+$ has genus zero, the Monstrous Moonshine Conjectures relate the Hauptmoduli of $\Gamma_0(N)^+$ to certain McKay-Thompson series associated to the representation…

Let ${\cal M}_{g,n}$ and ${\cal H}_{g,n}$, for $2g-2+n>0$, be, respectively, the moduli stack of $n$-pointed, genus $g$ smooth curves and its closed substack consisting of hyperelliptic curves. Their topological fundamental groups can be…

We define the generalized basic hypergeometric polynomial of degree $N \geq 1$ in terms of the generalized basic hypergeometric function, which depends on (arbitrary, generic, possibly complex) parameters $q \neq 1$, the $r \geq 0$…

We use Heegner points to prove the existence of nontorsion rational points on the elliptic curve $y^2 = x^3 + D$ for any rational number $D=a/b$ such that $a$ and $b$ are squarefree integers for which $6$, $a$, and $b$ are pairwise…

In this paper, we study the explicit structure of the graded ring of elliptic modular forms for the congruence subgroup $\Gamma_0(N)$ with N=1,2,3,4,5,6,7,8,9,10,12,16,18,25. More precisely, making use of some relations between Fourier…

Let $N$ be a non-squarefree integer such that the quotient $X_0(N)^*$ of the modular curve $X_0(N)$ by the full group of Atkin-Lehner involutions has positive genus. Elkies conjectures that the rational points on $X_0(N)^*$ are only cusps…

Let $N\geq 1$ be a square-free integer such that the modular curve $X_0^*(N)$ has genus $\geq 2$. We prove that $X_0^*(N)$ is bielliptic exactly for $19$ values of $N$, and we determine the automorphism group of these bielliptic curves. In…

In this paper we study algebras of modular forms on unitary groups of signature $(n,1)$. We give a necessary and sufficient condition for an algebra of unitary modular forms to be free in terms of the modular Jacobian. As a corollary we…

Classical results on the classification of reflections in an arithmetic subgroup $\Gamma$ imply that if the graded algebra of modular forms $M_*(\Gamma)$ is freely generated, then $\Gamma$ must be an arithmetic subgroup of either the…

In this paper we determine the quadratic points on the modular curves X_0(N), where the curve is non-hyperelliptic, the genus is 3, 4 or 5, and the Mordell--Weil group of J_0(N) is finite. The values of N are 34, 38, 42, 44, 45, 51, 52, 54,…

In this short note, by modifying the results and proofs given in the author's recent work, we simply show that the difference of a Hauptmodul for any genus zero group $\Gamma_{0}(N)$ is a Borcherds lift. This work extends Scheithauer's…

We prove structure theorems for the moduli stack of elliptic curves equipped with $G$-structures, where $G$ is a finite 2-generated metabelian group. In particular, we show that if $G$ has exponent $e$, then there is a subgroup $H\le…

We obtain an explicit upper bound on the size of the coefficients of the elliptic modular polynomials $\Phi_N$ for any $N\geq1$. These polynomials vanish at pairs of $j$-invariants of elliptic curves linked by cyclic isogenies of degree…

Let $E$ be a non-CM elliptic curve defined over $\mathbb {Q}$. Fix an algebraic closure $\overline{\mathbb {Q}}$ of $\mathbb {Q}$. We get a Galois representation \[\rho_E \colon Gal(\overline{\mathbb {Q}}/\mathbb {Q}) \to GL_2(\hat{\mathbb…