For a half integral weight modular form $f$ we study the signs of the Fourier coefficients $a(n)$. If $f$ is a Hecke eigenform of level $ N$ with real Nebentypus character, and $t$ is a fixed square-free positive integer with $a(t)\neq 0$, we show that for all but finitely many primes $p$ the sequence $(a(tp^{2m}))_{m}$ has infinitely many signs changes. Moreover, we prove similar (partly conditional) results for arbitrary cusp forms $f$ which are not necessarily Hecke eigenforms.
The aim of this paper is to show lifts from pairs of two elliptic modular forms to Siegel modular forms of half-integral weight of even degree under the assumption that the constructed Siegel modular form is not identically zero. The key of the proof is to introduce a certain generalization of the Maass relation for Siegel modular forms of half-integral weight of general degree.
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 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.
Using half-integral weight modular forms we give a criterion for the existence of real quadratic $p$-rational fields. For $p=5$ we prove the existence of infinitely many real quadratic $p$-rational fields.
We establish lower bounds for (i) the numbers of positive and negative terms and (ii) the number of sign changes in the sequence of Fourier coefficients at squarefree integers of a half-integral weight modular Hecke eigenform.
We investigate non-vanishing properties of $L(f,s)$ on the real line, when $f$ is a Hecke eigenform of half-integral weight $k+{1\over 2}$ on $Γ_0(4).$
In this note, we show that the algebraicity of the Fourier coefficients of half-integral weight modular forms can be determined by checking the algebraicity of the first few of them. We also give a necessary and sufficient condition for a half-integral weight modular form to be in Kohnen's +-subspace by considering only finitely many terms.
In this paper, we investigate the sign changes of Fourier coefficients of half-integral weight Hecke eigenforms and give two quantitative results on the number of sign changes.
Congruences of Fourier coefficients of modular forms have long been an object of central study. By comparison, the arithmetic of other expansions of modular forms, in particular Taylor expansions around points in the upper-half plane, has been much less studied. Recently, Romik made a conjecture about the periodicity of coefficients around $τ=i$ of the classical Jacobi theta function. Here, we prove this conjecture and generalize the phenomenon observed by Romik to a general class of modular forms of half-integral weight.
We show that signs of Fourier coefficients, on certain sub-families, determine the half-integral weight cuspidal eigenform uniquely, up to a positive constant. We also study sign change results for the product of the Fourier coefficients of two distinct half-integral weight eigenforms.
We bound the supnorm of half-integral weight Hecke eigenforms in the Kohnen plus space of level $4$ in the weight aspect, by combining bounds obtained from the Fourier expansion with the amplification method using a Bergman kernel.
Let $F$ be a totally real number field and $\mathfrak{o}$ the ring of integers of $F$. We study theta functions which are Hilbert modular forms of half-integral weight for the Hilbert modular group $\mathrm{SL}_2(\mathfrak{o})$. We obtain an equivalent condition that there exists a multiplier system of half-integral weight for $\mathrm{SL}_2(\mathfrak{o})$. We determine the condition of $F$ that there exists a theta function which is a Hilbert modular form of half-integral weight for $\mathrm{SL}_2(\mathfrak{o})$. The theta function is defined by a sum on a fractional ideal $\mathfrak{a}$ of $…
Bounding sup-norms of modular forms in terms of the level has been the focus of much recent study. In this work the sup norm of a half integral weight cusp form is bounded in terms of the level.
To study statistical properties of modular forms, including for instance Sato-Tate like problems, it is essential to have a large number of Fourier coefficients. In this article, we exhibit three bases for the space of modular forms of any half-integral weight and level 4, which have the property that many coefficients can be computed (relatively) quickly on a computer.
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 show that the Dirichlet series associated to the Fourier coefficients of a half-integral weight Hecke eigenform at squarefree integers extends analytically to a holomorphic function in the half-plane $\re s\textgreater{}\tfrac{1}{2}$. This exhibits a high fluctuation of the coefficients at squarefree integers.
We introduce a geometric formalism for studying modular forms of half-integral weight and explore some of its basic properties. Geometric Hecke operators are constructed and some basic spaces of $p$-adic forms are introduced. The $p$-adic theory is greatly expanded in subsequent papers, making that part of this paper largely obsolete.
We prove an equidistribution of signs for the Fourier coefficients of Hilbert modular forms of half-integral weight. Our study focuses on certain subfamilies of coefficients that are accessible via the Shimura correspondence. This is a generalization of the result of Inam and Wiese to the setting of totally real number fields
Hashimoto and Ueda determined the weights of generators of the graded ring of modular forms on the Cayley half-space of degree two. In this paper we describe explicit generators. We show that the graded ring can be generated by Eisenstein series by calculating the dimensions of the homogeneous components. Moreover we give two distinct constructions for the skew-symmetric form of weight 252.
In this paper, we study the parallel cases of Zagier's and Folsom-Ono's grids of weakly holomorphic (resp. weakly holomorphic and mock modular) forms of weights 3/2 and 1/2, investigating their $p$-adic properties under the action of Hecke operators.
For a half-integral weight modular form $f = \sum_{n=1}^{\infty} a_f(n)n^{\frac{k-1}{2}} q^n$ of weight $k = l +\frac{1}{2}$ on $Γ_0(4)$ such that $a_f(n)$ ($n$ $\in$ $\mathbb{N}$) are real, we prove for a fixed suitable natural number $r$ that $a_f(n)$ changes sign infinitely often as $n$ varies over numbers having at most $r$ prime factors, assuming the analog of the Ramanujan conjecture for half-integral weight forms.
In analogy with the classical theory of Eichler integrals for integral weight modular forms, Lawrence and Zagier considered examples of Eichler integrals of certain half-integral weight modular forms. These served as early prototypes of a new type of object, which Zagier later called a quantum modular form. Since then, a number of others have studied similar examples. Here we develop the theory in a general context, giving rise to a well-defined class of quantum modular forms. Since elements of this class show up frequently in examples of combinatorial and number theoretical interest, we propo…
This article is concerned with the Fourier coefficients of cusp forms (not necessarily eigenforms) of half-integer weight lying in the plus space. We give a soft proof that there are infinitely many fundamental discriminants $D$ such that the Fourier coefficients evaluated at $|D|$ are non-zero. By adapting the resonance method, we also demonstrate that such Fourier coefficients must take quite large values.
In this paper we prove a theorem about the coefficients in a block of a half integral weight modular form. We show that the result of Serre and Stark for weight 1/2 forms does not generalize to higher higher weights. Let f be a half integral weight cusp form of weight at leat 3/2. We consider blocks of coefficients of f and prove that, under some weak assumptions on f, if such a coefficient block is periodic when considered as a function of in the square root of its index, then it must vanish completely. The proof is analytic in nature and uses Shimura's lifting theorem together with estimates…
For a prime $p\equiv 3$ $(\text{mod }4)$ and $m\ge 2$, Romik raised a question about whether the Taylor coefficients around $\sqrt{-1}$ of the classical Jacobi theta function $θ_3$ eventually vanish modulo $p^m$. This question can be extended to a class of modular forms of half-integral weight on $Γ_1(4)$ and CM points; in this paper, we prove an affirmative answer to it for primes $p\ge5$. Our result is also a generalization of the results of Larson and Smith for modular forms of integral weight on $\mathrm{SL}_2(\mathbb{Z})$.
We study the probabilistic behavior of sums of Fourier coefficients in arithmetic progressions. We prove a result analogous to previous work of Fouvry-Ganguly-Kowalski-Michel and Kowalski-Ricotta in the context of half-integral weight holomorphic cusp forms and for prime power modulus. We actually show that these sums follow in a suitable range a mixed Gaussian distribution which comes from the asymptotic mixed distribution of Salié sums.
Let $E$ be a level 1, vector valued Eisenstein series of half-integral weight, normalized so that the coefficients are all in $\mathbb{Z}$. We show that there is a level one vector valued cusp form $f$ with the same weight as $E$ and with coefficients in $\mathbb{Z}$, which is congruent to $E$ modulo the constant term of $E$.
We obtain new lower bounds for the number of Fourier coefficients of a weakly holomorphic modular form of half-integral weight not divisible by some prime $\ell$. Among the applications of this we show that there are $\gg \sqrt{X}/\log \log X$ integers $n \leq X$ for which the partition function $p(n)$ is not divisible by $\ell$, and that there are $\gg \sqrt{X}/\log \log X$ values of $n \leq X$ for which $c(n)$, the $n$th Fourier coefficient of the $j$-invariant, is odd.
We study canonical bases for spaces of weakly holomorphic modular forms of level 4 and weights in $\mathbb{Z}+\frac{1}{2}$ and show that almost all modular forms in these bases have the property that many of their zeros in a fundamental domain for $Γ_0(4)$ lie on a lower boundary arc of the fundamental domain. Additionally, we show that at many places on this arc, the generating function for Hurwitz class numbers is equal to a particular mock modular Poincaré series, and show that for positive weights, a particular set of Fourier coefficients of cusp forms in this canonical basis cannot simult…
We introduce an alternate set of generators for the Hecka algebra, and give an explicit formula for the action of these operators on Fourier coefficients. With this, we compute the eigenvalues of Hecke operators acting on average Siegel theta series with half-integral weight (provided the prime associated to the operators does not divide the level of the theta series). Next, we bound the eigenvalues of these operators in terms of bounds on Fourier coefficients. Then we show that the half-integral weight Kitaoka subspace is stable under all Hecke operators. Finally, we observe that an obvious i…
The goal of this paper is to construct the p-adic analytic family of overconvergent half-integral weight modular forms using Hecke-equivariant overconvergent Shintani lifting. The classical Shintani map is the Hecke-equivariant map from the space of cusp forms of integral weight to the space of cusp forms of half-integral weight. Glenn Stevens proved in [St1] that there is Lamda-adic lifting of this map to the Hida family of ordinary cusp forms of integral weight and consequently constructed Lamda-adic modular eigen form of half-integral weight. The natural thing to do is generalizing his resu…
In this paper we present a geometric way to extend the Shintani lift from even weight cusp forms for congruence subgroups to arbitrary modular forms, in particular Eisenstein series. This is part of our efforts to extend in the noncompact situation the results of Kudla-Millson and Funke-Millson relating Fourier coefficients of (Siegel) modular forms with intersection numbers of cycles (with coefficients) on orthogonal locally symmetric spaces. In the present paper, the cycles in question are the classical modular symbols with nontrivial coefficients. We introduce "capped" modular symbols with …
Given a Hilbert cuspidal newform $g$ we construct a family of modular forms of half-integral weight whose Fourier coefficients give the central values of the twisted $L$-series of $g$ by fundamental discriminants. The family is parametrized by quadratic conditions on the primes dividing the level of $g$, where each form has coefficients supported on the discriminants satisfying the conditions. These modular forms are given as generalized theta series and thus their coefficients can be effectively computed. Our construction works over arbitrary totally real number fields, except that in the cas…
Recently, Bruinier and Ono classified cusp forms $f(z) := \sum_{n=0}^{\infty} a_f(n)q ^n \in S_{λ+1/2}(Γ_0(N),χ)\cap \mathbb{Z}[[q]]$ that does not satisfy a certain distribution property for modulo odd primes $p$. In this paper, using Rankin-Cohen Bracket, we extend this result to modular forms of half integral weight for primes $p \geq 5$. As applications of our main theorem we derive distribution properties, for modulo primes $p\geq5$, of traces of singular moduli and Hurwitz class number. We also study an analogue of Newman's conjecture for overpartitions.
Let $f$ be a half-integral weight cusp form of level $4N$ for odd and squarefree $N$ and let $a(n)$ denote its $n^{\rm th}$ normalized Fourier coefficient. Assuming that all the coefficients $a(n)$ are real, we study the sign of $a(n)$ when $n$ runs through an arithmetic progression. As a consequence, we establish a lower bound for the number of integers $n\le x$ such that $a(n)>n^{-α}$ where $x$ and $α$ are positive and $f$ is not necessarily a Hecke eigenform.
Let $k$ be a positive integer such that $k\equiv3\mod4$, and let $N$ be a positive square-free integer. In this paper, we compute a basis for the two-dimensional subspace $S_{\frac{k}{2}}(Γ_{0}(4N),F)$ of half-integral weight modular forms associated, via the Shimura correspondence, to a newform $F\in S_{k-1}(Γ_{0}(N))$, which satisfies $L(F,\frac{1}{2})\neq0$. This is accomplished by using a result of Waldspurger, which allows one to produce a basis for the forms that correspond to a given $F$ via local considerations, once a form in the Kohnen space has been determined
Let $f\in S_{k+1/2}(N,χ)$ be a Hecke eigenform of half integral weight $k+1/2\,(k\geq 2)$ and the real nebentypus $χ=\pm 1$ where the Fourier coefficients $a(n)$ are reals. We prove that the sequence $\{χ(p^ν)a(tp^{2ν})\}_{ν\in\N}$ has infinitely many sign changes for almost all primes $p$ where $t$ is a squarefree integer such that $a(t)\neq 0$. The same result holds for the sequences of Fourier coefficients $\{a(tp^{2(2ν+1)})\}_{ν\in\N}$ and $\{a(tp^{4ν})\}_{ν\in\N}$.
We estimate the sums \[ \sum_{c\leq x} \frac{S(m,n,c,χ)}{c}, \] where the $S(m,n,c,χ)$ are Kloosterman sums of half-integral weight on the modular group. Our estimates are uniform in $m$, $n$, and $x$ in analogy with Sarnak and Tsimerman's improvement of Kuznetsov's bound for the ordinary Kloosterman sums. Among other things this requires us to develop mean value estimates for coefficients of Maass cusp forms of weight $1/2$ and uniform estimates for $K$-Bessel integral transforms. As an application, we obtain an improved estimate for the classical problem of estimating the size of the error t…
In \cite{Shimura}, Shimura introduced modular forms of half-integral weight, their Hecke algebras and their relation to integral weight modular forms via the Shimura correspondence. For modular forms of integral weight, Sturm's bounds give generators of the Hecke algebra as a module. We also have well-known recursion formulae for the operators $T_{p^\ell}$ with $p$ prime. It is the purpose of this paper to prove analogous results in the half-integral weight setting. We also give an explicit formula for how operators $T_{p^{\ell}}$ commute with the Shimura correspondence.
The Shimura correspondence connects modular forms of integral weights and half-integral weights. One of the directions is realized by the Shintani lift, where the inputs are holomorphic differentials and the outputs are holomorphic modular forms of half-integral weight. In this article, we generalize this lift to differentials of the third kind. As an application we obtain a modularity result concerning the generating series of winding numbers of closed geodesics on the modular curve.
This work represents a systematic computational study of the distribution of the Fourier coefficients of cuspidal Hecke eigenforms of level $Γ_0(4)$ and half-integral weights. Based on substantial calculations, the question is raised whether the distribution of normalised Fourier coefficients with bounded indices can be approximated by a generalised Gaussian distribution. Moreover, it is argued that the apparent symmetry around zero of the data lends strong evidence to the Bruinier-Kohnen Conjecture on the equidistribution of signs and even suggests the strengthening that signs and absolute va…
For each prime $\ell$, let $|\cdot|_\ell$ be an extension to $\bar \Q$ of the usual $\ell$-adic absolute value on $\Q$. Suppose $g(z) = \sum_{n=0}^\infty c(n)q^n \in M_{k+\half}(N)$ is an eigenform whose Fourier coefficients are algebraic integers. Under a mild condition, for all but finitely many primes $\ell$ there are infinitely many square-free integers $m$ for which $|c(m)|_\ell = 1$. Consequently we obtain indivisibility results for ``algebraic parts'' of central critical values of modular $L$-functions and class numbers of imaginary quadratic fields. These results partially answer a con…
We prove Ibukiyama's conjectures on Siegel modular forms of half-integral weight and of degree 2 by using Arthur's multiplicity formula on the split odd special orthogonal group $\SO_5$ and Gan-Ichino's multiplicity formula on the metaplectic group $\Mp_4$. In the proof, the representation theory of the Jacobi groups also plays an important role.
We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by $\pm 1$. We analyze the minimal modular form $Θ_{F_4}$ on the double cover of $F_4$, following Loke--Savin and Ginzburg. Using $Θ_{F_4}$, we define a modular form of weight $\frac{1}{2}$ on (the double cover of) $G_2$. We prove that the Fourier coefficients of this modular form on $G_2$ see the $2$-torsion in the narrow class groups of totally real cubic fields.
In this paper, we prove that, for an integer $r$ with $(r,6)=1$ and $0<r<24$ and a nonnegative even integer $s$, the set {η(24τ)^rf(24τ):f(τ)\in M_s(1)} is isomorphic to S_{r+2s-1}^{\text{new}}(6,-(\frac8r),-(\frac{12}r))\otimes(\frac{12}\cdot) as Hecke modules under the Shimura correspondence. Here $M_s(1)$ denotes the space of modular forms of weight $s$ on $Γ_0(1)=\mathrm{SL}(2,\Z)$, $S_{2k}^{\text{new}}(6,ε_2,ε_3)$ is the space of newforms of weight $2k$ on $Γ_0(6)$ that are eigenfunctions with eigenvalues $ε_2$ and $ε_3$ for Atkin-Lehner involutions $W_2$ and $W_3$, respectively, and the …
Let $f=\sum_{n=1}^{\infty}a(n)q^{n}\in S_{k+1/2}(N,χ_{0})$ be a non-zero cuspidal Hecke eigenform of weight $k+\frac{1}{2}$ and the trivial nebentypus $χ_{0}$ where the Fourier coefficients $a(n)$ are real. Bruinier and Kohnen conjectured that the signs of $a(n)$ are equidistributed. This conjecture was proved to be true by Inam, Wiese and Arias-de-Reyna for the subfamilies $\{a(t n^{2})\}_{n}$ where $t$ is a squarefree integer such that $a(t)\neq 0$. Let $q$ and $d$ be natural numbers such that $(d,q)=1$. In this work, we show that $\{a(t n^{2})\}_{n}$ is equidistributed over any arithmetic p…
Suppose that $\ell \geq 5$ is prime. For a positive integer $N$ with $4 \mid N$, previous works studied properties of half-integral weight modular forms on $Γ_0(N)$ which are supported on finitely many square classes modulo $\ell$, in some cases proving that these forms are congruent to the image of a single variable theta series under some number of iterations of the Ramanujan $Θ$-operator. Here, we study the analogous problem for modular forms of half-integral weight on $\operatorname{SL}_{2}(\mathbb{Z})$. Let $η$ be the Dedekind eta function. For a wide range of weights, we prove that every…
Sander Zwegers showed that Ramanujan's mock theta functions are $q$-hypergeometric series, whose $q$-expansion coefficients are half of the Fourier coefficients of a non-holomorphic modular form. George Andrews, Henri Cohen, Freeman Dyson, and Dean Hickerson found a pair of $q$-hypergeometric series each of which contains half of the Fourier coefficients of Maass waveform of eigenvalue $1/4$. This series of papers shows that a $q$-series construction, called ``renormalization'', yields the other half of the Fourier coefficients from a series which contains half of them. This construction unifi…
Sander Zwegers showed that Ramanujan's mock theta functions are $q$-hypergeometric series, whose $q$-expansion coefficients are half of the Fourier coefficients of a non-holomorphic modular form. George Andrews, Henri Cohen, Freeman Dyson, and Dean Hickerson found a pair of $q$-hypergeometric series each of which contains half of the Fourier coefficients of Maass waveform of eigenvalue $1/4$. This series of papers shows that a $q$-series construction, called ``renormalization'', yields the other half of the Fourier coefficients from a series which contains half of them. This construction unifi…
We generalize to Hilbert modular varieties of arbitrary dimension the work of W. Duke (Inventiones 1988) on the equidistribution of Heegner points and of primitive positively oriented closed geodesics in the Poincare upper half plane, subject to certain subconvexity results. We also prove vanishing results for limits of cuspidal Weyl sums associated with analogous problems for the Siegel upper half space of degree 2. In particular, these Weyl sums are associated with families of Humbert surfaces in Siegel 3-folds and of modular curves in these Humbert surfaces.
We prove a subconvexity bound in the conductor aspect for $L(s,f,χ)$ where $f$ is a half integer weight modular form. This $L$-function has analytic continuation and functional equation, but no Euler product. Due to the lack of an Euler product, one does not expect a Riemann hypothesis for half integer weight modular forms. Nevertheless one may speculate a Lindelof-type hypothesis, and this current subconvexity result is an indication towards its truth.
We characterize all logarithmic, holomorphic vector-valued modular forms which can be analytically continued to a region strictly larger than the upper half-plane.
We formulate a notion of modular form on the double half-plane for half-integral weights and explain its relationship to the usual notion of modular form. The construction we provide is compatible with certain physical considerations due to the second author.
Let $g$ be a Hecke cusp form of half-integral weight, level $4$ and belonging to Kohnen's plus subspace. Let $c(n)$ denote the $n$th Fourier coefficient of $g$, normalized so that $c(n)$ is real for all $n \geq 1$. A theorem of Waldspurger determines the magnitude of $c(n)$ at fundamental discriminants $n$ by establishing that the square of $c(n)$ is proportional to the central value of a certain $L$-function. The signs of the sequence $c(n)$ however remain mysterious. Conditionally on the Generalized Riemann Hypothesis, we show that $c(n) < 0$ and respectively $c(n) > 0$ holds for a positive …
In 1975, Cohen constructed a kind of one-variable modular forms of half-integral weight, says $r+(1/2),$ whose $n$-th Fourier coefficient $H(n)$ only occurs when $(-1)^r n$ is congruent to 0 or 1 modulo 4. The space of modular forms whose Fourier coefficients have the above property is called Kohnen plus space, initially introduced by Kohnen in 1980. Recently, Hiraga and Ikeda generalized the Kohnen plus space to the spaces for half-integral weight Hilbert modular forms with respect to general totally real number fields. If one such Hilbert modular form $f$ of parallel weight $κ+(1/2)$ lying i…
