---
abstract: 'Let f be a Hecke-Maass or holomorphic primitive cusp form for $SL(2,\mathbb{Z})$ with normalized Fourier coefficients $\lambda_{f}(n)$. Let $\chi$ be a primitive Dirichlet character of modulus p, where p is a prime number. In this article we prove the following Weyl-type bound: for any $\epsilon >0$, $$\sum_{|n| \ll N}\lambda_{f}(n)\chi (n) \ll_{f,\epsilon}N^{3/4 }p^{1/6}(pN)^{\epsilon}.$$'
address: 'Aritra Ghosh Stat-Math Unit, Indian Statistical Institute, 203 B.T. Road, Kolkata 700108, India; email: danielkrueger@example.net'
author:
- Aritra Ghosh
title: 'Weyl-type bounds for twisted GL(2) short character sums '
---

Introduction
============

Investigation of cancellation in sums of the forms $$\mathfrak{S}_{\chi}(N)=\mathop\sum_{|n| \leq N}\chi (n),$$ and $$\mathfrak{S}_{f,\chi}(N)=\mathop\sum_{|n| \leq N}\lambda_{f}(n) \chi (n),$$ has been a centre of attraction for mathematicians for a long time, where $\chi$ is a character of conductor $p$ and $\lambda_{f}(n)$'s are normalized Fourier coefficients of a Hecke-Maass or holomorphic primitive cusp form $f$ for $SL(2,\mathbb{Z})$. Suppose p is a prime.

In this context Polya-Vinogradov showed that $\mathfrak{S}_{\chi}(N) \ll_{\epsilon} p^{\frac{1}{2} + \epsilon} $ which becomes non-trivial if and only if $N >  p^{\frac{1}{2} + \epsilon} $. As the smooth bump functions are supported on a closed and bounded interval, so we can take equation $(1)$ in a smooth way in the following sense. Let $W$ be a smooth bump function supported on $[-2,2]$ and $W(x)=1$, for all $x \in [-1 , 1]$, so upto a negligible error, equation $(1)$ and $(2)$ can be written as $$S_{\chi}(N)=\mathop\sum_{n \in \mathbb{Z}}\chi(n)W\left(\frac{n}{N}\right),$$ and $$S_{f,\chi}(N) = \mathop\sum_{n \in \mathbb{Z}}\lambda_{f}(n)\chi(n)W\left(\frac{n}{N}\right),$$ respectively.

Then equation $(3)$ becomes $$S_{\chi}(N) = \frac{1}{2\pi i} \mathop\int_{(\sigma)} N^{s} \widetilde{W}(s)L(s, \chi )ds$$ If we shift the contour to $\sigma = 1/2$, then roughly, from equation $(5)$, one can say that $$S_{\chi }(N) \ll_{\epsilon} N^{\frac{1}{2}}|L(\frac{1}{2}, \chi )|t^\epsilon .$$

Here we have the convexity bound $L( 1/2 , \chi)\ll_{\epsilon} p^{1/4 + \epsilon}$ for which $S_{\chi}(N)$ becomes non-trivial if and only if $N > p^{1/2}$, by equation $(6)$. Hence subconvexity corresponds to cancellation in shorter sums. Burgess (see, @B) proved that $L( 1/2 , \chi)\ll_{\epsilon} p^{3/16 + \epsilon}$ which becomes non-trivial if and only if $N > p^{3/4}$. Burgess's method required new ideas, in particular it uses the Riemann Hypothesis for curves over finite fields. Note that the Burgess exponent of $3/16$ falls short of the exponent $1/6$ found by Weyl. Curiously, the exponent $3/16$ often re-occurs in the modern incarnations of these problems, see @BH, @BHM, @Wu1, @Wu2 as examples.

For the $GL(2)$ case we have the following: $$S_{f,\chi}(N) = \frac{1}{2\pi i} \mathop\int_{(\sigma)} N^{s} \widetilde{W}(s)L(s, f\otimes \chi )ds.$$ Again by shifting the contour, roughly one can say that, $$S_{f ,\chi }(N) \ll_{f,\epsilon} N^{\frac{1}{2}}|L(\frac{1}{2},f \otimes \chi )|t^\epsilon .$$ In this context, the convexity bound is $L(\frac{1}{2},f\otimes \chi )\ll_{f,\epsilon} p^{\frac{1}{2}}$. So, using equation $(8)$, we have, by convexity, $S_{f,\chi}(N) \ll_{f,\epsilon} \sqrt{Np}$ which becomes non-trivial if and only if $N> p$. Further improvement can be done. By Burgess's exponent we have $L(\frac{1}{2},f\otimes \chi ) \ll_{f,\epsilon} p^{3/8}$ which gives $S_{f,\chi}(N)\ll_{f,\epsilon} \sqrt{N}p^{\frac{3}{8}} < N \iff N > p^{3/4}$ which becomes the Burgess's range.

For the case of Dirichlet L-functions, the Burgess bound has only been improved in some limited special cases. In a breakthrough, Conrey and Iwaniec(see, @CI) obtained a Weyl quality bound for quadratic characters of odd conductor using techniques from automorphic forms and Deligne's solution of the Weyl conjectures for varieties over finite fields. Another class of results, such as @BLT and @HB, consider situations where the conductor $q$ of $\chi$ runs over prime powers or otherwise has some special factorizations. Notably, Milicevic (see, @MIL) recently obtained a sub-Weyl subconvex bound when $q = p^n$ with $n$ large. Also for the Weyl bound for short twisted sums in the prime power case one can look the papers by V. Blomer and D. Milicevic (see, @ASE) and a related paper of R. Munshi and S. K. Singh (see, @ANT).

In this paper we improve the range $N > p^{3/4}$ to the range $N > p^{2/3}$ and we get a bound for $S_{f,\chi}(N)$ without going into the $L$-function. In this paper we get the following result:

Statement of result
-------------------

In this paper we prove the following Weyl-type bound:

