This is basically a summary of [Mu]. The focus of the paper is the explicit computation of Hecke operators for period functions. In particular we compute the matrix representations of the 2nd Hecke operator on period functions for the full modular group $SL(2,Z)$ and the congruence subgroup $Γ_0(2)$.
[Mu] Tobias Mühlenbruch. Hecke operators on period functions for $Γ_0(N)$. Journal of Number Theory. http://dx.doi.org/10.1016/j.jnt.2005.09.003
Let E_lambda be the Hilbert space spanned by the eigenfunctions of the non-Euclidean Laplacian associated with a positive discrete eigenvalue lambda. In this paper, the trace of Hecke operators T_n acting on the space E_lambda is computed for Hecke congruence subgroups Gamma_0(N) of non-square free level. This extends the computation of Conrey-Li [2], where only Hecke congruence subgroups Gamma_0(N) of square free level N were considered.
We prove infinitely many congruences modulo 3, 5, and powers of 2 for the overpartition function $\bar{p}(n)$ and two smallest parts functions: $\bar{\operatorname{spt1}}(n)$ for overpartitions and $\operatorname{M2spt}(n)$ for partitions without repeated odd parts. These resemble the Hecke-type congruences found by Atkin for the partition function $p(n)$ in 1966 and Garvan for the smallest parts function $\operatorname{spt}(n)$ in 2010. The proofs depend on congruences between the generating functions for $\bar{p}(n)$, $\bar{\operatorname{spt1}}(n),$ and $\operatorname{M2spt}(n)$ and eigenfor…
Inspired by recent congruences by Andersen with varying powers of 2 in the modulus for partition related functions, we extend the modulo 32760 congruences of the first author for the function spt(n). We show that a normalized form of the generating function of spt(n) is an eigenform modulo 32 for the Hecke operators T(l^2) for primes l >= 5 with l congruent to 1, 11, 17, 19 (mod 24), and an eigenform modulo 16 for l congruent to? 13, 23 (mod 24).
We prove the transfer congruence between $p$-adic Hecke $L$-functions for CM fields over cyclotomic extensions, which is a non-abelian generalization of the Kummer's congruence. The ingredients of the proof include the comparison between Hilbert modular varieties, the $q$-expansion principle, and some modification of Hsieh's Whittaker model for Katz' Eisenstein series. As a first application, we prove explicit congruence between special values of Hasse-Weil $L$-function of a CM elliptic curve twisted by Artin representations. As a second application, we prove the existence of a non-commutative…
In a previous paper, we obtained a general trace formula for double coset operators acting on modular forms for congruence subgroups, expressed as a sum over conjugacy classes. Here we specialize it to the congruence subgroups $Γ_0(N)$ and $Γ_1(N)$, obtaining explicit formulas in terms of class numbers for the trace of a composition of Hecke and Atkin-Lehner operators. The formulas are among the simplest in the literature, and hold without any restriction on the index of the operators. We give two applications of the trace formula for $Γ_1(N)$: we determine explicit trace forms for $Γ_0(4)$ wi…
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…
Let E_lambda be a Hilbert space, whose elements are functions spanned by the eigenfunctions of the Laplace-Beltrami operator associated with an eigenvalue lambda>0. The norm of elements in this space is given by the Petersson inner product. In this paper, the trace of Hecke operators T_n acting on the space E_lambda is computed for congruence subgroups of Gamma_0(N) of square free level, which may be considered as the analogue of the Eichler-Selberg trace formula [11] for non-holomorphyic cusp forms of weight zero.
In this article, the authors give a lower bound on the number of sign changes of Fourier coefficients of a non-zero degree two Siegel cusp form of even integral weight on a Hecke congruence subgroup. They also provide an explicit upper bound for the first sign change of Fourier coefficients of such Siegel cusp forms. Explicit upper bound on the first sign change of Fourier coefficients of a non-zero Siegel cusp form of even integral weight on the Siegel modular group for arbitrary genus were dealt in an earlier work of Choie, the first author and Kohnen.
We find experimental examples of congruences of Hecke eigenvalues between automorphic representations of groups such as $\mathrm{GSp}_2(\mathbb{A})$, $\mathrm{SO}(4,3)(\mathbb{\mathbb{A}})$ and $\mathrm{SO}(5,4)(\mathbb{A})$, where the prime modulus should, for various reasons, appear in the algebraic part of a critical "tensor-product" $L$-value associated to cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A})$ and $\mathrm{GSp}_2(\mathbb{A})$. Using special techniques for evaluating $L$-functions with few known coefficients, we compute sufficiently good approximations to detec…
We describe a novel method for bounding the dimension $d$ of the largest simple Hecke submodule of $S_2(Γ_0(N);\mathbb{Q})$ from below. Such bounds are of interest because of their relevance to the structure of $J_0(N)$, for instance. In contrast with previous results of this kind, our bound does not rely on the equidistribution of Hecke eigenvalues. Instead, it is obtained via a Hecke-compatible congruence between the target space and a space of modular forms whose Hecke eigenvalues are easily controlled. For prime levels $N\equiv 7\mod 8$ our method yields an unconditional bound of $d\ge\log…
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…
We show that Ramanujan-type congruences are preserved by the action of the shallow Hecke algebra and provide several structure results for them. We discover a dichotomy between congruences originating in Hecke eigenvalues and congruences on arithmetic progressions with cube-free periods. The scarcity of the latter was investigated recently. We explain that they provide congruences among algebraic parts of twisted central $\mathrm{L}$-values. We specialize our results to partition congruences, for which we investigate the proofs of partition congruences by Atkin and by Ono, and develop a heuris…
We continue the study of strong, weak, and $dc$-weak eigenforms introduced by Chen, Kiming, and Wiese. We completely determine all systems of Hecke eigenvalues of level $1$ modulo $128$, showing there are finitely many. This extends results of Hatada and can be considered as evidence for the more general conjecture formulated by the author together with Kiming and Wiese on finiteness of systems of Hecke eigenvalues modulo prime powers at any fixed level. We also discuss the finiteness of systems of Hecke eigenvalues of level $1$ modulo $9$, reducing the question to the finiteness of a single e…
We give a new, simple proof of the trace formula for Hecke operators on modular forms for finite index subgroups of the modular group. The proof uses algebraic properties of certain universal Hecke operators acting on period polynomials of modular forms, and it generalizes an approach developed by Don Zagier and the author for the modular group. This approach leads to a very simple formula for the trace on the space of cusp forms plus the trace on the space of modular forms. As applications, we investigate what happens when varying the weight or the level in the trace formula.
We prove a commutative algebra result which has consequences for congruences between automorphic forms modulo prime powers. If C denotes the congruence module for a fixed automorphic Hecke eigenform π_0 we prove an exact relation between the p-adic valuation of the order of C and the sum of the exponents of p-power congruences between the Hecke eigenvalues of π_0 and other automorphic forms. We apply this result to several situations including the congruences described by Mazur's Eisenstein ideal.
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.
This is a rework of our old file, which has been left unpublished since September 1994, on an explicit spectral decomposition of the fourth power moment of the Riemann zeta-function against a weight which is the square of a Dirichlet polynomial. At this occasion we add an explicit treatment of generalized Kloosterman sums associated with arbitrary Hecke congruence subgroups (Section 15), which might have an independent interest. At the end (Section 36) of our discussion, we set out a few problems on the distribution of eigenvalues of the hyperbolic Laplacian, which appear to us to be related t…
We prove, in respect of an arbitrary Hecke congruence subgroup Γ=Γ_0(q_0) of the group SL(2,Z[i]), some new upper bounds (or `spectral large sieve inequalities') for sums involving Fourier coefficients of Γ-automorphic cusp forms on SL(2,C). The Fourier coefficients in question may arise from the Fourier expansion at any given cusp c of Γ: our results are not limited to the case in which c is the cusp at infinity. For this reason, our proof is reliant upon an extension, to arbitrary cusps, of the spectral-Kloosterman sum formula for Γ\SL(2,C) obtained by Hristina Lokvenec-Guleska in her doctor…
Let k and n be positive even integers. For a cuspidal Hecke eigenform g in the Kohnen plus subspace of weight k-n/2+1/2 and level 4, let I(g) be the Duke-Imamoglu-Ikeda lift of g in the space of cusp forms of weight k for Sp(n,Z), and f the primitive form of weight 2k-n for SL(2,Z) corresponding to g under the Shimura correspondence. We then characterize prime ideals giving congruence between I(g) and another cuspidal Hecke eigenform not coming from the Duke-Imamoglu-Ikeda lift in terms of the specilal values of the Hecke L-function and the adjoint L-function of f.
Given a congruence of Hecke eigenvalues between newforms of weight $2$, we prove, under certain conditions, a congruence between corresponding weight-$3/2$ forms.
We consider the genus of $20$ classes of unimodular Hermitian lattices of rank $12$ over the Eisenstein integers. This set is the domain for a certain space of algebraic modular forms. We find a basis of Hecke eigenforms, and guess global Arthur parameters for the associated automorphic representations, which recover the computed Hecke eigenvalues. Congruences between Hecke eigenspaces, combined with the assumed parameters, recover known congruences for classical modular forms, and support new instances of conjectured Eisenstein congruences for $\mathbb{U}(2,2)$ automorphic forms.
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).
We prove new bounds for weighted mean values of sums involving Fourier coefficients of cusp forms that are automorphic with respect to a Hecke congruence subgroup Γ=Γ_0(q) of the group SL(2,Z[i]), and correspond to exceptional eigenvalues of the Laplace operator on the space L^2(Γ\SL(2,C)/SU(2)). These results are, for certain applications, an effective substitute for the generalised Selberg eigenvalue conjecture. We give a proof of one such application, which is an upper bound for a sum of generalised Kloosterman sums (of significance in the study of certain mean values of Hecke zeta-function…
In this survey article we give an overview of the developments on the congruence subgroup and the metaplectic problems after the work of Bass, Milnor and Serre.
We construct certain subgroups of hyperbolic triangle groups which we call "congruence" subgroups. These groups include the classical congruence subgroups of SL_2(ZZ), Hecke triangle groups, and 19 families of arithmetic triangle groups associated to Shimura curves. We determine the field of moduli of the curves associated to these groups and thereby realize the groups PSL_2(q) and PGL_2(q) regularly as Galois groups.
The coefficients of the generating function $(q;q)^α_\infty$ produce $p_α(n)$ for $α\in \mathbb{Q}$. In particular, when $α= -1$, the partition function is obtained. Recently, Chan and Wang identified and proved congruences of the form $p_{\frac{a}{b}}(\ell n + c)\equiv 0 \pmod{\ell}$ where $\ell$ is a prime such that $\ell \mid a -db$ for $d \in \{4, 6, 8, 10, 14, 26\}$. Expanding upon their work, we use the representation of powers of the Dedekind-eta functions in linear sums of Hecke eigenforms and their lacunarity to raise the power of the modulus to higher powers of $\ell$. In addition, w…
We show how there is a natural action on the cohomology groups attached to certain subgroups of GL_n(F) of the Hecke operators defined as elements in an adelic double coset algebra. Our main result is, that if a system of eigenvalues for Hecke operators occur in the cohomology groups with coefficients in certain modules, then by changing the groups the system also occur in the cohomology groups with coefficients in a 1-dimensional module.
The automorphic cohomology of a connected reductive algebraic group defined over Q decomposes as a direct algebraic sum of cuspidal and Eisenstein cohomology. In the present paper we construct regular Eisenstein cohomology classes for congruence subgroups of a rational form G of Q-rank 2 of SO(n,2).
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…
We survey our joint work with Avner Ash and Mark McConnell that computationally investigates the cohomology of conguence subgroups of SL_4 (\Z). This is based on a talk given at the 2009 RIMS conference "Automorphic representations, automorphic L-functions and arithmetic."
We outline an algorithm for computing Hecke operators on equivariant cohomology $H^\ast_{Γ_{\text{Sp}}}(X_{\text{Sp}};ρ)$ for the symplectic group $\text{Sp}_4(\mathbb{R})$. To do this, we define a new acyclic cell complex for $\text{Sp}_4(\mathbb{R})$ and make use of the well-tempered complex.
In this paper an explicit formula is given for a sequence of numbers. The positivity of this sequence of numbers implies that zeros in the critical strip of the Euler product of Hecke polynomials, which are associated with the space of cusp forms of weight $k$ for Hecke congruence subgroups, lie on the critical line.
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.
In this preprint we prove that any finite slope modular form fits into a p-adic family of modular forms which is indexed by the weight. Here, the term p-adic family means that p-adic congruences between weights entail certain p-adic congruences between the corresponding modular forms. We also show that the dimension of the slope subspace of the space of modular forms does not depend on the weight. Both statements are predicted by the Mazur-Gouvea Conjecture, which has been proven by Coleman using methods from rigid analytic geometry. In contrast our proof is based on a comparison of (topologic…
Using the Kuznetsov formula, we prove several density theorems for exceptional Hecke and Laplacian eigenvalues of Maass cusp forms of weight 0 or 1 for the congruence subgroups $Γ_0(q)$, $Γ_1(q)$, and $Γ(q)$. These improve and extend upon results of Sarnak and Huxley, who prove similar but slightly weaker results via the Selberg trace formula.
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.
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 …
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.
We obtain new results about the representation of almost all residues modulo a prime $p$ by a product of a small integer and also an element of small multiplicative subgroup of $({\mathbb Z}/p{\mathbb Z})^*$. These results are based on some ideas, and their modifications, of a recent work of J. Cilleruelo and M. Z. Garaev (2014),
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)$.
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 present a general conjecture on congruences between Hecke eigenvalues of parabolically induced and cuspidal automorphic representations of split reductive groups, modulo divisors of critical values of certain $L$-functions. We examine the consequences in several special cases, and use the Bloch-Kato conjecture to further motivate a belief in the congruences.
In a previous paper [3] we computed cohomology groups H^5 (Gamma_0 (N), \C), where Gamma_0 (N) is a certain congruence subgroup of SL (4, \Z), for a range of levels N. In this note we update this earlier work by extending the range of levels and describe cuspidal cohomology classes and additional boundary phenomena found since the publication of [3]. The cuspidal cohomology classes in this paper are the first cuspforms for GL(4) concretely constructed in terms of Betti cohomology.
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…
There are many families of functions on partitions, such as the shifted symmetric functions, for which the corresponding q-brackets are quasimodular forms. We extend these families so that the corresponding q-brackets are quasimodular for a congruence subgroup. Moreover, we find subspaces of these families for which the q-bracket is a modular form. These results follow from the properties of Taylor coefficients of strictly meromorphic quasi-Jacobi forms around rational lattice points.
