In this paper, we solve the Rankin--Selberg problem. That is, we break the well known Rankin--Selberg's bound on the error term of the second moment of Fourier coefficients of a $\mathrm{GL}(2)$ cusp form (both holomorphic and Maass), which remains its record since its birth for more than 80 years. We extend our method to deal with averages of coefficients of L-functions which can be factorized as a product of a degree one and a degree three L-functions.
We unconditionally construct cyclotomic p-adic L-functions for Rankin-Selberg convolutions for GL(n+1) x GL(n) over arbitrary number fields, and show that they satisfy an expected functional equation.
We establish the universality theorem for the first four symmetric power L-functions of automorphic forms and their associated Rankin-Selberg L-functions. This generalizes some results of Laurincikas & Matsumoto and Matsumoto respectively.
In the 80s, Zagier and Jacquet-Zagier tried to derive the Selberg trace formula by applying the Rankin-Selberg method to the automorphic kernel function. Their derivation was incomplete due to a puzzle of the computation of a residue. We solve this puzzle and complete the derivation. The main input is an extension of the theory of regularized integrals invented by Zagier, which is of independent interest.
An overview of the classical Rankin-Selberg problem involving the asymptotic formula for sums of coefficients of holomorphic cusp forms is given. We also study the function $Δ(x;ξ) (0\leξ\le1)$, the error term in the Rankin-Selberg problem weighted by $ξ$-th power of the logarithm. Mean square estimates for $Δ(x;ξ)$ are proved.
In this paper, we obtain a subconvexity result for the Rankin-Selberg L-function in both levels. The new feature in this result is applying an amplification method of Duke-Friedlander-Iwaniec to a double Petersson-Kuznetsov trace formula. As the trace formula ranges over all the $GL_2$ spectrum, this subconvexity result is unconditional of which Hecke eigenforms are chosen in the Rankin-Selberg L-function.
In this paper, some asymptotic formulas are proved for the harmonic mollified second moment of a family of Rankin-Selberg L-functions. One of the main new input is a substantial improvement of the admissible length of the mollifier which is done by solving a shifted convolution problem by a spectral method on average. A first consequence is a new subconvexity bound for Rankin-Selberg L-functions in the level aspect. Moreover, infinitely many Rankin-Selberg L-functions having at most eight non-trivial real zeros are produced and some new non-trivial estimates for the analytic rank of the family…
We derive integral representations for the Rankin-Selberg L-functions on GL(3) x GL(1) and GL(3) x GL(2) by a process of unipotent averaging at archimedean places. A key feature of our result is that it allows one to fix the choice of test vector at finite places, irrespective of ramification. This enables a new proof of the functional equation for GL(3) x GL(2) Rankin-Selberg L-functions in many cases.
We try to understand the poles of L-functions via taking a limit in a trace formula. This technique avoids endoscopic and Kim-Shahidi methods. In particular, we investigate the poles of the Rankin-Selberg L-function. Using analytic number theory techniques to take this limit, we essentially get a new proof of the analyticity of the Rankin-Selberg L-function at $s=1.$ Along the way we discover the convolution operation for Bessel transforms.
A standard zero free region is obtained for Rankin Selberg L-functions $L(s, f\times \widetilde{f})$ where $f$ is an almost everywhere tempered Maass form on $GL(n)$ and $f$ is not necessarily self dual. The method is based on the theory of Eisenstein series generalizing a work of Sarnak.
We present a Rankin-Selberg integral on the exceptional group $G_2$ which represents the L-function for generic cuspidal representations of $\widetilde{SL}_2\times GL_2$. As an application, we show that certain Fourier-Jacobi type periods on $G_2$ are non-vanishing.
We prove a version of the Extra-zero conjecture formulated by the first named author for p-adic L-functions associated to Rankin-Selberg convolutions of modular forms of the same weight. The novelty of this result is to provide strong evidence in support of this conjecture in the non-critical case, which remained essentially unstudied.
We address the problem of identifying a Hecke-Maass cusp form $f$ of full level from the central values of the Rankin-Selberg $L$-functions $L(1/2,f\otimes h)$ where $h$ runs through the set of Hecke-Maass eigenforms of full level. We prove a quantitative result in this direction.
In this article, we prove an explicit Waldspurger formula for the toric Hilbert modular forms. As an application, we construct a class of anticyclotomic p-adic Rankin-Selberg L-functions for Hilbert modular forms, generalizing the construction of Bertolini, Darmon and Prasanna in the elliptic case. Moreover, building on works of Hida, we give a necessary and sufficient condition when the Iwasawa mu-invariant of this p-adic L-function vanishes and prove a result on the non-vanishing modulo $p$ of central Rankin-Selberg L-values with anticyclotomic twists.
We compute the second moment of a certain family of Rankin-Selberg $L$-functions L(f x g, 1/2) where f and g are Hecke-Maass cusp forms on GL(n). Our bound is as strong as the Lindelöf hypothesis on average, and recovers individually the convexity bound. This result is new even in the classical case n=2.
We prove new congruences between special values of Rankin-Selberg $L$-functions for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$ over arbitrary number fields. This allows us to control the behavior of $p$-adic $L$-functions under Tate twists and to prove the existence of non-abelian $p$-adic $L$-functions for Hida families on $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$. As an application, we prove strong non-vanishing results for central $L$-values: We give sufficient local conditions for twisted central Rankin-Selberg $L$-values to be generically non-zero.
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.
We prove a functional equation for the three-variable $p$-adic $L$-function attached to the Rankin-Selberg convolution of a Coleman family and a CM Hida family, which was studied by Loeffler and Zerbes. Consequentially, we deduce that an anticyclotomic $p$-adic $L$-function attached to a $p$-non-ordinary modular form vanishes identically in the indefinite setting.
Let $Δ_1(x;ϕ)$ be the error term of the first Riesz means of the Rankin-Selberg zeta function. We study the higher power moments of $Δ_1(x;ϕ)$ and derive an asymptotic formula for 3-rd, 4-th and 5-th power moments by using Ivić 's large value arguments.
In this paper, we study the non-vanishing of the central values of the Rankin-Selberg $L$-function of two adèlic Hilbert primitive forms ${\bf f}$ and ${\bf g}$, both of which have varying weight parameter $k$. We prove that, for sufficiently large $k$, there are at least $\frac{k}{(\log k)^{c}}$ adèlic Hilbert primitive forms ${\bf f}$ of weight $k$ for which $L(\frac12, {\bf f}\otimes{\bf g})$ are nonzero.
We give a construction of a wide class of modular symbols attached to reductive groups. As an application we construct a p-adic distribution interpolating the special values of the twisted Rankin-Selberg L-function attached to cuspidal automorphic representations of GL(n) and GL(n-1) over number fields. If the representations are ordinary at p, our distribution is bounded and yields analyticity of the associated p-adic L-function.
Let $f$ be a Maass form for $SL(3, \mathbb{Z})$ which is fixed and $u_j$ be an orthonormal basis of even Maass forms for $SL(2, \mathbb{Z}),$ we prove an asymptotic formula for the average of the product of the Rankin-Selberg $L$-function of $f$ and $u_j$ and the $L$-function of $u_j$ at the central value 1/2. This implies simultaneous nonvanishing results of these $L$-functions at $1/2.$
We prove a new case of spectral reciprocity formulae for the product of $GL(n+1) \times GL(n)$ and $GL(n) \times GL(n-1)$ Rankin-Selberg $L$-functions ($n \geq 3$), which are first developed by Blomer and Khan in \cite{BK17} for degree 8 $L$-functions ($n=2$ case, the product of $GL(3) \times GL(2)$ and $GL(2) \times GL(1)$ Rankin-Selberg $L$-functions). Our result can be viewed as a generalization of Blomer and Khan's work to higher rank case. We will mainly follow the method developed in \cite{Nun20}. We will use the integral representations of Rankin-Selberg $L$-functions generalized by Ich…
If $$ Δ(x) := \sum_{n\le x}c_n - Cx $$ denotes the error term in the classical Rankin-Selberg problem, then it is proved that $$ \int_0^X Δ^4(x)\d x \ll_εX^{3+ε},\quad \int_0^X Δ_1^4(x)\d x \ll_εX^{11/2+ε}, $$ where $Δ_1(x) = \int_0^xΔ(u) du$. The latter bound is, up to `$ε$', best possible.
In this work, we establish a zero density result for the Rankin-Selberg $L$-functions. As an application, we apply it to distinguish the holomorphic Hecke eigenforms for $\operatorname{SL}_2(\mathbb{Z}).$
In this paper, we prove that a primitive Hilbert cusp form $\mathbf{g}$ is uniquely determined by the central values of the Rankin-Selberg $L$-functions $L(\mathbf{f}\otimes\mathbf{g}, \frac{1}{2})$, where $\mathbf{f}$ runs through all primitive Hilbert cusp forms of level $\mathfrak{q}$ for infinitely many prime ideals $\mathfrak{q}$. This result is a generalization of a theorem of Luo to the setting of totally real number fields.
We formulate and for the most part prove a conjecture in the style of Mazur-Greenberg for the nonvanishing of central values of Rankin-Selberg $L$-functions attached to elliptic curves in abelian extensions of imaginary quadratic fields. This in particular generalizes the theorem of Rohrlich on $L$-functions of elliptic curves in cyclotomic towers to the setting of abelian extensions of imaginary quadratic fields, corresponding to families of degree-four $L$-functions given by $\operatorname{GL}(2)\times\operatorname{GL}(2)$ Rankin-Selberg $L$-functions. It also generalizes the theorems of Roh…
We construct an Euler system in the cohomology of the tensor product of the Galois representations attached to two modular forms, using elements in the higher Chow groups of products of modular curves. We use this Euler system to prove a finiteness theorem for the strict Selmer group of the Galois representation when the associated p-adic Rankin--Selberg L-function is non-vanishing at s = 1.
The conjectural newform theory for generic representations of $p$-adic ${\rm SO}_{2n+1}$ was formulated by P.-Y. Tsai in her thesis in which Tsai also verified the conjecture when the representations are supercuspidal. The main purpose of this work is to compute the Rankin-Selberg integrals for ${\rm SO}_{2n+1}\times{\rm GL}_r$ with $1\le r\le n$ attached to newforms and also oldforms under the validity of the conjecture.
As shown by Michel-Ramakrishan (2007) and later generalized by Feigon-Whitehouse (2008), there are "stable" formulas for the average central L-value of the Rankin-Selberg convolutions of some holomorphic forms of fixed even weight and large level against a fixed imaginary quadratic theta series. We obtain exact finite formulas for twisted first moments of Rankin-Selberg L-values in much greater generality and prove analogous "stable" formulas when one considers either arbitrary modular twists of large prime power level or real dihedral twists of odd type associated to a Hecke character of mixe…
We prove non-vanishing modulo p, for a prime $\ell$ different from p, of central critical Rankin-Selberg L-values with anticyclotomic twists of $\ell$-power conductor. The L-function is Rankin product of a cusp form and a theta series of arithmetic Hecke character of an imaginary quadratic field. The paper is concerned with the case when the weight of Hecke character is greater than that of cusp form, so the L-value is essentially different in nature from the one in the landmark work of Vatsal and Cornut-Vatsal on the same theme.
Let $F$ be a number field, and let $π_1$ and $π_2$ be distinct unitary cuspidal automorphic representations of $\operatorname{GL}_{n_1}(\mathbb{A}_F)$ and $\operatorname{GL}_{n_2}(\mathbb{A}_F)$ respectively. In this paper, we derive new lower bounds for the Rankin-Selberg $L$-function $L(s, π_1 \times \widetildeπ_2)$ along the edge $\Re s = 1$ of the critical strip in the $t$-aspect. The corresponding zero-free region for $L(s, π_1 \times \widetildeπ_2)$ is also determined.
Let $F$ be a non-Archimedean locally compact field. Let $σ$ and $τ$ be finite-dimensional semisimple representations of the Weil-Deligne group of $F$. We give strong upper and lower bounds for the Artin and Swan exponents of $σ\otimesτ$ in terms of those of $σ$ and $τ$. We give a different lower bound in terms of $σ\otimes\checkσ$ and $τ\otimes\checkτ$. Using the Langlands correspondence, we obtain the bounds for Rankin-Selberg exponents.
We consider the Rankin-Selberg L-functions associated with a fixed modular form of full level and holomorphic cuspidal newforms of large even weight, fixed level and fixed primitive nebentypus. We compute the second moment of this family in fairly general ranges, and obtain an asymptotic formula with a power saving error term. A special case treats the fourth moment of L-functions associated with holomorphic cusp forms.
In this work we use the Rankin-Selberg method to obtain results on the analytic properties of the standard $L$-function attached to vector valued Siegel modular forms. In particular we provide a detailed description of its possible poles and obtain a non-vanishing result of the twisted $L$-function beyond the usual range of absolute convergence. We remark that these results were known in this generality only in the case of scalar weight Siegel modular forms. As an interesting by-product of our work we establish the cuspidality of some theta series.
We prove an exact formula for the second moment of Rankin-Selberg $L$-functions $L(1/2,f \times g)$ twisted by $λ_f(p)$, where $g$ is a fixed holomorphic cusp form and $f$ is summed over automorphic forms of a given level $q$. The formula is a reciprocity relation that exchanges the twist parameter $p$ and the level $q$. The method involves the Bruggeman/Kuznetsov trace formula on both ends; finally the reciprocity relation is established by an identity of sums of Kloosterman sums.
The purpose of this paper is to prove that a primitive Hilbert cusp form $\mathbf{g}$ is uniquely determined by the central values of the Rankin-Selberg $L$-functions $L(\mathbf{f}\otimes\mathbf{g}, \frac{1}{2})$, where $\mathbf{f}$ runs through all primitive Hilbert cusp forms of weight $k$ for infinitely many weight vectors $k$. This work is a generalization of a result of Ganguly, Hoffstein, and Sengupta to the setting of totally real number fields, and it is a weight aspect analogue of the authors recent work.
In the present paper, we show the equality of the $γ$-factors defined by Jacquet, Piatetski-Shapiro and Shalika with those obtained via the Langlands-Shahidi method. Our results are new in the case of positive characteristic, where we establish a refined version of the local-global principle for ${\rm GL}_n$ which has independent interest. In characteristic zero, the results are due to Shahidi. The comparison of $γ$-factors is made via a uniqueness result for Rankin-Selberg $γ$-factors.
Let $M$ be a square-free integer and let $P$ be a prime not dividing $M$ such that $P \sim M^η$ with $0<η<2/21$. We prove subconvexity bounds for $L(\tfrac{1}{2}, f \otimes g)$ when $f$ and $g$ are two primitive holomorphic cusp forms of levels $P$ and $M$. These bounds are achieved through an unamplified second moment method.
If $$ Δ(x) \;:=\; \sum_{n\leqslant x}c_n - Cx\qquad(C>0) $$ denotes the error term in the classical Rankin-Selberg problem, then we obtain a non-trivial upper bound for the mean square of $Δ(x+U) - Δ(x)$ for a certain range of $U = U(X)$. In particular, under the Lindelöf hypothesis for $ζ(s)$, it is shown that $$ \int_X^{2X} \Bigl(Δ(x+U)-Δ(x)\Bigr)^2\,{\roman d} x \;\ll_ε\; X^{9/7+ε}U^{8/7}, $$ while under the Lindelöf hypothesis for the Rankin-Selberg zeta-function the integral is bounded by $X^{1+ε}U^{4/3}$. An analogous result for the discrete second moment of $Δ(x+U)-Δ(x)$ also holds.
Let $f$ be a Maass cusp form for $\rm SL_2(\mathbb{Z})$ with Laplace eigenvalue $1/4+μ_f^2$, $μ_f>0$. Let $g$ be an arbitrary but fixed holomorphic or Maass cusp form for $\rm SL_2(\mathbb{Z})$. In this paper, we establish the following uniform subconvexity bound for the Rankin-Selberg $L$-function $L(s,f\otimes g)$ $$ L\left(1/2+it,f\otimes g\right)\ll (μ_f+|t|)^{9/10+\varepsilon}, $$ where the implied constant depends only on $\varepsilon$ and $g$.
In this article we obtain an explicit formula for certain Rankin-Selberg type Dirichlet series associated to certain Siegel cusp forms of half-integral weight. Here these Siegel cusp forms of half-integral weight are obtained from the composition of the Ikeda lift and the Eichler-Zagier-Ibukiyama correspondence. The integral weight version of the main theorem had been obtained by Katsurada and Kawamura. The result of the integral weight case is a product of $L$-function and Riemann zeta functions, while half-integral weight case is a infinite summation over negative fundamental discriminants w…
Rationality results are proved for the ratios of critical values of Rankin-Selberg L-functions of GL(n) x GL(n') over a totally imaginary field F, by studying rank-one Eisenstein cohomology for the group GL(N)/F, where N = n+n', generalizing the methods and results of previous work with Guenter Harder where the base field was totally real. In contrast to the totally real situation, the internal structure of the totally imaginary base field has a delicate effect on the rationality results.
We prove an asymptotic expansion of the second moment of the central values of the $\mathrm{GL}(n)\times\mathrm{GL}(n)$ Rankin--Selberg $L$-functions $L(1/2,π\otimesπ_0)$, for a fixed cuspidal automorphic representation $π_0$, over the family of $π$ with analytic conductors bounded by a quantity which is tending off to infinity. Our proof uses the integral representations of the $L$-functions, period with regularized Eisenstein series, and the invariance properties of the analytic newvectors.
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…