Let f be a Hecke-Maass or holomorphic primitive cusp form for $SL(2,\mathbb{Z})$. Let $\chi$ be a primitive Dirichlet character of modulus p where p is a prime.Then for any $0<\theta < \frac{1}{10}$ with $N^{1+ 2\theta}< p < N^{3/2 - 3\theta}$, $$S_{f,\chi }(N)\ll_{f,\epsilon}N^{3/4 + \theta /2}p^{1/6}.$$

From this we have the following corollary:

If $N > p^{\frac{2}{3(1 - 2\theta - 4\delta )}}$ for some small $0 < \delta < 1$ then $S_{f,\chi}(N)\ll_{f,\epsilon} N^{1-\delta + \epsilon}$ where $\epsilon$ is small positive real number.

This result has a nice application. If the Fourier coefficients $\lambda_{f}(n)$'s are real for all $n\in \mathbb{N}$ and $\chi$ is a quadratic character then from theorem $1$, one can note that, $\lambda_{f}(n)$ and $\chi (n)$ have opposite signs for atleast one $n \leq p^{2/3 + \epsilon}$.

In this paper $'\ll '$ means that whenever it occurs, the implied constants will depend on $f, \epsilon$ only.

Sketch of proof
---------------

Here we shall describe our method briefly by taking $f$ to be a holomorphic primitive cusp form for $SL(2,\mathbb{Z})$. Here we are using the method done by Prof. R. Munshi (see, @Mun). At first we consider the sum $$\mathfrak{S}_{f,\chi}(N)=\mathop\sum_{n \sim N}\lambda_{f}(n)\chi(n)$$ for $N > p^{\frac{2}{3}+\delta}$ for some $\delta > 0$, where $\lambda_{f}(n)$'s are the normalized Fourier coeeficients of $f$ and $p$ is the conductor of $\chi$. Here $p$ is taken to be a prime. Then we write this sum as $$\mathop{\sum\sum}_{n,m \sim N}\lambda_{f}(n)\chi (m)\delta_{n,m}$$ where $\delta_{n,m}$ is the Kronecker $\delta$-symbol. Then we apply additive harmonic - Jutila's circle method (see section $(3)$), so that upto a negligible error we get $$\mathfrak{S}_{f,\chi}(N)=\mathop{\sum\sum}_{n,m \sim N}\lambda_{f}(n)\chi (m)\int_{\mathbb{R}}\tilde{I}(\alpha )e((n-m)\alpha)d\alpha .$$

Here we need to save $N$. At first using $GL(2)$ Voronoi summation formula on the $n$ sum we get that $$\sum_{n\sim N}\lambda_{f}(n)e\left(\frac{na}{q}\right) e(n\alpha) \rightsquigarrow \sum_{n \sim \frac{Q^2}{N}}\lambda_{f}(n)e\left(\frac{-n\bar{a}}{q}\right),$$ where $q$ is of size $Q= N^{1/2 + \theta}$. Hence we save $\sqrt{\frac{N}{N^{2\theta}}}$.

Now using Poisson summation formula on the $m$ sum we get $$\sum_{m\sim N}\chi (m)e\left(-\frac{ma}{q}\right)\rightsquigarrow \frac{N}{pq}\sum_{|m|\ll \frac{pQ}{N}}\bar{\chi}(m)\chi(q)\mathbbm{1}_{a \equiv m\bar{p} (\text{mod }q)},$$ where $\mathbbm{1}$ is the indicator function for $a \equiv m\bar{p} (\text{mod }q)$ on $\mathbb{Z}$. Here we save $$\frac{N}{\sqrt{pQ}}\times \sqrt{Q}= \frac{N}{\sqrt{p}}.$$

So far we saved $$N^{1/2 - \theta}\times \frac{N}{\sqrt{p}}=\frac{N^{3/2 - \theta}}{\sqrt{p}}.$$ So remains to save $\frac{\sqrt{p}}{N^{1/2 -\theta}}$ in $$\sum_{q \in \Phi}\sum_{n \sim N^{2\theta}}\sum_{m \sim \frac{p N^\theta}{\sqrt{N}}}\lambda_{f}(n)\bar{\chi}(m)\chi(q)e\left(-\frac{\bar{m}np}{q}\right).$$

Now we choose $Q= Q_1 Q_2$ and $q = q_1 q_2$ in a certain way (see section $(5)$). Then applying Cauchy-Schwarz inequality we have $$\sum_{q_1 \sim Q_1}\sum_{m \sim \frac{p n^\theta}{\sqrt{N}}}\Big| \sum_{n \sim N^{2\theta}}\sum_{q_2 \sim Q_2}\lambda_{f}(n)\chi(q_2 )e\left(-\frac{\bar{m}np}{q_1 q_2}\right)\Big|^{2}.$$ Here for diagonal we save $Q_2 N^{2\theta}$. Note that the diagonal sum becomes okay if $$Q_2 N^{2\theta}> \frac{p}{N^{1-2\theta}}\text{ i.e., } Q_2 > \frac{p}{N}.$$ Also for the off-diagonal we save $$\frac{p N^{\theta}}{\sqrt{N}\sqrt{Q_1}Q_2}=\frac{p N^{\theta /2}}{N^{3/4}\sqrt{Q_2}}.$$ So this is satisfying if $$\frac{p N^{\theta /2}}{N^{3/4}\sqrt{Q_2}} > \frac{p}{N^{1-2\theta}} \iff Q_2 < N^{1/2 -3\theta}.$$ So we can choose $Q_2$ if $$\frac{p}{N}< N^{1/2 - 3\theta} \Rightarrow p < N^{3/2 - 3\theta}.$$ Hence as long as $N > p^{2/3 + \delta}$ for some $\delta> 0$ and also we can get $\theta$ and $Q_2$ and $N> p^{2/3}$ becomes the Weyl range.

PRELIMINARIES
=============

Preliminaries on holomorphic cusp forms.
----------------------------------------

For the sake of exposition we shall only present the case of holomorphic cusp forms for $SL(2,\mathbb{Z})$. The case of Maass forms is just similar. Let $f : \mathbb{H} \mapsto \mathbb{C}$, be a holomorphic cusp form with normalized Fourier coefficients $\lambda_{f}(n)$. Also let us take $\chi$, a primitive Dirichlet character of modulus $p$ where $p$ is a prime. Here one can note that $|\lambda_{f}(n)|\ll_{f,\epsilon} N^\epsilon$ for $1 \leq n\leq N$. Note that, for holomorphic cusp forms, we have $\lambda_{f}(n)=0$ for all $n \leq 0$.

