Sub-convexity problem for Rankin-Selberg $L$-functions
We establish a sub-convexity estimate for Rankin-Selberg $L$-functions in the combined level aspect, using the circle method. If $p$ and $q$ are distinct prime numbers, $f$ and $g$ are non-exceptional newforms (modular or Maass) for the congruence subgroups $Γ_0(p)$ and $Γ_0(q)$ (resp) with trivial nebentypus, then for all $ε>0$ we show that there exists an $A >0$ such that $$ L\left(\frac{1}{2}+it, f \times g \right) \ll_{ε,μ_f, μ_g}(1+|t|)^A \frac{(pq)^{1/2+ε}}{\max\{p,q \}^{\frac{1}{64}}}. $$ The dependence on $μ_f$ and $μ_g$, the parameters at infinity for $f$ and $g$ respectively, is polynomial. Further, if $p$ is fixed and $q \rightarrow \infty$, we improve this to $$ L\left(\frac{1}{2}+it, f \times g \right) \ll_{ε,μ_f,μ_g}(p(1+|t|))^Aq^{\frac{1}{2}-\frac{1-2θ}{27+28θ}+ε} , $$ where $θ$ is the exponent towards Ramanujan-conjecture for cuspidal automorphic forms. Unconditionally, we can take $θ= 7/64$. This improves all previously known sub-convexity estimates in this case.