We show that for a positive proportion of Laplace eigenvalues $λ_j$ the associated Hecke-Maass $L$-functions $L(s,u_j)$ approximate with arbitrary precision any target function $f(s)$ on a closed disc with center in $3/4$ and radius $r<1/4$. The main ingredients in the proof are the spectral large sieve of Deshouillers-Iwaniec and Sarnak's equidistribution theorem for Hecke eigenvalues.
We construct a family of harmonic Maass forms of polynomial growth of any level corresponding to any cusp whose shadows are Eisenstein series of integral weight. We further consider Dirichlet series attached to a harmonic Maass form of polynomial growth, study its analytic properties, and prove an analogue of Weil's converse theorem.
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 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.
Using ideas of Ramakrishnan, we consider the icosahedral analogue of the theorems of Sarnak and Brumley on Hecke-Maass newforms with Fourier coefficients in a quadratic order. Although we are unable to conclude the existence of an associated Galois representation in this case, we show that one can deduce some implications of such an association, including weak automorphy of all symmetric powers and the value distribution of Fourier coefficients predicted by the Chebotarev density theorem.
In this work we prove a prime number type theorem involving the normalised Fourier coefficients of holomorphic and Maass cusp forms, using the classical circle method. A key point is in a recent paper of Fouvry and Ganguly, based on Hoffstein-Ramakrishnan's result about the non-existence of the Siegel zeros for $GL(2)$ $L$-functions, which allows us to improve preceding estimates.
Let $j(z)$ be the modular $j$-invariant function. Let $τ$ be an algebraic number in the complex upper half plane $\mathbb{H}$. It was proved by Schneider and Siegel that if $τ$ is not a CM point, i.e., $[\mathbb{Q}(τ):\mathbb{Q}]\neq2$, then $j(τ)$ is transcendental. Let $f$ be a harmonic weak Maass form of weight $0$ on $Γ_0(N)$. In this paper, we consider an extension of the results of Schneider and Siegel to a family of values of $f$ on Hecke orbits of $τ$. For a positive integer $m$, let $T_m$ denote the $m$-th Hecke operator. Suppose that the coefficients of the principal part of $f$ at t…
We prove a uniform estimate for sums of Hecke--Maass eigenvalues squared over primes in short intervals that can be regarded as an analogue of Hoheisel's classical prime number theorem for all real analytic cusp forms. Our argument is modelled after our treatment of Linnik's least prime number theorem for arithmetic progressions (Tata LN 72) and depends on recent works in the theory of automorphic representations. We stress that constants in the present work, including those implicit, are all universal and effectively computable, although we pay no particular attention to numerical precision. …
According to Waldspurger's theorem, the coefficients of half-integral weight eigenforms are given by central critical values of twisted Hecke L-functions, and therefore by periods. Here we prove that the coefficients of weight 1/2 harmonic Maass forms are determined by periods of algebraic differentials of the third kind on modular and elliptic curves.
We consider sign changes of Fourier coefficients of Hecke-Maass cusp forms for the group $\mathrm{SL}_3(\mathbb Z)$. When the underlying form is self-dual, we show that there are $\gg_\varepsilon X^{5/6-\varepsilon}$ sign changes among the coefficients $\{A(m,1)\}_{m\leq X}$ and that there is a positive proportion of sign changes for many self-dual forms. Similar result concerning the positive proportion of sign changes also hold for the real-valued coefficients $A(m,m)$ for generic $\mathrm{GL}_3$ cusp forms, a result which is based on a new effective Sato-Tate type theorem for a family of $\…
We investigate so-called "higher" Siegel theta lifts on Lorentzian lattices in the spirit of Bruinier-Ehlen-Yang and Bruinier-Schwagenscheidt. We give a series representation of the lift in terms of Gauss hypergeometric functions, and evaluate the lift as the constant term of a Fourier series involving the Rankin-Cohen bracket of harmonic Maass forms and theta functions. Using the higher Siegel lifts, we obtain a vector-valued analogue of Mertens' result stating that the Rankin--Cohen bracket of the holomorphic part of a harmonic Maass form of weight $\frac{3}{2}$ and a unary theta function, p…
We explicitly construct cusp forms on the orthogonal group of signature $(1,8n+1)$ for an arbitrary natural number $n$ as liftings from Maass cusp forms of level one. In our previous works, the fundamental tool to show the automorphy of the lifting was the converse theorem by Maass. In this paper, we use the Fourier expansion of the theta lifts by Borcherds instead. We also study cuspidal representations generated by such cusp forms and show that they are irreducible and that all of their non-archimedean local components are non-tempered while the archimedean component is tempered, if the Maas…
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 give a construction of a new $p$-adic Maass-Shimura operator defined on an affinoid subdomain of the preperfectoid $p$-adic universal cover $\mathcal{Y}$ of a modular curve $Y$. We define a new notion of $p$-adic modular forms as sections of a certain sheaf $\mathcal{O}_Δ$ of "nearly rigid functions" which transform under the action of subgroups of the Galois group $\mathrm{Gal}(\mathcal{Y}/Y)$ by $\mathcal{O}_Δ^{\times}$-valued weight characters. This extends Katz's notion of $p$-adic modular forms as functions on the Igusa tower $Y^{\mathrm{Ig}}$; indeed we may recover Katz's theory by re…
We prove joint universality theorems on the half plane of absolute convergence for general classes of Dirichlet series with an Euler-product, where in addition to vertical shifts we also allow scaling. This generalizes our recent joint universality results for Dirichlet $L$-functions. In contrast to classical universality, we do not need that the Dirichlet series in question have an analytic continuation beyond their region of absolute convergence. Also we may allow weaker orthogonality conditions for pairs of Dirichlet series than in the previous joint universality results of Lee-Nakamura-Pań…
In this paper, we prove the universality theorem for the iterated integrals of the logarithm of the Riemann zeta-function on some line parallel to the real axis.
The property of zeta-functions on mixed joint universality in the Voronin's sense states that any two holomorphic functions can be approximated simultaneously with accuracy $ε>0$ by suitable vertical shifts of the pair consisting from the Riemann zeta- and Hurwitz zeta-functions. In [1], it was shown rather general result, i.e., an approximating pair was composed of the Matsumoto zeta-functions' class and the periodic Hurwitz zeta-function. In this paper, we prove that this set of shifts has a strict positive density for all but at most countably many $ε>0$. Also, we give the concluding remark…
Let $0<r<1/4$, and $f$ be a non-vanishing continuous function in $|z|\leq r$, that is analytic in the interior. Voronin's universality theorem asserts that translates of the Riemann zeta function $ζ(3/4 + z + it)$ can approximate $f$ uniformly in $|z| < r$ to any given precision $\varepsilon$, and moreover that the set of such $t \in [0, T]$ has measure at least $c(\varepsilon) T$ for some $c(\varepsilon) > 0$, once $T$ is large enough. This was refined by Bagchi who showed that the measure of such $t \in [0,T]$ is $(c(\varepsilon) + o(1)) T$, for all but at most countably many $\varepsilon > …
We use subsequence and moving average ergodic theorems applied to Boole's transformation and its variants and their invariant measures on the real line to give new characterisations of the Lindelh{ö}f Hypothesis and the Riemann hypothesis. These ideas are then used to study the value distribution of Dirichlet L series, and the zeta functions of Dedekind, Hurwitz and Riemann and their derivatives. This builds on earlier work of R. L. using Birkhoff's ergodic theorem and probability theory.
By elaborating a two-dimensional Selberg sieve with asymptotics and equidistributions of Kloosterman sums from $\ell$-adic cohomology, as well as a Bombieri--Vinogradov type mean value theorem for Kloosterman sums in arithmetic progressions, it is proved that for any given primitive Hecke--Maass cusp form of trivial nebentypus, the eigenvalue of the $n$-th Hecke operator does not coincide with the Kloosterman sum $\mathrm{Kl}(1,n)$ for infinitely many squarefree $n$ with at most $100$ prime factors. This provides a partial negative answer to a problem of Katz on modular structures of Kloosterm…
We prove a variant of the Lavrentiev's approximation theorem that allows us to approximate a continuous function on a compact set K in C without interior points and with connected complement, with polynomial functions that are nonvanishing on K. We use this result to obtain a version of the Voronin universality theorem for compact sets K, without interior points and with connected complement where it is sufficient that the function is continuous on K and the condition that it is nonvanishing can be removed. This implies a special case of a criterion of Bagchi, which in the general case has bee…
We study analytic properties of the pair consisting of a rather general form of zeta-function with an Euler product and a periodic Hurwitz zeta-function with a transcendental parameter. We first survey briefly previous results, and then investigate the mixed joint discrete value distribution and prove the mixed joint discrete universality theorem for these functions, in the case when common differences of relevant arithmetic progressions are not necessarily the same. Also some generalizations are given. For this purpose, certain arithmetic conditions on the common differences are necessary.
We prove a version of Bagchi's Theorem and of Voronin's Universality Theorem for family of primitive cusp forms of weight $2$ and prime level, and discuss under which conditions the argument will apply to general reasonable family of automorphic $L$-functions.
We prove a variant of the Mergelyan approximation theorem that allows us to approximate functions that are analytic and nonvanishing in the interior of a compact set K with connected complement, and whose interior is a Jordan domain, with nonvanishing polynomials. This result was proved earlier by the author in the case of a compact set K without interior points, and independently by Gauthier for this case and the case of strictly starlike compact sets. We apply this result on the Voronin universality theorem for compact sets K of this type, where the usual condition that the function is nonva…
We prove a mixed joint discrete universality theorem for a Matsumoto zeta-function $φ(s)$ (belonging to the Steuding subclass) and a periodic Hurwitz zeta-function $ζ(s,α;{\mathfrak{B}})$. For this purpose, certain independence condition for the parameter $α$ and the minimal step of discrete shifts of these functions is assumed. This paper is a continuation of authors' works [12] and [arXiv:1601.03795].
The goal of this paper is to explain certain experimentally observed properties of the (cuspidal) spectrum and its associated automorphic forms (Maass waveforms) on the congruence subgroup $Γ_{0}(9)$. The first property is that the spectrum possesses multiplicities in the so-called new part, where it was previously believed to be simple. The second property is that the spectrum does not contain any "genuinely new" eigenvalues, in the sense that all eigenvalues of $Γ_{0}(9)$ appear in the spectrum of some congruence subgroup of lower level. The main theorem in this paper gives a precise decompo…
We prove a new case of mixed discrete joint universality theorem on approximation of certain target couple of analytic functions by the shifts of a pair consisting of the function belonging to wide class of Matsumoto zeta-functions and the periodic Hurwitz zeta-function. We work under the condition that the common difference of arithmetical progression satisfies a certain rational condition and the parameter is a transcendental number. The essential difference from the result in our previous article is that here we do not study the class of partial zeta-functions, but work with the class of th…
We prove that the Voronin universality theorem for the Riemann zeta-function extends to the line Re(s)=1 if in addition to vertical shifts we also allow scaling and adding a sufficiently large constant.
We survey some of the universality properties of the Riemann zeta function $ζ(s)$ and then explain how to obtain a natural quantization of Voronin's universality theorem (and of its various extensions). Our work builds on the theory of complex fractal dimensions for fractal strings developed by the second author and M. van Frankenhuijsen in \cite{La-vF4}. It also makes an essential use of the functional analytic framework developed by the authors in \cite{HerLa1} for rigorously studying the spectral operator $\mathfrak{a}$ (mapping the geometry onto the spectrum of generalized fractal strings)…