Voronoi summation formula.
--------------------------

We shall use the following Voronoi summation formula.

Let f be as above, and $v$ be a compactly supported smooth function on $(0,\infty )$. Also consider $(a,q)=1$. Then we have $$\mathop\sum_{n=1}^{\infty}\lambda_{f}(n)e_{q}(an)v(n) = \frac{1}{q}\mathop\sum_{n=1}^{\infty}\lambda_{f}(n)e_{q}(- \bar{a}n)V(n),$$ where $\bar{a}$ is the multiplicative inverse of $a\text{ mod q}$, and $V(n)$ is a certain integral Hankel transform of $v$.

Here note that, if we take $v$ to be supported in $[Y, 2Y]$ and satisfying $y^j v^{(j)}(y) \ll_{j} 1$, then one can see that the sum on the right hand side of $(9)$ becomes supported essentially on $n \ll {q^2 (qY)^\epsilon /Y}$ (the implied constant depends on $f \text{ and }\epsilon$). Also note that the terms with $n \gg {q^2 (qY)^\epsilon /Y}$ contributes an amount which is negligibly small. For smaller values of $n$ one can consider the trivial bound $V(n/ q^2)\ll Y$.

Circle Method :
---------------

Here in this paper we shall use Jutila's circle method (see, @PA, @MZ). Let us consider $\Phi \subset [Q,2Q],\text{ where } Q \geq 1$.

Again let us take $\delta$ such that $\frac{1}{Q^2} \leq \delta \leq \frac{1}{Q}$.

Now if we take $L = \mathop\sum_{q \in \Phi}\phi (q)$ then roughly we have $L \asymp Q^2$.

Now we set $\widetilde{I}(\alpha ) = \frac{1}{2\delta L} \mathop\sum_{q\in \Phi}\sum_{d ( \text{ mod q})}^{\star }I_{d/q}(\alpha )$ where $I_{d/q}$ is the indicator function of the interval $[\frac{d}{q}-\delta ,\frac{d}{q} + \delta ]$.

Then this becomes an approximation of $I_{[0,1]}$ in the following sense:

We have $$\int_{\mathbb{R}}\left| I(\alpha) - \widetilde{I}(\alpha)\right|^2 d \alpha \ll \frac{Q^{2+\epsilon}}{\delta L^2},$$ where $I$ is the indicator function of $[0,1]$.

This is a consequence of the Parseval theorem from Fourier analysis.

Application of circle method :
==============================

Let us apply the circle method directly to the smooth sum $$S(N)= \mathop\sum_{n \in \mathbb{Z}}\lambda_{f}(n)\chi(n)h_{1}\left(\frac{n}{N}\right).$$ At first recall that the function $h_1$ is smooth, supported in $[1,2]$ with $h_{1}^{(j)}(x)\ll_{j} 1$. Now we shall approximate the above sum $S(N)$ using Jutila's circle method by the following sum : $$\tilde{S}(N)=\frac{1}{L}\mathop\sum_{q \in \Phi} \hspace{0.1cm} \sideset{}{^*}\sum_{a(\text{ mod } q)}\mathop{\sum\sum}_{n,m \in \mathbb{Z}}\lambda_{f}(n)\chi (m)e\left(\frac{a(n-m)}{q}\right)F(n,m),$$ where $e_{q}(x)= e^{2\pi i x /q}$, and $$F(x,y)= h_{1}\left(\frac{x}{N}\right)h_{2}\left(\frac{y}{N}\right)\frac{1}{2\delta}\int_{-\delta}^{\delta}e(\alpha (n-m))d\alpha .$$ Here $h_{2}$ is another smooth function having compact support in $(0,\infty)$, with $h_{2}(x)=1$ for $x$ in the support of $h_{1}$. Also we choose $\delta = N^{-1}$ so that we have $$\frac{\partial^{i+j}}{\partial^{i}x \partial^{j}y}F(x,y)\ll_{i,j}\frac{1}{N^{i+j}}.$$

Then we have the following lemma :

Let $\Phi \subset [Q,2Q]$, with $$L=\sum_{q\in \Phi}\phi(q) \gg Q^{2-\epsilon},$$ and $\delta \gg \frac{N^{2\theta}}{Q^2}$. Then we must have

$$S(N)= \tilde{S}(N) + O_{f,\epsilon}\left( \sqrt{N} \frac{N(QN)^{\epsilon}}{Q}\right).$$

Let us define $$G(x):=\mathop{\sum\sum}_{n,m \in \mathbb{Z}}\lambda_{f}(n)\chi (m)h_{1}\left(\frac{n}{N}\right)h_{2}\left(\frac{m}{N}\right) e(x(n-m)).$$

Here one can noth that $$S(N) = \int_{R}G(x)dx ,$$ and also $$\tilde{S}(N) = \int_{\mathbb{R}}\tilde{I}_{\Phi , \delta}(x)G(x)dx .$$ Therefore we have

$$\left| S(N)- \tilde{S}(N)\right| \leq \displaystyle\int_{\mathbb{R}}\left|I - \tilde{I}(x)\right| \left| \mathop\sum_{n \in \mathbb{Z}}\lambda_{f}(n)e(xn)h_{1}\left(\frac{n}{N}\right)\right| \left| \mathop\sum_{m \in \mathbb{Z}} \chi(m)e(-xm)h_{2}\left(\frac{m}{N}\right)\right| dx.$$

For the sum in the middle if we use the point-wise bound $$\mathop\sum_{n \in \mathbb{Z}}\lambda_{f}(n)e(xn)h_{1}\left(\frac{n}{N}\right) \ll_{f, \epsilon}N^{\frac{1}{2}+\epsilon},$$ then using Cauchy-Schwarz inequality we get that

