Quantum ergodicity of eigenfunctions on \(\text{PSL}_ 2(\mathbb{Z}) \backslash H^ 2\)
type: Item
instance of: scholarly article
title: Quantum ergodicity of eigenfunctions on \(\text{PSL}_ 2(\mathbb{Z}) \backslash H^ 2\)
zbMATH Open document ID: 0852.11024
DOI: 10.1007/BF02699377
published in: Publications Mathématiques
publication date: 1996-12-05T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/104103
review text: The quantum ergodicity in the title concerns distribution results for measures \(|f(z) |^2 d\mu(z)\) on the upper half plane \(H^2\) modulo the full modular group \(\Gamma= \text{PSL}_2 (\mathbb{Z})\), where \(f\) is either a Maass cusp form, or an Eisenstein series with its spectral parameter on the critical line. \(d\mu (z)\) denotes the invariant measure \(y^{-2} dx dy\). Let \(u_1, u_2, \dots\) be a maximal orthogonal system of Maass cusp forms, with corresponding eigenvalues \(\lambda_1, \lambda_2, \dots\;\). It is shown that for smooth integrable functions \(F\) on \(X= \Gamma \setminus H^2\): \[ \sum_{\lambda_j\leq x} \;\Biggl|\int_X F|u_j |^2 d\mu- {\textstyle {3\over \pi}} \int_X F d\mu \Biggr|^2 \ll_\varepsilon C_F x^{1/2+ \varepsilon} \qquad (x\to \infty) \] for each \(\varepsilon> 0\). The constant \(C_F\) depends on supremum norms of partial derivatives of \(F\) up to order 8. Let \(E(z, s)\) be the Eisenstein series of weight zero, with eigenvalue \(s- s^2\). As \(X\) has infinite mass for the measure \(|E(z, 1/2+ it)|^2 d\mu (z)\), the quantum ergodicity is formulated in terms of compact Jordan measurable subsets of \(X\). It is shown that for each such subset \(A\): \[ \int_A |E(z, 1/2+ it)|^2 d\mu (z)\sim {\textstyle {48 \over \pi}} \mu(A) \log t \qquad (t\to \infty). \] Other results in the paper are an improvement in the error term of the prime geodesic theorem for \(X\), and the estimate \[ \sum_{\lambda_j\leq x} \sup_B \Biggl|\int_B |u_j (z) |^2 d\mu (z)- {\textstyle {3\over \pi}} \mu (B) \Biggr|^2 \ll x^{20/ 21+ \varepsilon} \qquad (x\to \infty). \] \(B \subset X\) runs over the injective geodesic circles in \(X\). The proofs use many techniques and results of the theory of real analytic modular forms: \(L\)-functions associated to modular forms, approximation by Poincaré series, Hecke operators, the Kuznetsov sum formula, and bounds on Fourier coefficients of Maass cusp forms.
Mathematics Subject Classification ID: 11F37
Mathematics Subject Classification ID: 11F72
Mathematics Subject Classification ID: 11F66
Mathematics Subject Classification ID: 11F30
zbMATH DE Number: 847749
zbMATH Keywords: quantum ergodicity of eigenfunctions
zbMATH Keywords: Maass cusp form
zbMATH Keywords: Eisenstein series
zbMATH Keywords: prime geodesic theorem
zbMATH Keywords: modular forms
zbMATH Keywords: \(L\)-functions
zbMATH Keywords: Fourier coefficients
author: Wenzhi Luo
author: Peter Sarnak
reviewed by: Roelof Bruggeman
MaRDI profile type: Publication
cites work: Ergodicity and eigenfunctions of the Laplacian
cites work: Kloosterman sums and Fourier coefficients of cusp forms
cites work: Q3726207
cites work: Q5824493
cites work: Q3137240
cites work: On the Topography of Maass Waveforms for PSL(2, Z)
cites work: Coefficients of Maass forms and the Siegel zero. Appendix: An effective zero-free region, by Dorian Goldfeld, Jeffrey Hoffstein and Daniel Lieman
cites work: Prime geodesic theorem.
cites work: The spectral growth of automorphic L-functions.
cites work: \(L^ \infty\) norms of eigenfunctions of arithmetic surfaces
cites work: Q3222924
cites work: Q4767350
cites work: Q3863948
cites work: The behaviour of eigenstates of arithmetic hyperbolic manifolds
cites work: Q3999365
cites work: Q3993105
cites work: Q4088027
cites work: On the Holomorphy of Certain Dirichlet Series
cites work: Q5803461
cites work: On Some Exponential Sums
cites work: Uniform distribution of eigenfunctions on compact hyperbolic surfaces
cites work: Selberg trace formulae and equidistribution theorems for closed geodesics and Laplace eigenfunctions: finite area surfaces
OpenAlex ID: W2068502271
description: scientific article; zbMATH DE number 847749