Arxiv:2011.01172V1 [Math.NT] 2 Nov 2020 Etto of Sentation 1]Hv Rvdasbovxt on O General for Bound Wor Subconvexity Fundamental a Their Proved in Have Same

arXiv:2011.01172v1 [math.NT] 2 Nov 2020 etto of sentation 1]hv rvdasbovxt on o general for bound wor subconvexity fundamental a their proved In have same. the [14] for bound Weyl proved they hoe A. Theorem theorem: two following proved They weight mrvdb eea mnn ahmtcas ncs fdegr of case In mathematicians. eminent several by improved .Agra n .K ig 1]aotdcnutrlwrn t lowering conductor adopted [15] Singh K. us S. by and [15] Aggarwal Munshi K. Ritabrata by obtain was bound subconvexity rtclln.Sc on a nov n rmr parameter more or one involve may bounding for bound problem a the Such consider line. critical eteEsnti eisw banfloigcrlay: 1. corollary following Corollary obtain we series Eisenstein the be ehd hr h oiiiyo eta au a essential was value central of positivity the where method, e functional a satisfies and function entire a to extends This uscin43.TePrgé-idlfpicpegvsus gives principle Phragmén-Lindelöf The 4.3). subsection where .L 1]poe ucneiybudfrsl-uldge th th degree self-dual spectral for using by bound subconvexity [3] proved Good [13] Anton Li by X. obtained first was bound iteodadWy ntecs fReanzt ucinwith function zeta Riemann of case the in Weyl and Littlewood iefr o h ulmdlrgroup modular full the for eigenform g hoe 1.1. Theorem theorem: following the is result Our ) ≪ u ehdde o eedo h cuspidality the on depend not does method Our ebifl ealtehsoyof history the recall briefly We n fteitrsigpolmi nltcnme hoyi t is theory number analytic in problem interesting the of One ( | λ t k f | Abstract. in t ′ 10) + ( APC UCNEIYFOR SUBCONVEXITY -ASPECT ANDE CAY,PALDSAM N ARB UA SINGH KUMAR SAURABH AND SHARMA PRAHLAD ACHARYA, RATNADEEP rawih eoMascs om h aknSlegconvolu Rankin-Selberg The form. cusp Maass zero weight a or n t apc yuiga using by -aspect ) GL and 1+ hr sa boueconstant absolute an is There 1 ǫ ( λ h idlfhptei rdcsta h exponent the that predicts hypothesis Lindelöf The . A g nti ae esalpoeasbovxt on for bound subconvexity a prove shall we paper this In ) ( n or L ) ( eoetenormalised the denote GL ,f s, GL 2 ⊗ ( A L (1) g ) L = ) wt ntr eta hrce) n has one character), central unitary (with icemethod. circle t 2 1 L apc ucneiybud.I a rtpoe yHardy- by proved first was It bounds. subconvexity -aspect 1 2 GL ζ + (1 (2 + 1. / SL t f it, (2) s 2 t f it, ) π , Introduction X (2 × n ⊗ ) , ≪ Z GL λ g ≪ ) f 1 F n > δ ( fweight of (2) ǫ t ore offiin of coefficient Fourier -th C n ≪ | ) ( t λ ǫ | π 1 L GL f g ) | / 0 GL t ( fnto in -function 1 2 | n or / − 1 uhta:fra uoopi repre- automorphic an for that: such (2) 4 ) − 1 − n (2) / o eea erethree degree general For . g 1 δ − 32+ k / h ovxt bound convexity the × . 16+ o oh.Hneb replacing by Hence both). (or , s and uto relating quation g GL ǫ ree etwo ee . ǫ n i odco oeigtrick. lowering conductor his ing ( ikfor rick eete ek iefr of eigenform Hecke a either be . ℜ GL ,P ihladA Venkatesh A. and Michel P. k, (2) exponent L GL > s t oyo uoopi forms. automorphic of eory bound o fnto yuigmoment using by -function apc.Let -aspect. (2) .I hsatcew shall we article this In s. (2) L L 1) × -FUNCTION GL fnto,subconvexity -function, GL , 1 × f (2) (2) a erpaeby replace be can ini endby defined is tion GL 1 and / L L 6 s L fnto nthe on -function (2) -function hswslater was This . fntos and -functions, with f L g (1 respectively. ea Hecke an be L L / -functions. -function, 1 2+ − t f it, s g (see to ⊗ 0 . t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 2 ×

Theorem B. There is an absolute constant δ > 0 such that: for π1, π2 automorphic repre- sentations on GL2(AF) we have 1/4 δ L(1/2, π π ) F C(π) − ; 1 ⊗ 2 ≪ more precisely, the implied constant depends polynomially on the discriminant of F ( for F varying over ﬁelds of given degree) and on C(π2). 1 δ As a consequence of Theorem B, we obtain that L(1/2+it,f g) t − for some positive δ. In our theorem we shall prove that δ can be taken 0 δ < 1⊗/16.≪ | | ≤ 2. The Set up By means of approximate functional equation and dyadic subdivision, we have

1 S(N) A L + it,f g ǫ,A sup | | + t− (2.1) 2 ⊗ ≪ N t2+ǫ √N ≪ for any small ǫ> 0 and any large A> 0, where it S(N)= λf (n)λg (n)n− . n N X∼ it 2.1. The delta method. We separate the oscillations from λf (n) and λg(n)n− using a version of the delta method due to Duke, Friedlander and Iwaniec. More specifically we will use the expansion (20.157) given in Chapter 20 of [12]. Let δ : Z 0, 1 be defined by →{ } 1 if n =0 δ(n)= (0 otherwise Then for n Z [ 2M, 2M], we have ∈ ∩ − 1 na nx δ(n)= e g(q, x)e dx (2.2) Q q R qQ a modX q Z where Q =2M 1/2. The function g satisfies the following property (see (20.158) and (20.159) of [12]). 1 q A g(q, x)=1+ h(q, x), with h(q, x)= O + x qQ Q | | ! (2.3) A g(q, x) x − ≪ | | for any A> 1. In particular the second property imples that the effective range of integral in (2.2) is [ M ǫ,M ǫ]. − 2.2. Conductor lowering. We write S(N) as iν 1 it ν m S(N)= λf (n)λg (m)m− δ(n m) V dν. (2.4) K − R K n n N m N X∼ X∼ Z Note that the ν integral is negligibly small unless m n N/K. Now using (2.2) with − ≪ Q = N/K we get

p 1 it 1 ∗ a(n m) S(N)= λ (n)λ (m)m− e − KQ f g q q × n N m N q Q a(q) X∼ X∼ X≤ X iν (n m)u ν m A g(u, q)e − du V dν + OA(t− ). (2.5) R qQ R K n Z Z Next we divide the range of the sum over q into dyadic intervals as follows : A S(N)= SC (N)+ OA(t− ) (2.6) XC t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 3 × with 1 log Q tǫ, ≪ ≪ XC where

1 it 1 ∗ a(n m) S (N):= λ (n)λ (m)m− e − C KQ f g q q × n N m N q C a(q) X∼ X∼ X∼ X (n m)u ν m iν g(u, q)e − du V dν. (2.7) R qQ R K n Z Z By introducing smooth partition of unity we rewrite SC (N) as

1 1 ∗ ν m iν SC (N):= g(u, q) dx V dν KQ q R R K n × q Q a(q) X≤ X Z Z

am) i(t ν) mu m λ (m)e − m− − e − ω g q qQ N " m # X an) iν nu n λ (n)e n− e ω . (2.8) f q qQ N " n # X

3. Sketch of the proof In this section we shall give a sketch of the proof. We shall consider the generic case m,n NN t2 and q Q. Introduction of delta symbol gives us a loss of size N. To obtain a sub-convexity∼ ∼ bound,∼ we need to save N and little more. We reach our goal in following steps. Step 1: First application of Voronoi summation formula We ﬁrst apply the Voronoi summation formula to m sum given in equation (2.8). Its initial length is of size N and the 2 2 1 δ conductor is of size q t (as we choose K t − for some δ > 0.) We obtain that dual length ≪ 2 2 is essentially supported on a sum of size M0 = q t /N + K. In this step we obtain a saving a size N/(qt). ≪ Step 2: Second application of Voronoi summation formula We then apply the Voronoi summation formula second time to n sum given in equation (2.8). Its Initial length is of size N and conductor is of size q2k2. We note that dual length is essentially supported on 2 2 a sum of size N0 = q K /N + K. In this step we obtain a saving a size N/(qK). After the summation formulae,≪ we obtain the following expression for S(N)

⋆ a(m n) V (ν) dν g(u, q) du e − λf (n)λg (m)I(n,q,ν)I(m,q,t ν) R R q − q Q m M0 n N0 a(q) Z X∼ Z X∼ X∼ X where I(n,q,ν) is given by equation (6.2). Step 3: Sum over a and evaluation of integrals Summation over a is a Ramanujan sum, evaluation of which gives us a saving of size Q at the cost of a congruence condition (usually a character sum gives a square-root cancellation). We are also able to save √K from v integral. Total saving after the third step is given by:

N N N 2 Q √K = = N Qt × QK × × tQ√K t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 4 × We are on the boundary and we need to save little more. Let tδ/2 be the desired saving. We have a following expression for S(N)

S (N) d λ (m) λ (n) (m,n; q) , 0,C ∼ | g | f Iy,ν q Q d q m M0 n N0 X∼ X| X∼ XXm ≤n(d) ≡ where y,ν (m,n; q) is given by equation (6.5). We also have that oscillation of m in integral I y,ν (m,n; q) is of size t (see equation (6.6)). I Step 4: Cauchy inequality and Poisson summation formula We now apply C-S inequality followed by Poisson summation formula to the m sum. Note that N0 K and M t2/K. The “analytic conductor" is of size t and the “arithmetic conductor"∼ coming 0 ∼ from congruence is of size Q, which gives a dual length of size Qt/M0. Diagonal is of size K/d K/Q and we are able to save whole diagonal in the case of zero frequency. Saving for diagonal≫ terms is enough if

K t (1+ ) 2 tδ K tδ K>t δ 3 . d ≫ ⇔ ≫ √K ⇔ 1/2 1/2 From the non-diagonal part, we save M0/Q√t t /K . Hence the saving from oﬀ-diagonal terms is enough if ∼ 1/2 t δ 1 2δ t K t − . K1/2 ≫ ⇔ ≪ (1+δ) 2 1 2δ To obtain our sub-convexity result, we choose K such that t 3

4.1. Holomorphic cusp forms. Let χq be a Dirichlet character of modulus q, conductor q0 and let k 2 be an integer. Let S(q,χq; k) denote the vector space of modular forms of weight k level q and≥ character χ . For f S(q,χ ; k), we represent f by Fourier expansion q ∈ q ∞ (k 1)/2 f(z)= ψf (n)n − e(nz), n=1 X 2πiz where e(z)= e and λf (n), n Z are the Fourier coeﬃcients. This space is equipped with the Peterson inner product ∈

k (f,g)k := f(z)g(z) ( z) dµz. (4.1) Γ0(q) H ℑ Z \ (k 1)/2 For (n, q)=1 let Tn denote the Hecke operators with Hecke eigenvalue λf (n)n − . Let ⋆ B Tn = χ(n)Tn denotes the adjoint of Tn. Let (q,χq ; k) denotes an orthonormal basis of old S(q,χq; k), which consists of eigenvectors of all the Tn, (n, q)=1. Let S(q,χq; k) denote the subspace S(q,χq; k) generated by the forms f(dz) with f S(q′,χq′ ; k), dq′ q q′ = q, new ∈ | 6 old and χq′ inducing χq. Let S(q,χq; k) denotes the orthogonal compliments of S(q,χq; k) with respect to the Peterson inner product. This space can be simultaneously diagonalised new and for such f we have ψf (n) =0. We say that f S(q,χq; k) is normalised if ψf (n)=1 6 ∈ ⋆ and in this case ψf (n) = λf (n). We denote S(q,χq; k) the normalised orthonormal basis t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 5 × new of S(q,χq; k) . Deligne proved that λf (n) d(n), where d(n) is the divisor function. L-function associated with the form f is| given| by ≤

∞ λf (n) s 2s 1 L(s,f)= = 1 λ (p)p− + χ (p)p− − ns − f q n=1 p X Y 1 1 α (p) − α (p) − = 1 f,1 1 f,2 , (4.2) − ps − ps p Y where ( s> 1). The completed L-function is given by ℜ s k 1 s s + (k + 1)/2 s + (k 1)/2 Λ(s,f) := (2π)− Γ s + − L(s,f)= π− Γ Γ − L(s,f). 2 2 2 Hecke proved that L(s,f) admits an analytic continuation to the whole complex plane and satisﬁes the functional equation τ(χ) Λ(s,f)= ǫ(f) Λ(1 s, f), √q − where ǫ(f) is a root number and f is the dual form of f.

4.2. Maass cusp forms. Let χD be a Dirichlet character of modulus D, conductor D0 and 1 2 let ∆ denotes the hyperbolic Laplacian. Let λ = 4 + ν denotes an eigenvalue of ∆, that is, there exists an function on upper half plan such that (∆ + λ)f =0. Let M(D,χD; λ) denote the finite dimensional vector space of weight zero Maass forms of level D, nebentypus χD, and ⋆ eigenvalue λ. Let S(D,χD; λ) denotes the subspace primitive Maass cusp form. We represent f by Fourier expansion f(z)= √y λ (n)K (2π n y)e(nx), f iν | | n=0 X6 where Kiν (y) is the Bessel function of second kind. Ramanujan-Petersson conjecture predicts ǫ 7/64+ǫ that λf (n) n . The work of H. Kim and P. Sarnak [8] tells us that λf (n) n . L-function| associated| ≪ with the form f is defined by | | ≪ 1 1 ∞ λ (n) α (p) − α (p) − L(s,f)= f = 1 f,1 1 f,2 , s> 1. ns − ps − ps ℜ n=1 p X Y It extends to an entire function and satisfies the functional equation Λ(s,f)= ǫ(f)Λ(1 s, f), where ǫ(f) =1 and completed L-function Λ(s,f) is given by − | | s s + iν s iν Λ(s,f)= π− Γ Γ − L(s,f). 2 2 4.3. Review of Rankin-Selberg convolution. Let χq and χD be Dirichlet character of modulus q and D respectively. Let χ := χqχD denote the Dirichlet character modulo l.c.m. ⋆ ⋆ of q and D. Let f S(q,χq; k) and g S(q,χq; ⋆) , where ⋆ is either equal to k′ or equal to λ =1/4+ r4 with ∈λ > 1/4. Rankin-Selberg∈ convolution of f and g is defined by 2 2 1 ∞ λ (n)λ (n) α (p) α (p) − L(s,f g)= L(2s,χ) f g = 1 f,i g,j . (4.3) ⊗ ns − ps n=1 p i=1 j=1 X Y Y Y where α is as given in equation (4.2). Rankin- Selberg prove that L(s,f g) admits analytic f,i ⊗ continuation to whole complex plane except when g = f in which case it has a simple pole at s =0, 1. The completed L-function is given by qD s Λ(s,f g)= Γ (s)L(s,f g), where ⊗ 4π2 f,g ⊗ t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 6 ×

′ ′ k k k+k Γ s + | −2 | Γ s + 2 1 for g is holomorphic of weight k′ Γf,g(s)= − k+2ir 1 k 2ir 1 (Γ s + 2 − Γ s + − 2 − otherwise. Λ(s,f g) satisfy a functional equation ⊗ Λ(s,f g)= ε(f g) Λ(1 s, f g) where, ⊗ ⊗ − ⊗

2 2 χ ( q)χ (D) η (q) η (D) if g is holomorphick′ > k ε(f g)= D − q f g ⊗ χ (q)χ ( D) η (q)2 η (D)2 for g Maass form, ( D q − f g where ηg(q) is pseudo eigenvalue of Atkin-Lehner-Li operator Wq, and g Wq = ηg(q)g. We now recall the Voronoi summation formula for GL(2) automorphic form. |

Lemma 4.1. Let f be a Hecke cusp form on modular group SL(2, Z) with normalised Fourier coeﬃcients λf (n). Let a,c be integers such that (a,c)=1. Let V be a smooth compactly supported function on R. We have

na n X na nan nX ∞ ∞ n=1 λf (n)e q V X = (f; q,X)+ q n=1 λf ( n)e q e ∓ q F q2 V ± ± ± P P P (4.4) where

X V (x)(log xN + γ 2 log q)dx if λ (n)is the divisor function τ(n) (f; q,X)= q R − f V (0 R otherwise. Here γ is the Euler constant. F and F are integral transform of V given by the following: ± − If f is an holomorphic form of weight k the F is given by • +

k ∞ F+ =2πi V (y)Jk 1 4π Xy dy, and F =0. 0 − − Z p If f is a Maass form with Laplacian eigenvalue 1/4+ r2 and let • varepsilonf the eigenvalue of involution operator then

+ π ∞ F (x)= − V (y) J2ir( 4πxy) J 2ir(4π√xy) dy and sin iπr 0 − − Z ∞ p F −(x)=4εf cosh πr V (y)K2ir( 4πxy) dy. 0 Z p If r =0 then

+ ∞ ∞ F (x)= 2π V (y)Y0( 4πxy) dy, and F −(x)=4εf V (y)K0( 4πxy) dy. − 0 0 Z p Z p If λ (n)= τ(n), where τ(n) denotes the number of divisors of n, then • f

+ ∞ ∞ F (x)= 2π V (y)Y0( 4πxy) dy, and F −(x)=4 V (y)K0( 4πxy) dy. − 0 0 Z p Z p In each case, we have • A F ±(y) (1 + y )− , (4.5) ≪A | | for any A 0. ≥ Proof. See [9, page 185]. t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 7 × 5. Some Lemmas In this section we shall recall some results which we require in the sequel. We ﬁrst recall Rankin-Selberg bound for the Fourier coeﬃcients in the following lemma.

Lemma 5.1. Let λf (n) be the Fourier coeﬃcients of a holomorphic cusp form, or a Maass form. For any real number x 1, we have ≥ λ (n) 2 x1+ǫ. | f | ≪f,ǫ 1 n x ≤X≤ We also require to estimate the exponential integral of the form: b I = g(x)e(f(x))dx, (5.1) Za where f and g are real valued smooth functions on the interval [a,b]. We recall the following lemma on exponential integrals.

Lemma 5.2. Let f and g be real valued twice diﬀerentiable function and let f ′′ r > 0 or ≥ f ′′ r < 0, throughout the interval [a,b]. Let g(x)/f ′(x) is monotonic and g(x) M. Then≤ we − have | | ≤

8M I . ≤ √r Proof. See [16, Lemma 4.5, page 72] Lemma 5.3. Poisson summation formula: f : R R is any Schwarz class function. Fourier transform of f is deﬁned as →

f(y)= f(x)e( xy)dx, R − Z R where dx is the usual Lebesgue measureb on . We have f(n)= f(m). n Z m Z X∈ X∈ If W (x) is any smooth and compactly supported functionb on R, we have: an n X α + m mX e W = e W . q X q q q n Z m Z α(mod q) X∈ X∈ X c Proof. See [5, page 69]. Remark: 1. If W (x) satisﬁes xj W j (x) 1, then it can be easily shown, by integrating by ǫ ≪ q(qX) parts that dual sum is essentially supported on m X . The contribution coming from ǫ ≪ m q(qX) is negligibly small. ≫ X 6. Proof of the Theorem 6.1. Application of Voronoi summation formula. Here we evaluate the sums over m,n which appeared in (2.8). The Voronoi summation formula transforms the m-sum essentially to 3 4 i(t ν) N − − λg(m) am ∞ i(t ν) Nux 2√mNx e ω(x)x− − e dx. √q m1/4 q − qQ ± q m 1 0 ! X≥ Z Similarly, the evaluation of the n-sum is essentially given by 3 4 iν N − λf (n) an ∞ iν Nuy 2√nNy e − ω(y)y− e dy. √q n1/4 q qQ ± q n 1 0 X≥ Z t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 8 × Moreover, by repeated integrating by parts we can truncate the aforementioned dual sums in m,n upto negligible error terms. Precisely, the lengths of the dual variables reduces to 2 2 m M0 := (qt) /N + K and n N0 := (qK) /N + K. Thus we obtain four identical sums by≪ putting the above evaluations≪ of the sums over m and n in (2.8). Without loss of generality we will consider only a representative S0,C(N) which is given by

3 it N 2 − 1 λf (n)λg (m) V (ν) dν g(u, q) du Rq(m n)I(n,q,ν)I(m,q,t ν), Q R q2 R (mn)1/4 − − q C m M0 n N0 Z X∼ Z X≤ X≤ (6.1) where

∞ iν Nux 2√nNx I(n,q,ν)= ω(x)x− e + dx. (6.2) qQ q Z0 ! We recall that the Ramanujan sum satisfy the following identity:

∗ am q R (m) := e = dµ . q q d a(q) d (q,m n) X | X− This yields 3 it N 2 − 1 S0,C (N)= V (ν) dν dµ(q/d) g(u, q) du Q R q2 R × Z q C d q Z X∼ X| λ (n)λ (m) f g I(n,q,ν)I(m,q,t ν), (6.3) (mn)1/4 − m M0 n N0 ≤XXm n(d≤) ≡ 6.2. Simpliﬁcation of the integrals. After the application of summation formulae, we end up with a 4 fold integral which is given by

∞ i(t ν) 2√mNx ∞ iν 2√nNy J(m,n; q)= V (ν) dν ω(x)x− − e dx ω(y)y− e dy R q q Z Z0 ! Z0 Nu(y x) g(u, q)e − du (6.4) × R qQ Z . We consider the u-integral. From the splitting of g(u, q)=1+ h(u, q) (see (2.3)) we observe that integral over u splits into two integral of the form Nu(y x) Nu(y x) e − du + h(u, q)e − du, R qQ R qQ Z Z where weight function h(u, q) is of smaller order (see equation (2.3)). Integrating by parts we observe that ﬁrst integral is negligibly small unless qQ q y x tǫ tǫ . | − | ≪ N ≪ QK For the estimation of second integral we consider ν integral in equation (6.4) and obtain that ǫ J t (m,n; q) is negligibly small unless y x K . We also have a saving of size qQ due to the size of weight function h(u, q). As| − a result| ≪ we obtain much stronger bound in this case. From now on we proceed with the analysis of integral by considering ﬁrst integral. Writing y x = y with y q , the integral J(m,n; q) essentially reduce to (m,n; q) where − 1 1 ≪ QK Iy,ν

∞ it 2√mNx 2 nN(x + y1) (m,n; q)= ω (x)x− e + dx and Iy1,ν y1,ν q q Z0 p ! y iν ω (x)= ω(x)ω(x + y ) 1+ 1 − dx. y1,ν 1 x t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 9 × Since y tǫq/QK tǫ/K we observe that 1 ≪ ≪ ∂j ω (x) (1 + y ν)j tǫ j ∂xj y1,ν ≪j 1 ≪j ǫ Above calculation shows that the oscillation of ωy1,ν (x) with respect to x is of size t . Hence iν y1 − we can absorb 1+ x into the weight function, and call the new smooth and compactly supported weight function by ω(x) with understanding that that ω(j)(x) tǫ j . We obtain ≪j

∞ it 2√mNx 2 nN(x + y1) (m,n; q) := (m,n; q)= ω(x)x− e + dx and (6.5) Iy1,ν I q q Z0 p ! ∂j (M z,n; q) t(1+ǫ)j . (6.6) ∂zj I 0 ≪j Summarising the above simpliﬁcations, our main object of study now becomes

3 N 2 1 λg(m) λf (n) S0,C (N) sup 2 d | 1/4 | 1/4 y,ν (m,n; q) . (6.7) ≪ u,ν,y KQ q m n I q C d q m M0 n N0 X∼ X| X≤ XXm ≤n(d) ≡

1 δ 6.3. Size of the integral (m,n; q). Let K

t 2√nN y1 p P ′′(y)= 2 2 3/2 . πy ± q (y + y1) 2 2 1 δ Since n q K /N and K

t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 10 × Now opening the absolute value square and smoothing out the m-sum we have

(M ,N , d) , where S 0 0 ≪ O

λf (n1)λf (n2) m = 1/4 ω y,ν (m,n1; q) y,ν (m,n2; q). (6.10) O (n1n2) M0 I I n1,n2 N0 m M0 ≤ ≤ nXX1 n2(d) m Xn1(d) ≡ ≡ Trivial estimate for gives O N 2M 1 0 0 . O ≪ d × t We apply the Poisson summation formula to the m-sum that appeared in (6.10). We have the following

m S1 := ω y,ν (m,n1; q) y,ν (m,n2; q) M0 I I m M0 ≤ m Xn1(d) ≡ 1 n α mα m = e 1 e − ω (m,n ; q) (m,n ; q). d d d M Iy,ν 1 Iy,ν 2 m 0 αX(d) X

By writing m = α1 + ℓd and then applying Poisson summation formula with respect to ℓ we obtain 1 n α M α (α + k) S = e 1 0 e 1 (k,n ,n , q) where, 1 d d d d I 1 2 αX(d) Xk αX(d)

kM0z (k,n1,n2, q)= ω(z)e y,ν (M0z,n1; q) y,ν (M0z,n2; q) dz I R d I I Z it kM0z x2 = ω(z)e ωy,ν (x1)ωy,ν(x2) R d x × Z Z Z 1 2√M0zN(√x1 √x2) 2√N(√n1x1 + y √n2x2 + y) e − + − dx1 dx2dz. q q ! (6.11)

Integrating by parts with respect to variable z, we observe that

d j (k,n ,n , q) (1 + t)j . I 1 2 ≪j M k 0 We observe that the z-integral is negligibly small unless k td . We obtain the following ≪ M0 expression for O

M0 λf (n1)λf (n2) kn1 = 1/4 e − (k,n1,n2, q). (6.12) O d (n1n2) td d I n1,n2 N0 k ≤ M0 nXX1 n2(d) ≪X ≡

Let 0 denotes the contributions of zero frequency (k = 0) and 1 denotes the contribution of non-zeroO frequencies ( k =0) O 6 t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 11 × 6.5. Estimation of . By a change of variable x = ux x = x we have O0 2 1 1 it (0,n1,n2, q)= ω(z) dz u xωy,ν (x)ωy,ν (ux) I R × Z Z Z 2√M Nzx(1 u) 2√N(√n1 √n2)√x + y e 0 − + − q(1 + u) q

2√N√n2p(1 u)x + − dx du dz q(√x + y + √ux + y)! ǫ Since max √M N/q, √N N/q t− √M N/q, the u integral is negligible unless { 0 0 } ≫ 0 √M0N 1 ǫ t − (6.13) q ≫ The z integral is negligible unless √M N 0 (1 u) tǫ (6.14) q − ≪ Noting the inequality (6.14) we see that the x integral is negligible unless

√N(√n1 √n2) √N(n n ) − = 1 − 2 tǫ (6.15) q (√n1 + √n2)q ≪ that is, ǫ t q√N0 ǫ n1 n2 t (6.16) − ≪ √N ≪ ǫ 1 ǫ ǫ So, (0,n ,n , q) t − if n n t and is negligible if n n t . I 1 2 ≪ 1 − 2 ≪ 1 − 2 ≫ 6.6. Estimation of . We now analyse the integral (k,n ,n , q) for k = 0. By a change O1 I 1 2 6 of variable x2 = ux1 x1 = x we obtain

kM0z it (k,n1,n2, q)= ω(z)e dz u xωy,ν (x)ωy,ν (ux) I R d × Z Z Z 2√M Nzx(1 √u) 2√N( n1(x + y) n2(ux + y)) e 0 − + − dx du dz q p q p ! As earlier, the u integral is negligible unless

√M0N 1 ǫ t − (6.17) q ≫ The x integral is negligible unless

√M0N(u 1) ǫ − t− K (6.18) q ≪ The z integral is negligible unless u> 1 and √M N(u 1) kM 0 − 0 q ≍ d 1 kM0 √M0N − Denote c := d q . From the (6.17) and (6.18) we see that the z integral is negligible unless u 1 c K/t (6.19) − ≪ ≪ Changing variable u 1= cu′ and multiplying a smooth cut-oﬀ function to restrict u′ 1 we see that becomes − ≪ I (k,n ,n , q)= c ( smooth weight functions) e (φ(u′,x,y,z)) dx dy dz du I 1 2 Z t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 12 × where 2 2 kM0z kM0u′zx t log(1 + cu′) 2√N(√n1 √n2) x + y φ(u′,x,y,z)= + + − d − d 2π q p + lower order terms Now the z integral is neglible unless 1 u x kM − z ′ 0 (6.20) − 2 ≪ d kM0 1 Again changing variable z u′x/2 = − z′ and multiplying a new cut-oﬀ function for − d z′ 1, the phase function changes to ≪ 1 2 kM0 2 2 kM0 − 2 t log(1 + cu′) 2√N(√n1 √n2) x + y φ(u′,x,y,z)= u′ x z′ + + − 4d − d 2π q p + lower order terms

Now expanding the log(1+cu′) (keeping the size (6.19) in mind) and using the second derivative bound for the u′ integral we get 1 kM0 − c d ǫ 1 d (k,n1,n2, q) t − (6.21) I ≪ kM0 ≪ kM0 d r q 6.7. Applying the bounds. Combining the above estimates of (k,n ,n , q) we conclude I 1 2 ǫ 1 ǫ 1 M0t − ǫ 1/4 d M0t − ǫ 1/4 ǫ (n1n2) − + (n1n2) − O ≪ d td M0k d n1,n2 N0 0< k r n1,n2 N0 ≤ M0 ≤ ǫ nXX1 n2(d) |X|≪ nXX1 n2 t ≡ − ≪ 3/2 1 ǫ 1/2 1/2 1 ǫ 1 N d− t − + M N d− t − (6.22) ≪ 0 0 0 Hence combining the above two cases we obtain the following estimate for S0,C(N).

3 1 N 2 M 4 1 S (N) 0 d N 3/2d 1tǫ 1/2 + M N 1/2d 1tǫ 1 0,C ≪ KQ2 q 0 − − 0 0 − − q C d q X∼ X| q 3 1 ǫ 2 4 t N M0 1 1/2 3/4 1/4 1/2 1/2 1/4 1/2 q N t− + q M N t− ≪ KQ2 q 0 0 0 q C X∼ 2 2 2 2 Substituting the values N0 = q K /N + K, M0 = q t /N + K (we consider only the ﬁrst terms since the second terms contributes less) and executing the q sum we see that S0,C (N) is bounded by 3 5 2 3 2 1 4 5 2 1 2 N 2 C / K / t / C / K / t S (N) + (6.23) 0,C ≪ KQ2 N N Substituting this in (2.6) we get S(N) N 1/4t N 1/4t1/4K1/4 + (6.24) √N ≪ K3/4 With the optimal choice K = t3/4 we get that

S(N) 1 1/16+ǫ ǫ t − (6.25) √N ≪ and Theorem 1.1 follows. Acknowledgement: The authors would like to thank Prof. Ritabrata Munshi for helpful suggestions and comments. They also thank Indian Statistical Institute Kolkata for wonderful academic atmosphere. During the work, R. Acharya, who is a NBHM Post-doctoral fellow at RKMVERI, Belur Math, was supported by the Department of Atomic Energy, Government t-ASPECT SUBCONVEXITY FOR GL(2) GL(2) L-FUNCTION 13 × of India (DAE ﬁle reference no. 0204/12/2018/R & D II/ 6463). For this work, S. Singh was partially supported by D.S.T. inspire faculty fellowship no. DST/INSPIRE/04/2018/000945. References

[1] K. Aggarwal and S. K. Singh :t-Aspect Subconvexity Bound for GL(2) L-functions, https://arxiv.org/abs/1706.04977 [2] A. O. L. Atkin and J. Lehner: Hecke operator on γ0(m), Math. Ann. 185 (1970), 134-160. [3] A. Good : The square mean of Dirichlet series associated with cusp forms, Mathematika, Volume 29, Issue 2, December 1982, 278-295. [4] E. Iwaniec : Topics in Classical Automorphic Forms, Graduate text in mathematics 17, American Math- ematical Society, Providence, RI, 1997. [5] H. Iwaniec and E. Kowalski : Analytic Number Theory, American Mathematical Society Colloquium Pub- lication 53, American Mathematical Society, Providence, RI, 2004. [6] M. Jutila : Lectures on a Method in the Theory of Exponential Sums, Tata Inst. Fund. Res. Lectures on Math. and Phys.,80, Springer, Berlin, 1987. [7] M. Jutila : Mean values of Dirichlet series via Laplace transforms, in Analytic Number Theory (Kyoto, 1996), pp. 169-207. Cambridge Univ. Press, Cambridge, 1997. [8] H. Kim and P. Sarnak : Reﬁned estimates towards the Ramanujan and Selberg conjectures, J. American Math. Soc. 16, (2003), 175-181. [9] E. Kowalski, P. Michel, J. Vanderkam: Rankin-Selberg L-function in the level aspect, Duke Math. J. 114 (2002), no. 1, 123-191. [10] W. C. W. LI: Newforms and functional equations, Math. Ann. 212 (1975), 285 - 315. [11] W. C. W. LI: L-series of Rankin type and their functional equations, Math. Ann. 244 (1979), 135-166. [12] Iwaniec, H., Kowalski, E.: Analytic number theory, volume 53 of American Mathematical Society Collo- quium Publications. American Mathematical Society, Providence, RI (2004) [13] X. Li: Bounds for GL(3) × GL(2) L-functions and GL(3) L-functions, Annals of Math. 173 (2011), 301–336. [14] P. Michel, A. Venkatesh: The subconvexity problem for GL2, Publ. Math. IHES 111 (2010), 171-271. [15] Ritabrata Munshi : The circle method and bounds for L-functions-III: t-aspect subconvexity for GL(3) L-functions, Journal of American Mathematical Society, Volume 28, Number 4, October 2015, 913-938. [16] E. C. Titchmarsh : The theory of the Riemann Zeta-function (revised by D. R. Heath-Brown), Clarendon Press, Oxford (1986).

RKMVERI, Belur Math, Howrah-711202, INDIA. Email address: [email protected]

School of Mathematics, Tata Institute of Funadamental Research, Mumbai-400005 Email address: [email protected]

Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur-208016 Email address: [email protected]