$$\left| S(N)- \tilde{S}(N)\right| \ll_{f,\epsilon} N^{\frac{1}{2}+\epsilon}\left[\displaystyle\int_{\mathbb{R}}\left|I - \tilde{I}(x)\right| ^2  dx \right] ^{1/2} \left[\displaystyle\int_{\mathbb{R}}\left| \mathop\sum_{m \in \mathbb{Z}} \chi(m)e(-xm)h_{2}\left(\frac{m}{N}\right)\right|^2 dx \right] ^{1/2} .$$

For the last sum, if we open the absolute value square and execute the integral then we can note that we are left with the diagonal only, which has size $N$. For the other sum if we use Lemma $2.2$, then it follows that $$\left| S(N)- \tilde{S}(N)\right| \ll_{f,\epsilon}\frac{(QN)^{1+\epsilon}}{\sqrt{\delta}L} \ll_{f,\epsilon}N\frac{\sqrt{N}(QN)^{\epsilon}}{Q}.$$

We shall choose the set of modulii in Section $5$. We shall pick the set of the modulii to be $Q = N^{1/2 +\theta }$. Hence the error term getting from the previous lemma is $O(N^{1-\theta +\epsilon})$ for some $\theta > 0$. Now we shall proceed towards the estimation of $\tilde{S}(N)$.

Estimation of $\tilde{S}(N)$
============================

Applying Voronoi an Poisson summation
-------------------------------------

Let us now assume that each member of $\Phi$ is coprime to $p$, the modulus of the character $\chi$. Let us define $$\tilde{S}_{x}(N) =\frac{1}{L}\mathop\sum_{q\in \Phi} \hspace{2mm}\sideset{}{^*}\sum_{a(\text{mod }q)} S\left(a,q,x,f\right) \, T\left(a,q,x,\chi\right),$$ where $$S\left(a,q,x,f\right):= \sum_{n \in \mathbb{Z}}\lambda_{f}(n)h_{1}\left(\frac{n}{N}\right)e\left(\frac{ an}{q}\right)e(nx),$$ and $$T\left(a,q,x,\chi\right):=  \sum_{m \in \mathbb{Z}}\chi (m)e\left(-\frac{am}{q}\right)h_{2}\left(\frac{m}{N}\right)e(-xm) ,$$

with $|x|< \delta$. Then we have $$\tilde{S}(N)= (2\delta)^{-1}\int_{-\delta}^{\delta}\tilde{S}_{x}(N) dx .$$

Now at first, let us consider the $n$-sum $$S\left(a,q,x,f\right)= \sum_{n =1}^{\infty}\lambda_{f}(n)h_{1}\left(\frac{n}{N}\right)e\left(\frac{ an}{q}\right)e(nx).$$

Then we have the following lemma:

Upto a negligible error, using Voronoi summation formula, on the $n$-sum we have $$S\left(a,q,x,f\right)= \frac{N^{3/4}}{q^{1/2}}\sum_{|n|\ll \frac{Q^2}{N}}\frac{\lambda_{f}(n)}{n^{1/4}}e\left(-\frac{\bar{a}n}{q}\right)\mathcal{I}_{1}(n,x,q) + O(N^{-2021}),$$ where $q \in [Q, 2Q]$, coprime with $p$, where $\mathcal{I}_{1}(n,x,q)$ is given by $$\mathcal{I}_{1}(n,x,q):= \int_{\mathbb{R}}h_{1}(y)e\left( Nxy \pm \frac{4\pi}{q}\sqrt{Nny}\right) W\left(\frac{4\pi \sqrt{Nny}}{q}\right) dy ,$$ where $W$ is a smooth nice function.

If we apply Voronoi summation formula $(9)$ to the $n$-sum of the equation $(11)$, then we have $$\hspace{-4.6cm}\sum_{n \in \mathbb{Z}}\lambda_{f}(n)e\left(\frac{an}{q}\right)e(nx)h_{1}\left(\frac{n}{N}\right) = \frac{1}{q}\sum_{n \in \mathbb{Z}}\lambda_{f}(n)e\left(-\frac{\bar{a}n}{q}\right)$$ $$\hspace{5cm}\times\int_{\mathbb{R}}h_{1}\left(\frac{y}{N}\right)e(xy)J_{k-1}\left(\frac{4\pi \sqrt{ny}}{q}\right) dy,$$ where $J_{k-1}$ is the Bessel function. By changing $y \mapsto Ny$ and using the approximation, $$J_{k-1}(x)\approx \frac{W(x)}{\sqrt{x}}e(x)+ \frac{\bar{W}(x)}{\sqrt{x}}e(-x) ,$$ where $W(x)$ is a nice function, the above equation becomes $$=\frac{N^{3/4}}{q^{1/2}}\sum_{n=1}^{\infty}\frac{\lambda_{f}(n)}{n^{1/4}}e\left(-\frac{\bar{a}n}{q}\right) \mathcal{I}_{1}(n,x,q) ,$$ where $$\mathcal{I}_{1}(n,x,q) := \int_{\mathbb{R}}h_{1}(y)e\left( Nxy \pm \frac{4\pi}{q}\sqrt{Nny}\right) W\left(\frac{4\pi \sqrt{Nny}}{q}\right) dy .$$ Note that, this integral is negligibly small unless $|n|\ll \frac{Q^{2}}{N}$.

So we have $$\sum_{|n|\ll \frac{Q^2}{N}}\frac{\lambda_{f}(n)}{n^{1/4}}e\left(-\frac{\bar{a}n}{q}\right)\mathcal{I}_{1}(n,x,q)=\sum_{|n|\ll \frac{Q^2}{N}}\frac{\lambda_{f}(n)}{n^{1/4}}e\left(-\frac{\bar{a}n}{q}\right)\mathcal{I}_{1}(n,x,q) +O(N^{-2021}).$$ This completes the proof of the lemma.

Note that $x \asymp \frac{\sqrt{n}}{\sqrt{N}Q}$, otherwise $\mathcal{I}_{1}(n,x,q)$ is negligibly small.

Now let us consider the $m$-sum of $(10)$ given by $$T\left(a,q,x,\chi\right)=  \sum_{m \in \mathbb{Z}}\chi (m)e\left(-\frac{am}{q}\right)h_{2}\left(\frac{m}{N}\right)e(-xm)
,$$ then we get the following lemma:

