We consider a natural extension of the Petersson scalar product to the entire space of modular forms of integral weight $k\ge 2$ for a finite index subgroup of the modular group. We show that Hecke operators have the same adjoints with respect to this inner product as for cusp forms, and we show that the Petersson product is nondegenerate for $Γ_1(N)$ and $k>2$. For $k=2$ we give examples when it is degenerate, and when it is nondegenerate.
Analytic continuation and functional equation of a Dirichlet series constructed from two (not necessarily cuspidal) holomorphic modular forms is discussed, where either weights of the modular forms or characters are not necessarily equal to each other. The applications to quadratic forms are also given.
In this paper we study regularized Petersson products between a holomorphic theta series associated to a positive definite binary quadratic form and a weakly holomorphic weight 1 modular form with integral Fourier coefficients. In our recent work \cite{Via CM Green} motivated by the conjecture of B. Gross and D. Zagier on the CM values of higher Green's functions we have discovered that such a Petersson product is equal to the logarithm of a certain algebraic number lying in a ring class field associated to the binary quadratic form. The main result of the present paper is the explicit factori…
In this paper, we provide an explicit construction of weight $0$ meromorphic modular forms. Following work of Petersson, we build these via Poincaré series. There are two main aspects of our investigation which differ from his approach. Firstly, the naive definition of the Poincaré series diverges and one must analytically continue via Hecke's trick. Hecke's trick is further complicated in our situation by the fact that the Fourier expansion does not converge everywhere due to singularities in the upper half-plane so it cannot solely be used to analytically continue the functions. To explain t…
We extend the usual notion of Petersson inner product on the space of cuspidal Jacobi forms to include non-cuspidal forms as well. This is done by examining carefully the relation between certain "growth-killing" invariant differential operators on $\mathbf H_2$ and those on $\mathbf{H}_1 \times \mathbf{C}$ (here $\mathbf H_n$ denotes the Siegel upper half space of degree $n$). As applications, we can understand better the growth of Petersson norms of Fourier Jacobi coefficients of Klingen Eisenstein series, which in turn has applications to finer issues about representation numbers of quadrat…
In this paper we discuss the problem of numerically computing Petersson inner products of modular forms, given their $q$-expansion at $\infty$. A formula of Nelson reduces this to obtaining $q$-expansions at all cusps, and we describe two algorithms based on linear interpolation for numerically obtaining such expansions. We apply our methods to numerically verify constants arising in an explicit version of Ichino's triple-product formula relating $\langle fg,h\rangle$ to the central value of $L(f\times g\times \bar{h},s)$, for three modular forms $f,g,h$ of compatible weights and characters.
We revisit some papers by Eichler and Shimura in order to give an algebraic formulation (based on Farey symbols) for the intersection product on the space of modular symbols, as described by Pollack and Stevens. We define the period homomorphism of an Eisenstein series (Eisenstein-Dedekind-Stevens symbol) and extend the definition of the intersection product to these objects. We construct a computationally convenient basis for the space of Eisenstein series for $Γ$ 0 (N) with rational periods. Given a Farey symbol for a subgroup $Γ$ of the modular group and a subgroup $Γ$ ' of finite index of …
We begin by explaining how to compute Fourier expansions at all cusps of any modular form of integral or half-integral weight thanks to a theorem of Borisov-Gunnells and explicit expansions of Eisenstein series at all cusps. Using this, we then give a number of methods for computing arbitrary Petersson products. All this is available in the current release of the Pari/GP package.
Using a cubic moment, we prove a Weyl-type subconvexity bound for the quadratic twists of a holomorphic newform of square-free level, trivial nebentypus, and arbitrary even weight. This generalizes work of Conrey and Iwaniec in that the newform that is being twisted may have arbitrary square-free level, and also that the quadratic character may have even conductor. One of the new tools developed in this paper is a more general Petersson formula for newforms of square-free level.
We prove an algebraicity property for a certain ratio of Petersson norms associated to a Siegel cusp form of degree 2 (and arbitrary level) whose adelization generates a weak endoscopic lift. As a preparation for this, we explicate various features of the correspondence between scalar valued Siegel cusp forms of degree n and automorphic representations on GSp_{2n}.
We give theoretical and practical information on the Pari/GP modular forms package available since the spring of 2018. Thanks to the use of products of two Eisenstein series, this package is the first which can compute Fourier expansions at any cusps, evaluate modular forms near the real axis, evaluate L-functions of non-eigenforms, and compute general Petersson scalar products.
In this note, we explicitly construct mock modular forms with integral Fourier coefficients by evaluating regularized Petersson inner products involving their shadows, which are unary theta functions of weights 1/2 and 3/2 . In addition, we also improve the known bounds for the denominators of the coefficients of mock modular forms whose shadows are holomorphic weight one cusp forms constructed by Hecke.
We give an explicit version of the Ramanujan-Petersson Conjecture for Hilbert Modular Forms, and deduce the "Ramanujan" property for certain cubical complexes. We reinterpret the results in terms of Communication Networks. The work will appear in the proceedings of a NATO conference on "Applications of Algebraic Geometry to Coding Theory, Physics, and Computation", which took place in Eilat, Israel, February 25 - March 1s 2001, to be published by Kluwer.
This paper initiates the study by analytic methods of the generalized principal series Maass forms on $GL(3)$. These forms occur as an infinite sequence of one-parameter families in the two-parameter spectrum of $GL(3)$ Maass forms, analogous to the relationship between the holomorphic modular forms and the spherical Maass cusp forms on $GL(2)$. We develop a Kuznetsov trace formula attached to these forms at each weight and use it to prove an arithmetically-weighted Weyl law, demonstrating the existence of forms which are not self-dual. Previously, the only such forms that were known to exist …
We prove a harmonically weighted equidistribution result for the $p$-th Satake parameters of the family of automorphic cuspidal representations of $\operatorname{PGSp}(2n)$ of fixed weight $\mathtt{k}$ and prime-to-$p$ level $N\to \infty$. The main tool is a new asymptotic Petersson formula for $\operatorname{GSp}(2n)$ in the level aspect.
Let F be a Siegel cusp form of weight k and genus n>1 with Fourier-Jacobi coefficients f_m. In this article, we estimate the growth of the Petersson norms of f_m, where m runs over an arithmetic progression. This result sharpens a recent result of Kohnen in [5].
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.
Rankin-Cohen Bracket for Vector-Valued Modular Forms
Korea Institute for Advanced Study（韩国高等科学研究院）；Sungkyunkwan University（成均馆大学）；American University of Beirut (AUB)（贝鲁特美国大学）；Center for Advanced Mathematical Sciences (CAMS) at AUB（贝鲁特美国大学高级数学科学中心）
The nondegeneracy of the Petersson inner product on cusp forms, and the fact that Hecke operators are self-adjoint with respect to the Petersson product, together imply that the cusp forms have a basis consisting of Hecke eigenforms. In the literature on topological modular forms, no topological analogue of the Petersson product is to be found, and it is not known which topological spaces have the property that their topological cusp forms admit a basis consisting of eigenforms for the action of Baker's topological Hecke operators. In this note we define and study a natural topological Peterss…
The study of Fourier coefficients of meromorphic modular forms dates back to Ramanujan, who, together with Hardy, studied the reciprocal of the weight 6 Eisenstein series. Ramanujan conjectured a number of further identities for other meromorphic modular forms and quasi-modular forms which were subsequently established by Berndt, Bialek, and Yee. In this paper, we place these identities into the context of a larger family by making use of Poincaré series introduced by Petersson and a new family of Poincaré series which we construct here and which are of independent interest. In addition we est…
Let $f$ be a Petersson normalized Hecke-Maass cusp form with spectral parameter $t\geq 2$ and let $\mathcal{C}_{D}$ be the union of closed geodesics in $\text{Sl}_{2}(\mathbb{Z})\setminus \mathbb{H}$ associated to a fundamental discriminant $D>0$. Following a suggestion by Sarnak in his letter to Reznikov, we express the restriction norm $||f|_{\mathcal{C}_{D}}||_{2}^{2}$ as a weighted sum of central values of L-functions using Waldspurger's formula. This allows us to get an unconditional improvement over the current bounds.
Let $\mathitΠ$ be a cohomological irreducible cuspidal automorphic representation of ${\rm GL}_2(\mathbb{A}_{\mathbb F})$ with central character $ω_{\mathitΠ}$ over a totally real number field ${\mathbb F}$. In this paper, we prove the algebraicity of the near central non-critical value of the symmetric fourth $L$-function of $\mathitΠ$ twisted by $ω_{\mathitΠ}^{-2}$. The algebraicity is expressed in terms of the Petersson norm of the normalized newform of $\mathitΠ$ and the top degree Whittaker period of the Gelbart-Jacquet lift ${\rm Sym}^2\mathitΠ$ of $\mathitΠ$.
The Rankin convolution type Dirichlet series $D_{F,G}(s)$ of Siegel modular forms $F$ and $G$ of degree two, which was introduced by Kohnen and the second author, is computed numerically for various $F$ and $G$. In particular, we prove that the series $D_{F,G}(s)$, which share the same functional equation and analytic behavior with the spinor $L$-functions of eigenforms of the same weight are not linear combinations of those. In order to conduct these experiments a numerical method to compute the Petersson scalar products of Jacobi Forms is developed and discussed in detail.
We extend to positive real weights Haberland's formula giving a cohomological description of the Petersson scalar product of modular cusp forms of positive even weight. This relation is based on the cup product of an Eichler cocycle and a Knopp cocycle. We also consider the cup product of two Eichler cocycles attached to modular forms. In the classical context of integral weights at least $2$ this cup product is uninteresting. We show evidence that for real weights this cup product may very well be non-trivial. We approach the question whether the cup product is a non-trivial coinvariant by du…
We develop a regularization for Petersson inner products of arbitrary weakly holomorphic modular forms, generalizing several known regularizations. As one application, we extend work of Duke, Imamoglu, and Toth on regularized inner products of weakly holomorphic modular forms of weights $0$ and $3/2$. These regularized inner products can be evaluated in terms of the coefficients of holomorphic parts of harmonic Maass forms of dual weights. Moreover, we study the errors of modularity of the holomorphic parts of such a harmonic Maass forms and show that they induce cocyles in the first parabolic…
We prove an algebraic property of the elements defining Hecke operators on period polynomials associated with modular forms, which implies that the pairing on period polynomials corresponding to the Petersson scalar product of modular forms is Hecke equivariant. As a consequence of this proof, we derive two indefinite theta series identities which can be seen as analogues of Jacobi's formula for the theta series associated with the sum of four squares.
We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight two. Moreover, we determine the arithmetic self-intersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and study Faltings heights of arithmetic Hirzebruch-Zagier divisors.
We study the distribution, in the space of Satake parameters, of local components of Siegel cusp forms of genus 2 and growing weight, subject to a specific weighting which allows us to apply results concerning Bessel models and a variant of Petersson's formula. We obtain for this family a quantitative local equidistribution result, and derive a number of consequences. In particular, we show that the computation of the density of low-lying zeros of the spinor L-functions (for restricted test functions) gives global evidence for a well-known conjecture of Böcherer concerning the arithmetic natur…
In this paper, we prove Deligne's conjecture for symmetric sixth $L$-functions of Hilbert modular forms. We extend the result of Morimoto based on a different approach. We define automorphic periods associated to globally generic $C$-algebraic cuspidal automorphic representations of ${\rm GSp}_4$ over totally real number fields whose archimedean components are (limits of) discrete series representations. We show that the algebraicity of critical $L$-values for ${\rm GSp}_4 \times {\rm GL}_2$ can be expressed in terms of these periods. In the case of Kim-Ramakrishnan-Shahidi lifts of ${\rm GL}_…
Hecke eigenvalues of classical modular forms often encode a wealth of arithmetic data. The Satake $p$-parameters of a Siegel modular form play a role analogous to the one played by Hecke eigenvalues in the characterization of classical modular forms. In this paper we present an algorithm by which we can compute the Satake $p$-parameters of a Siegel modular form $F$ if we are given the Hecke eigenvalues of $F$ with respect to the generators of the local Hecke algebra. We compute explicit examples and relate our computations to the Ramanujan-Petersson Conjecture.
For any number $m \equiv 0,1 \, (4)$ we correct the generating function of Hurwitz class number sums $\sum_r H(4n - mr^2)$ to a modular form (or quasimodular form if $m$ is a square) of weight two for the Weil representation attached to a binary quadratic form of discriminant $m$ and determine its behavior in the Petersson scalar product. This modular form arises through holomorphic projection of the zero-value of a nonholomorphic Jacobi Eisenstein series of index $1/m$. When $m$ is prime, we recover the classical Hirzebruch-Zagier series whose coefficients are intersection numbers of curves o…
In our previous work, he second and the third named authors constructed the Ikeda type lift for the exceptional group $E_{7,3}$ from an elliptic modular cusp form. In this paper, we prove an explicit formula for the period or the Petersson norm of the Ikeda type lift in terms of the product of the special values of the symmetric square $L$-function of the elliptic modular form. There are similar works done by the first author with his collaborator, but new technical inputs are required and developed to overcome some difficulties coming from the hugeness of $E_{7,3}$.
We study the space of period polynomials associated with modular forms of integral weight for finite index subgroups of the modular group. For the modular group, this space is endowed with a pairing, corresponding to the Petersson inner product on modular forms via a formula of Haberland, and with an action of Hecke operators, defined algebraically by Zagier. We generalize Haberland's formula to (not necessarily cuspidal) modular forms for finite index subgroups, and we show that it conceals two stronger formulas. We extend the action of Hecke operators to period polynomials of modular forms, …
In this article, for $n\geq 2$, we compute asymptotic, qualitative, and quantitative estimates of the Bergman kernel of Picard modular cusp forms associated to torsion-free, cocompact subgroups of $\mathrm{SU}\big((n,1),\mathbb{C}\big)$. The main result of the article is the following result. Let $Γ\subset \mathrm{SU}\big((2,1),\mathcal{O}_{K}\big)$ be a torsion-free subgroup of finite index, where $K$ is a totally imaginary field. Let $\mathcal{B}_Γ^{k}$ denote the Bergman kernel associated to the $\mathcal{S}_{k}(Γ)$, complex vector space of weight-$k$ cusp forms with respect to $Γ$. Let $\m…
This is the first of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank r. In the present part, we develop the analytic theory. Most of the work goes into defining and studying the u-expansion of a weak Drinfeld modular form, whose coefficients are weak Drinfeld modular forms of rank r-1. Based on that we give a precise definition of when a weak Drinfeld modular form is holomorphic at infinity and thus a Drinfeld modular form in the proper sense.
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.
A result of Dieulefait-Wiese proves the existence of modular eigenforms of weight 2 for which the image of every associated residual Galois representation is as large as possible. We generalize this result to eigenforms of general even weight k $\geq$ 2.
This is the third part of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank. In the present article we construct and study some examples of Drinfeld modular forms. In particular we define Eisenstein series, as well as the action of Hecke operators upon them, coefficient forms and discriminant forms. In the special case A=F_q[t] we show that all modular forms for GL_r(Γ(t)) are generated by certain weight one Eisenstein series, and all modular forms for GL_r(A) and SL_r(A) are generated by certain coefficient forms and discriminant forms. We …
In this article, we investigate the variance of local $\varepsilon$-factor for a modular form with arbitrary nebentypus with respect to twisting by a quadratic character. We detect the type of the supercuspidal representation from that. For modular forms with trivial nebentypus, similar results are proved by Pacetti. Our method however is completely different from that of Pacetti and we use representation theory crucially. For ramified principal series (with $\infdiv{p}{N}$ and $p$ odd) and unramified supercuspidal representations of level zero, we relate these numbers with the Morita's $p$-ad…
We present some applications of the Kudla-Millson and the Millson theta lift. The two lifts map weakly holomorphic modular functions to vector valued harmonic Maass forms of weight $3/2$ and $1/2$, respectively. We give finite algebraic formulas for the coefficients of Ramanujan's mock theta functions $f(q)$ and $ω(q)$ in terms of traces of CM-values of a weakly holomorphic modular function. Further, we construct vector valued harmonic Maass forms whose shadows are unary theta functions, and whose holomorphic parts have rational coefficients. This yields a rationality result for the coefficien…
In this paper, we give some effective bounds for the $j$-invariant of integral points on arbitrary modular curves over arbitrary number fields assuming that the number of cusps is not less than 3.
Birch and Swinnerton-Dyer conjecture allows for sharp estimates on the rank of certain abelian varieties defined over $ \Q$. in the case of the jacobian of the modular curves, this problem is equivalent to the estimation of the order of vanishing at 1/2 of $L$-functions of classical modular forms, and was treated, without assuming the Riemann hypothesis, by Kowalski, Michel and VanderKam. The purpose of this paper is to extend this approach in the case of an arbitrary totally real field, which necessitates an appeal of Jacquet-Langlands' theory and the adelization of the problem. To show that …
Classical Hecke operators on Maass forms are unitarely equivalent, up to a commuting phase, to completely positive maps on II$_1$ factors, associated to a pair of isomorphic subfactors, and an intertwining unitary. This representation is obtained through a quantized representation of the Hecke operators. in this representation, the Hecke operators act on the Berezin's quantization, deformation algebra of the fundamental domain of $\PSL(2,\Z)$ in the upper halfplane. The Hecke operators are inheriting from the ambient, non-commutative algebra on which they act, a rich structure of matrix inequa…
We produce an integral model for the modular curve $X(Np^m)$ over the ring of integers of a sufficiently ramified extension of $\mathbf{Z}_p$ whose special fiber is a {\em semistable curve} in the sense that its only singularities are normal crossings. This is done by constructing a semistable covering (in the sense of Coleman) of the supersingular part of $X(Np^m)$, which is a union of copies of a Lubin-Tate curve. In doing so we tie together nonabelian Lubin-Tate theory to the representation-theoretic point of view afforded by Bushnell-Kutzko types. For our analysis it was essential to work …
