Holomorphic almost modular forms are holomorphic functions of the complex upper half plane which can be approximated arbitrarily well (in a suitable sense) by modular forms of congruence subgroups of large index in $\SL(2,\ZZ)$. It is proved that such functions have a rotation-invariant limit distribution when the argument approaches the real axis. An example for a holomorphic almost modular form is the logarithm of $\prod_{n=1}^\infty (1-\exp(2\piın^2 z))$. The paper is motivated by the author's studies [J. Marklof, Int. Math. Res. Not. {\bf 39} (2003) 2131-2151] on the connection between almost modular functions and the distribution of the sequence $n^2x$ modulo one.
In this paper, we compute the Fourier expansion of the Shintani lift of nearly holomorphic modular forms. As an application, we deduce modularity properties of generating series of cycle integrals of nearly holomorphic modular forms.
In this paper, we investigate cycle integrals of weakly holomorphic modular forms. We show that these integrals coincide with the cycle integrals of classical cusp forms. We use these results to define a Shintani lift from integral weight weakly holomorphic modular forms to half-integral weight holomorphic modular forms.
In order to considering the integrality of nearly holomorphic (vector-valued) Siegel modular forms, we introduce nearly Siegel modular forms and study their integrality. We show that the integrality of nearly Siegel modular forms in terms of their Fourier expansion implies the integrality of their CM values. Furthermore, we show that there exists a one-to-one correspondence between integral nearly Siegel modular forms and integral nearly holomorphic ones. By these results, the integrality of CM values holds for nearly holomorphic Siegel modular forms and for nearly overconvergent p-adic Siegel…
Let $Γ$ be the Fuchsian group of the first kind. For an even integer $m\ge 4$, we study $m/2$-holomorphic differentials in terms of space of (holomorphic) cuspidal modular forms $S_m(Γ)$. We also give in depth study of Wronskians of cuspidal modular forms and their divisors.
In this article, we study the nature of zeros of weakly holomorphic modular forms. In particular, we prove results about transcendental zeros of modular forms of higher levels and for certain Fricke groups which extend a work of Kohnen. Furthermore, we investigate the algebraic independence of values of weakly holomorphic modular forms.
We extend the relation between quasi-modular forms and modular forms to a wider class of functions. We then relate both forms to vector-valued modular forms with symmetric power representations, and prove a general structure theorem for these vector-valued forms.
We show that the values of a certain family of weakly holomorphic modular functions at points in the divisors of any meromorphic modular form with algebraic Fourier coefficients are algebraic. We use this to extend the classical result of Schneider by proving that zeros or poles of any non-zero meromorphic modular form with algebraic Fourier coefficients are either transcendental or imaginary quadratic irrational.
We define an analogue of the Bol operator on spaces of weakly holomorphic modular forms of half-integral weight. We establish its main properties and relation with other objects.
Inspired by prior work of Bruinier and Ono and Mertens and Rolen, we study class polynomials for non-holomorphic modular functions arising from modular forms of negative weight. In particular, we give general conditions for the irreducibility of class polynomials. This allows us to easily generate infintely many new class invariants.
We examine the Fourier coefficients of modular forms in a canonical basis for the spaces of weakly holomorphic modular forms of weights 4, 6, 8, 10, and 14, and show that these coefficients are often highly divisible by the primes 2, 3, and 5.
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 prove that the zeros of a family of extremal modular forms interlace, settling a question of Nozaki. Additionally, we show that the zeros of almost all forms in a basis for the space of weakly holomorphic modular forms of weight $k$ for $\SL_2(\mathbb{Z})$ interlace on most of the lower boundary of the fundamental domain.
In this article, we explicitly construct a canonical basis for the space of certain weakly holomorphic Drinfeld modular forms for $Γ_0(T)$ (resp., for $Γ_0^+(T)$) and compute the generating function satisfied by the basis elements. We also give an explicit expression for the action of the $Θ$-operator, which depends on the divisor of meromorphic Drinfeld modular forms.
Let $M_k^\sharp(N)$ be the space of weakly holomorphic modular forms for $Γ_0(N)$ that are holomorphic at all cusps except possibly at $\infty$. We study a canonical basis for $M_k^\sharp(2)$ and $M_k^\sharp(3)$ and prove that almost all modular forms in this basis have the property that the majority of their zeros in a fundamental domain lie on a lower boundary arc of the fundamental domain.
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.
We prove Zagier duality between the Fourier coefficients of canonical bases for spaces of weakly holomorphic modular forms of prime level $p$ with $11 \leq p \leq 37$ with poles only at the cusp at $\infty$, and special cases of duality for an infinite class of prime levels. We derive generating functions for the bases for genus 1 levels.
In an article in the Pure and Applied Mathematics Quarterly in 2008, Duke and Jenkins investigated a certain natural basis of the space of weakly holomorphic modular forms for the full modular group $SL_2({\bf Z})$. We show here that their results can be generalized to certain moonshine groups, also allowing characters that are real on the underlying subgroup $Γ_0(N)$.
We study a canonical basis for spaces of weakly holomorphic modular forms of weights 12, 16, 18, 20, 22, and 26 on the full modular group. We prove a relation between the Fourier coefficients of modular forms in this canonical basis and a generalized Ramanujan tau-function, and use this to prove that these Fourier coefficients are often highly divisible by 2.
We introduce a new family of real analytic modular forms on the upper half plane. They are arguably the simplest class of `mixed' versions of modular forms of level one and are constructed out of real and imaginary parts of iterated integrals of holomorphic Eisenstein series. They form an algebra of functions satisfying many properties analogous to classical holomorphic modular forms. In particular, they admit expansions in $q, \overline{q}$ and $\log |q|$ involving only rational numbers and single-valued multiple zeta values. The first non-trivial functions in this class are real analytic Eis…
In this semi-expository note, we give a new proof of a structure theorem due to Shimura for nearly holomorphic modular forms on the complex upper half plane. Roughly speaking, the theorem says that the space of all nearly holomorphic modular forms is the direct sum of the subspaces obtained by applying appropriate weight-raising operators on the spaces of holomorphic modular forms and on the one-dimensional space spanned by the weight 2 nearly holomorphic Eisenstein series. While Shimura's proof was classical, ours is representation-theoretic. We deduce the structure theorem from a decompositi…
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 that the coefficients of certain mock theta functions possess no linear congruences modulo 3. We prove similar results for the moduli 2 and 3 for a wide class of weakly holomorphic modular forms and discuss applications. This extends work of Radu on the behavior of the ordinary partition function modulo 2 and 3.
Let $M_k^\sharp(4)$ be the space of weakly holomorphic modular forms of weight $k$ and level $4$ that are holomorphic away from the cusp at $\infty$. We define a canonical basis for this space and show that for almost all of the basis elements, the majority of their zeros in a fundamental domain for $Γ_0(4)$ lie on the lower boundary of the fundamental domain. Additionally, we show that the Fourier coefficients of the basis elements satisfy an interesting duality property.
For a positive integer $N$ divisible by $4,5,6,7$ or $9$, let $\mathcal{O}_{1,N}(\mathbb{Q})$ be the ring of weakly holomorphic modular functions for the congruence subgroup $Γ_1(N)$ with rational Fourier coefficients. We present explicit generators of the ring $\mathcal{O}_{1,N}(\mathbb{Q})$ over $\mathbb{Q}$ by making use of modular units which have infinite product expansions.
Let $M_k^!(Γ_0^+(3))$ be the space of weakly holomorphic modular forms of weight $k$ for the Fricke group of level $3$. We introduce a natural basis for $M_k^!(Γ_0^+(3))$ and prove that for almost all basis elements, all of their zeros in a fundamental domain lie on the circle centered at 0 with radius $\frac{1}{\sqrt{3}}$.
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…
We prove a sub-convex estimate for the sup-norm of $L^2$-normalized holomorphic modular forms of weight $k$ on the upper half plane, with respect to the unit group of a quaternion division algebra over $\mf Q$. More precisely we show that when the $L^2$ norm of an eigenfunction $f$ is one, | f |_\infty \ll k^{1/2 - 12/131 + \varepsilon}, for any $\varepsilon>0$ and for all $k$ sufficiently large.
Recently, Bruinier and Ono found an algebraic formula for the partition function in terms of traces of singular moduli of a certain non-holomorphic modular function. In this paper we prove that the rational polynomial having these singuar moduli as zeros is (essentially) irreducible, settling a question of Bruinier and Ono. The proof uses careful analytic estimates together with some related work of Dewar and Murty, as well as extensive numerical calculations of Sutherland.
Let $f$ be a cuspidal Hecke eigenform of level 1. We prove the automorphy of the symmetric power lifting $\mathrm{Sym}^n f$ for every $n \geq 1$. We establish the same result for a more general class of cuspidal Hecke eigenforms, including all those associated to semistable elliptic curves over $\mathbb{Q}$.
Let $U(p)$ denote the Atkin operator of prime index $p$. Honda and Kaneko proved infinite families of congruences of the form $f|U(p) \equiv 0 \pmod{p}$ for weakly holomorphic modular forms of low weight and level and primes $p$ in certain residue classes, and conjectured the existence of similar congruences modulo higher powers of $p$. Partial results on some of these conjectures were proved recently by Guerzhoy. We construct infinite families of weakly holomorphic modular forms on the Fricke groups $Γ^*(N)$ for $N=1,2,3,4$ and describe explicitly the action of the Hecke algebra on these form…
We define the space of nearly holomorphic automorphic forms on a connected reductive group $G$ over $\mathbb{Q}$ such that the homogeneous space $G(\mathbb{R})^1/ K_\infty^\circ$ is a Hermitian symmetric space. By Pitale, Saha and Schmidt's study, there are the classification of indecomposable $(\mathfrak{g},K_\infty)$-modules which occur in the space of nearly holomorphic elliptic modular forms and Siegel modular forms of degree $2$. This paper studies global representations of the adele group $G(\mathbb{A}_\mathbb{Q})$ which occur in the space of nearly holomorphic Hilbert modular forms. In …
Let $M_k^\sharp(N)$ be the space of weight $k$, level $N$ weakly holomorphic modular forms with poles only at the cusp at $\infty$. We explicitly construct a canonical basis for $M_k^\sharp(N)$ for $N\in\{8,9,16,25\}$, and show that many of the Fourier coefficients of the basis elements in $M_0^\sharp(N)$ are divisible by high powers of the prime dividing the level $N$. Additionally, we show that these basis elements satisfy a Zagier duality property, and extend Griffin's results on congruences in level 1 to levels 2, 3, 4, 5, 7, 8, 9, 16, and 25.
We investigate Poincaré series, where we average products of terms of Fourier series of real-analytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincaré series are almost holomorphic as well. In general this is not the case. The main point of this paper is the study of Siegel-Poincaré series of degree $2$ attached to products of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms. …
We complete several generating functions to non-holomorphic modular forms in two variables. For instance, we consider the generating function of a natural family of meromorphic modular forms of weight two. We then show that this generating series can be completed to a smooth, non-holomorphic modular form of weights 3/2 and two. Moreover, it turns out that the same function is also a modular completion of the generating function of weakly holomorphic modular forms of weight 3/2, which prominently appear in work of Zagier on traces of singular moduli.
We define canonical real analytic versions of modular forms of integral weight for the full modular group, generalising real analytic Eisenstein series. They are harmonic Maass waveforms with poles at the cusp, whose Fourier coefficients involve periods and quasi-periods of cusp forms, which are conjecturally transcendental. In particular, we settle the question of finding explicit `weak harmonic lifts' for every eigenform of integral weight $k$ and level one. We show that mock modular forms of integral weight are algebro-geometric and have Fourier coefficients proportional to $n^{1-k}(a'_n + …
Let $F$ be a nearly holomorphic vector-valued Siegel modular form of weight $ρ$ with respect to some congruence subgroup of $\mathrm{Sp}_{2n}(\mathbb Q)$. In this note, we prove that the function on $\mathrm{Sp}_{2n}(\mathbb R)$ obtained by lifting $F$ has the moderate growth (or "slowly increasing") property. This is a consequence of the following bound that we prove: $\|ρ(Y^{1/2})F(Z) \| \ll \prod_{i=1}^n (μ_i(Y)^{λ_1/2} + μ_i(Y)^{-λ_1/2})$ where $ λ_1 \ge \ldots \ge λ_n$ is the highest weight of $ρ$ and $μ_i(Y)$ are the eigenvalues of the matrix $Y$.
We construct almost holomorphic and holomorphic modular forms by considering theta series for quadratic forms of signature $(n-1,1)$. We include homogeneous and spherical polynomials in the definition of the theta series (generalizing a construction of the second author) to obtain holomorphic, almost holomorphic and modular theta series. We give a criterion for these series to coincide, enabling us to construct almost holomorphic and holomorphic cusp forms on congruence subgroups of the modular group. Further, we provide numerous explicit examples.
We undertake a detailed study of the lowest weight modules for the Hermitian symmetric pair (G,K), where G=Sp_4(R) and K is its maximal compact subgroup. In particular, we determine K-types and composition series, and write down explicit differential operators that navigate all the highest weight vectors of such a module starting from the unique lowest-weight vector. By rewriting these operators in classical language, we show that the automorphic forms on G that correspond to the highest weight vectors are exactly those that arise from nearly holomorphic vector-valued Siegel modular forms of d…
An eta-quotient of level $N$ is a modular form of the shape $f(z) = \prod_{δ| N} η(δz)^{r_δ}$. We study the problem of determining levels $N$ for which the graded ring of holomorphic modular forms for $Γ_{0}(N)$ is generated by (holomorphic, respectively weakly holomorphic) eta-quotients of level $N$. In addition, we prove that if $f(z)$ is a holomorphic modular form that is non-vanishing on the upper half plane and has integer Fourier coefficients at infinity, then $f(z)$ is an integer multiple of an eta-quotient. Finally, we use our results to determine the structure of the cuspidal subgroup…
We develop a regularization for Petersson inner products of arbitrary weakly holomorphic modular forms, generalizing several known regularizations. As one application, we extend work of Duke, Imamoglu, and Toth on regularized inner products of weakly holomorphic modular forms of weights $0$ and $3/2$. These regularized inner products can be evaluated in terms of the coefficients of holomorphic parts of harmonic Maass forms of dual weights. Moreover, we study the errors of modularity of the holomorphic parts of such a harmonic Maass forms and show that they induce cocyles in the first parabolic…
We investigate Siegel theta series for quadratic forms of signature $(m-1,1)$. On the one hand, we construct a holomorphic series that does not transform like a modular form. On the other hand, we construct a non-holomorphic series that transforms like a Siegel modular form of weight $m/2$. Moreover, the holomorphic series describes almost everywhere the holomorphic part of the modular series.
In this note, we generalize the isomorphisms to the case when the discriminant form is not necessarily induced from real quadratic fields. In particular, this general setting includes all the subspaces with epsilon-conditions, only two spacial cases of which were treated before. With this established, we shall prove the Zagier duality for canonical bases. Finally, we raise a question on the integrality of the Fourier coefficients of these bases elements, or equivalently we concern the existence of a Miller-like basis for vector valued modular forms.
We classify the $(\mathfrak{g},K)$-modules generated by nearly holomorphic Hilbert-Siegel modular forms by the global method. As an application, we study the image of projection operators on the space of nearly holomorphic Hilbert-Siegel modular forms with respect to infinitesimal characters in terms of $(\mathfrak{g},K)$-modules.
We prove multiplicity one for vector valued holomorphic Siegel modular forms of weights greater or equal to 3 and the full Siegel modular group and give a trace formula for the action of the Hecke operators T(p) in the regular cases.
Serre proved that any holomorphic cusp form of weight one for $Γ_1(N)$ is lacunary while a holomorphic modular form for $Γ_1(N)$ of higher integer weight is lacunary if and only if it is a linear combination of cusp forms of CM-type (see Serre, subsections 7.6 and 7.7). In this paper, we show that when a non-zero modular function of arbitrary real weight for any finite index subgroup of the modular group ${\SL}_2(\Z)$ is lacunary, it is necessarily holomorphic on the upper-half plane, finite at the cusps and has non-negative weight.
Modular graph forms are a class of modular covariant functions which appear in the genus-one contribution to the low-energy expansion of closed string scattering amplitudes. Modular graph forms with holomorphic subgraphs enjoy the simplifying property that they may be reduced to sums of products of modular graph forms of strictly lower loop order. In the particular case of dihedral modular graph forms, a closed form expression for this holomorphic subgraph reduction was obtained previously by D'Hoker and Green. In the current work, we extend these results to trihedral modular graph forms. Doin…
In this paper, we prove modularity results of Taylor coefficients of certain non-holomorphic Jacobi forms. It is well-known that Taylor coefficients of holomorphic Jacobi forms are quasimoular forms. However recently there has been a wide interest for Taylor coefficients of non-holomorphic Jacobi forms for example arising in combinatorics. In this paper, we show that such coefficients still inherit modular properties. We then work out the precise spaces in which these coefficients lie for two examples.
Let $O_L$ be the ring of integers of a number field $L$. Write $q = e^{2 πi z}$, and suppose that $$f(z) = \sum_{n \gg - \infty}^{\infty} a_f(n) q^n \in M_{k}^{!}(\operatorname{SL}_2(\mathbb{Z})) \cap O_L[[q]]$$ is a weakly holomorphic modular form of even weight $k \leq 2$. We answer a question of Ono by showing that if $p \geq 5$ is prime and $ 2-k = r(p-1) + 2 p^t$ for some $r \geq 0$ and $t > 0$, then $a_f(p^t) \equiv 0 \pmod p$. For $p = 2,3,$ we show the same result, under the condition that $2 - k - 2 p^t$ is even and at least $4$. This represents the "missing case" of a theorem proved …
Let $f(q)$ denote Ramanujan's mock theta function \[f(q) = \sum_{n=0}^{\infty} a(n) q^{n} := 1+\sum_{n=1}^{\infty} \frac{q^{n^{2}}}{(1+q)^{2}(1+q^{2})^{2}\cdots(1+q^{n})^{2}}.\] It is known that there are many linear congruences for the coefficients of $f(q)$ and other mock theta functions. We prove that if the linear congruence $a(mn+t) \equiv 0 \pmod{\ell}$ holds for some prime $\ell \geq 5$, then $\ell | m$ and $(\frac{24t-1}{\ell}) \neq (\frac{-1}{\ell})$. We prove analogous results for the mock theta function $ω(q)$ and for a large class of weakly holomorphic modular forms which includes …
We present a dimension formula for spaces of vector-valued modular forms of integer weight in case the associated multiplier system has finite image, and discuss the weight distribution of the module generators of holomorphic and cusp forms, as well as the duality relation between cusp forms and holomorphic forms for the contragredient.
