On algebraic twists with composite moduli

Let f(z) be a Hecke eigencuspform of level 1 either holomorphic of weight k\geqslant 2 or a Laplacian eigenform with spectral parameter t_f; let (\lambda_f(n))_{n\geqslant 1} be its Hecke eigenvalues. Let q=q_0q_1 be a product of two distinct primes and let

be two complex valued functions which we identify with functions on \mathbf{Z} of period q_0 and q_1 respectively; we assume that K_0 is the trace function attached to an \ell-adic middle extension Fourier sheaf \mathcal{F} on \mathbf{A}^1_{\mathbf{F}_{q_0}}, geometrically irreducible, pure of weight 0 and such that

• The automorphism group (see [FKMS, § 7.1]) of the Fourier transform sheaf \widehat\mathcal{F} is trivial.

• (MO) (see [LMS, § 1]) There is no \lambda \in {\mathbf{F}^\times_q} such that the geometric monodromy group of \mathcal{F} has some quotient which is equal, as a representation of the geometric fundamental group \pi_1 into an algebraic group, to the geometric monodromy group of the Kloosterman sheaf [\times \lambda]^*\mathcal{K}\ell_2 modulo \pm 1.

Let K be the q-periodic function given by

Let Z\geqslant 1 be some parameter and V\in \mathcal{C}^\infty_c(\mathbf{R}) be a smooth function compactly supported in the interval [1,2[ satisfying for all j\geqslant 0,

For X\geqslant 1 we have the bound

where the implicit constant depends at most on f, on the conductor C_0=C(\mathcal{F}) of \mathcal{F} and on the implicit constants in (?).

Let f(z) be a Hecke eigencuspform of level 1 either holomorphic of weight k\geqslant 2 or a Laplacian eigenform with spectral parameter t_f; let (\lambda_f(n))_{n\geqslant 1} be its Hecke eigenvalues. Let \varphi be a Hecke–Maass cuspform for \operatorname{GL}_{3,\mathbf{Q}} of level 1 with Fourier coefficients (\lambda_\varphi(n,r))_{n\geqslant 1,r\not=0}.

Let q=q_0q_1 be a product of two distinct primes and let

be two complex valued functions which we identify with functions on \mathbf{Z} of period q_0 and q_1 respectively; we assume moreover that K_0 is the trace function attached to an \ell-adic middle extension Fourier sheaf \mathcal{F} on \mathbf{A}^1_{\mathbf{F}_{q_0}}, geometrically irreducible and pure of weight 0, of conductor C_0 and which is good in the sense of [LMS, § 1]. Let K be the q-periodic function given by

Let V\in \mathcal{C}^\infty_c(\mathbf{R}) be a smooth function satisfying (?). Let X\geqslant 1 be such that X\geqslant Z^4q^2q_0^{1/2}. Then

Here \theta_3=5/14 is the best known bound towards the Ramanujan–Petersson conjecture on \operatorname{GL}_3.

Notations be as above. Assume that

We have for any (a,q)=1,

In particular, given \eta>0, we have

for some \delta=\delta(\eta)>0 as long as

We have the following estimates

and

Let T_\mathcal{F}({\mathbf{F}_q}) be the subgroup of {\mathbf{F}^\times_q} defined by

Assuming that the sheaf \mathcal{F} is good, then for any \alpha,\beta,\alpha',\beta',\gamma,\gamma',\delta\in{\mathbf{F}^\times_q}, we have

If \delta=0 the above bound holds unless

in which case

for c_\mathcal{F}(\alpha/\alpha') some complex number of modulus 1. Here the implicit constants depend only on C(\mathcal{F}).