错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The shifted convolution L-function for Maass forms

  • Dorian Goldfeld,
  • Gerhardt Hinkle,
  • Jeffrey Hoffstein

摘要

Let \(\Phi _1,\Phi _2\) Φ 1 , Φ 2 be Maass forms for \(SL (2,{\mathbb {Z}})\) S L ( 2 , Z ) with Fourier coefficients \(C_1(n),C_2(n)\) C 1 ( n ) , C 2 ( n ) . For a positive integer h the meromorphic continuation and growth in \(s\in {\mathbb {C}}\) s C (away from poles) of the shifted convolution L-function \(\begin{aligned} L_h(s,{\Phi _1,\Phi _2})\,:= \sum _{n \ne 0,-h} {C_1(n) C_2(n + h)} \cdot \big |n(n + h)\big |^{-\frac{1}{2}s} \end{aligned}\) L h ( s , Φ 1 , Φ 2 ) : = n 0 , - h C 1 ( n ) C 2 ( n + h ) · | n ( n + h ) | - 1 2 s is obtained. For \(\textrm{Re}(s) > 0\) Re ( s ) > 0 it is shown that the only poles are possible simple poles at \(\frac{1}{2} \pm ir_k\) 1 2 ± i r k , where \(\tfrac{1}{4}+r_k^2\) 1 4 + r k 2 are eigenvalues of the Laplacian. As an application we obtain, for \(T\rightarrow \infty \) T , the asymptotic formula \(\begin{aligned}&\underset{n \ne 0,-h}{\sum _{\sqrt{|n (n + h)|}<T} } \hspace{-5.0pt}{C_1(n) C_2(n + h)} \left( log \Big (\tfrac{T}{\sqrt{|n (n + h)|}}\,\Big )\right) ^{\frac{3}{2} + \varepsilon } \hspace{-7.0pt}\\ &\qquad =\; 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{aligned}\) | n ( n + h ) | < T n 0 , - h C 1 ( n ) C 2 ( n + h ) l o g ( T | n ( n + h ) | ) 3 2 + ε = f r 1 , r 2 , h , ε ( T ) · T 1 2 + O h 1 - ε T ε + h 1 + ε T - 2 - 2 ε , where the function \(f_{{{\mathfrak {r}}_1,{\mathfrak {r}}_2,}h,\varepsilon }(T)\) f r 1 , r 2 , h , ε ( 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 }\) f r 1 , r 2 , h , ε ( T ) h θ + ε . We also obtain a sharp bound for the above shifted convolution sum with sharp cutoff, i.e., without the smoothing weight \(\log (*)^{\frac{3}{2}+\varepsilon }\) log ( ) 3 2 + ε with uniformity in the h aspect. Specifically, we show that for \(h < x^{\frac{1}{2} - \varepsilon }\) h < x 1 2 - ε , \(\begin{aligned} {\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 }. \end{aligned}\) | n ( n + h ) | < x C 1 ( n ) C 2 ( n + h ) h 2 3 θ + ε x 2 3 ( 1 + θ ) + ε + h 1 2 + ε x 1 2 + 2 θ + ε .