In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms $Ψ(F)$ with product expansions on bounded domains $D$ associated to rational quadratic spaces $V$ of signature (n,2). The input $F$ for his construction is a vector valued modular form of weight $1-n/2$ for $SL_2(Z)$ which is allowed to have a pole at the cusp and whose non-positive Fourier coefficients are integers $c_μ(-m)$, $m\ge0$. For example, the divisor of $Ψ(F)$ is the sum over $m>0$ and the coset parameter $μ$ of $c_μ(-m) Z_μ(m)$ for certain rational quadratic divisors $Z_μ(m)$ on the arithmetic quotient $X = ΓD$. In this paper, we give an explicit formula for the integral $κ(Ψ(F))$ of $-\log||Ψ(F)||^2$ over $X$, where $||.||^2$ is the Petersson norm. More precisely, this integral is given by a sum over $μ$ and $m>0$ of quantities $c_μ(-m) κ_μ(m)$, where $κ_μ(m)$ is the limit as $Im(τ) -> \infty$ of the $m$th Fourier coefficient of the second term in the Laurent expansion at $s= n/2$ of a certain Eisenstein series $E(τ,s)$ of weight $n/2 + 1$ attached to $V$. It is also shown, via the Siegel--Weil formula, that the value $E(τ, n/2)$ of the Eisenstein series at this point is the generating function of the volumes of the divisors $Z_μ(m)$ with respect to a suitable Kähler form. The possible role played by the quantity $κ(Ψ(F))$ in the Arakelov theory of the divisors $Z_μ(m)$ on $X$ is explained in the last section.
We give a necessary and sufficient criterion for the existence of Borcherds products of half-integral weight associated to even lattices that split two hyperbolic planes. In particular we prove that half-integral weight Borcherds products exist for lattices of arbitrary rank.
We compute the divisors of Borcherds products on integral models of orthogonal Shimura varieties. As an application, we obtain an integral version of a theorem of Borcherds on the modularity of a generating series of special divisors.
In his celebrated 1998 Inventiones paper, Borcherds constructed meromorphic automorphic forms Psi(F) for arithmetic subgroups associated to even integral lattices M of signature (n,2). The input to his construction is a vector valued weakly holomorphic modular form F of weight 1 - n/2, and the resulting Borcherds form has an explicit divisor on the arithmetic quotient X = Gamma_M\ D. Most remarkably, in the neighborhood of each cusp (= rational point boundary component), there is a beautiful product formula for Psi(F), reminiscent of the classical product formula for the Dedekind eta-function.…
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…
Let q be an integral quadratic form of signature (2,m+2). We will show that the Siegel theta functions attached to q satisfies certain symmetries. As an application, we prove the symmetries for automorphic forms on the orthogonal group of q closely related to Heegener divisors (Borcherds lifts and automorphic Green functions).
Borcherds lift for an even lattice of signature (p,q) is a lifting from weakly holomorphic modular forms of weight (p-q)/2 for the Weil representation. We introduce a new product operation on the space of such modular forms and develop a basic theory. The product makes this space a finitely generated filtered associative algebra, without unit element and noncommutative in general. This is functorial with respect to embedding of lattices by the quasi-pullback. Moreover, the rational space of modular forms with rational principal part is closed under this product. In some examples with p=2, the …
We prove a new converse theorem for Borcherds' multiplicative theta lift which improves the previously known results. To this end we develop a newform theory for vector valued modular forms for the Weil representation, which might be of independent interest. We also derive lower bounds for the ranks of the Picard groups and the spaces of holomorphic top degree differential forms of modular varieties associated to orthogonal groups.
In his striking 1995 paper, Borcherds found an infinite product expansion for certain modular forms with CM divisors. In particular, this applies to the Hilbert class polynomial of discriminant $-d$ evaluated at the modular $j$-function. Among a number of powerful generalizations of Borcherds' work, Zagier made an analogous statement for twisted versions of this polynomial. He proves that the exponents of these product expansions, $A(n,d)$, are the coefficients of certain special half-integral weight modular forms. We study the congruence properties of $A(n,d)$ modulo a prime $\ell$ by relatin…
Quasi-pullback of Borcherds products is an operation of renormalized restriction. It produces a meromorphic modular form on a lower dimensional symmetric domain which is again a Borcherds product. We give an explicit formula for the weakly holomorphic modular form of Weil representation type whose Borcherds lift is the quasi-pullback of the given Borcherds product.
We consider the Kudla-Millson lift from elliptic modular forms of weight (p+q)/2 to closed q-forms on locally symmetric spaces corresponding to the orthogonal group O(p,q). We study the L^2-norm of the lift following the Rallis inner product formula. We compute the contribution at the Archimedian place. For locally symmetric spaces associated to even unimodular lattices, we obtain an explicit formula for the L^2-norm of the lift, which often implies that the lift is injective. For O(p,2) we discuss how such injectivity results imply the surjectivity of the Borcherds lift.
We show how to realize the Shimura lift of arbitrary level and character using the vector-valued theta lifts of Borcherds. Using the regularization of Borcherds' lift we extend the Shimura lift to take weakly holomorphic modular forms of half-integral weight to meromorphic modular forms of even integral weight having poles at CM points.
We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight two. Moreover, we determine the arithmetic self-intersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and study Faltings heights of arithmetic Hirzebruch-Zagier divisors.
By constructing suitable Borcherds forms on Shimura curves and using Schofer's formula for norms of values of Borcherds forms at CM-points, we determine all the equations of hyperelliptic Shimura curves $X_0^D(N)$. As a byproduct, we also address the problem of whether a modular form on Shimura curves $X_0^D(N)/W_{D,N}$ with a divisor supported on CM-divisors can be realized as a Borcherds form, where $X_0^D(N)/W_{D,N}$ denotes the quotient of $X_0^D(N)$ by all the Atkin-Lehner involutions. The construction of Borcherds forms is done by solving certain integer programming problems.
We present an algorithm to compute all Borcherds product paramodular cusp forms of a specified weight and level, describing its implementation in some detail and giving examples of its use.
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 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 show that certain spaces of vector valued modular forms are isomorphic to spaces of scalar valued modular forms whose Fourier coefficients are supported on suitable progressions. As an application we give a very explicit description of Borcherds products on Hilbert modular surfaces.
We obtain infinite product expansions in the sense of Borcherds for theta functions associated with certain positive-definite binary quadratic and binary hermitian forms. Among other things, we show that every weight 1 binary theta function is a Borcherds product. In particular, binary theta functions have zeros only at quadratic irrationalities.
We show that every Fricke invariant meromorphic modular form for $Γ_0(N)$ whose divisor on $X_0(N)$ is defined over $\mathbb{Q}$ and supported on Heegner divisors and the cusps is a generalized Borcherds product associated to a harmonic Maass form of weight $1/2$. Further, we derive a criterion for the finiteness of the multiplier systems of generalized Borcherds products in terms of the vanishing of the central derivatives of $L$-function of certain weight $2$ newforms. We also prove similar results for twisted Borcherds products.
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 provide a construction of the multiplicative Borcherds lift for unitary groups U(1,m), which takes weakly holomorphic elliptic modular forms and lifts them to meromorphic automorphic forms having infinite product expansions and taking their zeros and poles along Heegner divisors. The result is obtained through the transfer of Borcherds' theory to unitary groups via a suitable embedding of U(1,m) into O(2,2m). Further, we examine the values taken by the Borcherds products around the cusps of the symmetric domain of the unitary group. Finally, as an application of the lifting, we derive a mod…
Bruinier and Ono recently developed the theory of generalized Borcherds products, which uses coefficients of certain Maass forms as exponents in infinite product expansions of meromorphic modular forms. Using this, one can use classical results on congruences of modular forms to obtain congruences for Maass forms. In this note we work out the example of Ramanujan's mock theta functions f and ω in detail.
We form generating series of special divisors, valued in the Chow group and in the arithmetic Chow group, on the compactified integral model of a Shimura variety associated to a unitary group of signature (n-1,1), and prove their modularity. The main ingredient of the proof is the calculation of the vertical components appearing in the divisor of a Borcherds product on the integral model.
The fake monster Lie algebra is determined by the Borcherds function Phi_{12} which is the reflective modular form of the minimal possible weight with respect to O(II_{2,26}). We prove that the first non-zero Fourier-Jacobi coefficient of Phi_{12} in any of 23 Niemeier cusps is equal to the Weyl-Kac denominator function of the affine Lie algebra of the root system of the corresponding Niemeier lattice. This is an automorphic answer (in the case of the fake monster Lie algebra) on the old question of I. Frenkel and A. Feingold (1983) about possible relations between hyperbolic Kac-Moody algebra…
We establish an isomorphism between certain complex-valued and vector-valued modular form spaces of half-integral weight, generalizing the well-known isomorphism between modular forms for $Γ_0(4)$ with Kohnen's plus condition and modular forms for the Weil representation associated to the discriminant form for the lattice with Gram matrix $(2)$. With such an isomorphism, we prove the Zagier duality and write down the Borcherds lifts explicitly.
We prove that there are only finitely many isometry classes of even lattices $L$ of signature $(2,n)$ for which the space of cusp forms of weight $1+n/2$ for the Weil representation of the discriminant group of $L$ is trivial. We compute the list of these lattices. They have the property that every Heegner divisor for the orthogonal group of $L$ can be realized as the divisor of a Borcherds product. We obtain similar classification results in greater generality for finite quadratic modules.
We present some applications of the Kudla-Millson and the Millson theta lift. The two lifts map weakly holomorphic modular functions to vector valued harmonic Maass forms of weight $3/2$ and $1/2$, respectively. We give finite algebraic formulas for the coefficients of Ramanujan's mock theta functions $f(q)$ and $ω(q)$ in terms of traces of CM-values of a weakly holomorphic modular function. Further, we construct vector valued harmonic Maass forms whose shadows are unary theta functions, and whose holomorphic parts have rational coefficients. This yields a rationality result for the coefficien…
We determine the structure of the bigraded ring of weak Jacobi forms with integral Fourier coefficients. This ring is the target ring of a map generalising the Witten and elliptic genera and a partition function of $(0,2)$-model in string theory. We also determine the structure of the graded ring of all weakly holomorphic Jacobi forms of weight zero and integral index with integral Fourier coefficients. These forms are the data for Borcherds products for the Siegel paramodular groups.
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…
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…
For a discrete subgroup of an indefinite unitary group $U(1,n+1)$, $n\geq 1$, consider the attached modular variety. Using local Borcherds products, we study Heegner divisors in the local Picard group over a boundary component the compactified variety. We obtain a criterion for local Heegner divisors to be torsion elements in the local Picard group. As an application, we find that the obstructions for a local Heegner divisor to be a torsion element can be described through spaces of vector valued elliptic cusp forms spanned by certain theta-series.
The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic genera and conjectured that they define Siegel modular forms of degree two. In this paper we prove that for each conjugacy class of level $N_g$ the associated product is a meromorphic Borcherds product on the lattice $U(N_g)\oplus U \oplus A_1$ in a strict sense. We also compute the divisors of these products and determine for which conjugacy classes the pr…
The Borcherds lift for indefinite unitary groups, previously constructed by the author, is examined here in greater detail for the special case of the group U(1,1). The inputs for the lifting in this case are weakly holomorphic modular forms of weight zero, which are lifted to meromorphic modular forms on the usual complex upper half plane transforming under an arithmetic subgroup of U(1,1). In this setting, we can completely describe the Weyl-chambers involved and explicitly calculate the attached Weyl-vectors, for a family of input functions with principle part $q^{-n}$. Since these are a ba…
We construct a self-dual integral form of the moonshine vertex operator algebra, and show that it has symmetries given by the Fischer-Griess monster simple group. The existence of this form resolves the last remaining open assumption in the proof of the modular moonshine conjecture by Borcherds and Ryba. As a corollary, we find that Griess's original 196884-dimensional representation of the monster admits a positive-definite self-dual integral form with monster symmetry.
Serre obtained the p-adic limit of the integral Fourier coefficient of modular forms on $SL_2(\mathbb{Z})$ for $p=2,3,5,7$. In this paper, we extend the result of Serre to weakly holomorphic modular forms of half integral weight on $Γ_{0}(4N)$ for $N=1,2,4$. A proof is based on linear relations among Fourier coefficients of modular forms of half integral weight. As applications we obtain congruences of Borcherds exponents, congruences of quotient of Eisentein series and congruences of values of $L$-functions at a certain point are also studied. Furthermore, the congruences of the Fourier coeff…
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 use Borcherds products and their restrictions to Hirzebruch-Zagier curves to determine generators and relations for the graded rings of Hilbert modular forms for the fields $\mathbb{Q}(\sqrt{29})$ and $\mathbb{Q}(\sqrt{37})$. These seem to be the first cases where the graded ring can be computed despite obstructions to the existence of Borcherds products with arbitrary divisors.
We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms in terms of $\widehat{sl(2)}$ characters leads to vector-valued modular forms. We obtain closed formulae for these vector-valued modular forms. In the Lie algebraic context, the Fourier coefficients …
We define an algebraic set in $23$~dimensional projective space whose $\mathbb Q$-rational points correspond to meromorphic, antisymmetric, paramodular Borcherds products. We know two lines inside this algebraic set. Some rational points on these lines give holomorphic Borcherds products and thus construct examples of Siegel modular forms on degree two paramodular groups. Weight $3$ examples provide antisymmetric canonical differential forms on Siegel modular threefolds. Weight $2$ is the minimal weight and these examples, via the Paramodular Conjecture, give evidence for the modularity of som…
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…
The primary goal of this paper is to construct the basis of the space of weight 3/2 mock modular forms which is an extension of the Borcherd-Zagier basis of weight 3/2 weakly holomorphic modular forms. The shadows of the members of this basis form the Borcherds- Zagier basis of the space of weight 1/2 weakly holomorphic modular forms. For the purpose, we use a weak Maass-Poincaré Series. The secondary goal is to provide a full computation of the Fourier coefficients for the weak Maass-Poincaré Series in most general form as a weak Maass-Poincaré Series has played a key role in the recent advan…
Let $X_0^6(1)/W_6$ be the Atkin-Lehner quotient of the Shimura curve $X_0^6(1)$ associated to a maximal order in an indefinite quaternion algebra of discriminant $6$ over $\mathbb Q$. By realizing modular forms on $X_0^6(1)/W_6$ in two ways, one in terms of hypergeometric functions and the other in terms of Borcherds forms, and using Schofer's formula for values of Borcherds forms at CM-points, we obtain special values of certain hypergeometric functions in terms of periods of elliptic curves over $\overline\mathbb Q$ with complex multiplication.
The problem on the construction of antisymmetric paramodular forms of canonical weight 3 was open since 1998. Any cusp form of this type determines a canonical differential form on any smooth compactification of the moduli space of Kummer surfaces associated to $(1,t)$-polarised abelian surfaces. In this paper, we construct the first infinite family of antisymmetric paramodular forms of weight 3 as Borcherds products whose first Fourier-Jacobi coefficient is a theta block.
We define a regularized theta lift from SL_2 to orthogonal groups over totally real fields. It takes harmonic `Whittaker forms' to automorphic Green functions and weakly holomorphic Whittaker forms to meromorphic modular forms on orthogonal groups with zeros and poles supported on special divisors, generalizing Borcherds' work on automorphic products. To prove our results we use the spectral expansion of the lift and study its relationship with the cohomological theta lift of Kudla and Millson.
In connection with our previous investigation about Siegel threefolds which admit a Calabi--Yau model, we consider ball quotients which belong to the unitary group $\U(1,3)$. In this paper we determine a very particular example of a Picard modular variety of general type. Really we determine the ring of modular forms. This algebra has 25 generators, 15 modular forms $B_i$ of weight one and ten modular forms $C_j$ of weight 2. Both will appear as Borcherds products. We determine the ideal of relations. The forms $C_i$ are cuspidal. Their squares define holomorphic differential forms on the non-…
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…
Cheng constructed product expansions from twists of elliptic genera of symmetric powers of K3 surfaces that are related to M_24 moonshine. We study which of them are Siegel modular forms. If the predicted level is non-composite, they are modular, and their powers can be represented as products of rescaled Borcherds products.
The theta-block conjecture proposed by Gritsenko--Poor--Yuen in 2013 characterizes Siegel paramodular forms which are simultaneously Borcherds products and additive Jacobi lifts. In this paper, we prove this conjecture for two new infinite series of theta blocks of weights 2 and 3. The proof is based on Scheithauer's classification of reflective modular forms of singular weight.
Recent works, mostly related to Ramanujan's mock theta functions, make use of the fact that harmonic weak Maass forms can be combinatorial generating functions. Generalizing works of Waldspurger, Kohnen and Zagier, we prove that such forms also serve as "generating functions" for central values and derivatives of quadratic twists of weight 2 modular $L$-functions. To obtain these results, we construct differentials of the third kind with twisted Heegner divisor by suitably generalizing the Borcherds lift to harmonic weak Maass forms. The connection with periods, Fourier coefficients, derivativ…
The square-root of Siegel modular forms of CHL Z_N orbifolds of type II compactifications are denominator formulae for some Borcherds-Kac-Moody Lie superalgebras for N=1,2,3,4. We study the decomposition of these Siegel modular forms in terms of characters of two sub-algebras: one is a $\widehat{sl(2)}$ and the second is a Borcherds extension of the $\widehat{sl(2)}$. This is a continuation of our previous work where we studied the case of Siegel modular forms appearing in the context of Umbral moonshine. This situation is more intricate and provides us with a new example (for N=5) that did no…
In this paper we construct an infinite family of paramodular forms of weight $2$ which are simultaneously Borcherds products and additive Jacobi lifts. This proves an important part of the theta-block conjecture of Gritsenko--Poor--Yuen (2013) related to the only known infinite series of theta-blocks of weight $2$ and $q$-order $1$. We also consider some applications of this result.
In this paper, we prove some divisibility results for the Fourier coefficients of reduced modular forms of sign vectors. More precisely, we generalize a divisibility result of Siegel on constant terms when the weight is non-positive, which is related to the weight of Borcherds lifts when the weight is zero. By considering Hecke operators for the spaces of weakly holomorphic modular forms with sign vectors, and obtain divisibility results in an "orthogonal" direction on reduced modular forms.
