We give a correspondence between automorphic pairs of distributions on $\mathbb{R}$ and Dirichlet series satisfying functional equations and some additional analytic conditions. Moreover, we show that the notion of automorphic pairs of distributions on $\mathbb{R}$ can be regarded as a generalization of automorphic distributions on smooth principal series representations of the universal covering group of $SL(2,\mathbb{R})$. As an application, we prove Weil type converse theorems for automorphic distributions and Maass forms of real weights.
We investigate the relations for $L$-functions satisfying certain functional equation, summationa formulas of Voronoi-Ferrar type and Maass forms of integral and half-integral weight. Summation formulas of Voronoi-Ferrar type can be viewed as an automorphic property of distribution vectors of non-unitary principal series representations of the double covering group of $SL(2)$. Our goal is converse theorems for automorphic distributions and Maass forms of level $N$ characterizing them by analytic properties of the associated $L$-functions. As an application of our converse theorems, we construc…
We consider invariant hyperfunctions associated to automorphic forms on the upper half plane. We give two interpretations of the period function of Maass forms introduced by Lewis. The first interpretation shows that the period function arises from the explicit description of a representative of the hyperfunction associated to the Maass form. Under certain conditions, automorphic forms determine cohomology classes in a cohomology group with values in the hyperfunctions with bounded support on the line. A map from hyperfunctions to holomorphic functions leads to a second, cohomological, interpr…
In this paper, we introduce the notion of Maass-Jacobi forms and investigate some properties of these new automorphic forms. We also characterize these automorphic forms in several ways.
In this paper, we define certain symmetries for automorphic forms on O(2, m+2) and show that the space of automorphic forms satisfying these symmetries coincides with the Maass space, the image of Saito-Kurokawa lifting.
We obtain a first moment formula for Rankin-Selberg convolution $L$-series of holomorphic modular forms or Maass forms of arbitrary level on $GL(2)$, with an orthonormal basis of Maass forms. One consequence is the best result to date, uniform in level, spectral value and weight, for the equality of two Maass or holomorphic cusp forms if their Rankin-Selberg convolutions with the orthonormal basis of Mass forms $u_j$ is equal at the center of the critical strip for sufficiently many $u_j$. The main novelty of our approach is the new way the error terms are treated. They are brought into an exa…
In this paper, we describe the asymptotic distribution of Hecke eigenvalues in the Laplace eigenvalue aspect for certain families of Hecke-Maass forms on compact arithmetic quotients. Instead of relying on the trace formula, which was the primary tool in preceding studies on the subject, we use Fourier integral operator methods. This allows us to treat not only spherical, but also non-spherical Hecke-Maass forms with corresponding remainder estimates. Our asymptotic formulas are available for arbitrary simple and connected algebraic groups over number fields with cocompact arithmetic subgroups…
We prove the optimal upper bound sum || f ||_4^4 << q^{eps} where f runs over an orthonormal basis of Maass cusp forms of prime level q and bounded spectral parameter.
We study two closely related problems stemming from the random wave conjecture for Maass forms. The first problem is bounding the $L^4$-norm of a Maass form in the large eigenvalue limit; we complete the work of Spinu to show that the $L^4$-norm of an Eisenstein series $E(z,1/2+it_g)$ restricted to compact sets is bounded by $\sqrt{\log t_g}$. The second problem is quantum unique ergodicity in shrinking sets; we show that by averaging over the centre of hyperbolic balls in $Γ\backslash \mathbb{H}$, quantum unique ergodicity holds for almost every shrinking ball whose radius is larger than the …
Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $Γ\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms on the locally symmetric space $Γ\backslash G/K$ to corresponding bounds on the arithmetic quotient $Γ\backslash G$ for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial $K$-types, yielding subconvex bounds for new classes of automorphic representations, a…
This is the second of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression and to the Fourier coefficients of automorphic cusp forms.
We consider modular functions (i.e., the Eisenstein series and Hecke-Maass forms) for the group PSL(2,Z). We fix a quadratic number field E. This gives rise to twisted (by a Hecke character of the field E) periods of a modular function along the torus corresponding to E. We prove meromorphic continuation for a Dirichlet series generated by these twisted periods.
We introduce a new trace formula of Kuznetsov type involving the central standard L-values and the Whittaker periods of cuspidal automorphic representations of PGL_n(Q) which are spherical at the archimedean place. As an application, we show a simultaneous non-vanishing of standard L-values at n-1 points on the critical strip for infinitely many Hecke-Maass cuspidal newforms.
We discuss mock automorphic forms from the point of view of representation theory, that is, obtained from weak harmonic Maass forms give rise to nontrivial $(\mathfrak{g},K)$-cohomology. We consider the possibility of replacing the `holomorphic' condition with `cohomological' when generalizing to general reductive groups. Such a candidate allows for growing Fourier coefficients, in contrast to automorphic forms under the Miatello-Wallach conjecture. In the second part, we provide an overview of the connection with BPS black hole counts as a physical motivation for studying mock automorphic for…
The classical Maass lift is a map from holomorphic Jacobi forms to holomorphic scalar-valued Siegel modular forms. Automorphic representation theory predicts a non-holomorphic and vector-valued analogue for Hecke eigenforms. This paper is the first part of a series of papers. In this series of papers, we provide an explicit construction of the non-holomorphic Maass lift that is linear and also applies to non-eigenforms. In this first part, we develop new techniques to study Fourier series expansions of Siegel modular forms, which allow us to construct a Maass lift from harmonic Maass-Jacobi fo…
Automorphic distributions for SL(2) arise as boundary values of modular forms and, in a more subtle manner, from Maass forms. In the case of modular forms of weight one or of Maass forms, the automorphic distributions have continuous first antiderivatives. We recall earlier results of one of us on the Holder continuity of these continuous functions and relate them to results of other authors; this involves a generalization of classical theorems on Fourier series by S. Bernstein and Hardy-Littlewood. We then show that the antiderivatives are non-differentiable at all irrational points, as well …
We resolve a question of Kac, and explain the automorphic properties of characters due to Kac-Wakimoto pertaining to sl(m|n)^ highest weight modules, for n \geq 1. We prove that the Kac-Wakimoto characters are essentially holomorphic parts of certain generalizations of harmonic weak Maass forms which we call "almost harmonic Maass forms". Using a new approach, this generalizes prior work of the first author and Ono, and the authors, both of which treat only the case n = 1. We also provide an explicit asymptotic expansion for the characters.
Let $\mathbb{A}$ be the adele ring of a totally real algebraic number field $F$. We push forward an explicit computation of a relative trace formula for periods of automorphic forms along a split torus in $GL(2)$ from a square free level case done by Masao Tsuzuki, to an arbitrary level case. By using a relative trace formula, we study central values of automorphic $L$-functions for cuspidal automorphic representations of $GL(2, \mathbb{A})$ corresponding to Maass forms with arbitrary level.
Mathieu moonshine attaches a weak Jacobi form of weight zero and index one to each conjugacy class of the largest sporadic simple group of Mathieu. We introduce a modification of this assignment, whereby weak Jacobi forms are replaced by semi-holomorphic Maass-Jacobi forms of weight one and index two. We prove the convergence of some Maass-Jacobi Poincaré series of weight one, and then use these to characterize the semi-holomorphic Maass-Jacobi forms arising from the largest Mathieu group.
We extend Borcherds' singular theta lift in signature $(1,2)$ to harmonic Maass forms of weight $1/2$ whose non-holomorphic part is allowed to be of exponential growth at $i\infty$. We determine the singularities of the lift and compute its Fourier expansion. It turns out that the lift is continuous but not differentiable along certain geodesics in the upper half-plane corresponding to the non-holomorphic principal part of the input. As an application, we obtain a generalization to higher level of the weight $2$ modular integral of Duke, Imamoglu and Tóth. Further, we construct automorphic pro…
For $K$ an imaginary quadratic field with discriminant $-D_K$ and associated quadratic Galois character $χ_K$, Kojima, Gritsenko and Krieg studied a Hermitian Maass lift of elliptic modular cusp forms of level $D_K$ and nebentypus $χ_K$ via Hermitian Jacobi forms to Hermitian modular forms of level one for the unitary group $U(2,2)$ split over $K$. We generalize this (under certain conditions on $K$ and $p$) to the case of $p$-oldforms of level $pD_K$ and character $χ_K$. To do this, we define an appropriate Hermitian Maass space for general level and prove that it is isomorphic to the space o…
The Katz-Sarnak density conjecture states that the scaling limits of the distributions of zeros of families of automorphic $L$-functions agree with the scaling limits of eigenvalue distributions of classical subgroups of the unitary groups $U(N)$. This conjecture is often tested by way of computing particular statistics, such as the one-level density, which evaluates a test function with compactly supported Fourier transform at normalized zeros near the central point. Iwaniec, Luo, and Sarnak studied the one-level densities of cuspidal newforms of weight $k$ and level $N$. They showed in the l…
Let K be an imaginary quadratic field of discriminant -D_K<0. We introduce a notion of an adelic Maass space S_{k, -k/2}^M for automorphic forms on the quasi-split unitary group U(2,2) associated with K and prove that it is stable under the action of all Hecke operators. When D_K is prime we obtain a Hecke-equivariant descent from S_{k,-k/2}^M to the space of elliptic cusp forms S_{k-1}(D_K, χ_K), where χ_K is the quadratic character of K. For a given ϕ\in S_{k-1}(D_K, χ_K), a prime l >k, we then construct (mod l) congruences between the Maass form corresponding to ϕand hermitian modular forms…
The goal of this paper is to study certain p-adic differential operators on automorphic forms on U(n,n). These operators are a generalization to the higher-dimensional, vector-valued situation of the p-adic differential operators constructed for Hilbert modular forms by N. Katz. They are a generalization to the p-adic case of the C^{\infty}-differential operators first studied by H. Maass and later studied extensively by M. Harris and G. Shimura. The operators should be useful in the construction of certain p-adic L-functions attached to p-adic families of automorphic forms on the unitary grou…
Let O^1 be a (cocompact) Fuchsian group, given as the group of units of norm one in a maximal order O in an indefinite quaternion division algebra over Q. Using the (classical) Selberg trace formula, we show that the eigenvalues of the automorphic Laplacian for O^1 and their multiplicities coincide with the eigenvalues and multiplicities of the Laplacian defined on the Maass newforms for the Hecke congruence group Gamma_0(d), when d is the discriminant of the maximal order O. We also show the equality of the traces of certain Hecke operators defined on the Laplace eigenspaces for O^1 and the n…
We show that the multiple divisor functions of integers in invertible residue classes modulo a prime number, as well as the Fourier coefficients of GL(N) Maass cusp forms for all N larger than 2, satisfy a central limit theorem in a suitable range, generalizing the case N=2 treated by E. Fouvry, S. Ganguly, E. Kowalski and P. Michel. Such universal Gaussian behaviour relies on a deep equidistribution result of products of hyper-Kloosterman sums.
This thesis contributes to the analytic theory of automorphic L-functions. We prove an approximate functional equation for the central value of the L-series attached to an irreducible cuspidal automorphic representation of GL(m) over a number field. We investigate the decay rate of the cutoff function and its derivatives in terms of the analytic conductor introduced by Iwaniec and Sarnak. We also see that the truncation can be made uniformly explicit at the cost of an error term. The results extend to products of central values. We establish, via the Hardy-Littlewood circle method, a nontrivia…
Generalizing the results of Kojima, Gritsenko and Krieg, we define an adelic version of the Maass space for hermitian modular forms of weight k regarded as functions on adelic points of the quasi-split unitary group U(2,2) associated with an imaginary quadratic extension F/Q of discriminant D_F. When the class number h_F of F is odd, we show that the Maass space is invariant under the action of the local Hecke algebras of U(2,2)(Q_p) for all p not dividing D_F. As a consequence we obtain a Hecke-equivariant injective map from the Maass space to the h_F-fold direct product of the space of ellip…
We show the existence of "Zagier duality" between vector valued harmonic weak Maass forms and vector valued weakly holomorphic modular forms of integral weight. This duality phenomenon arises naturally in the context of harmonic weak Maass forms as developed in recent works by Bruinier, Funke, Ono, and Rhoades. Concerning the isomorphism between the spaces of scalar and vector valued harmonic weak Maass forms of integral weight, "Zagier duality" between scalar valued ones is derived.
Let $π$ be a Hecke--Maass cusp form for $\rm SL_3(\mathbb{Z})$ with normalized Hecke eigenvalues $λ_π(n,r)$. Let $f$ be a holomorphic or Maass cusp form for $\rm SL_2(\mathbb{Z})$ with normalized Hecke eigenvalues $λ_f(n)$. In this paper, we are concerned with obtaining nontrivial estimates for the sum \begin{equation*} \sum_{r,n\geq 1}λ_π(n,r)λ_f(n)e\left(t\,φ(r^2n/N)\right)V\left(r^2n/N\right), \end{equation*} where $e(x)=e^{2πix}$, $V(x)\in \mathcal{C}_c^{\infty}(0,\infty)$, $t\geq 1$ is a large parameter and $φ(x)$ is some real-valued smooth function. As applications, we give an improved s…
We show that certain space of vector valued harmonic weak Maass forms of half integral weight is isomorphic to a space of scalar valued ones whose Fourier coefficients are supported on suitable progressions. This kind of result for holomorphic modular forms was proved by Eichler and Zagier.
The primary goal of this paper is to construct the basis of the space of weight 3/2 mock modular forms which is an extension of the Borcherd-Zagier basis of weight 3/2 weakly holomorphic modular forms. The shadows of the members of this basis form the Borcherds- Zagier basis of the space of weight 1/2 weakly holomorphic modular forms. For the purpose, we use a weak Maass-Poincaré Series. The secondary goal is to provide a full computation of the Fourier coefficients for the weak Maass-Poincaré Series in most general form as a weak Maass-Poincaré Series has played a key role in the recent advan…
In this paper, we define and discuss Eichler integrals for Maass cusp forms of half-integral weight on the full modular group. We discuss nearly periodic functions associated to the Eichler integrals, introduce period functions for such Maass cusp forms, and show that the nearly periodic functions and the period functions are closely related. Those functions are extensions of the periodic functions and period functions for Maass cusp forms of weight 0 on the full modular group introduced by Lewis and Zagier.
We show that the values of Borcherds products on Shimura varieties of orthogonal type at certain CM points are given in terms of coefficients of the holomorphic part of weight one harmonic weak Maass forms. Furthermore, we investigate the arithmetic properties of these coefficients. As an example, we obtain an analog of the Gross-Zagier theorem on singular moduli.
We construct Hecke operators acting on Maass waveforms of integer non-zero weight and transforming according to a non-trivial multiplier system on the modular group. Using these Hecke operators we obtain multiplicativity relations for the Fourier coefficients of such Maass waveforms. These relations generalize the usual weight zero relations. We also obtain an unexpected relation between coefficients with positive and negative indices with a constant of proportionality involving the Laplace eigenvalue. Numerical examples of multiplicativity relations are given at the end of the paper.
We construct theta liftings from half-integral weight weak Maass forms to even integral weight weak Maass forms by using regularized theta integral. Moreover it gives an extension of Niwa's theta liftings on harmonic weak Maass forms. And we obtain the similar results to those by Niwa.
Recently Bringmann, Raum and Richter generalised the definition of Jacobi forms and Skoruppa's skew-holomorphic Jacobi forms by intertwining with harmonic Maass forms. We prove the isomorphism of the Kohnen's plus space analogue of harmonic Maass forms of weight $k-1/2$ for $Γ_0(4m)$ and the space of these skew-holomorphic harmonic Maass-Jacobi forms of weight $k$ and index $m$ for $k$ odd and $m=1$ or a prime.
We formulate a conjectured orthogonality relation between the Fourier coefficients of Maass forms on PGL(N) for N>=2. Based on the work of Goldfeld-Kontorovich and Blomer for N=3, and on our conjecture for N>=4, we prove a weighted vertical equidistribution theorem (with respect to the generalized Sato-Tate measure) for the Satake parameter of Maass forms at a finite prime. For N=3, the rate of convergence for the equidistribution theorem is obtained.
We prove that the coefficients of certain weight -1/2 harmonic Maass forms are traces of singular moduli for weak Maass forms. To prove this theorem, we construct a theta lift from spaces of weight -2 harmonic weak Maass forms to spaces of weight -1/2 vector-valued harmonic weak Maass forms on Mp_2(Z), a result which is of independent interest. We then prove a general theorem which guarantees (with bounded denominator) when such Maass singular moduli are algebraic. As an example of these results, we derive a formula for the partition function p(n) as a finite sum of algebraic numbers which lie…
We construct a natural basis for the space of weak harmonic Maass forms of weight 5/2 on the full modular group. The non-holomorphic part of the first element of this basis encodes the values of the ordinary partition function p(n). We obtain a formula for the coefficients of the mock modular forms of weight 5/2 in terms of regularized inner products of weakly holomorphic modular forms of weight -1/2, and we obtain Hecke-type relations among these mock modular forms.
In this paper, we study the Mellin transform of the weight 2 level $N$ polar harmonic Maass form $H_{N,z}^*(τ)$, and analyze this (generalized) $L$-function as $\mathrm{Im}(z)\to \infty$. On the way, we also calculate the Fourier expansion of $H_{N,z}^*(τ)$ at arbitrary cusps of $Γ_0(N)$, and we give a functional equation and factorization into local factors of the $L$-function for the weight 2 level $N$ Eisenstein series at the cusps $i\infty$ and $0$.
In this paper, we explicitly construct mock modular forms whose shadows are Eisenstein series of arbitrary integral and half-integral weight, level and character at the cusps $\infty$ and $0$. As an application, we give explicit construction of harmonic weak Maass forms which are Hecke eigenforms and are the preimages of $Θ^k, k \in \{ 3, 5, 7\}$ under the shadow operator, where $Θ$ is the classical Jacobi theta function.
We determine the size of spaces of higher order Maass forms of even weight for cofinite discrete subgroups of PSL(2,R) with cusps. If exponential growth at the cusps is allowed, the spaces of Maass forms of a given order are as large as algebraic constrictions allow. We show the analogous statement for the spaces of holomorphic forms. For functions on the universal covering group of PSL(2,R) we introduce the concept of generalized weight. For the resulting spaces of higher order Maass forms with even generalized weight we show that the size is maximal.
We derive closed formula for the heat kernel $K_\mathbb{H}$ associated to Maass-Laplacian operator $D_k$ for any real $k$ and prove that heat kernel $K_\mathbb{H}$ is strictly monotone decreasing function. We also derive some important asymptotic formulae for the heat kernel $K_\mathbb{H}$.
Andrews recently introduced k-marked Durfee symbols, which are a generalization of partitions that are connected to moments of Dyson's rank statistic. He used these connections to find identities relating their generating functions as well as to prove Ramanujan-type congruences for these objects and find relations between. In this paper we show that the hypergeometric generating functions for these objects are natural examples of quasimock theta functions, which are defined as the holomorphic parts of weak Maass forms and their derivatives. In particular, these generating functions may be view…
Let F/Q be a totally real field extension of degree g and let D be a definite quaternion algebra with center F. Fix an odd prime p which is unramified in F and D. We produce weight shiftings between (mod p) automorphic forms on the multiplicative group of D having fixed level. When the starting weight does not contain any (2,...,2)-block, we obtain these shiftings via maps induced in cohomology by intertwining operators acting on F_{p}-representations of GL(2,O_{F}/pO_{F}). Shiftings by (p-1,...,p-1) for weights containing (2,...,2)-blocks are obtained following the methods of Edixhoven-Khare,…
The sup-norm problem in analytic number theory asks for the largest value taken by a given automorphic form. We observe that the function-field version of this problem can be reduced to the geometric problem of finding the largest dimension of the $i$th stalk cohomology group of a given Hecke eigensheaf at any point. This problem, in turn, can be reduced to the intersection-theoretic problem of bounding the "polar multiplicities" of the characteristic cycle of the Hecke eigensheaf, which in known cases is the nilpotent cone of the moduli space of Higgs bundles. We solve this problem for newfor…
We study the coefficients of a natural basis for the space of weak harmonic Maass forms of weight $5/2$ on the full modular group. The non-holomorphic part of the first element of this infinite basis encodes the values of the partition function $p(n)$. We show that the coefficients of these harmonic Maass forms are given by traces of singular invariants. These are values of non-holomorphic modular functions at CM points or their real quadratic analogues: cycle integrals of such functions along geodesics on the modular curve. The real quadratic case relates to recent work of Duke, Imamoglu, and…
We show that the twisted traces of CM values of weak Maass forms of weight 0 are Fourier coefficients of vector valued weak Maass forms of weight 3/2. These results generalize work by Zagier on traces of singular moduli. We utilize a twisted version of the theta lift considered by Bruinier and Funke.
We define a regularized Shintani theta lift which maps weight $2k+2$ ($k \in \Z, k \geq 0$) harmonic Maass forms for congruence subgroups to (sesqui-)harmonic Maass forms of weight $3/2+k$ for the Weil representation of an even lattice of signature $(1,2)$. We show that its Fourier coefficients are given by traces of CM values and regularized cycle integrals of the input harmonic Maass form. Further, the Shintani theta lift is related via the $ξ$-operator to the Millson theta lift studied in our earlier work. We use this connection to construct $ξ$-preimages of Zagier's weight $1/2$ generating…
In this paper we investigate the Fourier coefficients of harmonic Maass forms of negative half-integral weight. We relate the algebraicity of these coefficients to the algebraicity of the coefficients of certain canonical meromorphic modular forms of positive even weight with poles at Heegner divisors. Moreover, we give an explicit formula for the coefficients of harmonic Maass forms in terms of periods of certain meromorphic modular forms with algebraic coefficients.
Let pi be a cuspidal, automorphic representation of GSp(4) attached to a Siegel modular form of degree 2. We refine the method of Furusawa to obtain an integral representation for the degree-8 L-function L(s,pi x tau), where tau runs through certain cuspidal, automorphic representation of GL(2). Our calculations include the case of square-free level for the p-adic components of tau, and a wide class of archimedean types including Maass forms. As an application we obtain a special value result for L(s,pi x tau).
Physicists such as Green, Vanhove, et al show that differential equations involving automorphic forms govern the behavior of gravitons. One particular point of interest is solutions to $(Δ-λ)u=E_α E_β$ on an arithmetic quotient of the exceptional group $E_8$. We establish that the existence of a solution to $(Δ-λ)u=E_αE_β$ on the simpler space $SL_2(\mathbb{Z})\backslash SL_2(\mathbb{R})$ for certain values of $α$ and $β$ depends on nontrivial zeros of the Riemann zeta function $ζ(s)$. Further, when such a solution exists, we use spectral theory to solve $(Δ-λ)u=E_αE_β$ on $SL_2(\mathbb{Z})\ba…
