We give a factorization of averages of Borcherds forms over CM points associated to a quadratic form of signature (n,2). As a consequence of this result, we are able to state a theorem like that of Gross and Zagier about which primes can occur in this factorization. One remarkable phenomenon we observe is that the regularized theta lift of a weakly holomorphic modular form is always finite.
We study moduli spaces of O'Grady's ten-dimensional irreducible symplectic manifolds. These moduli spaces are covers of modular varieties of dimension 21, namely quotients of hermitian symmetric domains by a suitable arithmetic group. The interesting and new aspect of this case is that the group in question is strictly bigger than the stable orthogonal group. This makes it different from both the K3 and the K3^[n] case, which are of dimension 19 and 20 respectively.
We classify the holomorphic Borcherds products of singular weight for all simple lattices of signature $(2,n)$ with $n \geq 3$. In addition to the automorphic products of singular weight for the simple lattices of square free level found by Dittmann, Hagemeier and the second author, we obtain several automorphic products of singular weight $1/2$ for simple lattices of signature $(2,3)$. We interpret them as Siegel modular forms of genus $2$ and explicitly describe them in terms of the ten even theta constants. In order to rule out further holomorphic Borcherds products of singular weight, we d…
Let $p$ be a prime for which the congruence group $Γ_0(p)^*$ is of genus zero, and $j_p^*$ be the corresponding Hauptmodul. Let $f$ be a nearly holomorphic modular form of weight 1/2 on $Γ_0(4p)$ which satisfies some congruence condition on its Fourier coefficients. We interpret $f$ as a vector valued modular form. Applying Borcherds lifting of vector valued modular forms we construct infinite products associated to $j_p^*$ and extend Zagier's trace formula for singular values of $j_p^*$. Further we investigate the twisted traces of sigular values of $j_p^*$ and construct Borcherds products re…
We show that the values of Borcherds products on Shimura varieties of orthogonal type at certain CM points are given in terms of coefficients of the holomorphic part of weight one harmonic weak Maass forms. Furthermore, we investigate the arithmetic properties of these coefficients. As an example, we obtain an analog of the Gross-Zagier theorem on singular moduli.
We extend Borcherds' singular theta lift in signature $(1,2)$ to harmonic Maass forms of weight $1/2$ whose non-holomorphic part is allowed to be of exponential growth at $i\infty$. We determine the singularities of the lift and compute its Fourier expansion. It turns out that the lift is continuous but not differentiable along certain geodesics in the upper half-plane corresponding to the non-holomorphic principal part of the input. As an application, we obtain a generalization to higher level of the weight $2$ modular integral of Duke, Imamoglu and Tóth. Further, we construct automorphic pro…
In this paper we consider several problems in the theory of automorphic products and generalized Kac--Moody algebras proposed by Borcherds in 1995. We show that the denominator of the fake monster algebra defines the unique holomorphic Borcherds product of singular weight on a maximal lattice. We give a full classification of symmetric holomorphic Borcherds products of singular weight on lattices of prime level. Finally we prove that all twisted denominator identities of the fake monster algebra arise as the Fourier expansions of Borcherds products of singular weight at a certain cusp. The pro…
Recently, Funke and Hofmann constructed a singular theta lift of Borcherds type for the dual reductive pair $U(1,1)\times U(p,q)$, $p,q\geq 1$, the input functions of which are harmonic weak Maass forms of weight $k= 2-p-q$. In the present paper, we give an explicit evaluation of the Fourier-Jacobi expansion of the lift. For this purpose, we adapt a method introduced by Kudla in his paper 'Another product for a Borcherds form'. As an application, in the case $U(p,1)$ we recover a new infinite product expansion associated to a Borcherds form, analogous to the case $O(p,2)$ treated by Kudla.
We describe the complex multiplication (CM) values of modular functions for $Γ_0(N)$ whose divisor is given by a linear combination of Heegner divisors in terms of special cycles on the stack of CM elliptic curves. In particular, our results apply to Borcherds products of weight $0$ for $Γ_0(N)$. By working out explicit formulas for the special cycles, we obtain the prime ideal factorizations of such CM values.
We describe a relationship between the representation theory of the Thompson sporadic group and a weakly holomorphic modular form of weight one-half that appears in work of Borcherds and Zagier on Borcherds products and traces of singular moduli. We conjecture the existence of an infinite dimensional graded module for the Thompson group and provide evidence for our conjecture by constructing McKay--Thompson series for each conjugacy class of the Thompson group that coincide with weight one-half modular forms of higher level. We also observe a discriminant property in this moonshine for the Tho…
The $j$-function acts as a parametrization of the classical modular curve. Its values at complex multiplication (CM) points are called singular moduli and are algebraic integers. A Shimura curve is a generalization of the modular curve and, if the Shimura curve has genus 0, a rational parameterizing function exists and when evaluated at a CM point is again algebraic over $\mathbb{Q}$. This paper shows that the coordinate maps for the Shimura curves associated to the quaternion algebras with discriminants 6 and 10 are Borcherds lifts of vector-valued modular forms. This property is then used to…
Borcherds-Zagier bases of the spaces of weakly holomorphic modular forms of weights 1/2 and 3/2 share the Fourier coefficients which are traces of singular moduli. Recently, Duke, Imamoglu, and Tóth have constructed a basis of the space of weight 1/2 mock modular forms, each member in which has Zagier's generating series of traces of singular moduli as its shadow. They also showed that Fourier coefficients of their mock modular forms are sums of cycle integrals of the $j$-function which are real quadratic analogues of singular moduli. In this paper, we prove the Fourier coefficients of a basis…
Given a properly normalized parametrization of a genus-0 modular curve, the complex multiplication points map to algebraic numbers called singular moduli. In the classical case, the maps can be given analytically. However, in the Shimura curve cases, no such analytical expansion is possible. Fortunately, in both cases there are known algorithms for algebraically computing the rational norms of the singular moduli. We demonstrate a method of using these norm algorithms to algebraically determine the minimal polynomial of the singular moduli below a discriminant threshold. We then use these mini…
We show that the field $\mathbb{Q}(x,y)$, generated by two singular moduli~$x$ and~$y$, is generated by their sum ${x+y}$, unless~$x$ and~$y$ are conjugate over~$\mathbb{Q}$, in which case ${x+y}$ generates a subfield of degree at most~$2$. We obtain a similar result for the product of two singular moduli.
We treat two different equations involving powers of singular moduli. On the one hand, we show that, with two possible (explicitly specified) exceptions, two distinct singular moduli j(τ),j(τ') such that the numbers 1, j(τ)^m and j(τ')^n are linearly dependent over $\mathbb{Q}$ for some positive integers m,n, must be of degree at most 2. On the other hand, we show that, with obvious exceptions, the product of any two powers of singular moduli cannot be a non-zero rational number.
Zagier proved that the generating series for the traces of singular moduli is a \textit{weakly holomorphic} modular form of weight 3/2 on $Γ_0(4)$. Bruinier and Funke extended the results of Zagier to modular curves of arbitrary genus. Zagier also showed that the twisted traces of singular moduli are generated by a weakly holomorphic modular form of weight 3/2. In this paper, we study the extension of Zagier's result for the twisted traces of singular moduli to congruence subgroups $Γ_0(N)$. As an application, we study congruences for the twisted traces of singular moduli of weakly holomorphic…
We classify the simple even lattices of square free level and signature (2,n) for n > 3. A lattice is called simple if the space of cusp forms of weight 1+n/2 for the dual Weil representation of the lattice is trivial. For a simple lattice every formal principal part obeying obvious conditions is the principal part of a vector valued modular form. Using this, we determine all holomorphic Borcherds products of singular weight (arising from vector valued modular forms with non-negative principal part) for the simple lattices. We construct the corresponding vector valued modular forms by eta prod…
We extend a result of Ahlgren and Ono on congruences for traces of singular moduli of level 1 to traces defined in terms of Hauptmodul associated to certain groups of genus 0 of higher levels.
We will generalize Osburn's work about a congruence for traces defined in terms of Hauptmodul associated to certain genus zero groups of higher levels.
We show that the generating series of traces of reciprocal singular moduli is a mixed mock modular form of weight $3/2$ whose shadow is given by a linear combination of products of unary and binary theta functions. To prove these results, we extend the Kudla-Millson theta lift of Bruinier and Funke to meromorphic modular functions.
For a fixed singular modulus $α$, we give an effective lower bound of norm of $x-α$ for another singular modulus $x$ with large discriminant. We then generalize this result for $Φ_m(x,α)$, where $Φ_m(X,Y) \in \Z[X,Y]$ is the $m$-th modular polynomial.
We prove that $|x-y|\ge 800X^{-4}$, where $x$ and $y$ are distinct singular moduli of discriminants not exceeding $X$. We apply this result to the "primitive element problem" for two singular moduli. In a previous article Faye and Riffaut show that the number field $\mathbb Q(x,y)$, generated by two singular moduli $x$ and $y$, is generated by $x-y$ and, with some exceptions, by $x+y$ as well. In this article we fix a rational number $α\ne0,\pm1$ and show that the field $\mathbb Q(x,y)$ is generated by $x+αy$, with a few exceptions occurring when $x$ and $y$ generate the same quadratic field o…
Riffaut (2019) conjectured that a singular modulus of degree $h\ge 3$ cannot be a root of a trinomial with rational coefficients. We show that this conjecture follows from the GRH, and obtain partial unconditional results.
We prove that only finitely many $j$-invariants of elliptic curves with complex multiplication are algebraic units. A rephrased and generalized version of this result resembles Siegel's Theorem on integral points of algebraic curves.
We determine the asymptotic behavior of twisted traces of singular moduli with a power-saving error term in both the discriminant and the order of the pole at $i\infty$. Using this asymptotic formula, we obtain an exact formula for these traces involving the class number and a finite sum involving the exponential function evaluated at CM points.
After Zagier proved that the traces of singular moduli $j(z)$ are Fourier coefficients of a weakly holomorphic modular form, various properties of the traces of the singular values of modular functions mostly on the full modular group $PSL_2(\mathbb{Z})$ have been investigated such as their exact formulas, limiting distribution, duality, and congruences. The purpose of this paper is to generalize these arithmetic properties of traces of singular values of a weakly holomorphic modular function on the full modular group to those on a congruence subgroup $Γ_0(N)$.
Gross and Zagier proved a formula for the absolute norm N(j(α_1) - j(α_2)) of a difference of singular values of the modular function j. We formulate and prove the analogues of their result for a number of functions of level 2 and 3.
This article is an overview of Zagier's and Kim's work on traces of singular moduli. We give more detailed or new proofs to some of their results and also describe some algorithms to compute spaces of Jacobi forms and weight $3/2$ modular forms. Also, for $p$ a prime dividing the order of the Monster group, we give an explicit construction of the Hauptmodul $j_p$ of $Γ_0(p)^*$ using Rademacher series and Rademacher sums.
We compute the Fourier coefficients of analogues of Kohnen and Zagier's modular forms $f_{k,D}$ of weight $2$ and negative discriminant. These functions can also be written as twisted traces of certain weight $2$ Poincaré series with evaluations of Niebur-Poincaré series as Fourier coefficients. This allows us to study twisted traces of singular moduli in an integral weight setting. In particular, we recover explicit series expressions for twisted traces of singular moduli and extend algebraicity results by Bengoechea to the weight $2$ case. We also compute regularized inner products of these …
Zagier proved that the traces of singular values of the classical j-invariant are the Fourier coefficients of a weight 3/2 modular form and Duke provided a new proof of the result by establishing an exact formula for the traces using Niebur's work on a certain class of non-holomorphic modular forms. In this short note, by utilizing Niebur's work again, we generalize Duke's result to exact formulas for traces of singular moduli of higher level modular functions.
We show that two distinct singular moduli $j(τ),j(τ')$, such that for some positive integers $m, n$ the numbers $1,j(τ)^m$ and $j(τ')^n$ are linearly dependent over $\mathbb{Q}$ generate the same number field of degree at most $2$. This completes a result of Riffaut, who proved the above theorem except for two explicit pair of exceptions consisting of numbers of degree $3$. The purpose of this article is to treat these two remaining cases.
Let $a \in \mathbb{Z}_{>0}$ and $ε_1, ε_2, ε_3 \in \{\pm 1\}$. We classify explicitly all singular moduli $x_1, x_2, x_3$ satisfying either $ε_1 x_1^a + ε_2 x_2^a + ε_3 x_3^a \in \mathbb{Q}$ or $(x_1^{ε_1} x_2^{ε_2} x_3^{ε_3})^{a} \in \mathbb{Q}^{\times}$. In particular, we show that all the solutions in singular moduli $x_1, x_2, x_3$ to the Fermat equations $x_1^a + x_2^a + x_3^a= 0$ and $x_1^a + x_2^a - x_3^a= 0$ satisfy $x_1 x_2 x_3 = 0$. Our proofs use a generalisation of a result of Faye and Riffaut on the fields generated by sums and products of two singular moduli, which we also establ…
We establish an effective version of the André-Oort conjecture for linear subspaces of $Y(1)^n_{\mathbb{C}} \approx \mathbb{A}_{\mathbb{C}}^n$. Apart from the trivial examples provided by weakly special subvarieties, this yields the first algebraic subvarieties in a Shimura variety of dimension $> 1$ whose CM-points can be (theoretically) determined.
We address a question posed by Ono, prove a general result for powers of an arbitrary prime, and provide an explanation for the appearance of higher congruence moduli for certain small primes. One of our results coincides with a recent result of Edixhoven, and we hope that the comparison of the methods, which are entirely different, may reveal a connection between the p-adic geometry and the arithmetic of half-integral weight Hecke operators.
Let $g$ be a principal modulus with rational Fourier coefficients for a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$ between $Γ(N)$ or $Γ_0(N)^†$ for a positive integer $N$. Let $K$ be an imaginary quadratic field. We give a simple proof of the fact that the singular value of $g$ generates the ray class field modulo $N$ or the ring class field of the order of conductor $N$ over $K$. Furthermore, we construct primitive generators of ray class fields of arbitrary moduli over $K$ in terms of Hasse's two generators.
At scattered places of his notebooks, Ramanujan recorded over 30 values of singular moduli $α_n$. All those results were proved by Berndt et. al by employing Weber-Ramanujan's class invariants. In this paper, we initiate to derive the explicit evaluations formula for $α_{9n}$ and $α_{n/9}$ by involving class invariant. For this purpose, we establish several new $P-Q$ mixed modular equations involving theta-functions. Further application of these modular equations, we derive a new formula to explicit evaluation of Ramanujan- Selberg continued fraction.
In this paper, we use Borcherds lifting and the big CM value formula of Bruinier, Kudla, and Yang to give an explicit factorization formula for the norm of $Ψ(\frac{d_1+\sqrt{d_1}}2) -Ψ(\frac{d_2+\sqrt{d_2}}2)$, where $Ψ$ is the $j$-invariant or the Weber invariant $ω_2$. The $j$-invariant case gives another proof of the well-known Gross-Zagier factorization formula of singular moduli, while the Weber invariant case gives a proof of the Yui-Zagier conjecture for $ω_2$. The method used here could be extended to deal with other modular functions on a genus zero modular curve.
We compute the divisor of the modular equation on the modular curve $Γ_0(N) \backslash \mathbb H^*$ and then find recurrence relations satisfied by the modular traces of the Hauptmodul for any congruence subgroup $Γ_0(N)$ of genus zero. We also introduce the notions and properties of $Γ$-equivalence and $Γ$-reduced forms about binary quadratic forms. Using these, we can explicitly compute the recurrence relations for $N = 2, 3, 4, 5$.
Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which can be evaluated at real quadratic irrationalities and the values thus obtained are conjectured to lie in algebraic extensions of the base field. In this article we present a similar construction of cohomology casses in which $\mathrm{SL}_2(\mathbb{Z}[1/p])$ is replaced by an order in an indefinite quaternion algebra over a totally real number field $F$. The…
We consider some Diophantine problems of mixed modular-multiplicative type associated with the Zilber-Pink conjecture. In particular, we prove a finiteness statement for the number of multiplicative relations between singular moduli (j-invariants of elliptic curves with complex multiplication.)
We study the field of moduli of singular abelian and K3 surfaces. We discuss both the field of moduli over the CM field and over $\Q$. We also discuss non-finiteness with respect to the degree of the field of moduli. Finally, we provide an explicit approach to the computation of the field of moduli.
Given a singular modulus $j_0$ and a set of rational primes $S$, we study the problem of effectively determining the set of singular moduli $j$ such that $j-j_0$ is an $S$-unit. For every $j_0 \neq 0$, we provide an effective way of finding this set for infinitely many choices of $S$. The same is true if $j_0=0$ and we assume the Generalized Riemann Hypothesis. Certain numerical experiments will also lead to the formulation of a "uniformity conjecture" for singular $S$-units.
Recently Yu. Bilu, P. Habegger and L. Kühne proved that no singular modulus can be a unit in the ring of algebraic integers. In this paper we study for which sets S of prime numbers there is no singular modulus that is an S-units. Here we prove that when the set S contains only primes congruent to 1 modulo 3 then no singular modulus can be an S-unit. We then give some remarks on the general case and we study the norm factorizations of a special family of singular moduli.
In this note, we provide evidence for new (super) moonshines relating the Monster and the Baby monster to some weakly holomorphic weight 1/2 modular forms defined by Zagier in his work on traces of singular moduli. They are similar in spirit to the recently discovered Thompson moonshine.
We prove an abstract modularity result for classes of Heegner divisors in the generalized Jacobian of a modular curve associated to a cuspidal modulus. Extending the Gross-Kohnen-Zagier theorem, we prove that the generating series of these classes is a weakly holomorphic modular form of weight 3/2. Moreover, we show that any harmonic Maass forms of weight 0 defines a functional on the generalized Jacobian. Combining these results, we obtain a unifying framework and new proofs for the Gross-Kohnen-Zagier theorem and Zagier's modularity of traces of singular moduli, together with new geometric i…
Given a perfect field $k$ with algebraic closure $\overline{k}$ and a variety $X$ over $\overline{k}$, the field of moduli of $X$ is the subfield of $\overline{k}$ of elements fixed by field automorphisms $γ\in\operatorname{Gal}(\overline{k}/k)$ such that the twist $X_γ$ is isomorphic to $X$. The field of moduli is contained in all subextensions $k\subset k'\subset\overline{k}$ such that $X$ descends to $k'$. In this paper we extend the formalism, and define the field of moduli when $k$ is not perfect. Furthermore, Dèbes and Emsalem identified a condition that ensures that a smooth curve is de…