Spectral gap of random hyperbolic surfaces

Nalini Anantharaman,Laura Monk

2024-03-19

Abstract:Let $X$ be a closed, connected, oriented surface of genus $g$, with a hyperbolic metric chosen at random according to the Weil--Petersson measure on the moduli space of Riemannian metrics. Let $\lambda_1=\lambda_1(X)$ bethe first non-zero eigenvalue of the Laplacian on $X$ or, in other words, the spectral

Geometric Topology,Spectral Theory

What problem does this paper attempt to address?

### The problems the paper attempts to solve

The paper aims to explore the spectral gap problem of random hyperbolic surfaces. Specifically, the research object is a closed, connected and oriented surface \(X\) of genus \(g\) with a hyperbolic metric, and its metric is randomly selected according to the Weil - Petersson measure on the moduli space. Let \(\lambda_1=\lambda_1(X)\) be the first non - zero eigenvalue of the Laplace operator on \(X\), also known as the spectral gap.

The main goal of the paper is to prove that for any arbitrarily small \(\alpha>0\), the following probability asymptotically converges to zero:

\[P_{\text{WP}}^g\left(\lambda_1\leq\frac{1}{4}-\alpha^2\right)\xrightarrow[g\to +\infty]{}0.\]

In other words, the authors hope to prove that with high probability, for any arbitrarily small \(\epsilon > 0\), \(\lambda_1\geq\frac{1}{4}-\epsilon\). This shows that most random hyperbolic surfaces of high genus have nearly optimal spectral gaps.

### Main contributions and methods

To achieve this goal, the authors take the following several key steps:

1. **Trace formula method**: Use the Selberg trace formula to connect the spectrum of the Laplace operator with the lengths of periodic geodesics.

2. **Average contribution analysis**: Analyze the average contribution of simple geodesics through Mirzakhani's integral formula and extend it to closed geodesics of any topological type.

3. **Exponential term elimination**: Introduce a new method to eliminate the dominant exponential terms from the trivial eigenvalues and simple geodesics, ensuring that the exponential behaviors on the geometric and spectral sides cancel each other out.

4. **Friedman - Ramanujan property**: Prove that the coefficients of the volume function satisfy the Friedman - Ramanujan property, allowing successive integration by parts, thereby further simplifying the calculation.

5. **Moebius inversion formula**: Use the Moebius inversion formula to handle the complex topological structures in the "winding surfaces" and ensure the validity of the final result.

These steps together form a complete roadmap for proving that the spectral gaps of random hyperbolic surfaces of high genus almost reach the optimal value.