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 conjecture of Kolyvagin regarding Tate-Shafarevich groups of modular elliptic curves. Similar results were obtained earlier by Jochnowitz by a completely different method. Our method uses standard facts about Galois representations attached to modular forms, and pleasantly uncovers surprising Kronecker-style congruences for $L$-function values. For example if $Δ(z)$ is Ramanujan's cusp form and $g(z)=\sum_{n=1}^{\infty}c(n)q^n$ is the cusp form for which $$L(Δ_D,6)=\fracwithdelims()π{D}^6\frac{\sqrt{D}}{5!}\frac{< Δ(z),Δ(z)>} {< g(z),g(z)>}\cdot c(D)^2,$$ for fundamental discriminants $D>0,$ then for $N\geq 1$ $$\sum_{k=-\infty}^\infty c(N-k^2) \equiv \half \sum_{d|N}(χ_{-1}(d)+χ_{-1}(N/d))d^6 \pmod {61}. \tag{0}$$
This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials have a root in common in a sense that is defined. These techniques are applied to the study of congruences of modular forms and modular Galois representations modulo prime powers. Finally, some computational results with implications on the (non-)liftability of modular forms modulo prime powers and possible generalisations of level raising are presented.
We determine the ring structure of Siegel modular forms of degree g modulo a prime p, extending Nagaoka's result in the case of degree g=2. We characterize U(p) congruences of Jacobi forms and Siegel modular forms, and surprisingly find different behaviors of Siegel modular forms of even and odd degrees.
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.
This article surveys modularity, level raising and level lowering questions for two-dimensional representations modulo prime powers of the absolute Galois group of the rational numbers. It contributes some new results and describes algorithms and a database of modular forms orbits and higher congruences.
Sturm obtained the bounds for the number of the first Fourier coefficients of elliptic modular form $f$ to determine vanishing of $f$ modulo a prime $p$. In this paper, we study analogues of Sturm's bound for Siegel modular forms of genus 2. We show the resulting bound is sharp. As an application, we study congruences involving Atkin's $U(p)$-operator for the Fourier coefficients of Siegel mdoular forms of genus 2.
For any natural number $\ell $ and any prime $p\equiv 1 \pmod{4}$ not dividing $\ell $ there is a Hermitian modular form of arbitrary genus $n$ over $L:=\Q [\sqrt{-\ell}]$ that is congruent to 1 modulo $p$ which is a Hermitian theta series of an $O_L$-lattice of rank $p-1$ admitting a fixed point free automorphism of order $p$. It is shown that also for non-free lattices such theta series are modular forms.
We study the supersingular curves on Picard modular surfaces modulo a prime $p$ which is inert in the underlying quadratic imaginary field. We analyze the automorphic vector bundles in characteristic $p$, and as an application derive a formula relating the number of irreducible components in the supersingular locus to the second Chern class of the surface.
In this paper we present a probabilistic algorithm to compute the coefficients of modular forms of level one. Focus on the Ramanujan's tau function, we give out the explicit complexity of the algorithm. From a practical viewpoint, the algorithm is particularly well suited for implementations.
In this work we provide a level raising theorem for $\mod λ^n$ modular Galois representations. It allows one to see such a Galois representation that is modular of level $N$, weight 2 and trivial Nebentypus as one that is modular of level $Np$, for a prime $p$ coprime to $N$, when a certain local condition at $p$ is satisfied. It is a generalization of a result of Ribet concerning $\mod \ell$ Galois representations.
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.
Given a prime $p \ge 5$ and an abstract odd representation $ρ_n$ with coefficients modulo $p^n$ (for some $n \ge 1$) and big image, we prove the existence of a lift of $ρ_n$ to characteristic $0$ whenever local lifts exist (under some technical conditions). Moreover, we can chose the inertial type of our lift at all primes but finitely many (where the lift is of Steinberg type). We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. In particular, our method shows that given a modular eigenform $f$ witho…
For a prime $p$ larger than $7$, the Eisenstein series of weight $p-1$ has some remarkable congruence properties modulo $p$. Those imply, for example, that the $j$-invariants of its zeros (which are known to be real algebraic numbers in the interval $[0,1728]$), are at most quadratic over the field with $p$ elements and are congruent modulo $p$ to the zeros of a certain truncated hypergeometric series. In this paper we introduce "theta modular forms" of weight $k \geq 4$ for the full modular group as the modular forms for which the first dim$(M_k)$ Fourier coefficients are identical to certain…
We study the reduction of Picard modular surfaces modulo an inert prime, mod p and p-adic modular forms. We construct a theta operator on such modular forms and study its poles and its effect on Fourier-Jacobi expansions.
We consider the classical theta operator $θ$ on modular forms modulo $p^m$ and level $N$ prime to $p$ where $p$ is a prime greater than 3. Our main result is that $θ$ mod $p^m$ will map forms of weight $k$ to forms of weight $k+2+2p^{m-1}(p-1)$ and that this weight is optimal in certain cases when $m$ is at least 2. Thus, the natural expectation that $θ$ mod $p^m$ should map to weight $k+2+p^{m-1}(p-1)$ is shown to be false. The primary motivation for this study is that application of the $θ$ operator on eigenforms mod $p^m$ corresponds to twisting the attached Galois representations with the …
Using a family of mock modular forms constructed by Zagier, we study the coefficients of a mock modular form of weight $3/2$ on $\operatorname{SL}_2(\mathbb{Z})$ modulo primes $\ell\geq 5$. These coefficients are related to the smallest parts function of Andrews. As an application, we reprove a theorem of Garvan regarding the properties of this function modulo $\ell$. As another application, we show that congruences modulo $\ell$ for the smallest parts function are rare in a precise sense.
Let $p$ be a prime. We discuss $p$-adic properties of various arithmetical functions related to the coefficients of modular form and generating functions. Modular forms are considered as a tool of solving arithmetical problems. Examples of congruences between modular forms modulo $p$ and modulo $p^n$ are given, and the use of a computer for the study of modular forms is illistrated.
We study modular Galois representations mod $p^m$. We show that there are three progressively weaker notions of modularity for a Galois representation mod $p^m$: we have named these `strongly', `weakly', and `dc-weakly' modular. Here, `dc' stands for `divided congruence' in the sense of Katz and Hida. These notions of modularity are relative to a fixed level $M$. Using results of Hida we display a `stripping-of-powers of $p$ away from the level' type of result: A mod $p^m$ strongly modular representation of some level $Np^r$ is always dc-weakly modular of level $N$ (here, $N$ is a natural numb…
Generalised Heegner cycles are associated to a pair of an elliptic Hecke eigenform and a Hecke character over an imaginary quadratic extension $K/\Q$. Let $p$ be an odd prime split in $K/\Q$ and $l\neq p$ an odd unramified prime. We prove the non-triviality of the $p$-adic Abel-Jacobi image of generalised Heegner cycles modulo $p$ over the $\Z_l$-anticylotomic extension of $K$. The result is an evidence for the refined Bloch-Beilinson and the Bloch-Kato conjecture. In the case of two, it provides a refinement of the results of Cornut and Vatsal on the non-triviality of Heegner points over the …
Let $b_{\ell, k}(n), b_{\ell, k, r}(n)$ count the number of $(\ell, k)$, $(\ell, k, r)$-regular partitions respectively. In this paper we shall derive infinite families of congruences for $b_{\ell, k}(n)$ modulo $2$ when $ (\ell, k) = (3,8), (4, 7)$, for $b_{\ell, k}(n)$ modulo $8$, modulo $9$ and modulo $12$ when $(\ell, k) = (4, 9)$ and $b_{\ell, k, r}(n)$ modulo $2$ when $(\ell, k, r) = (3, 5, 8)$.
We consider the reduction of an elliptic curve defined over the rational numbers modulo primes in a given arithmetic progression and investigate how often the subgroup of rational points of this reduced curve is cyclic as a special case of Serre's Cyclicity Conjecture.
We describe the image of general families of two-dimensional representations over compact semi-local rings. Applying this description to the family carried by the universal Hecke algebra acting on the space of modular forms of level $N$ modulo a prime $p$, we prove new results about the coefficients of modular forms mod $p$. If $f=\sum_{n=0}^\infty a_n q^n$ is such a form, for which we can assume without loss of generality that $a_n=0$ if $(n,Np)>1$, calling $δ(f)$ the density of the set of primes $\ell$ such that $a_\ell \neq 0$, we prove that $δ(f)>0$ provided that $f$ is not zero (and if $p…
Modular forms mod 2 : structure of the Hecke ring We show that the Hecke algebra for modular forms mod 2 of level 1 is isomorphic to the power series ring F2[[x, y]], where x = T3 and y = T5.
The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras. We study the arithmetic of the Hilbert modular forms by studying their modulo $p$ Galois representations and our main…
In this paper we determine the explicit structure of the semisimple part of the Hecke algebra that acts on Drinfeld modular forms of full level modulo T . We use computations of the Hecke action modulo T to find Drinfeld modular forms that cannot be eigenforms. Finally, we conjecture that the Hecke algebra that acts on Drinfeld modular forms of full level is not smooth for large weight.
In this paper we shall investigate the problem of the representation of the number of integral points of an elliptic curve modulo a prime number p. We present a way of expressing an exponential sum which involves polynomials of third degree, in explicit non-exponential terms. In the process, we present explicit formulas for the calculation of some series involving the Riemann Zeta function.
When adding integers in base $m$, carries occur. The same happens modulo a generic integer $q$ when the set of digits is a complete set of residues modulo $m$ for some positive integer $m$ dividing $q$. In this paper we prove that asymptotically every digital set in this setting induces carries with frequency at least $1/4$, thus generalizing results of Alon, Diaconis, Shao and Soundararajan.
Let F be a non-Archimedean locally compact field of residue characteristic p, let D be a finite dimensional central division F-algebra and let l be a prime number different from p. We develop a theory of l-modular types for the group GL(m,D), m\>1, in preparation of the study of the l-modular smooth representations of this group.
Consider the Fourier expansions of two elements of a given space of modular forms. How many leading coefficients must agree in order to guarantee that the two expansions are the same? Sturm gave an upper bound for modular forms of a given weight and level. This was adapted by Ram Murty, Kohnen and Ghitza to the case of two eigenforms of the same level but having potentially different weights. We consider their expansions modulo a prime ideal, presenting a new bound. In the process of analysing this bound, we generalise a result of Bach and Sorenson, who provide a practical upper bound for the …
Let p\in\{2,3\}, and let k be an imaginary quadratic field in which p decomposes into two distinct primes \mathfrak{p} and \bar{\mathfrak{p}}. Let k_\infty be the unique Z_p-extension of k which is unramified outside of \mathfrak{p}, and let K_\infty be a finite extension of k_\infty, abelian over k. We prove that in K_\infty, the projective limit of the p-class group and the projective limit of units modulo elliptic units share the same μ-invariant and the same λ-invariant. Then we prove that up to a constant, the characteristic ideal of the projective limit of the p-class group coincides wit…
Let p be a prime number, and let k be an imaginary quadratic field in which p decomposes into two primes \mathfrak{p} and \bar{\mathfrak{p}}. Let k_\infty be the unique Z_p-extension of k which is unramified outside of \mathfrak{p}, and let K_\infty be a finite extension of k_\infty, abelian over k. Let U_\infty/C_\infty be the projective limit of principal semi-local units modulo elliptic units. We prove that the various modules of invariants and coinvariants of U_\infty/C_\infty are finite.
We work out a non-trivial example of lifting a so-called weak eigenform to a true, characteristic 0 eigenform. The weak eigenform is closely related to Ramanujan's tau function whereas the characteristic 0 eigenform is attached to an elliptic curve defined over ${\mathbb Q}$. We produce the lift by showing that the coefficients of the initial, weak eigenform (almost all) occur as traces of Frobenii in the Galois representation on the 4-torsion of the elliptic curve. The example is remarkable as the initial form is known not to be liftable to any characteristic 0 eigenform of level 1. We use th…
We study the relationship between recent conjectures on slopes of overconvergent p-adic modular forms "near the boundary" of p-adic weight space. We also prove in tame level 1 that the coefficients of the Fredholm series of the U_p operator never vanish modulo p, a phenomenon that fails at higher level. In higher level, we do check that infinitely many coefficients are non-zero modulo p using a modular interpretation of the mod p reduction of the Fredholm series recently discovered by Andreatta, Iovita and Pilloni.
We give an explicit construction of vector-valued Yoshida lifts and derive a formula of the Bessel periods of Yoshida lifts, by which we prove the non-vanishing modulo a prime of Yoshida lifts attached to a pair of elliptic modular newforms. As a consequence, we obtain a new proof of the non-vanishing of Yoshida lifts.
Let $b_\ell(n)$ be the number of $\ell$-regular partitions of $n$. Recently, Hou et al established several infinite families of congruences for $b_\ell(n)$ modulo $m$, where $(\ell,m)=(3,3),(6,3),(5,5),(10,5)$ and $(7,7)$. In this paper, by the vanishing property given by Hou et al, we show an infinite family of congruence for $b_{11}(n)$ modulo $11$. Moreover, for $\ell= 3, 13$ and $25$, we obtain three infinite families of congruences for $b_{\ell}(n)$ modulo $3, 5$ and $13$ by the theory of Hecke eigenforms.
We investigate certain finiteness questions that arise naturally when studying approximations modulo prime powers of p-adic Galois representations coming from modular forms. We link these finiteness statements with a question by K. Buzzard concerning p-adic coefficient fields of Hecke eigenforms. Specifically, we conjecture that for fixed N, m, and prime p with p not dividing N, there is only a finite number of reductions modulo p^m of normalized eigenforms on Γ_1(N). We consider various variants of our basic finiteness conjecture, prove a weak version of it, and give some numerical evidence.
Consider the Drinfeld modular curve $X_0(\mathfrak{p})$ for $\mathfrak{p}$ a prime ideal of $\mathbb{F}_q[T]$. It was previously known that if $j$ is the $j$-invariant of a Weierstrass point of $X_0(\mathfrak{p})$, then the reduction of $j$ modulo $\mathfrak{p}$ is a supersingular $j$-invariant. In this paper we show the converse: Every supersingular $j$-invariant is the reduction modulo $\mathfrak{p}$ of the $j$-invariant of a Weierstrass point of $X_0(\mathfrak{p})$.
Let $ϕ= \sum_{r^{2} \leq 4mn}c(n,r)q^{n}ζ^{r}$ be a Jacobi form of weight $k$ (with $k > 2$ if $ϕ$ is not a cusp form) and index $m$ with integral algebraic coefficients which is an eigenfunction of all Hecke operators $T_{p}, (p,m) = 1,$ and which has at least one nonvanishing coefficient $c(n,r)$ with $r$ prime to $m$. We prove that for almost all primes $\ell$ there are infinitely many fundamental discriminants $D = r^{2}-4mn < 0$ prime to $m$ with $ν_{\ell}(c(n,r)) = 0$, where $ν_{\ell}$ denotes a continuation of the $\ell$-adic valuation on $\mathbb{Q}$ to an algebraic closure. As applica…
After extending the theory of Rankin-Selberg local factors to pairs of $\ell$-modular representations of Whittaker type, of general linear groups over a non-archimedean local field, we study the reduction modulo $\ell$ of $\ell$-adic local factors and their relation to these $\ell$-modular local factors. While the $\ell$-modular local $γ$-factor we associate to such a pair turns out to always coincide with the reduction modulo $\ell$ of the $\ell$-adic $γ$-factor of any Whittaker lifts of this pair, the local $L$-factor exhibits a more interesting behaviour; always dividing the reduction modul…
By work of Bringmann, Ono, and Rhoades it is known that the generating function of the $M_2$-rank of partitions without repeated odd parts is the so-called holomorphic part of a certain harmonic Maass form. Here we improve the standing of this function as a harmonic Maass form and show more can be done with this function. In particular we show the related harmonic Maass form transforms like the generating function for partitions without repeated odd parts (which is a modular form). We then use these improvements to determine formulas for the rank differences modulo $7$. Additionally we give id…
Let F be a non-Archimedean local field of residual characteristic p, and {\ell} be a prime number different from p. We consider the local Jacquet-Langlands correspondence between {\ell}-adic discrete series of GL(n,F) and an inner form GL(m,D). We show that it respects the relationship of congruence modulo {\ell}. More precisely, we show that two integral {\ell}-adic discrete series of GL(m,D) are congruent modulo {\ell} if and only if the same holds for their Jacquet-Langlands transfers to GL(m,D).
Let $p$ be a rational prime and $q$ a power of $p$. Let $\wp$ be a monic irreducible polynomial of degree $d$ in $\mathbf{F}_q[t]$. In this paper, we define an analogue of the Hodge-Tate map which is suitable for the study of Drinfeld modules over $\mathbf{F}_q[t]$ and, using it, develop a geometric theory of $\wp$-adic Drinfeld modular forms similar to Katz's theory in the case of elliptic modular forms. In particular, we show that for Drinfeld modular forms with congruent Fourier coefficients at $\infty$ modulo $\wp^n$, their weights are also congruent modulo $(q^d-1)p^{\lceil \log_p(n)\rcei…
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…
The Farey map is the universal triangular map whose automorphism group is the classical modular group. We study the quotients of the Farey map by the principal congruence subgroups of the modular group. We also study the structure of the underlying graphs of these quotients.
We prove an integral R = T theorem for odd two dimensional p-adic representations of the absolute Galois group which are unramified at p, extending results of [CG] to the non-minimal case. We prove, for any p, the existence of Katz modular forms modulo p of weight one which do not lift to characteristic zero.
We give congruences modulo powers of 2 for the Fourier coefficients of certain level 2 modular functions with poles only at 0, answering a question posed by Andersen and the first author. The congruences involve a modulus that depends on the binary expansion of the modular form's order of vanishing at $\infty$.
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…
In \cite{Cho09}, Choi studied congruences of coefficients (modulo $T^q-T$) for Drinfeld modular forms of level $Γ_0(T)$, trivial type and the linear relations between the initial coefficients of those. In this article, we generalize these results for level $Γ_0(T)$, arbitrary type.
New congruences are found for Andrews' smallest parts partition function spt(n). The generating function for spt(n) is related to the holomorphic part alpha(24z) of a certain weak Maass form M(z) of weight 3/2. We show that a normalized form of the generating function for spt(n) is an eigenform modulo 72 for the Hecke operators T(p^2) for primes p > 3, and an eigenform modulo t for t = 5, 7 or 13 provided that (t, 6p) = 1. The result for the modulus 3 was observed earlier by the author and considered by Ono and Folsom. Similar congruences for higher powers of t (namely 5^6, 7^4 and 13^2) occur…
The nilpotence order of the mod 2 Hecke operators. Let $Δ=\sum_{m=0}^\infty q^{(2m+1)^2} \in F_2[[q]]$ be the reduction mod 2 of the $Δ$ series. A modular form f modulo 2 of level 1 is a polynomial in $Δ$. If p is an odd prime, then the Hecke operator Tp transforms f in a modular form Tp(f) which is a polynomial in $Δ$ whose degree is smaller than the degree of f, so that Tp is nilpotent. The order of nilpotence of f is defined as the smallest integer g = g(f) such that, for every family of g odd primes p1, p2, ..., pg, the relation Tp1Tp2... Tpg (f) = 0 holds. We show how one can compute expl…
We study variants of the Erd\H os distance problem and dot products problem in the setting of the integers modulo $q$, where $q = p^{\ell}$ is a power of an odd prime.
We present a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves and are useful in many aspects of computational number theory and cryptography. Our algorithm has the distinguishing feature that it does not involve the computation of Fourier coefficients of modular forms. We avoid computing the exponentially large integral coefficients by working directly modulo a prime and computing isogenies between elliptic curves via Velu's formulas.