Upto a negligible error, we get that $$T\left(a,q,x,\chi\right) = \frac{N\tau_{\chi}}{p}\sum_{\substack{|m| \ll \frac{pQ}{N} \\ m\bar{p}\equiv a (\text{mod }q)}}\bar{\chi}(m)\chi(q) \mathcal{I}_{2}(m,x,q) + O(N^{-2021}),$$ where $$\mathcal{I}_{2}(m,x,q) := \int_{\mathbb{R}}h_{2}(y)e(-Nxy)e\left(-\frac{mNy}{pq}\right) dy .$$

To the $m$-sum of the equation $(13)$, if we apply the Poisson summation formula, then we get that $$T\left(a,q,x,\chi\right) = \frac{N}{pq}\sum_{m \in \mathbb{Z}}\mathcal{I}_{2}(m,x,q)\sum_{\beta \text{( mod }q)}\chi (\beta)e\left(-\frac{a\beta}{q}\right) e\left(\frac{m\beta}{pq}\right) ,$$ where $$\mathcal{I}_{2}(m,x,q) := \int_{\mathbb{R}}h_{2}(y)e(-Nxy)e\left(-\frac{mNy}{pq}\right) dy .$$ Here note that, this integral is negligibly small unless $|m|\ll \frac{pQ}{N}N^\epsilon$.

So we have $$T\left(a,q,x,\chi\right) = \frac{N}{pq}\sum_{|m|\ll \frac{pQ}{N}N^\epsilon}\mathcal{I}_{2}(m,x,q)\sum_{\beta \text{( mod }q)}\chi (\beta)e\left(-\frac{a\beta}{q}\right) e\left(\frac{m\beta}{pq}\right) + O(N^{-2021}).$$

As we know $(p,q)=1$, so that we can write $\beta$ as $\beta = \beta_{1}q\bar{q}+\beta_{2}p\bar{p}$, where $\beta_{1},\beta_{2}$ are the complete set of residue classes congruent to $p,q$ respectively. Then substituting these in the place of $\beta$ we have $$T\left(a,q,x,\chi\right) = \frac{N\tau_{\chi}}{p}\sum_{\substack{|m| \ll \frac{pQ}{N} \\ m\bar{p}\equiv a (\text{mod }q)}}\bar{\chi}(m)\chi(q) \mathcal{I}_{2}(m,x,q)+ O(N^{-2021}).$$

This completes the proof.

From $(12)$ and $(14)$ we get that

$$\begin{split}
\tilde{S}_{x}(N) &= \frac{N^{7/4}}{\sqrt{p}L}\sum_{q\in \Phi}\frac{\chi (q)}{q^{1/2}}\sum_{|n| \ll \frac{Q^{2}}{N}}\sum_{\substack{|m| \ll \frac{pQ}{N} \\ (m,q)=1}}\frac{\lambda_{f}( n)}{n^{1/4}}\bar{\chi}(m)e\left(-\frac{p\bar{m}n}{q}\right)\mathcal{I}_{1}(n,x,q)\mathcal{I}_{2}(m,x,q)  \\
&  \hspace{10cm} +  O(N^{-2021}),
\end{split}$$

where $\mathcal{I}_{1}(n,x,q),\mathcal{I}_{2}(m,x,q)$ are given by $(12),(14)$ respectively.

Further Estimation
==================

At first let us consider $Q= Q_{1}Q_{2}$ and $q=q_1 q_2$, where $q_1 \in [Q_1 , 2Q_1 ]$ and $q_2 \in [Q_2 , 2 Q_2 ]$, which are coprime with each other and also with $p$. Also say $N_o = \frac{Q^2}{N} , M_o = \frac{pQ}{N}$. Here we note that, as $0<\theta < 1/10$ so that we have $Q_2 > N_o$ and also we have $Q_1 > N_o$.

Now if we apply Cauchy-Schwarz inequality on the equation $(15)$, then we have $$\begin{split}
 \tilde{S}_{x}(N) \ll \frac{N^{7/4}\sqrt{M_o}}{\sqrt{p}L \sqrt{ Q_1 }} \sum_{q_1 \sim Q_1} & \\
 &\hspace{-4cm} \times\left(\sum_{|m|\ll M_o}\left| \sum_{q_2 \sim Q_2}\frac{\chi(q_2)}{q_{2}^{1/2}}\sum_{|n|\ll N_o}\frac{\lambda_{f}(n)}{n^{1/4}}\mathcal{I}_{1}(n,x,q_1 q_2)\mathcal{I}_{2}(m,x,q_1 q_2) e\left(-\frac{p\bar{m}n}{q_1 q_2}\right)\right|^2 \right)^{1/2} ,
 \end{split}$$ where $M_o = \frac{pQ}{N}$ and $N_o = \frac{Q^{2+\epsilon}}{N}$, $$\ll \frac{N^{7/4}\sqrt{M_o}}{\sqrt{p}L\sqrt{Q_1}}\sum_{q_1 \sim Q_1}\Omega( N_o , q_1 , Q_2 ,x)^{1/2},$$ where $\Omega ( N_o , q_1 , Q_2 ,x)$ is given by $$= \sum_{\substack{|m|\ll M_o \\ (m,q)=1}} \left|\sum_{q_2 \sim Q_2}\frac{\chi(q_2)}{q_{2}^{1/2}}\sum_{|n|\ll N_o}\frac{\lambda_{f}(n)}{n^{1/4}}\mathcal{I}_{1}(n,x,q_1 , q_2)\mathcal{I}_{2}(m,x,q_1 , q_2) e\left(-\frac{p\bar{m}n}{q_1 q_2}\right)\right|^2.$$

