BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Nigel Watt appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
An improved estimate is obtained for the mean square of the modulus of the zeta function on the critical line. It is based on the decoupling techniques in harmonic analysis developed in [B-D]
We prove, in respect of an arbitrary Hecke congruence subgroup Γ=Γ_0(q_0) of the group SL(2,Z[i]), some new upper bounds (or `spectral large sieve inequalities') for sums involving Fourier coefficients of Γ-automorphic cusp forms on SL(2,C). The Fourier coefficients in question may arise from the Fourier expansion at any given cusp c of Γ: our results are not limited to the case in which c is the cusp at infinity. For this reason, our proof is reliant upon an extension, to arbitrary cusps, of the spectral-Kloosterman sum formula for Γ\SL(2,C) obtained by Hristina Lokvenec-Guleska in her doctoral thesis (generalising the sum formulae of Roelof Bruggeman and Yoichi Motohashi for PSL(2,Z[i])\PSL(2,C) in several respects, though not as regards the choice of cusps). A proof of the required extension of the sum formula is given in an appendix.
We use recently obtained bounds for sums of Kloosterman sums to bound the sum $\sum_{-D\leq d\leq D} \int_{-D}^D |ζ(1/2+it,λ^d)|^4| \sum_{0<|μ|^2\leq M} A(μ)λ^d((μ)) |μ|^{-2it}|^2 {\rm d}t$, where $λ^d$ is the groessencharacter satisfying $λ^d((α)) = λ^d(α{\Bbb Z}[i]) = (α/|α|)^{4d}$, for $0\neqα\in{\Bbb Z}[i]$, and $ζ(s,λ^d)$ is the Hecke zeta function that satisfies $ζ(s,λ^d) =(1/4)\sum_{0\neqα\in{\Bbb Z}[i]} λ^d((α)) |α|^{-2s}$ for $\Re(s)>1$, while the numbers $D,M\in(0,\infty)$ and function $A:{\Bbb Z}[i]-\{0\}\rightarrow{\Bbb C}$ are arbitrary (though it is only in respect of cases in which $M$ is relatively small, compared to $D$, that our results are new and interesting). One of our new bounds may have an application in enabling a certain improvement of a result of P.A. Lewis on the distribution of Gaussian primes.
We prove new bounds for weighted mean values of sums involving Fourier coefficients of cusp forms that are automorphic with respect to a Hecke congruence subgroup Γ=Γ_0(q) of the group SL(2,Z[i]), and correspond to exceptional eigenvalues of the Laplace operator on the space L^2(Γ\SL(2,C)/SU(2)). These results are, for certain applications, an effective substitute for the generalised Selberg eigenvalue conjecture. We give a proof of one such application, which is an upper bound for a sum of generalised Kloosterman sums (of significance in the study of certain mean values of Hecke zeta-functions with groessencharakters). Our proofs make extensive use of Lokvenec-Guleska's generalisation of the Bruggeman-Motohashi summation formulae for PSL(2,Z[i])\PSL(2,C). We also employ a bound of Kim and Shahidi for the first eigenvalues of the relevant Laplace operators, and an `unweighted' spectral large sieve inequality (our proof of which is to appear separately).