Mixed fourth moments of automorphic forms and the shifted moments of $L$-functions
Chengliang Guo
TL;DR
This work analyzes the mixed fourth moments of automorphic forms, specifically the interaction between Hecke--Maass cusp forms and Eisenstein series of type $(2,2)$, under GRH and GRC. The authors derive an explicit asymptotic for the mixed moment $\langle \phi^2, |E_T|^2\rangle$, separating main, continuous, and discrete spectral contributions via regularized Plancherel and Watson-type formulas, while also introducing a truncated Eisenstein framework to reveal an independent random-wave behavior on compact subsets. The centerpiece is a shifted-moments analysis for $L$-functions, implemented through Soundararajan’s method, to bound shifted central values and their density, which in turn yields the needed control on the spectral sums. The results lead to a precise nonequidistribution statement on the full fundamental domain, a smooth-averaged equidistribution result for truncated Eisenstein series, and conjectural joint-value-distribution statements for automorphic forms, with concrete implications for Rankin--Selberg $L$-functions and broader quantum chaos contexts.
Abstract
In this article, we study the mixed fourth moments of Hecke--Maass cusp forms and Eisenstein series with type $(2, 2)$. Under the assumptions of the Generalized Riemann Hypothesis (GRH) and the Generalized Ramanujan Conjecture (GRC), we establish asymptotic formulas for these moments. Our results give an interesting non-equidistribution phenomenon over the full fundamental domain. In fact, this independent equidistribution should be true in a compact set. We further investigate this behaviour by examining a truncated version involving truncated Eisenstein series. Additionally, we propose a conjecture on the joint value distribution of Eisenstein series. The proofs are based on the bounds of the shifted mixed moments of $L$-functions.