Now openning the brackets of $\Omega( N_o , q_1 , Q_2 ,x)$, we have $$\sum_{\substack{|m|\in \mathbb{Z} \\ (m,q)=1}}W^{\prime}\left(\frac{m}{M_o}\right)\sum_{q_2 , q_{2}^{\prime}\sim Q_2}\frac{\chi (q_2 \bar{q_{2}^{\prime}})}{(q_2 q_{2}^{\prime})^{1/2}}\sum_{|n|,|n|^\prime \ll N_o}\frac{\lambda_{f}(n)\lambda_{f}(n^\prime )}{(n n^\prime )^{1/4}} e\left(\frac{\bar{m}p(q_{2}^{\prime}n - n^\prime q_2)}{q_1 q_2 q_{2}^{\prime}}\right)$$ $$\times \mathcal{I}_{1}(n,x,q_1 q_2)\mathcal{I}_{2}(m,x,q_1 q_2) \bar{\mathcal{I}_{1}}(n,x,q_1 q_{2}^{\prime})\bar{\mathcal{I}_{2}}(m,x,q_1 q_{2}^{\prime}),$$

where $W^{\prime}$ is a smooth nice function with supp$(W^{\prime})$ is in $[-2,2]$ such that $W(x)=1$ for $x \in [-1,1]$.

Now if we use Poisson summation formula to the $m$-sum then the $m$-sum becomes $$\frac{M_o}{q_1 q_2 q_{2}^{\prime}}\sum_{m \in \mathbb{Z}}S(p(q_{2}^{\prime}n - n^\prime q_2),m; q_1 q_{2}q_{2}^{\prime})\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime}),$$ where $$\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime}):=\int_{\mathbb{R}}W^{\prime}(y)\mathcal{I}_{2}(M_o y,x, q_1 q_2)\bar{\mathcal{I}_{2}}(M_o y , x , q_1 q_{2}^{\prime})e\left(-\frac{m M_o y }{q_1 q_2 q_{2}^{\prime}}\right).$$ Here note that the integral $\mathcal{I}$ is negligilbly small unless $|m|\ll \frac{Q_1 Q_{2}^{2}}{M_o}=\frac{Q_2 Q}{M_o}$.

Let $R_o =\frac{Q_2 Q}{M_o} = \frac{N Q_2}{p}$.

So we get $$\tilde{S}_{x}(N) = \frac{N^{7/4}\sqrt{M_o}}{\sqrt{p}L\sqrt{Q_1}}\sum_{q_1 \sim Q_1}\Omega ( N_o , q_1 , Q_2 , x)^{1/2} + O(N^{-2021}).$$ where $\Omega( N_o , q_1 , Q_2 ,x)$ is given by

$$\begin{gathered}
 \hspace{-0.25cm}\Omega( N_o , q_1 , Q_2 ,x)=\frac{M_o}{q_1 }\sum_{q_2 , q_{2}^{\prime} \sim Q_2}\frac{\chi (q_2 \bar{q_{2}^{\prime}})}{(q_2 q_{2}^{\prime})^{3/2}}\sum_{|n|,|n|^\prime \ll N_o}\frac{\lambda_{f}(n)\lambda_{f}(n^\prime )}{(n n^\prime )^{1/4}}\mathcal{I}_{1}(n,x,q_1 q_2) \bar{\mathcal{I}_{1}}(n,x,q_1 q_{2}^{\prime})\\
 \times \mathcal{I}_{1}(n^{\prime},x,q_1 q_2) \bar{\mathcal{I}_{1}}(n^{\prime},x,q_1 q_{2}^{\prime}) \sum_{|m|\ll R_o }S(p(q_{2}^{\prime}n - n^\prime q_2),m; q_1 q_{2}q_{2}^{\prime})\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime}).
 \end{gathered}$$

For the integrals as there are no analytic terms so we can consider trivial bound for them, i.e., they are bounded by $1$. Also note that $|\lambda_{f}(n)|\ll N^{\epsilon}$ for $|n|\leq N$ and $\sum_{|n| \ll N_o }\frac{1}{n^{1/4}}\ll N_{o}^{3/4}$.

We have $$\Omega( N_o , q_1 , Q_2 ,x) \ll M_o N_{o}^{1/2} + N_{o}^{3/2}Q_{2}^{2} \sqrt{Q_1}.$$

The proof of this lemma is given below. The first term of right hand side of $(18)$ is coming from $m=0$ and the second term is coming from other $m$'s, i.e., for the terms with $m\neq 0$. For the proof, at first we shall consider the zero frequency case, i.e., when $m=0$.

The zero frequency {#the-zero-frequency .unnumbered}
------------------

The zero frequency $m=0$ has to be treated differntly. Let $\Sigma_o$ denote the contribution of the zero frequency to $\tilde{S}_{x}(N)$, i.e., $$\begin{split}
\Sigma_o =\frac{M_o}{q_1 }\sum_{q_2 , q_{2}^{\prime} \sim Q_2}\frac{\chi (q_2 \bar{q_{2}^{\prime}})}{(q_2 q_{2}^{\prime})^{3/2}} \sum_{|n|,|n|^\prime \ll N_o}\frac{\lambda_{f}(n)\lambda_{f}(n^\prime )}{(n n^\prime )^{1/4}} S(p(q_{2}^{\prime}n - n^\prime q_2),0; q_1 q_{2}q_{2}^{\prime})\\
& \hspace{-12cm}\times \mathcal{I}_{1}(n^{\prime},x,q_1 q_2) \bar{\mathcal{I}_{1}}(n^{\prime},x,q_1 q_{2}^{\prime})\mathcal{I}_{1}(n,x,q_1 q_2) \bar{\mathcal{I}_{1}}(n,x,q_1 q_{2}^{\prime})\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime})\\
& \hspace{-12.6cm}= \frac{M_o}{q_1 }\sum_{q_2 , q_{2}^{\prime} \sim Q_2}\frac{\chi (q_2 \bar{q_{2}^{\prime}})}{(q_2 q_{2}^{\prime})^{3/2}}\sum_{|n|,|n|^\prime \ll N_o}  \frac{\lambda_{f}(n)\lambda_{f}(n^\prime )}{(n n^\prime )^{1/4}}\sum_{d | q_1 q_2 q_{2}^{\prime}}d \mu \left(\frac{p(q_{2}^{\prime}n - n^{\prime}q_2 )}{d}\right)\\
& \hspace{-12cm}\times \mathcal{I}_{1}(n^{\prime},x,q_1 q_2) \bar{\mathcal{I}_{1}}(n^{\prime},x,q_1 q_{2}^{\prime}) \mathcal{I}_{1}(n,x,q_1 q_2) \bar{\mathcal{I}_{1}}(n,x,q_1 q_{2}^{\prime})\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime})\\
&\hspace{-12.6cm}=\frac{M_o}{q_1 }\sum_{q_2 , q_{2}^{\prime} \sim Q_2}\frac{\chi (q_2 \bar{q_{2}^{\prime}})}{(q_2 q_{2}^{\prime})^{3/2}}\sum_{d | q_1 q_2 q_{2}^{\prime}}d \sum_{\substack{|n|,|n^{\prime}|\ll N_o \\ q_{2}^{\prime}n - n^{\prime}q_2 \equiv 0 (\text{mod d})}}\frac{\lambda_{f}(n)\lambda_{f}(n^\prime )}{(n n^\prime )^{1/4}}\\
& \hspace{-12cm}\times \mathcal{I}_{1}(n,x,q_1 q_2) \bar{\mathcal{I}_{1}}(n,x,q_1 q_{2}^{\prime})\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime})\mathcal{I}_{1}(n^{\prime},x,q_1 q_2) \bar{\mathcal{I}_{1}}(n^{\prime},x,q_1 q_{2}^{\prime}).
\end{split}$$

