We study congruences of the form F(j(z)) | U(p) = G(j(z)) mod p, where U(p) is the p-th Hecke operator, j is the basic modular invariant 1/q+744+196884q+... for SL2(Z), and F,G are polynomials with integer coefficients. Using the interplay between singular (a.k.a. CM) j-invariants in characteristic zero and supersingular ones in characteristic p, we obtain such congruences in which F is the minimal polynomial of a CM j-invariant, and give a sufficient condition for G to be a constant polynomial in these congruences.
In recent work of Bringmann, Guerzhoy, and the first author, p-adic modular forms were constructed from mock modular forms. This paper proves explicit congruences for these p-adic modular forms.
The theory of quaternionic modular forms has been studied for decades as an example of the modular forms of many variables. The purpose of this study is to provide some congruence relations satisfied by such quaternionic modular forms.
We give two congruence properties of Hermitian modular forms of degree 2 over $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm's theorem. Another is the well-definedness of the $p$-adic weight for Hermitian modular forms.
We determine conditions for the existence and non-existence of Ramanujan-type congruences for Jacobi forms. We extend these results to Siegel modular forms of degree 2 and as an application, we establish Ramanujan-type congruences for explicit examples of Siegel modular forms.
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 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.
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.
This article computes the Galois groups of congruence covers arising in the context of certain hyperbolic triangle groups. As a consequence of this computation, the genera of the respective curves are deduced.
Many authors have investigated the congruence relations amongst the coefficients of power series expansions of modular forms $f$ in modular functions $t$. In a recent paper, R. Osburn and B. Sahu examine several power series expansions and prove that the coefficients exhibit congruence relations similar to the congruences satisfied by the Apéry numbers associated with the irrationality of $ζ(3)$. We show that many of the examples of Osburn and Sahu are members of infinite families.
Let $\f$ be a primitive, cuspidal Hilbert modular form of parallel weight. We investigate the Rankin convolution $L$-values $L(\f,\g,s)$, where $\g$ is a theta-lift modular form corresponding to a finite-order character. We prove weak forms of Kato's `false Tate curve' congruences for these values, of the form predicted by conjectures in non-commmutative Iwasawa theory.
The theory of partition congruences has been a fascinating and difficult subject for over a century now. In attempting to prove a given congruence family, multiple possible complications include the genus of the underlying modular curve, representation difficulties of the associated sequences of modular functions, and difficulties regarding the piecewise $\ell$-adic convergence of elements of the associated space of modular functions. However, our knowledge of the subject has developed substantially and continues to develop. In this very brief survey, we will discuss the utility of modular fun…
Atkin and Swinnerton-Dyer congruences are special congruence recursions satisfied by coefficients of noncongruence modular forms. These are in some sense $p$-adic analogues of Hecke recursion satisfied by classic Hecke eigenforms. They actually appeared in different context and sometimes can be obtained using the theory of formal groups. In this survey paper, we introduce the Atkin and Swinnerton-Dyer congruences, and discuss some recent progress on this topic.
We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).
In this paper we first prove an isomorphism between certain spaces of Jacobi forms. Using this isomorphism, we study the mod $p$ theory of Hermitian Jacobi forms over $\mathbb{Q}(i)$. We then apply the mod $p$ theory of Hermitian Jacobi forms to characterize $U(p)$ congruences and to study Ramanujan-type congruences for Hermitian Jacobi forms and Hermitian modular forms of degree $2$ over $\mathbb{Q}(i)$.
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.
In this article we study the behavior of inertia groups for modular Galois mod l^n representations and in some cases we give a generalization of Ribet's lowering the level result
We give congruences between the Eisenstein series and a cusp form in the cases of Siegel modular forms and Hermitian modular forms. We should emphasize that there is a relation between the existence of a prime dividing the $k-1$-th generalized Bernoulli number and the existence of non-trivial Hermitian cusp forms of weight $k$. We will conclude by giving numerical examples for each case.
We examine canonical bases for weakly holomorphic modular forms of weight $0$ and level $p = 2, 3, 5, 7, 13$ with poles only at the cusp at $\infty$. We show that many of the Fourier coefficients for elements of these canonical bases are divisible by high powers of $p$, extending results of the first author and Andersen. Additionally, we prove similar congruences for elements of a canonical basis for the space of modular functions of level $4$, and give congruences modulo arbitrary primes for coefficients of such modular functions in levels 1, 2, 3, 4, 5, 7, and 13.
The partition function is known to exhibit beautiful congruences that are often proved using the theory of modular forms. In this paper, we study the extent to which these congruence results apply to the generalized Frobenius partitions defined by Andrews. In particular, we prove that there are infinitely many congruences for $cϕ_k(n)$ modulo $\ell,$ where $\gcd(\ell,6k)=1,$ and we also prove results on the parity of $cϕ_k(n).$ Along the way, we prove results regarding the parity of coefficients of weakly holomorphic modular forms which generalize work of Ono.
In this note we improve on the results of our earlier paper[BLGG12], proving a near-optimal theorem on the existence of ordinary lifts of a mod l Hilbert modular form for any odd prime l.
The purpose of this paper is to show how a congruence between (the Fourier coefficients of) a Hilbert cusp form and a Hilbert Eisenstein series of parallel weight $2$ gives rise to congruences between algebraic parts of critical values of their $L$-functions. This is a generalization of a result of V. Vatsal.
Ramanujan famously found congruences for the partition function like p(5n+4) = 0 modulo 5. We provide a method to find all simple congruences of this type in the coefficients of the inverse of a modular form on Gamma_{1}(4) which is non-vanishing on the upper half plane. This is applied to answer open questions about the (non)-existence of congruences in the generating functions for overpartitions, crank differences, and 2-colored F-partitions.
We give congruences modulo powers of $p \in \{3, 5,7\}$ for the Fourier coefficients of certain modular functions in level $p$ with poles only at 0, answering a question posed by Andersen and the first author and continuing work done by the authors and Moss. The congruences involve a modulus that depends on the base $p$ expansion of the modular form's order of vanishing at $\infty$.
We prove many simultaneous congruences mod 2 for elliptic and Hilbert modular forms among forms with different Atkin--Lehner eigenvalues. The proofs involve the notion of quaternionic $S$-ideal classes and the distribution of Atkin--Lehner signs among newforms.
We research the location of the zeros of the Eisenstein series and the modular functions from the Hecke type Faber polynomials associated with the normalizers of congruence subgroups which are of genus zero and of level at most twelve. In Part I, we will consider the general theory of modular functions for the normalizers.
In this paper, motivated by the work of Mahlburg, we find congruences for a large class of modular forms. Moreover, we generalize the generating function of the Andrews-Garvan-Dyson crank on partition and establish several new infinite families of congruences. In this framework, we showed that both the birank of an ordered pair of partitions introduced by Hammond and Lewis, and $k$-crank of $k$-colored partition introduced by Fu and Tang process the same as the partition function and crank.
Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are noncongruence. These groups as well as their modular forms are central players of this survey article. Differences between congruence and noncongruence subgroups and modular forms will be discussed. We will mainly focus on three interesting aspects of modular forms for noncongruence subgroups: the unbounded denominator property, modularity of the Galois represen…
We introduce and study families of finite index subgroups of the modular group that generalize the congruence subgroups. Such groups, termed $ϕ$-congruence subgroups, are obtained by reducing homomorphisms $ϕ$ from the modular group into a linear algebraic group modulo integers. In particular, we examine two families of examples, arising on the one hand from a map into a quasi-unipotent group, and on the other hand from maps into symplectic groups of degree four. In the quasi-unipotent case we also provide a detailed discussion of the corresponding modular forms, using the fact that the tower …
In~\cite{CS04}, Calegari and Stein studied the congruences between classical cusp forms $S_k(Γ_0(p))$ of prime level and made several conjectures about them. In~\cite{AB07} (resp., ~\cite{BP11}) the authors proved one of those conjectures (resp., their generalizations). In this article, we study the analogous conjecture and its generalizations for Drinfeld modular forms.
There are classical congruences between the class number of an imaginary quadratic field and a Bernoulli number or an Euler number. Under the BSD conjecture, Onishi obtained an elliptic generalization of these congruences, which gives congruences between the order of the Tate-Shafarevich group of certain elliptic curves with CM by the Gauss integers ring and Mordell-Weil rank 0, and a coefficient of power series expansion of an elliptic function associated to Gauss integers ring. In this paper, we provide Onishi's type congruences for the Eisenstein integers case.
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…
Using the theory of Stienstra and Beukers, we prove various elementary congruences for the numbers \sum \binom{2i_1}{i_1}^2\binom{2i_2}{i_2}^2...\binom{2i_k}{i_k}^2, where k,n \in N, and the summation is over the integers i_1, i_2, ...i_k >= 0 such that i_1+i_2+...+i_k=n. To obtain that, we study the arithmetic properties of Fourier coefficients of certain (weakly holomorphic) modular forms.
We research the location of the zeros of the Eisenstein series and the modular functions from the Hecke type Faber polynomials associated with the normalizers of congruence subgroups which are of genus zero and of level at most twelve. In Part II, we will observe the location of the zeros of the above functions by numerical calculation.
In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) = 4a^2-2p mod p, if p = a^2+b^2 (where a is odd). Later, Zagier found some generalizations of Apery numbers, so called sporadic sequences, and recently Osburn and Straub proved similar congruences for all but one of the six Zagier's sporadic sequences (three cases were already known to be true) and conjectured the congruence for the sixth sequence. In this paper…
After Zagier proved that the traces of singular moduli $j(z)$ are Fourier coefficients of a weakly holomorphic modular form, various properties of the traces of the singular values of modular functions mostly on the full modular group $PSL_2(\mathbb{Z})$ have been investigated such as their exact formulas, limiting distribution, duality, and congruences. The purpose of this paper is to generalize these arithmetic properties of traces of singular values of a weakly holomorphic modular function on the full modular group to those on a congruence subgroup $Γ_0(N)$.
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.
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.
We describe torsion classes in the first cohomology group of $\text{SL}_2(\mathbb{Z})$. In particular, we obtain generalized Dickson's invariants for p-power polynomial rings. Secondly, we describe torsion classes in the zero-th homology group of $\text{SL}_2(\mathbb{Z})$ as a module over the torsion invariants. As application, we obtain various congruences between cuspidal forms of level one and Eisenstein series.
This is a sequel to the paper [F. Breuer, H.-G. Rück, Drinfeld modular polynomials in higher rank, J. Number Theory 129 (2009), 59-83.], in which we introduced Drinfeld modular polynomials of higher rank, using an analytic construction. These polynomials relate the isomorphism invariants of Drinfeld F_q[T]-modules of rank r\geq 2 linked by isogenies of a specified type. In the current paper, we give an algebraic construction of greater generality, and prove a generalization of the Kronecker congruences relations, which describe what happens when modular polynomials associated to P-isogenies ar…
We prove that Ramanujan-type congruences for integral weight modular forms away from the level and the congruence prime are equivalent to specific congruences for Hecke eigenvalues. In particular, we show that Ramanujan-type congruences are preserved by the action of the shallow Hecke algebra. More generally, we show for weakly holomorphic modular forms of integral weight, that Ramanujan-type congruences naturally occur for shifts in the union of two square-classes as opposed to single square-classes that appear in the literature on the partition function. We also rule out the possibility of s…
We prove congruences between cuspidal newforms and Eisenstein series of prime level, which generalize Ramanujan's congruence. Such congruences were recently found by Billerey and Menares, and we refine them by specifying the Atkin-Lehner eigenvalue of the newform involved. We show that similar refinements hold for the level raising congruences between cuspidal newforms of different levels, due to Ribet and Diamond. The proof relies on studying the new subspace and the Eisenstein subspace of the space of period polynomials for the congruence subgroup $Γ_0(N)$, and on a version of Ihara's lemma.
Let ${\mathbf F}_q$ denote a finite field of characteristic $p$ and let $n$ be an effective divisor on the affine line over ${\mathbf F}_q$ and let $v$ be a point on the affine line outside $n$. In this paper, we get congruences between ${\mathbb Q}_l$-valued weight two $v$-old Drinfeld modular forms and $v$-new Drinfeld modular forms of level $vn$. In order to do this, we shall first construct a cokernel torsion-free injection from a full lattice in the space of $v$-old Drinfeld modular forms of level $vn$ into a full lattice in the space of all Drinfeld modular forms of level $vn$. To get th…
We determine explicit birational models over Q for the modular surfaces parametrising pairs of N-congruent elliptic curves in all cases where this surface is an elliptic surface. In each case we also determine the rank of the Mordell-Weil lattice and the geometric Picard number.
We put together some known theoretical results and the fact that certain computations can be done efficiently in SAGE to come up with a fast algorithm for calculating congruence primes linking a newform with integer coefficients (i.e. a newform associated to an elliptic curve) with the old space at the same level.
The purpose of this paper is to prove the equality between the algebraic Iwasawa $λ$-invariant and the analytic Iwasawa $λ$-invariant for a Hilbert cusp form of parallel weight $2$ at an ordinary prime $p$ when the associated residual Galois representation is reducible. This is a generalization of a result of R. Greenberg and V. Vatsal.
We describe a systematic investigation into the existence of congruences between the mod $p$ torsion modules of elliptic curves defined over $\mathbb{Q}$, including methods to determine the symplectic type of such congruences. We classify the existence and symplectic type of mod $p$ congruences between twisted elliptic curves over number fields, giving global symplectic criteria that apply in situations where the available local methods may fail. We report on the results of applying our methods for all primes $p\ge7$ to the elliptic curves in the LMFDB database, which currently includes all el…
In this work we prove congruences between special values of elliptic curves with CM that seem to play a central role in the analytic side of the non-commutative Iwasawa theory. These congruences are the analogue for elliptic curves with CM of those proved by Kato, Ritter and Weiss for the Tate motive. The proof is based on the fact that the critical values of elliptic curves with CM, or what amounts to the same, the critical values of Grössencharacters, can be expressed as values of Hilbert-Eisenstein series at CM points. We believe that our strategy can be generalized to provide congruences f…
We derive explicit isomorphisms between certain congruence subgroups of the Siegel modular group, the Hermitian modular group over an arbitrary imaginary-quadratic number field and the modular group over the Hurwitz quaternions of degree 2 and the discriminant kernels of special orthogonal groups SO 0 (2, n), n = 3, 4, 6. The proof is based on an application of linear algebra adapted to the number theoretical needs.
We show that if $E/\mathbb{Q}$ is an elliptic curve with a rational $p$-torsion for $p=2$ or $3$, then there is a congruence relation between Ramanujan's tau function and $E$ modulo $p$. We make use of such congruences to compute the Iwasawa invariants of $2$-adic and $3$-adic Mazur--Tate elements attached to Ramanujan's tau function. We also investigate numerically the Iwasawa invariants of the Mazur--Tate elements attached to an elliptic curve with additive reduction at a fixed prime number.
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$.
