On the exponential sums estimates related to Fourier coe ﬃ cients of GL 3 Hecke-Maaß forms

: Let F be a normlized Hecke-Maaß form for the congruent subgroup Γ 0 ( N ) with trivial nebentypus. In this paper, we study the problem of the level aspect estimates for the exponential sum


Introduction and statement of the main results
The estimation of the exponential sums with multiplicative coefficients is an ancient but vital topic in number theory.To be specific, let a(n) be the coefficients of certain L-functions, or more general coefficients of arithmetic interest.We shall be interested in sums of the type n≤X a(n)e(nα) for any α ∈ R and X ≥ 2; see e.g., Hardy-Littlewood [4] and Montgomery-Vaughan [13] for the history.For any integer N ≥ 1, let us put Let F(z) be a normlized Hecke-Maaß form of type ν = (ν 1 , ν 2 ) for the congruent subgroup Γ 0 (N) with trivial nebentypus, which has a Fourier-Whittaker expansion with the Fourier coefficients A F (m, n).
The Fourier coefficients of F and that of its contragredient F are related by A F (m, n) = A F (n, m) for any (mn, N) = 1, with A F (1, 1) = 1.See, e.g., [15,Section 2] for definition and backgrounds.One important problem in number theory is to obtain a uniform non-trivial bound for the sum for any α ∈ R and X ≥ 2, which has its own interest and deep implications for Diophantine approximation, the moments of L-values and subconvexity etc; see e.g., [10,12] for relevant descriptions and heuristics.It might be traced back to the work of the pioneering work of Miller [12], who considered the level one forms and gave the well-known estimate that, for any ε > 0, uniformly in α ∈ R, but with the implied constant depending on F. Godber [2] has considered the situation where F is self-dual and arises as the symmetric square lift of a holomorphic newform f of weight κ ∈ 2Z >0 and trivial level, and showed that for any α ∈ R and ε > 0. Li-Young [11], on the other hand, considered the Maaß case, given the explicit dependence on the spectral parameter of the form F; for any GL 2 (Z)-Maaß form of spectral parameter t f = λ − 1/4 with λ being the Laplacian eigenvalue, they obtained that and the exponent of t f can be improved to 1/2, if the Ramanujan conjecture is assumed.Later, their results were extended to the difficult case of general Maaß forms by Li [10], who showed that, for any tempered Maaß form F for S L 3 (Z), there holds that , and the exponent of λ F can be improved to 1/4, if the Ramanujan conjecture is assumed.Here, λ F = 3 i=1 (1+|α i |), and the Langlands parameters The explicit dependence problem involving the spectral parameter was therefore solved completely in the case of N = 1.
In this note, we will be interested in a different point of view, where the level parameters of the forms are varying at different rate; we are dedicated to investigating the level aspect non-trivial bounds for L F (α).An open problem in number theory is that if one could establish a uniform non-trivial bound for the individual sum L F (α) with the level parameter associated to the form F explicitly determined; it seems that there are no accounts for this cause in the current literature.We are able to prove: Theorem 1.1.Let P be a prime.Let F be a normalized Hecke-Maaß form for Γ 0 (P) with trivial nebentypus.Then, for any α ∈ R and X ≥ 2, we have where the implied constant merely depends on ε and the Langlands parameters α i , Another motivation in this paper is to investigate the bounds for non-linear exponential sums, which, however, is known to has significant implications for many problems in number theory (see e.g., [7,Appendix C] for relevant heuristic descriptions).Particularly, we obtain: Theorem 1.2.Let F be a Hecke-Maaß form for S L 3 (Z) underlying the symmetric square lift of a GL 2 -newform of square-free level N.For any α ∈ R + and 0 < β < 2α −1 X 2−2α , we then have n≤X A F (n, 1)e(βn α ) β where the implied constant depends on ε and F.
Remark 1.1.It would be interesting to prove an analogue of Theorem 1.1 for a Hecke-Maaß form with the level being any integer N ≥ 2. A key point, however, is that, when the additive twist colludes with the level, i.e., (N/(N, q), q) 1 in (2.9) below, the establishment of the level aspect Voronoȋ formula is rather tricky for the GL 3 forms, even for the special case where the forms arise as the symmetric square lifts from GL 2 .In principle, Corbett's formula [1, Theorem 1.1] can cover this, but it requires a non-trivial analysis of the p-adic Bessel transforms which, however, becomes more involved in this case.See [1,5] for relevant details.
Notations.Throughout the paper, ε always denotes an arbitrarily small positive constant which might not be the same at each occurrence.n ∼ X means that X/2 < n ≤ X.We also follow the notational convention that e(x) = exp(2πix) and Γ R (s) = π −s/2 Γ(s/2).As usual, we denote by S (m, n; c) the Kloosterman sum which is given in the following way S (m, n; c) = * x mod c e ((mx + nx)/c) for any positive integers m, n and c, where * indicates that the summation is restricted to (x, c) = 1, and x is the inverse of x modulo c.