We have $$\Sigma_o \ll M_o N_{o}^{1/2}.$$

In the case for $m=0$ we have six cases according to the divisors of $q_1 q_2 q_{2}^{\prime}$ and note that $Q= Q_1 Q_2$.

### Case 1  {#case-1 .unnumbered}

Let $d=q_1 q_2 q_{2}^{\prime}$. Then note that size of $d$ for this case is $Q_1 Q_{2}^{2}$. But size of $q_{2}^{\prime}n - n^{\prime}q_2$ is $Q_2 N_o$. So for this case $$q_{2}^{\prime}n - n^{\prime}q_2 \equiv 0 (\text{mod d}) \iff q_2 = q_{2}^{\prime} \text{ and }n= n^{\prime},$$ as size of $n$ is smaller than size of $Q_2$. Hence we have $$\Sigma_{o} \ll M_o N_{o}^{1/2} .$$

### Case 2 {#case-2 .unnumbered}

Let $d=1$. Then we get that $$\Sigma_{o} \ll \frac{M_o N_{o}^{3/2}}{Q}.$$ But as $N_o \ll Q$ so for this case, we must have, $$\Sigma_{o} \ll M_o N_{o}^{1/2}.$$

### Case 3 {#case-3 .unnumbered}

Let $d= q_1$. For this case, we have $$\Sigma_{o}\ll \frac{M_{o}N_{o}^{3/2}}{Q_2}.$$ But as $N_o < Q_2$ so that for this case again we have, $$\Sigma_{o} \ll M_o N_{o}^{1/2}.$$

### Case 4 {#case-4 .unnumbered}

Now consider $d= q_2$. For this case we have $$\Sigma_{o}\ll \frac{M_o N_{o}^{3/2}}{Q_1}.$$ But as $N_o < Q_1$ so for this case, we must have, $$\Sigma_{o} \ll M_o N_{o}^{1/2}.$$

For the case $d= q_{2}^{\prime}$ we have to process similarly and we shall get the same bound.

### Case 5  {#case-5 .unnumbered}

Now take $d= q_1 q_2$. But as size of $q_{2}^{\prime}n - n^{\prime}q_2$ is $Q_2 N_o$ which is less than the size of $d$, i.e., $Q_1 Q_2$ so for this case we have $$q_{2}^{\prime}n - n^{\prime}q_2 \equiv 0 (\text{mod d}) \iff q_2 = q_{2}^{\prime} \text{ and }n= n^{\prime}.$$ Hence we have $$\Sigma_{o} \ll \frac{M_o N_{o}^{1/2}}{Q_2}.$$ But then again we have, for this case, $$\Sigma_{o} \ll M_o N_{o}^{1/2} .$$ For $d= q_{1}q_{2}^{\prime}$ if we process similarly then we shall get the same bound.

### Case 6  {#case-6 .unnumbered}

For the last case we have $d= q_{2}^{2}$. This case will be similar as case $(5)$. By considering the size of $d$ for this case again we can say that $$q_{2}^{\prime}n - n^{\prime}q_2 \equiv 0 (\text{mod d}) \iff q_2 = q_{2}^{\prime} \text{ and }n= n^{\prime}.$$ So for this case we have $$\Sigma_{o} \ll \frac{M_o N_{o}^{1/2}}{Q_1}.$$ So again we have, for this case, $$\Sigma_{o} \ll M_o N_{o}^{1/2}.$$ This completes the proof of the lemma $5.2$.

Non-zero frequency {#non-zero-frequency .unnumbered}
------------------

Now we shall consider the non-zero frequency case, i.e., when $m\neq 0$. For $m\neq 0$ we use Weil bound for Kloosterman sum so that we get $$\begin{split}
\Sigma_{\neq 0} =\frac{M_o}{q_1 }\sum_{q_2 , q_{2}^{\prime} \sim Q_2}\frac{\chi (q_2 \bar{q_{2}^{\prime}})}{(q_2 q_{2}^{\prime})^{3/2}} \sum_{|n|,|n|^\prime \ll N_o}\frac{\lambda_{f}(n)\lambda_{f}(n^\prime )}{(n n^\prime )^{1/4}} \\
& \hspace{-7.8cm}\times \mathcal{I}_{1}(n,x,q_1 q_2) \bar{\mathcal{I}_{1}}(n,x,q_1 q_{2}^{\prime})\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime})\sum_{1 \leq m \ll R_o}S(p(q_{2}^{\prime}n - n^\prime q_2),m; q_1 q_{2}q_{2}^{\prime}).
\end{split}$$ Now by the Weil's bound for Kloosterman sums we have $$\sum_{1\leq |m|\ll R_o }S(p(q_{2}^{\prime}n - n^\prime q_2),m; q_1 q_{2}q_{2}^{\prime}) \ll Q_2 \sqrt{Q_1}\sum_{1\leq |m|\ll R_o}(p(q_{2}^{\prime}n - n^\prime q_2),m; q_1 q_{2}q_{2}^{\prime})^{1/2}.$$

