On the central limit theorem for linear eigenvalue statistics on random surfaces of large genus (Q6183787)

Let \(X\) be a compact hyperbolic surface of genus \(g\geq2\) with eigenvalues \(1/4+r_j^2\). Given an even function \(f\) with compactly supported Fourier transform \(\widehat{f}\), the authors consider statistics of the form \[ N_{L,\tau}(X)=\sum_{j\geq0}f(L[r_j-\tau])+f(L[r_j+\tau])\,, \] for \(L,\tau>0\). The main result of the present paper is the following central limit theorem: \[ \lim_{L\to\infty}\lim_{g\to\infty}\mathbb{E}^{\text{WP}}_g\left[h\left(\frac{N_{L,\tau}-\mathbb{E}_g^{\text{WP}}[N_{L,\tau}]}{\sqrt{\Sigma^2_{\text{GOE}}(f)}}\right)\right]=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^\infty h(t)e^{-t^2/2}\text{d}t \] for all bounded continuous functions \(h\), where \(\mathbb{E}_g^{\text{WP}}\) is the expectation with respect to the Weil-Petersson measure on the moduli space of hyperbolic surfaces of genus \(g\), and \(\Sigma^2_{\text{GOE}}(f)=2\int_{-\infty}^\infty|x|\widehat{f}(x)^2\text{d}x\). The proof uses the Selberg Trace Formula, and a subsequent representation of the statistic of interest as a functional of a Poisson point process for which the Gaussian limit is shown.