Abstract:Let $\Phi_1,\Phi_2$ be Maass forms for $\text{SL}(2,\mathbb Z)$ with Fourier coefficients $C_1(n),C_2(n)$.
For a positive integer $h$ the meromorphic continuation and growth in $s\in\mathbb C$ (away from poles) of the shifted convolution L-function $$L_h(s,{\Phi_1,\Phi_2})\, := \sum_{n \neq 0,-h} {C_1(n) C_2(n + h)} \cdot \big|n(n + h)\big|^{-\frac{1}{2}s}$$ is obtained. For ${\rm Re}(s) > 0$ it is shown that the only poles are possible simple poles at $\frac{1}{2} \pm ir_k$, where $\tfrac14+r_k^2$ are eigenvalues of the Laplacian. As an application we obtain, for $T\to\infty$, the asymptotic formula \begin{align*}
& \underset{n \neq 0,-h}{\sum_{\sqrt{|n (n + h)|}<T} } \hskip-5pt{C_1(n) C_2(n + h)} \left(\text{log}\Big(\tfrac{T}{\sqrt{|n (n + h)|}}\,\Big)\right)^{\frac{3}{2} + \varepsilon} \hskip-7pt =\; f_{{\mathfrak r_1,\mathfrak r_2,}h,\varepsilon}(T) \cdot T^{\frac{1}{2}} \; + \; \mathcal O\left( h^{1-\varepsilon} T^\varepsilon + h^{1 + \varepsilon} T^{-2 - 2\varepsilon} \right),
\end{align*}
where the function $f_{{\mathfrak r_1,\mathfrak r_2,}h,\varepsilon}(T)$ is given as an explicit spectral sum that satisfies the bound $f_{{\mathfrak r_1,\mathfrak r_2,}h,\varepsilon}(T) \ll h^{\theta + \varepsilon}$. We also obtain a sharp bound for the above shifted convolution sum with sharp cutoff, i.e., without the smoothing weight $\log(*)^{\frac32+\varepsilon}$ with uniformity in the $h$ aspect. Specifically, we show that for $h < x^{\frac{1}{2} - \varepsilon}$,
\[
{\sum_{\sqrt{|n (n + h)|} < x} C_1(n) C_2(n + h)} \ll h^{\frac{2}{3}\theta + \varepsilon}x^{\frac{2}{3} (1 + \theta) + \varepsilon} + h^{\frac{1}{2} + \varepsilon}x^{\frac{1}{2} + 2\theta + \varepsilon}.
\]
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the analytic continuation and growth estimate of the shifted convolution L - function of Maass forms. Specifically, the authors studied the L - function of the form
\[
L_h(s, \Phi_1, \Phi_2) := \sum_{n \neq 0, -h} C_1(n)C_2(n+h) \cdot |n(n+h)|^{-\frac{1}{2}s}
\]
where $\Phi_1$ and $\Phi_2$ are Maass forms on SL(2, Z), and their Fourier coefficients are $C_1(n)$ and $C_2(n)$ respectively. For a positive integer $h$, the authors hope to obtain the analytic continuation of this L - function on the complex plane and estimate its growth when $s \in \mathbb{C}$ (far from poles).
In addition, the authors also focus on the possible poles when $\Re(s)>0$ and the specific locations of these poles. They proved that these L - functions have only simple poles in the range of $\Re(s)>0$, and these poles are located at $s = \frac{1}{2} \pm ir_k$, where $r_k^2+\frac{1}{4}$ is the eigenvalue of the Laplace operator.
As an application, the authors obtained an asymptotic formula:
\[
\sum_{|n(n+h)| < T, n \neq 0, -h} C_1(n)C_2(n+h) \left(\log\left(\frac{T}{\sqrt{|n(n+h)|}}\right)\right)^{\frac{3}{2}+\varepsilon} = f_{r_1,r_2,h,\varepsilon}(T) \cdot T^{\frac{1}{2}} + O\left(h^{1-\varepsilon} T^\varepsilon + h^{1+\varepsilon} T^{-2 - 2\varepsilon}\right)
\]
where $f_{r_1,r_2,h,\varepsilon}(T)$ is an explicit spectral sum and satisfies the bound $f_{r_1,r_2,h,\varepsilon}(T) \ll h^{\theta+\varepsilon}$.
In addition, the authors also obtained a sharp upper bound for the shifted convolution sum:
\[
\sum_{|n(n+h)| < x, n \neq 0, -h} C_1(n)C_2(n+h) \ll h^{\frac{2}{3}\theta+\varepsilon} x^{\frac{2}{3}(1+\theta)+\varepsilon} + h^{\frac{1}{2}+\varepsilon} x^{\frac{1}{2}+2\theta+\varepsilon}
\]
These results not only extend previous research, but also provide new tools and methods for understanding the shifted convolution problem of Maass forms.