Proof of Theorem 1.1
In this section, we shall prove Theorem 1.1 after describing some preliminaries.
Set P * = P/(P, q) and assume that (P * , q) = 1.We then have where ε(F) is a complex number of modulus one (depending on F).

A Fourier-Mellin transform
In the course of the paper, we shall evaluate the asymptotic expansions of the resulting Besseltransforms after the Voronoȋ.In particular, we shall have a need of the following results concerning the Fourier-Mellin transforms of smooth functions; see e.g., [2,11].Then, if |t|≥ 1 and |γ|≥ 1, one has the following asymptotic formula that Moreover, for any γ ∈ R, one has the crude bound for any ε > 0 and sufficiently large A ∈ Z >0 .

Gamma functions and the stationary phase
For the applications after a while, we shall need the following estimations involving the Gamma functions and the stationary phase method concerning the exponential integrals.
Lemma 2.3.We have the asymptotic formula for any M ∈ Z >0 and some constants c m ∈ C. Let 0 < δ < π be a fixed number.Write s = σ + it.In the sector arg s < π − δ, we then have Particularly, in the vertical strip 0 ≤ A 1 ≤ σ ≤ A 2 and |t|> 1, one has and .
Here Var(g) = sup V(g; T ) is the total variation of g on [b, a], where T is any division of the interval [b, a], i.e., T

Proof of the main theorem
This subsection is devoted to the proof of Theorem 1.1.We introduce a non-oscillating smooth function V(n) supported on [1/2, 5/2] with the values in [0, 1], which equals 1 on (1, 2], and satisfies that V ( j) j 1 for any j ∈ Z ≥0 .By the unsmoothing procedure (see e.g., [11,Section 8]), it suffices to estimate Fix Q ≥ 1.By Dirichlet's theorem on Diophantine Approximation, one might write for some l, q ∈ Z, with (l, q) = 1 and 1 ≤ q ≤ Q.We thus re-write L * F as In what follows, our tactic is to apply the Voronoȋ formula, Lemma 2.1.We shall restrict to Q ≤ X 2/3−ε P 1/3 , and artificially assume that γ > 0; taking conjugates, if necessary, we get the opposite situation.Notice that, whenever (q, P) 1, the Voronoȋ formula can still be put into use.Indeed, it turns out that our analysis in this paper still goes through with a slight modification, which indicates the less importance of this case, as far as the final contribution is concerned.As such, we shall proceed to present our analysis merely in the co-prime situation.Appealing to the Voronoȋ formula in (2.3), one finds where the Bessel-transform Ω ± V is defined as in (2.2).Notice that, by Lemma 2.2, it follows that for any sufficiently large A ∈ Z >0 .We now turn to the evaluations of the Gamma factors of γ ± (s).By (2.6) in Lemma 2.3, one verifies that, for any up to a polynomial P 1 (C, t) of degree one in two variables C, t.Upon recalling (2.1), this, in turn, yields where s = σ + it, and the implied constant depends on σ and the Langlands parameters α i , 1 ≤ i ≤ 3. We might thus find out the following upper-bound for Ω ± V : (2.12) It is clear that upon taking σ sufficiently large.Notice that, the estimate 1 + |γX| 5/2+ε above fails to provide a non-trivial bound for L * F (α).We shall have to proceed to refine the analysis by distinguishing two scenarios: Case I. γX X ε .One finds, in this case, q is relatively large such that q > X 1−ε /Q.From (2.12), it is clear that Ω ± V (y) X ε .Exploiting the Weil bound for individual Kloosterman sums thus shows that the expression in (2.10) is dominated by with H (n,d) = q 3 PX −1+ε 1, upon noticing the hierarchy that X 1−ε Q −1 > X 1/3+ε P −1/3 by the restriction on the parameter Q. Case II.γX X ε .Now, we come to coping with the case where γ is suitably large such that γ > X −1+ε .One sees that, by (2.4), On the other hand, it follows from (2.7) that, for any C ∈ R with C > max{−1 − σ, σ} and |t|> 1, there instead holds the following asymptotic formula which in turn, implies that γ ± (s) t| 3σ+ 3 2 e 3t(log|t|− log 2π − 1) 2π with |t|> 1. Recall (2.2).Shifting the line s = σ to s = −1/2 eventually allows us to estimate At the moment, if one defines we see that | f (t)| t −1−ε for any ε > 0. It thus follows that the right-hand side of (2.16) is controlled by upon making use of Lemma 2.4 with r = 2, and recalling (2.13).Having this in hand, an adaptation of the procedure as in Case I enable us to find (2.10) is bounded by , upon recalling (2.8).Here, J (n,d) = q 3 PX −1 (γX) 3+ε which is 1.One collects the bound in (2.14); this implies that totally , which gives the desired quantity as in (1.4), upon taking Q = X 1/2+ε .