For any $x,y \in \mathbb{R} \text{ with }x,y \geq 1$ and $c\in \mathbb{N}$, we have, $$\sum_{1\leq a\leq x}\sum_{1\leq b\leq y}(a,b,c)\leq xy .$$

Let $(a,b)=d$ so that $d \geq 1$. Then we have $$\sum_{1\leq a\leq x}\sum_{1\leq b\leq y}(a,b,c)\leq \sum_{1\leq a\leq x}\sum_{1\leq b\leq y}(a,b) \leq \sum_{1\leq d\leq x}d\sum_{1\leq b\leq \frac{y}{d}}1 = xy .$$ This completes the proof of this lemma.

By the previous lemma, we have, $$\sum_{1 \leq |m|\ll R_o}(p(q_{2}^{\prime}n - n^\prime q_2),m; q_1 q_{2}q_{2}^{\prime})^{1/2} \ll R_o .$$ Hence we get that $$\sum_{|m|\ll R_o }S(p(q_{2}^{\prime}n - n^\prime q_2),m; q_1 q_{2}q_{2}^{\prime})\mathcal{I}(m,x,q_1 ,q_2 ,q_{2}^{\prime})\ll R_{o}Q_2 \sqrt{Q_1}.$$

Now putting values of $R_o \text{ and } M_o$ we get that, $$\Sigma_{\neq 0} \ll \frac{pQ}{N Q_1 } \times \frac{N Q_{2}^{2}\sqrt{Q_1}}{p}\times \frac{1}{Q_2}\times N_{o}^{3/2},$$ $$\hspace{-4.3cm}\text{ i.e., } \Sigma_{\neq 0} \ll N_{o}^{3/2} Q_{2}^{2}\sqrt{Q_1}.$$

This completes the proof of the lemma $5.1$.

Final estimation
================

From the equations $(17)\text{ and }(18)$ we get that $$\begin{split}
\tilde{S}_{x}(N) & \ll  \frac{N^{7/4}\sqrt{M_o}}{\sqrt{p}L\sqrt{Q_1}}\sum_{q_1 \sim Q_1}\left(  M_o N_{o}^{1/2} + N_{o}^{3/2}Q_{2}^{2} \sqrt{Q_1} \right)^{1/2} \\
& \ll \frac{N^{7/4}\sqrt{Q_1 M_o}}{\sqrt{p}L }\left(  M_{o}^{1/2} N_{o}^{1/4} + N_{o}^{3/4}Q_{2} Q_{1}^{1/4} \right).
\end{split}$$

Now for any given $\theta$, the optimum choice of $Q_1$ is obtained by equating the two terms of equation $(18)$ and using the relation $Q_1 Q_2 =Q= N^{1/2 +\theta}$, so that we have $$Q_1 =\frac{N^{1+ 2\theta}}{p^{2/3}}.$$ This satisfies our requirement that $\frac{p}{N}< Q_2 < N^{1/2 - 3\theta}$. Now putting this value of $Q_1$ in the equation $(23)$, we get that $$\tilde{S}_{x}(N) \ll N^{3/4 + \theta /2}p^{1/6}.$$ This completes the proof of the theorem.

Acknowledgements
================

Author is grateful to Prof. Ritabrata Munshi for sharing his ideas with him and for his support and encouragement. Author is also thankful to Mallesham, S. Kumar, S. K. Singh and P. Sharma for their constant support and encouragements. Finally, author would like to thank Stat-Math unit, Indian Statistical Institute, Kolkata, for providing excellent research environment.

D. A. Burgess, On character sums and L-series. II. Proc. Lond. Math. Soc. $(3)$ $13$ $(1963)$, $524–536$.

V. Blomer and G. Harcos, Hybrid bounds for twisted L-functions. J. Reine Angew. Math. $621$ $(2008)$, $53–79$. Addendum: Hybrid bounds for twisted L-functions. J. Reine Angew. Math., $694$ $(2014)$, $241–244$.

V. Blomer, G. Harcos, and P. Michel, A Burgess-like subconvex bound for twisted L-functions. Appendix $2$ by Z. Mao. Forum Math. $19$ $(2007)$, no. $1$, $61–105$.

H. Wu. Burgess-like subconvex bounds for $GL(2)\times GL(1)$. Geom. Funct. Anal. $24$ $(2014)$, no. $3$, $968–1036$.

H. Wu. Burgess-like subconvexity for GL1. Compos. Math. $155$ $(2019)$, no. $8$, $1457–1499$.

J. B. Conrey and H. Iwaniec, The cubic moment of central values of automorphic L-functions. Ann. of Math. $(2)$ $151$ $(2000)$, no. $3$, $1175–1216$.

M. B. Barban, Yu. V. Linnik, and N. G. Tshudakov, On prime numbers in an arithmetic progression with a prime-power difference. Acta Arith. $9$ $1964$ $375–390$.

D. R. Heath-Brown Hybrid bounds for Dirichlet L-functions. Invent. Math. $47$ $(1978)$, no. $2$, $149–170$.

D. Milicevic, Sub-Weyl subconvexity for Dirichlet L-functions to prime power moduli. Compos. Math. $152$ $(2016)$, no. $4$, $825–875$.

V. Blomer and D. Milicevic. $p$-adic analytic twists and strong subconvexity. Ann. Sci. Ec. Norm. Super. $(4)$, $48(3):561–605$, $2015$.

R. Munshi and S. K. Singh: Weyl bound for p-power twist of $GL(2)$ L-functions, Algebra Number Theory, $13$ $(2019)$, no. $6$, $1395–1413$.

Munshi, R. The circle method and bounds for $L$-functions - I. Math. Ann. $358$, $389–401$ $(2014)$.

M. Jutila: Transformations of exponential sums. Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori $1989$), Univ. Salerno, Salerno, $(1992)$ $263-270$.

M. Jutila: The additive divisor problem and its analogs for Fourier coefficients of cusp forms. I., Math. Z. $233(1996),$ $435-461$; II., ibid $225(1997)$, $625-637$.

{'source': 'arXiv_out/2111'}