本文研究与新形式对应 Abel 簇的模参数数和同余数，证明在相关 Hecke 代数极大理想满足重数为一时，二者的 p-adic 赋值相同。
摘要：
设 N 为正整数，f 为 Γ_0(N) 上权为 2 的新形式。在此前与 K. Ribet 和 W. Stein 的合作工作中，我们引入了与新形式 f 相关的 J_0(N) 的商 Abel 簇 A_f 的模参数数和同余数概念。这些不变量分别类似于与椭圆曲线相关的模参数次数和同余素数概念。我们证明：若素数 p 使得特征为 p、且包含 f 的零化理想的 Hecke 代数的每个极大理想都满足重数为一，则模参数数与同余数具有相同的 p-adic 赋值。
英文摘要：
Let N be a positive integer and let f be a newform of weight 2 on Γ_0(N). In earlier joint work with K. Ribet and W. Stein, we introduced the notions of the modular number and the congruence number of the quotient abelian variety A_f of J_0(N) associated to the newform f. These invariants are analogs of the notions of the modular degree and congruence primes respectively associated to elliptic curves. We show that if p is a prime such that every maximal ideal of the Hecke algebra of characteristic p that contains the annihilator ideal of f satisfies multiplicity one, then the modular number and the congruence number have the same p-adic valuation.
In this paper we show that Atkin and Swinnerton-Dyer type of congruences hold for weakly modular forms (modular forms that are permitted to have poles at cusps). Unlike the case of original congruences for cusp forms, these congruences are nontrivial even for congruence subgroups. On the way we provide an explicit interpretation of the de Rham cohomology groups associated to modular forms in terms of "differentials of the second kind". As an example, we consider the space of cusp forms of weight 3 on a certain genus zero quotient of Fermat curve X^N+Y^N=Z^N. We show that the Galois representat…
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.
We establish a correspondence between generalized quiver gauge theories in four dimensions and congruence subgroups of the modular group, hinging upon the trivalent graphs which arise in both. The gauge theories and the graphs are enumerated and their numbers are compared. The correspondence is particularly striking for genus zero torsion-free congruence subgroups as exemplified by those which arise in Moonshine. We analyze in detail the case of index 24, where modular elliptic K3 surfaces emerge: here, the elliptic j-invariants can be recast as dessins d'enfant which dictate the Seiberg-Witte…
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.
Let $p\geq 5$ be a prime number. We generalize the results of E. de Shalit about supersingular $j$-invariants in characteristic $p$. We consider supersingular elliptic curves with a basis of $2$-torsion over $\overline{\mathbf{F}}_p$, or equivalently supersingular Legendre $λ$-invariants. Let $F_p(X,Y) \in \mathbf{Z}[X,Y]$ be the $p$-th modular polynomial for $λ$-invariants. A simple generalization of Kronecker's classical congruence shows that $R(X):=\frac{F_p(X,X^{p})}{p}$ is in $\mathbf{Z}[X]$. We give a formula for $R(λ)$ if $λ$ is a supersingular. This formula is related to the Manin--Dri…
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.
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 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.
We find that the first Hurwitz triplet possesses two distinct arithmetic structures. As Shimura curves $X_1$, $X_2$, $X_3$, whose levels are with norm 13. As non-congruence modular curves $Y_1$, $Y_2$, $Y_3$, whose levels are 7. Both of them are defined over ${\Bbb Q}(\cos \frac{2 π}{7})$. However, for the third non-congruence modular curve $Y_3$, there exist an "exotic" duality between the associated non-congruence modular forms and the Hilbert modular forms, both of them are related to ${\Bbb Q}(e^{\frac{2 πi}{13}})$! Our results have relations and applications to modular equations of degree…
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 prove two congruences for the coefficients of power series expansions in t of modular forms where t is a modular function. As a result, we settle two recent conjectures of Chan, Cooper and Sica. Additionally, we provide a table of congruences for numbers which appear in similar power series expansions and in the study of integral solutions of Apery-like differential equations.
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…
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.
