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 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.
The values of the partition function, and more generally the Fourier coefficients of many modular forms, are known to satisfy certain congruences. Results given by Ahlgren and Ono for the partition function and by Treneer for more general Fourier coefficients state the existence of infinitely many families of congruences. In this article we give an algorithm for computing explicit instances of such congruences for eta-quotients. We illustrate our method with a few examples.
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.
The classical congruences satisfied by the Fibonacci and Lucas sequences are reflected with the decomposition of primes in the ring generated by the gold number. This generalizes to establish a correspondence that we hope will be new between Chebotarev's theorem and the congruences satisfied by linear sequences. This link is done into the context of number field extensions. In particular we characterize primes ideals totally decomposed by simple congruences on the terms of linear recurrent sequences. Our results are illustrated by numerous examples, including Padovan sequencesof group $S_3$ an…
In the previous two papers with the same title ([LLY05] by W.C. Li, L. Long, Z. Yang and [ALL05] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied special families of cuspforms for noncongruence arithmetic subgroups. It was found that the Fourier coefficients of these modular forms at infinity satisfy three-term Atkin and Swinnerton-Dyer congruence relations which are the $p$-adic analogue of the three-term recursions satisfied by the coefficients of classical Hecke eigenforms. In this paper, we first consider Atkin and Swinnerton-Dyer type congruences which generalize the three-ter…
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.
Building on results of Arthur and Mok, we extend to (finite volume) complex and quaternionic hyperbolic manifolds the results of arXiv:1004.1085. For the spherical spectrum our results are optimal. Finally, as an application we prove a Lefschetz property for the restriction map between arithmetic quotients of complex balls. This generalizes a recent theorem of Arvind Nair and gives an optimal version of it.
Recently, Chan, Cooper and Sica conjectured two congruences for coefficients of classical 2F1 hypergeometric series which also arise from power series expansions of modular forms in terms of modular functions. We prove these two congruences using combinatorial properties of the coefficients.
We fix $\ell$ a prime and let $M$ be an integer such that $\ell\not|M$; let $f\in S_2(Γ_1(M\ell^2))$ be a newform supercuspidal of fixed type related to the nebentypus, at $\ell$ and special at a finite set of primes. Let $\TT^ψ$ be the local quaternionic Hecke algebra associated to $f$. The algebra $\TT^ψ$ acts on a module $\mathcal M^ψ_f$ coming from the cohomology of a Shimura curve. Applying the Taylor-Wiles criterion and a recent Savitt's theorem, $\TT^ψ$ is the universal deformation ring of a global Galois deformation problem associated to $\orho_f$. Moreover $\mathcal M^ψ_f$ is free of …
Given an indefinite binary quaternionic Hermitian form $f$ with coefficients in a maximal order of a definite quaternion algebra over $\mathbb Q$, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational integers with absolute value at most $s$ by $f$, as $s$ tends to $+\infty$. We compute the volumes of hyperbolic 5-manifolds constructed by quaternions using Eisenstein series. In the Appendix, V. Emery computes these volumes using Prasad's general formula. We use hyperbolic geometry in dimension 5 to describ…
A congruence relation satisfied by Igusa's cusp form of weight 35 is presented. As a tool to confirm the congruence relation, a Sturm-type theorem for the case of odd-weight Siegel modular forms of degree 2 is included.
We compute the divisor of the modular equation on the modular curve $Γ_0(N) \backslash \mathbb H^*$ and then find recurrence relations satisfied by the modular traces of the Hauptmodul for any congruence subgroup $Γ_0(N)$ of genus zero. We also introduce the notions and properties of $Γ$-equivalence and $Γ$-reduced forms about binary quadratic forms. Using these, we can explicitly compute the recurrence relations for $N = 2, 3, 4, 5$.
In their work, Serre and Swinnerton-Dyer study the congruence properties of the Fourier coefficients of modular forms. We examine similar congruence properties, but for the coefficients of a modified Taylor expansion about a CM point $τ$. These coefficients can be shown to be the product of a power of a constant transcendental factor and an algebraic integer. In our work, we give conditions on $τ$ and a prime number $p$ that, if satisfied, imply that $p^m$ divides the algebraic part of all the Taylor coefficients of $f$ of sufficiently high degree. We also give effective bounds on the largest …
In this paper we give an example of a noncongruence subgroup whose three-dimensional space of cusp forms of weight 3 has the following properties. For each of the four residue classes of odd primes modulo 8 there is a basis whose Fourier coefficients at infinity satisfy a three-term Atkin and Swinnerton-Dyer congruence relation, which is the $p$-adic analogue of the three-term recursion satisfied by the coefficients of classical Hecke eigen forms. We also show that there is an automorphic $L$-function over $\mathbb Q$ whose local factors agree with those of the $l$-adic Scholl representations …
This paper uses previous results of the authors on vector-valued modular forms to study certain non-congruence modular forms. We prove that these forms have unbounded denominators, and in certain cases we verify congruences of Atkin--Swinnerton-Dyer type satisfied by the Fourier coefficients of these forms. Our results rest on group-theoretic facts about the modular group, a detailed study of its imprimitive three-dimensional representations, and the theory of their associated vector-valued modular forms. For the proof of the congruences we also make essential use of a result of Katz.
For several congruence subgroups of low levels and their conjugates, we derive differential equations satisfied by the Eisenstein series of weight 4 and relate them to elliptic curves, whose associated new forms of weight 2 constitute the list of Martin and Ono of new forms given by eta-products/quotients.
In a recent paper, Andrews and Newman introduced certain families of partition functions using the minimal excludant or "mex" function. In this article, we study two of the families of functions Andrews and Newman introduced, namely $p_{t,t}(n)$ and $p_{2t,t}(n)$. We establish identities connecting the ordinary partition function $p(n)$ to $p_{t,t}(n)$ and $p_{2t,t}(n)$ for all $t\geq 1$. Using these identities, we prove that the Ramanujan's famous congruences for $p(n)$ are also satisfied by $p_{t,t}(n)$ and $p_{2t,t}(n)$ for infinitely many values of $t$. Very recently, da Silva and Sellers …