Let K be an imaginary quadratic field different from $\open{Q}(\sqrt {-1})$ and $\open{Q}(\sqrt {-3})$. For a positive integer N, let KN be the ray class field of K modulo $N {\cal O}_K$. By using the congruence subgroup ± Γ1(N) of SL2(ℤ), we construct an extended form class group whose operation is basically the Dirichlet composition, and explicitly show that this group is isomorphic to the Galois group Gal(KN/K). We also present an algorithm to find all distinct form classes and show how to multiply two form classes. As an application, we describe Gal(KNab/K) in terms of these extended form class groups for which KNab is the maximal abelian extension of K unramified outside prime ideals dividing $N{\cal O}_K$.

While investigating the Doi–Naganuma lift, Zagier defined integral weight cusp forms $f_D$ which are naturally defined in terms of binary quadratic forms of discriminant $D$. It was later determined by Kohnen and Zagier that the generating function for the function $f_D$ is a half-integral weight cusp form. A natural preimage of $f_D$ under a differential operator at the heart of the theory of harmonic weak Maass forms was determined by the first two authors and Kohnen. In this paper, we consider the modularity properties of the generating function of these preimages. We prove that although the generating function is not itself modular, it can be naturally completed to obtain a half-integral weight modular object.

In this paper we give a lower bound with respect to block length for the trace of non-elliptic conjugacy classes of the Hecke groups. One consequence of our bound is that there are finitely many conjugacy classes of a given trace in anyHecke group. We show that another consequence of our bound is that class numbers are finite for related hyperbolic $\mathbb{Z}\left[ \text{ }\!\!\lambda\!\!\text{ } \right]$-binary quadratic forms. We give canonical class representatives and calculate class numbers for some classes of hyperbolic $\mathbb{Z}\left[ \text{ }\!\!\lambda\!\!\text{ } \right]$-binary quadratic forms.

Let $\textbf{F}\,{=}\,(F_1, \ldots, F_m)$ be an $m$-tuple of primitive positive binary quadratic forms and let $U_{\textbf{F}}(x)$ be the number of integers not exceeding $x$ that can be represented simultaneously by all the forms $F_j$, $j = 1, \ldots, m$. Sharp upper and lower bounds for $U_{\textbf{F}}(x)$ are given uniformly in the discriminants of the quadratic forms.

As an application, a problem of Erdős is considered. Let $V(x)$ be the number of integers not exceeding $x$ that are representable as a sum of two squareful numbers. Then $V(x) = x(\log x)^{-\alpha+o(1)}$ with $\alpha\,{=}\,1-2^{-1/3}\,{=}\,0.206\ldots$.