Let r : G_Q -> GL_n Q_l be a motivic l-adic Galois representation. For fixed m > 1 we initiate an investigation of the density of the set of primes p such that the trace of the image of an arithmetic Frobenius at p under r is an m^th power residue modulo p. Based on numerical investigations with modular forms we conjecture (with Ramakrishna) that this density equals 1/m whenever the image of r is open. We further conjecture that for such r the set of these primes p is independent of any set defined by Cebatorev-style Galois theoretic conditions (in an appropriate sense). We then compute these densities for certain m in the complementary case of modular forms of CM-type with rational Fourier coefficients; our proofs are a combination of the Cebatorev density theorem (which does apply in the CM case) and reciprocity laws applied to Hecke characters. We also discuss a potential application (suggested by Ramakrishna) to computing inertial degrees at p in abelian extensions of imaginary quadratic fields unramified away from p.
In this paper, we derive a new computational algorithm for Barrett technique for modular polynomial multiplication, termed BA-P. BA-P is then applied to a new residue arithmetic based Barrett algorithm for modular polynomial multiplication (BA-MPM). The focus of the work is an algorithm that carries out the entire computation using only modular arithmetic without conversion to large degree polynomials. There are several parts to this work. First, we set up a new BA-P using polynomials other than u^alfa. Second, residue arithmetic based BA-MPM is described. A complete mathematical framework is …
Fix m >= 1 and let E be an elliptic curve over Q with complex multiplication. We formulate conjectures on the density of primes p (congruent to one modulo m) for which the pth Fourier coefficient of E is an mth power modulo p; often these densities differ from the naive expectation of 1/m. We also prove our conjectures for m dividing the number of roots of unity lying in the CM field of E; the most involved case is m=4 and complex multiplication by Q(i).
In this paper, we derive new computational techniques for residue number systems (RNS) based Barrett algorithm (BA). The focus of the work is an algorithm that carries out the entire computation using only modular arithmetic without conversion to large integers via the Chinese Remainder Theorem (CRT). It also avoids the computationally expensive scaling-rounding operation required in the earlier work. There are two parts to this work. First, we set up a new BA using two constants other than powers of two. Second, a RNS based BA is described. A complete mathematical framework is described inclu…
In this paper we present two efficient methods for reconstructing a rational number from several residue-modulus pairs, some of which may be incorrect. One method is a natural generalization of that presented by Wang, Guy and Davenport in \cite{WGD1982} (for reconstructing a rational number from \textit{correct} modular images), and also of an algorithm presented in \cite{Abb1991} for reconstructing an \textit{integer} value from several residue-modulus pairs, some of which may be incorrect.
We survey divisibility properties of the Fourier coefficients of modular functions inspired by Ramanujan. Then using recent results of the generalized Hecke operator on harmonic Maass functions and known divisibility of Fourier coefficients of modular functions, we establish congruence relations of the Fourier coefficients of certain modular functions and mock modular functions of various levles.
We study several aspects of nonvanishing Fourier coefficients of elliptic modular forms $\bmod \ell$, partially answering a question of Bellaïche-Soundararajan concerning the asymptotic formula for the count of the number of Fourier coefficients upto $x$ which do not vanish $\bmod \ell$. We also propose a precise conjecture as a possible answer to this question. Further, we prove several results related to the nonvanishing of arithmetically interesting (e.g., primitive or fundamental) Fourier coefficients $\bmod \ell $ of a Siegel modular form with integral algebraic Fourier coefficients provi…
We describe the $p$-divisibility transposition for the Fourier coefficients of Siegel modular forms. This provides a supplement to the result by Wilton for $p$-divisibility satisfied by the Ramanujan $τ$-function.
We prove the following theorem. Suppose that $F=(f_1, f_2)$ is a 2-dimensional vector-valued modular form on $SL_2(Z)$ whose component functions $f_1, f_2$ have rational Fourier coefficients with bounded denominators. Then $f_1$ and $f_2$ are classical modular forms on a congruence subgroup of the modular group.
We generalize Merel's work on universal Fourier expansions to Bianchi modular forms over Euclidean imaginary quadratic fields, under the assumption of the nondegeneracy of a pairing between Bianchi modular forms and Bianchi modular symbols. Among the key inputs is a computation of the action of Hecke operators on Manin symbols, and building upon the Heilbronn-Merel matrices constructed by Mohamed.
The aim of this article is to study the fields generated by the Fourier coefficients of Hilbert newforms at arbitrary cusps. Precisely, given a cuspidal Hilbert newform $f$ and a matrix $σ$ in (a suitable conjugate of) the Hilbert modular group, we give a cyclotomic extension of the field generated by the Fourier coefficients at infinity which contains all the Fourier coefficients of $f||_kσ$.
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 discuss the approximation of real numbers by Fourier coefficients of newforms, following recent work of Alkan, Ford and Zaharescu. The main tools used here, besides the (now proved) Sato-Tate Conjecture, come from metric number theory.
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.
Let $ρ: SL(2,\mathbb{Z})\to GL(2,\mathbb{C})$ be an irreducible representation of the modular group such that $ρ(T)$ has finite order $N$. We study holomorphic vector-valued modular forms $F(τ)$ of integral weight associated to $ρ$ which have \emph{rational} Fourier coefficients. (These span the complex space of all integral weight vector-valued modular forms associated to $ρ$.) As a special case of the main Theorem, we prove that if $N$ does \emph{not} divide 120 then every nonzero $F(τ)$ has Fourier coefficients with \emph{unbounded denominators}.
In this note, we explicitly construct mock modular forms with integral Fourier coefficients by evaluating regularized Petersson inner products involving their shadows, which are unary theta functions of weights 1/2 and 3/2 . In addition, we also improve the known bounds for the denominators of the coefficients of mock modular forms whose shadows are holomorphic weight one cusp forms constructed by Hecke.
We investigate integrality and divisibility properties of Fourier coefficients of meromorphic modular forms of weight $2k$ associated to positive definite integral binary quadratic forms. For example, we show that if there are no non-trivial cusp forms of weight $2k$, then the $n$-th coefficients of these meromorphic modular forms are divisible by $n^{k-1}$ for every natural number $n$. Moreover, we prove that their coefficients are non-vanishing and have either constant or alternating signs. Finally, we obtain a relation between the Fourier coefficients of meromorphic modular forms, the coeff…
In this article, we give some results on simultaneous non-vanishing and simultaneous sign-changes for the Fourier coefficients of two modular forms. More precisely, given two modular forms $f$ and $g$ with Fourier coefficients $a_n$ and $b_n$ respectively, we consider the following questions: existence of infinitely many primes $p$ such that $a_p b_p\neq 0$; simultaneous non-vanishing in the short intervals and in arithmetic progressions; simultaneous sign changes in short intervals.
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.
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.
We determine the structure over $\mathbb{Z}$ of the ring of symmetric Hermitian modular forms with respect to $\mathbb{Q}(\sqrt{-1})$ of degree $2$ (with a character), whose Fourier coefficients are integers. Namely, we give a set of generators consisting of $24$ modular forms. As an application of our structure theorem, we give the Sturm bounds of such the modular forms of weight $k$ with $4\mid k$, in the case $p=2$, $3$. We remark that the bounds for $p\ge 5$ are already known.
Let $d(n)$ denote the number of divisors of $n$. In this paper, we study the average value of $d(a(p))$, where $p$ is a prime and $a(p)$ is the $p$-th Fourier coefficient of a normalized Hecke eigenform of weight $k \ge 2$ for $Γ_0(N)$ having rational integer Fourier coefficients.
A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a finite number of equivalence classes: if a vector-valued modular form associated to such a representation has rational Fourier coefficients, then these coefficients have "unbounded denominators", i.e. there is a prime number p, depending on the representation, which occurs to an arbitrarily high power in the denominators of the coefficients. This provides a verif…
We prove a formula of Petersson's type for Fourier coefficients of Siegel cusp forms of degree 2 with respect to congruence subgroups, and as a corollary, show upper bound estimates of individual Fourier coefficient. The method in this paper is essentially a generalization of Kitaoka's previous work which studied the full modular case, but some modification is necessary to obtain estimates which are sharp with respect to the level aspect.
In this article, we study the simultaneous sign changes of the Fourier coefficients of two Hilbert cusp forms of different integral weights. We also study the simultaneous non-vanishing of Fourier coefficients, of two distinct non-zero primitive Hilbert cuspidal non-CM eigenforms of integral weights, at powers of a fixed prime ideal.
In this paper, we investigate Fourier expansions of meromorphic modular forms. Over the years, a number of special cases of meromorphic modular forms were shown to have Fourier expansions closely resembling the expansion of the reciprocal of the weight $6$ Eisenstein series which was computed by Hardy and Ramanujan. By investigating meromorphic modular forms within a larger space of so-called polar harmonic Maass forms, we prove in this paper that all negative-weight meromorphic modular forms (and furthermore all quasi-meromorpic modular forms) have Fourier expansions of this type, granted tha…
We prove a non-vanishing result of modular L-values with quadratic twists, where the quadratic discriminants are in a short interval. Using this fact and Waldspurger's theorem, we improve the results of Balog-Ono[The chebotarev density theorem in short intervals and some questions of Serre, Journal of number theory. 91(2):356-371(2001)] on the non-vanishing of Fourier coefficients of half-integral weight eigenform.
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.
Let F be a Siegel cusp form of weight k and genus n>1 with Fourier-Jacobi coefficients f_m. In this article, we estimate the growth of the Petersson norms of f_m, where m runs over an arithmetic progression. This result sharpens a recent result of Kohnen in [5].
This article is a research exposition based on the author's talk at the International Colloquium on Automorphic Representations and L-Functions, 2012, held at TIFR, Mumbai. We consider some special cases of the following question: when is a natural subset of the Fourier coefficients sufficient to uniquely determine a "modular form"? Two kinds of modular forms are considered in this article: a) classical modular forms of half-integral weight, and b) Siegel modular forms of genus 2 and integral weight. These two apparently different scenarios turn out to be closely related. Our results were moti…
We present a method to increase the dynamical range of a Residue Number System (RNS) by adding virtual RNS layers on top of the original RNS, where the required modular arithmetic for a modulus on any non-bottom layer is implemented by means of an RNS Montgomery multiplication algorithm that uses the RNS on the layer below. As a result, the actual arithmetic is deferred to the bottom layer. The multiplication algorithm that we use is based on an algorithm by Bajard and Imbert, extended to work with pseudo-residues (remainders with a larger range than the modulus). The resulting Recursive Resid…
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.
We correct a mistake in \cite{St} leading to erroneous formulas in Theorems 5.2 and 5.4. As an immediate corollary of a formula in \cite{BCJ} we give a formula, which relates the Hecke operators $T(p^2)\circ T(p^{2l-2})$, $T(p^{2l})$ and $T(p^{2l-4})$ and comment on it.
We study sums of additively twisted Fourier coefficients of a holomorphic cusp form, a Maass cusp form, and the symmetric-square lift of a holomorphic cusp form. We obtain bounds that are uniform with respect to both the form and the terms of the additive twist. We also improve a bound on a sum of additively twisted Fourier coefficients of a holomorphic cusp form that have also been twisted by a nonlinear exponential term. This last bound is uniform with respect to the terms of the additive twist but it is not uniform with respect to the form.
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.
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 $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}$.
Associated to an (adelic) Hilbert modular form is a sequence of `Fourier coefficients' which uniquely determine the form. In this paper we characterize Hilbert modular cusp forms by the size of their Fourier coefficients. This answers in the affirmative a question posed by Winfried Kohnen.
We prove that if $F$ is a non-zero (possibly non-cuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many non-zero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. In an Appendix, as an application of a variant of our result and building upon the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor $L$-function of a holomorphic cuspidal Siegel eigenform …
