We prove a log-free zero density estimate for automorphic $L$-functions defined over a number field $k$. This work generalizes and sharpens the method of pseudo-characters and the large sieve used earlier by Kowalski and Michel. As applications, we demonstrate for a particular family of number fields of degree $n$ over $k$ (for any $n$) that an effective Chebotarev density theorem and a bound on $\ell$-torsion in class groups hold for almost all fields in the family.
We prove that the complete $L$-function associated to any cuspidal automorphic representation of $GL_2(\mathbb{A}_{\mathbb Q})$ has infinitely many simple zeros.
We establish "higher depth" analogues of regularized determinants due to Milnor for zeros of cuspidal automorphic L-functions of GL_d over a general number field. This is a generalization of the result of Deninger about the regularized determinant for zeros of the Riemann zeta function.
We prove for L-function attached to an automorphic cusp form for the Hecke congruence group $Γ_0(D)$, which is also an eigenfunction of all the Hecke operators, that a positive proportion of its non-trivial zeros lie on the critical line. This result extends the work of J.L. Hafner of 1983 where the case of the full modular group is considered.
We extend some results of Gun, Murty, and Rath on elliptic modular forms. We take ANY Fuchsian triangle group with a cusp and look at power series expansions in a natural parameter around that cusp. Consider the automorphic forms for such a triangle group whose power series expansions in the natural parameter have algebraic coefficients. We show that the zeros of such forms are either transcendental or are "CM." By "CM," we mean they correspond to abelian varieties with complex multiplication. This result is the first of its kind in the case of non-arithmetic groups.
Building on the works of S. Bochner on equivalence of modular relation with functional equation associated to the Dirichlet series, K. Chandrasekharan and R. Narasimhan obtained new equivalences between the functional equation and some arithmetical identities. Sister Ann M. Heath considered the functional equation in the Hawkins and Knopp context and showed its equivalence to two arithmetical identities associated with entire modular cusp integrals involving rational period functions for the full modular group. In this paper we use techniques of Chandrasekharan and Narasimhan and extend the re…
Let F be a number field, p a prime number. We construct the (multi-variable) p-adic L-function of an automorphic representation of $GL_2(A_F)$ (with certain conditions at places above p and $\infty$), which interpolates the complex L-function at the central critical point. We use this construction to prove that the p-adic L-function of a modular elliptic curve E over F has vanishing order greater or equal to the number of primes above p at which E has split multiplicative reduction, as predicted by the exceptional zero conjecture. This is a generalization of analogous results by Spieß (arXiv:1…
Let $d\in\mathbb{N}$, and let $π$ be a fixed cuspidal automorphic representation of $\mathrm{GL}_{d}(\mathbb{A}_{\mathbb{Q}})$ with unitary central character. We determine the limiting distribution of the family of values $-\frac{L'}{L}(1+it,π\otimesχ_D)$ as $D$ varies over fundamental discriminants. Here, $t$ is a fixed real number and $χ_D$ is the real character associated with $D$. We establish an upper bound on the discrepancy in the convergence of this family to its limiting distribution. As an application of this result, we obtain an upper bound on the small values of $\left|\frac{L'}{L}…
We introduce a class of multiplicative functions in which each function satisfies some statistic conditions, and then prove that above functions are not correlated with finite degree polynomial nilsequences. Besides, we give two applications of this result. One is that the twisting of coefficients of automorphic $L$-function on $GL_m (m \geq 2)$ and polynomial nilsequences has logarithmic decay; the other is that the mean value of the Möbius function, coefficients of automorphic $L$-function and polynomial nilsequences also has logarithmic decay.
We relate the study of Landau-Siegel zeros to the ranks of Jacobians $J_0(q)$ of modular curves for large primes $q$. By a conjecture of Brumer-Murty, the rank should be equal to half of the dimension. Equivalently, almost all newforms of weight two and level $q$ have analytic rank $\leq 1$. We show that either Landau-Siegel zeros do not exist, or that almost all such newforms have analytic rank $\leq 2$. In particular, almost all odd newforms have analytic rank equal to one. Additionally, for a sparse set of primes $q$ we show the rank of $J_0(q)$ is asymptotically equal to the rank predicted…
We generalize the first part of A. Connes paper (math/9811068) on the zeroes of the Riemann zeta function from a number field $k$ to any simple algebra $M$ over $k$. To a given automorphic representation $π$ of the reductive group $M^\times$ of invertible elements of $M$ we find a Hilbert space $H_π$ and an operator $D_π$ (Polya-Hilbert operator), which is the infinitesimal generator of a canonical flow such that the spectrum of $D_π$ coincides with the purely imaginary zeroes of the function $L(π,\rez{2} +z)$. As a byproduct we get holomorphicity of all automorphic $L$-functions, not only the…
We apply some ideas of Bombieri and Garrett to construct natural self-adjoint operators on spaces of automorphic forms whose only possible discrete spectrum is $λ_{s}$ for $s$ in a subset of on-line zeros of an $L$-function, appearing as a compact period of cuspidal-data Eisenstein series on $GL_{4}$. These ideas have their origins in results of Hejhal and Colin de Verdiére. In parallel with the $GL(2)$ case, the corresponding pair-correlation and triple-correlation results limit the fraction of on-the-line zeros that can appear in this fashion.
It is known due to Baker and Montgomery that almost all Fekete polynomials under certain ordering have at least one zero on the interval (0, 1). In terms of the positive-definiteness, Fekete polynomial has no zero on the interval (0, 1) if and only if the corresponding automorphic form is positive-definite. On generalizing their result, we formulate an axiomatic result about sets of automorphic forms satisfying certain averages when suitably ordered, which ensures that almost all forms are not positive-definite within such sets. We then apply the result to various families, including the famil…
Let $K/\mathbb{Q}$ be a number field. Let $π$ and $π^\prime$ be cuspidal automorphic representations of $\mathrm{GL}_d(\mathbb{A}_K)$ and $\mathrm{GL}_{d^\prime}(\mathbb{A}_K)$, and suppose that either both $d$ and $d'$ are at most 2 or at least one of $π$ and $π^\prime$ is self-dual. When $d=d^\prime=2$, we prove an unconditional and effective log-free zero density estimate for the Rankin-Selberg $L$-function $L(s,π\otimesπ^\prime,K)$. For other choices of $d$ and $d^\prime$, we obtain similar results assuming that either $π$ or $π^\prime$ satisfies the generalized Ramanujan conjecture. With …
We study the behaviour of automorphic L-Invariants associated to cuspidal representations of GL(2) of cohomological weight 0 under abelian base change and Jacquet-Langlands lifts to totally definite quaternion algebras. Under a standard non-vanishing hypothesis on automorphic L-functions and some technical restrictions on the automorphic representation and the base field we get a simple proof of the equality of automorphic and arithmetic L-invariants. This together with Spiess' results on p-adic L-functions yields a new proof of the exceptional zero conjecture for modular elliptic curves - at …
Zagier introduced toroidal automorphic forms to study the zeros of zeta functions: an automorphic form on GL_2 is toroidal if all its right translates integrate to zero over all nonsplit tori in GL_2, and an Eisenstein series is toroidal if its weight is a zero of the zeta function of the corresponding field. We compute the space of such forms for the global function fields of class number one and genus g zero or one, and with a rational place. The space has dimension g and is spanned by the expected Eisenstein series. We deduce an "automorphic" proof for the Riemann hypothesis for the zeta fu…
The space of toroidal automorphic forms was introduced by Zagier in the 1970s: a GL_2-automorphic form is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems (amongst others) from the fact that an Eisenstein series of weight s is toroidal for a given torus precisely if s is a non-trivial zero of the zeta function of the quadratic field corresponding to the torus. In this paper, we study the structure of the space of toroidal automorphic forms for an arbitrary number field F. We prove that it decomposes into a space span…
We develop a theory of arithmetic characteristic classes of (fully decomposed) automorphic vector bundles equipped with an invariant hermitian metric. These characteristic classes have values in an arithmetic Chow ring constructed by means of differential forms with certain log-log type singularities. We first study the cohomological properties of log-log differential forms, prove a Poincaré lemma for them and construct the corresponding arithmetic Chow groups. Then we introduce the notion of log-singular hermitian vector bundles, which is a variant of the good hermitian vector bundles introdu…
Let $F$ be the function field of an elliptic curve $X$ over $\F_q$. In this paper, we calculate explicit formulas for unramified Hecke operators acting on automorphic forms over $F$. We determine these formulas in the language of the graph of an Hecke operator, for which we use its interpretation in terms of $¶^1$-bundles on $X$. This allows a purely geometric approach, which involves, amongst others, a classification of the $¶^1$-bundles on $X$. We apply the computed formulas to calculate the dimension of the space of unramified cusp forms and the support of a cusp form. We show that a cuspid…
First, we recount a history of how certain methods using natural self-adjoint operators have, thus far, failed to prove the Riemann Hypothesis. In Section 2, we set the analytical context necessary to have genuine proofs in later sections, rather than attractive heuristics. In Section 3, we recall the utility of designed pseudo-Laplacians by reproving meromorphic continuation of certain Eisenstein series and proving a spacing result for zeros of $ζ_k(s)$ for $k$ a complex quadratic field with negative determinant. In Section 4, we construct an automorphic Hamiltonian which has purely discrete …
Let A be a modular elliptic curve over a totally real field F, and let E/F be a totally imaginary quadratic extension. In the event of exceptional zero phenomenon, we prove a formula for the derivative of the multivariable anticyclotomic p-adic L-function attached to (A,E), in terms of the Hasse-Weil L-function and certain p-adic periods attached to the respective automorphic forms. Our methods are based on a new construction of the anticyclotomic p-adic L-function by means of the corresponding automorphic representation.
If C is a smooth projective curve over a number field k, then, under fair hypotheses, its L-function admits meromorphic continuation and satisfies the anticipated functional equation if and only if a related function is X-mean-periodic for some appropriate functional space X. Building on the work of Masatoshi Suzuki for modular elliptic curves, we will explore the dual relationship of this result to the widely believed conjecture that such L-functions should be automorphic. More precisely, we will directly show the orthogonality of the matrix coefficients of GL_{2g}-automorphic representations…
As automorphic $L$-functions or Artin $L$-functions, several classes of $L$-functions have Euler products and functional equations. In this paper we study the zeros of $L$-functions which have the Euler products and functional equations. We show that there exists some relation between the zeros of the Riemann zeta-function and the zeros of such $L$-functions. As a special case of our results, we find the relations between the zeros of the Riemann zeta-function and the zeros of automorphic $L$-functions attached to elliptic modular forms or the zeros of Rankin-Selberg $L$-functions attached to …
Let L(s) = L(s, π) be the standard L-function of a cuspidal representation πof GL(m,A) where A denotes the adèles of the field of rationals. We consider the integral, on the real line Re(s)= 1/2, of the squared absolute value of L(s)/s. In an earlier paper, partly with P. Sarnak (arxiv:2203.12475) we obtained a universal lower bound on this integral, independently of m. In this paper, for m fixed, we first obtain a universal lower bound for the integral on an interval [-A logC, A log C] where C is the analytic conductor of π; this bound is of order c(log C)^{-1/2} ; A, c are absolute positive …
Gross and Zagier conjectured that the CM values (of certain Hecke translates) of the automorphic Green function $G_s(z_1,z_2)$ for the elliptic modular group at positive integral spectral parameter $s$ are given by logarithms of algebraic numbers in suitable class fields. We prove a partial average version of this conjecture, where we sum in the first variable $z_1$ over all CM points of a fixed discriminant $d_1$ (twisted by a genus character), and allow in the second variable the evaluation at individual CM points of discriminant $d_2$. This result is deduced from more general statements for…
We compare modular forms of characteristic $p>0$ (i.e. Drinfeld's modular forms) and automorphic forms. We prove that spaces of these modular forms (which are of characteristic $p$) can be described by function spaces of characteristic zero, close to those of automorphic forms.
The (Deuring-Heilbronn-) Linnik phenomenon is extended to L-functions associated with real analytic automorphic forms. The repelling effect of exceptional zeros of Dirichlet L-functions are felt not only by those L-functions themselves but also by automorphic L-functions. This version 2 contains substantial changes of notation as well as a few corrections.
We obtain uniform lower bounds, true for all automorphic L-functions L(s) associated to cuspidal representations of GL(m,A) where A denotes the adeles of the rationals Q, of the integral on the vertical line (Re(s)=1/2) of the absolute value squared of L(s)/s; and also of L(s)/(s-s_0) when s_0 is a zero of the L-function on the critical line. Several variants are also obtained in small degrees m, for the vertical integrals at different abscissas in the critical strip. For the estimates required to prove convergence, we are led to generalise a result of Friedlander-Iwaniec (Can. J. Math. 57,200…
The zeros and poles of standard automorphic $L$-functions attached to representations of classical groups are linked to the nonvanishing of lifts in the theory of the theta correspondence. The results of this paper show that when a cuspidal representation $σ$ of a symplectic group $G$ lifts to a cuspidal representation $π= θ_ψ(σ)$ of an orthogonal group $H$ attached to a quadratic space $V$ of dimension $m$, the Fourier coefficients of automorphic forms in $σ$ are linked to periods of automorphic forms in $π$. Consequently, when our results are combined with the Rallis inner product formula in…
The space of toroidal automorphic forms was introduced by Zagier in 1979. Let $F$ be a global field. An automorphic form on $\GL(2)$ is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems from the fact (amongst others) that an Eisenstein series of weight $s$ is toroidal if $s$ is a non-trivial zero of the zeta function, and thus a connection with the Riemann hypothesis is established. In this paper, we concentrate on the function field case. We show the following results. The $(n-1)$-th derivative of a non-trivial Eisen…
We prove a strong form of the trivial zero conjecture at the central point for the $p$-adic $L$-function of a non-critically refined self-dual cohomological cuspidal automorphic representation of $\mathrm{GL}_2$ over a totally real field, which is Iwahori spherical at places above $p$. In the case of a simple zero we adapt the approach of Greenberg and Stevens, based on the functional equation for the $p$-adic $L$-function of a nearly finite slope family and on improved $p$-adic $L$-functions that we construct using automorphic symbols and overconvergent cohomology. For higher order zeros we d…
We extend Holowinsky and Soundararajan's proof of quantum unique ergodicity for holomorphic Hecke modular forms on SL(2,Z), by establishing it for automorphic forms of cohomological type on GL_2 over an arbitrary number field which satisfy the Ramanujan bounds. In particular, we have uncondtional theorems over totally real and imaginary quadratic fields. In the totally real case we show that our result implies the equidistribution of the zero divisors of holomorphic Hecke modular forms, generalising a result of Rudnick over Q.
On the Density of Low Lying Zeros of a Large Family of Automorphic $L$-functions
University of Wisconsin（威斯康星大学）；Massachusetts Institute of Technology（麻省理工学院）；Princeton University（普林斯顿大学）；Williams College（威廉姆斯学院）；University of Cambridge（剑桥大学）
In this paper we discuss the existence of certain classes of cuspidal automorphic representations having non-zero Fourier coefficients for general semisimple algebraic group $G$ defined over a number field $k$ such that its Archimedean group $G_\infty$ is not compact. When $G$ is quasi--split over $k$, we obtain a result on existence of generic cuspidal automorphic representations which generalize a result of Vign\' eras, Henniart, and Shahidi. We also discuss the existence of cuspidal automorphic forms with non--zero Fourier coefficients for congruence of subgroups of $G_\infty$.
We obtain a second moment formula for the L-series of holomorphic cusp forms, averaged over twists by Dirichlet characters modulo a fixed conductor Q. The estimate obtained has no restrictions on Q, with an error term that has a close to optimal power savings in the exponent. However, one of the contributions to the main term is a special value of a shifted double Dirichlet series. We show that this special value is small on average, and obtain a corresponding estimate for a mean value of the second moment over Q. This mean value is non-zero even when applied to a product of two distinct L-ser…
We introduce interaction entropies, which can be represented as logarithmic couplings of certain cycles on a class of algebraic curves of arithmetic interest. In particular, via interaction entropies for Legendre-Ramanujan curves $ Y^n=(1-X)^{n-1}X(1-αX)$ ($ n\in\{6,4,3,2\}$), we reformulate the Kontsevich-Zagier integral representations of weight-4 automorphic Green's functions $ G_2^{\mathfrak H/\overline{\varGamma}_0(N)}(z_1,z_2)$ ($N=4\sin^2(π/n )\in\{1,2,3,4\}$), in a geometric context. These geometric entropies allow us to establish algebraic relations between certain weight-4 automorphi…
We describe a new method to obtain weak subconvexity bounds for $L$-functions with mild hypotheses on the size of the Dirichlet coefficients. We verify these hypotheses for all automorphic $L$-functions and (with mild restrictions) the Rankin-Selberg $L$-functions attached to two automorphic representations. The proof relies on a new unconditional log-free zero density estimate for Rankin-Selberg $L$-functions.
We consider certain families of automorphic representations over number fields arising from the principle of functoriality of Langlands. Let $G$ be a reductive group over a number field $F$ which admits discrete series representations at infinity. Let $^{L}G=\hat G \rtimes \mathrm{Gal}(\bar F/F)$ be the associated $L$-group and $r:{}^L G\to \mathrm{GL}(d,\mathbb{C})$ a continuous homomorphism which is irreducible and does not factor through $\mathrm{Gal}(\bar F/F)$. The families under consideration consist of discrete automorphic representations of $G(\mathbb{A}_F)$ of given weight and level a…
We show that Landau-Siegel zeros for Dirichlet $L$-functions do not exist or quantum unique ergodicity for $\mathrm{GL}_2$ Hecke-Maass newforms holds with an effective rate of convergence. This follows from a more general result: Landau-Siegel zeros of Dirichlet $L$-functions repel the zeros of all other automorphic $L$-functions from the line $\mathrm{Re}(s)=1$.
We give a simple proof of a standard zero-free region in the $t$-aspect for the Rankin--Selberg $L$-function $L(s,π\times \widetildeπ)$ for any unitary cuspidal automorphic representation $π$ of $\mathrm{GL}_n(\mathbb{A}_F)$ that is tempered at every nonarchimedean place outside a set of Dirichlet density zero.
Let $π$ and $π'$ be cuspidal automorphic representations of $\mathrm{GL}(n)$ and $\mathrm{GL}(n')$ with unitary central characters. We establish a new zero-free region for all $\mathrm{GL}(1)$-twists of the Rankin-Selberg $L$-function $L(s,π\timesπ')$, generalizing Siegel's celebrated work on Dirichlet $L$-functions. As an application, we prove the first unconditional Siegel-Walfisz theorem for the Dirichlet coefficients of $-L'(s,π\timesπ')/L(s,π\timesπ')$. Also, for $n\leq 8$, we extend the region of holomorphy and nonvanishing for the twisted symmetric power $L$-functions $L(s,π,\mathrm{Sym…
Let $L(s, π\timesπ^\prime)$ be the Rankin--Selberg $L$-function attached to automorphic representations $π$ and $π^\prime$. Let $\tildeπ$ and $\tildeπ^\prime$ denote the contragredient representations associated to $π$ and $π^\prime$. Under the assumption of certain upper bounds for coefficients of the logarithmic derivatives of $L(s, π\times\tildeπ)$ and $L(s, π^\prime\times\tildeπ^\prime)$, we prove a log-free zero-density estimate for $L(s, π\timesπ^\prime)$ which generalises a result due to Fogels in the context of Dirichlet $L$-functions. We then employ this log-free estimate in studying …
In this note we study the symmetric powers of strongly modular icosahedral representations $ρ$ of ${\rm Gal} (\bar{F}/F)$, $F$ a number field, and their twisted $L$--functions. We prove that for such $ρ$, there exists a cuspidal automorphic representation $Π= Π_{\infty} \otimes Π_{f}$ of $GL_{6} (\mathbb{A}_{F})$ such that $L (s, {\rm sym}^{5} (ρ)) = L (s, Π_{f})$. One sees that ${\rm sym}^{5} (ρ)$ is twist equivalent to $ρ' \otimes {\rm sym}^{2} (ρ)$ for another modular icosahedral representation $ρ'$, and our theorem is a special case of a cuspidality criterion formulated and proved in this …
In this paper we consider Dirichlet series absolutely converging for $σ>1$ with an Euler product, natural bounds on the coefficients and satisfying orthogonality relations of Selberg type. Let $N\geq 1$, $F_1(s),...,F_N(s)$ be as above and $P(X_1,...,X_N)$ be a non-monomial polynomial with coefficients in the ring of $p$-finite Dirichlet series absolutely converging for $σ\geq 1$; then $P(F_1(s),\ldots,F_N(s))$ has infinitely many zeros for $σ>1$. Our result in particular applies to Artin $L$-functions, automorphic $L$-functions under the Ramanujan conjecture, and the elements of the Selberg c…
We obtain an asymptotic formula for a weighted sum over cuspidal eigenvalues in a specific region, for $\SL_2$ over a totally real number field $F$, with discrete subgroup of Hecke type $Γ_0(I)$ for a non-zero ideal $I$ in the ring of integers of $F$. The weights are products of Fourier coefficients. This implies in particular the existence of infinitely many cuspidal automorphic representations with multi-eigenvalues in various regions growing to infinity. For instance, in the quadratic case, the regions include floating boxes, floating balls, sectors, slanted strips and products of prescribe…
We provide a few natural applications of the analytic newvectors, initiated in \cite{JN} arXiv:1911.01880, to some analytic questions in automorphic forms for $\mathrm{PGL}_n(\mathbb{Z})$ with $n\ge 2$, in the archimedean analytic conductor aspect. We prove an orthogonality result of the Fourier coefficients, a density estimate of the non-tempered forms, an equidistribution result of the Satake parameters with respect to the Sato--Tate measure, and a second moment estimate of the central $L$-values as strong as Lindelöf on average. We also prove the random matrix prediction about the distribut…
The density conjecture of Katz and Sarnak predicts that, for natural families of L-functions, the distribution of zeros lying near the real axis is governed by a group of symmetry. In the case of the universal family of automorphic forms of bounded analytic conductor on a totally definite quaternion algebra, we determine the associated distribution for a restricted class of test functions. In particular it leads to non-trivial results on densities of non-vanishing at the central point.
