Double square moments and bounds for resonance sums of cusp forms (Q2681242)

Define \[ S_X(f,g ; \alpha, \beta) = \sum_{n} \lambda_f(n) \lambda_g(n) e(\alpha n^\beta)\phi( \frac{n}{X}) \] for \(0 < \beta \leq 1\) for almost all holomorphic cusp forms \(f\) and \(g\) for \(\mathrm{SL}(2, \mathbb{Z})\) of even integer weights \(k_1\) and \(k_2\) respectively. In the paper under review, it is aimed to break the resonance barrier for \( S_X(f,g ; \alpha, \beta)\). More precisely, double square moments of \( S_X(f,g ; \alpha, \beta)\) over both \(f\) and \(g\) are nontrivially bounded when their weights \(k_1\) and \(k_2\) tend to infinity together. If \(f\) and \(g\) move then these double moments are indeed square moments associated with automorphic forms for \(\mathrm{GL}(4)\). By taking out a small exceptional set of \(f\) and \(g\), bounds for individual \( S_X(f,g ; \alpha, \beta)\) are then be proved. These individual bounds break the resonance barrier of \(X^{5/8}\) for \(1/6 < \beta < 1\) and achieve a square-root cancellation for \(1/3< \beta <1\) for almost all \(f\) and \(g\) as an evidence for Hypothesis S for cusp forms over integers. The proofs are based on Petersson's formula, Poisson's summation formula, and stationary phase integrals.