On the Fourier coefficients for general product \(L\)-functions (Q6571344)

Let \(f\) be a normalized primitive cusp form of even integral weight for the full modular group \(\Gamma = SL(2,\mathbb{Z})\). The author investigates upper bounds for the error terms related to the average behaviour of Fourier coefficients \(\lambda_{f\otimes \cdots \otimes_l f}(n)\) attached to \(l\)-fold product of \(f\) (so that \(L(f\otimes \cdots \otimes_l f,s) = \sum_{n\geq 1} \lambda_{f\otimes \cdots \otimes_l f}(n) n^{-s}\)). \textit{K. Venkatasubbareddy} and \textit{A. Sankaranarayanan} [Eur. J. Math. 9, No. 1, Paper No. 17, 24 p. (2023; Zbl 1534.11078)] investigated the error term \(E_l(x)\) in the asymptotic formula \[ \sum_{n\leq x} \lambda_{f\otimes \cdots \otimes_l f}(n) = M_l(x) + E_l(x), \] where \(M_l(x)\) (resp. \(E_l(x)\)) denotes the main (resp. the error) term. The author gives the bound \(E_l(x) \ll x^{\theta_l+\epsilon}\) (for any \(l\geq 3\)) and \(\theta_l\) are given explicitely in the formulation of Theorem 1.1. Variants of his results (Theorems 1.3 - 1.5) concerns the sums \(\sum_{n\leq x} \lambda^2_{f\otimes \cdots \otimes_l f}(n)\) and the situation where we sum over \(n=Q(u,v)\) (\(u,v \in \mathbb{Z}\)), with \(Q(x_1, x_2)\) a fixed primitive integral positive-defined binary quadratic form. \par ``The proofs of Theorems 1.1 and Theorems 1.3-1.5 are mainly based on the associated generating functions, by appealing to the truncated Perron's formula and the applications of the Cauchy residue theorem, along with the individual and averaged subconvexity/convexity bounds available in the literature for the associated automorphic \(L\)-functions.''