Proof of Theorem 1.2
In the final section of this paper, we are left with the proof of Theorem 1.2.

Auxiliary lemmas
To start with, we shall elaborate some preliminaries in the following lemmas: Lemma 3.1.For any z = x + iy belonging to the complex upper half-plan and any GL 2 -newform f of square-free level N , there hold that Proof.See [ where the implied constant is absolute.
Proof.For any t ∈ R + , set ρ(t) = βt 2 − t α .One might find the stationary phase point occurs at which reflects that β is located in the neighborhood of α /(2X 2−α ).Thus, in the transition range it can be verified that 2β (1 This shows that the integral on the left-hand side of (3.1) in the segment (3.2) is controlled by While, in the complementary ranges 0 < β < α , by Lemma 2.4 with r = 1, it follows that the n-sum on the left-hand side of (3.1) can be estimated as One may thus quickly verify the following inequalities that Finally, the assertion of the lemma follows by combining with these two upper-bounds and (3.4).

Completing the proof of Theorem 1.2
In this part, based on the lemmas above, we are ready to complete the proof of Theorem 1.2.Akin to [3, (45)], one finds that, for any ε > 0, on the right-hand side of (3.5), if f is a Maaß newform of spetrcal parameter t f .Here, Φ is defined as in [3, (17)], which is of independence of the parameter X and the level N.
We shall now merely consider the expression in (3.5); an entire analogous fashion gives the same magnitude as that for (3.6).By Lemma 3.1, it can be verified that Recall Lemma 3.3.Upon incorporating the estimate (3.1) into (3.5),we are thus allowed to arrive at for any 0 < < 2α −1 X 2−α .From this, it can be inferable that, whenever 0 < β < 2α −1 X 2−2α , one has which directly leads to (1.5).

Conclusions
In this paper, we investigate the exponentials sums involving Fourier coefficients of GL 3 Hecke-Maaß forms in the level aspect, and attain a non-trivial explicit bound for the first time.As remarked before, one might not easily circumvent the issue that the additive twist colludes with the level to establish a version of the level aspect Voronoȋ formula, on account of the extra complexities of the calculations of the resulting p-adic Bessel transforms.However, in the special case where the forms arise as the symmetric square lifts from GL 2 , this can be done by brute force.See [5] or the discussions on Mathoverflow (URL: https://mathoverflow.net/questions/337721/voronoi-formulafor-the-symmetric-l-function-with-level-n?r=SearchResults) for relevant heuristics.On the other hand, in this paper, we achieve a sharp bound for the non-linear exponential sums compared with Kumar-Mallesham-Singh's result, whenever α is suitably small such that α < 7/33.This essentially benefits from the feature that the Hecke-Maaß form arises as the symmetric square lift of a GL 2 newform.

Lemma 2 . 4 .
For any a, b ∈ R with b < a, let f, g be two smooth real valued functions on [b, a].Then, for any r ∈ Z >0 , we have a b g(x)e( f (x))dx Var(g)