[论文解读] Friedman-Ramanujan functions in random hyperbolic geometry and application to spectral gaps I

Nalini Anantharaman, Laura Monk|ArXiv.org|Apr 5, 2023

Mathematical Dynamics and Fractals被引用 6

一句话总结

本文引入弗里德曼–拉马努金函数以分析随机双曲曲面上闭测地线的体积多项式，将米尔扎哈尼的工作从简单测地线推广至任意拓扑类型的闭测地线。通过在反 genus 的渐近展开以及这些函数的抵消性质，作者证明了在大 genus 下，典型随机双曲曲面的谱间隙至少为 $\frac{2}{9} - \epsilon$，概率很高，改进了先前的界限，并支持了典型曲面可实现近似最优谱间隙的猜想。

ABSTRACT

In this series of articles, we analyse the level-sets of length functions on the moduli space of compact hyperbolic surfaces of fixed genus. This work ultimately culminates in a proof that typical hyperbolic surfaces have an optimal spectral gap. In this first article, we introduce new volume functions $V_g^T(l)$, counting the expected number of closed geodesics of type $T$ and length $l$ on a random hyperbolic surface of genus $g$. So far, this function has only been considered in the case where the type is simple, in which case it can be expressed as a combination of Weil-Petersson volumes polynomials, as proven by Mirzakhani. We provide an integral expression for $V_g^T(l)$ for any prescribed type $T$, which we use to prove that $V_g^T(l)$ admits a full asymptotic expansion in powers of $1/g$. We then claim that the coefficients in this expansion, as a function of the length variable $l$, belong to a newly-introduced class of functions called "Friedman-Ramanujan functions". We relate this claim to the study of the spectral gap of the Laplace-Beltrami operator, and prove it when $T$ fills a surface of Euler characteristic $0$ or $-1$, providing a method to explicitly compute all coefficients in the second-order expansion. We conclude by displaying how the presence of tangles (which is an event of vanishing probability) prevents the sum over all types to satisfy the Friedman-Ramanujan property at the second order.

研究动机与目标

• 将米尔扎哈尼关于双曲曲面上简单测地线的体积多项式理论，推广至任意拓扑类型的闭测地线。
• 建立在 genus 的负幂次上的体积函数渐近展开框架，识别系数为一类新函数——弗里德曼–拉马努金函数。
• 将这些函数应用于谱间隙问题，证明典型随机双曲曲面的谱间隙在 $g \to \infty$ 时趋近于 $\frac{2}{9}$。
• 建立这些函数的抵消性质，以在谱论中改进迹方法估计。

提出的方法

• 定义与闭测地线拓扑类型相关的‘体积函数’，推广米尔扎哈尼的体积多项式。
• 证明这些体积函数在 $g^{-1}$ 的幂次上存在渐近展开，其系数属于一类新函数——弗里德曼–拉马努金函数。
• 确立展开式中二阶项并非弗里德曼–拉马努金函数，表明其结构在前两项之后发生偏离。
• 利用塞尔伯格迹公式与迹方法，将谱间隙与测地线长度之和关联，通过弗里德曼–拉马努金函数的性质实现抵消。
• 利用欧拉示性数为 0 和 -1 的曲面的局部拓扑分类，控制迹展开中的贡献。
• 利用参数 $m = \lceil c_2 \rceil + 1$，在 $\mathcal{D}^m h_L(\ell)$ 中利用抵消，将误差项减少至 $\mathcal{O}_{\epsilon,\kappa}(g^{1+5\epsilon})$。

Figure 2 . Decomposition of a figure-eight on a graph.

实验结果

研究问题

• RQ1 双曲曲面上任意闭测地线类型的体积函数是否可在 genus 的负幂次上进行渐近展开？
• RQ2 这些展开式中的系数是否属于一类新函数——受弗里德曼在随机图研究启发的弗里德曼–拉马努金函数？
• RQ3 能否利用这些函数的抵消性质，改进韦伊–彼得森模型中的谱间隙估计？
• RQ4 在 $g \to \infty$ 时，随机双曲曲面的谱间隙是否以高概率有下界 $\frac{2}{9} - \epsilon$？

主要发现

• 填充欧拉示性数为 0 和 -1 的曲面的闭测地线的体积函数，可在 $g^{-1}$ 的幂次上进行渐近展开，其系数属于弗里德曼–拉马努金函数类。
• 展开式中二阶项并非弗里德曼–拉马努金函数，表明其结构在前两项之后发生偏离。
• 对任意 $\epsilon > 0$，当 $g \to \infty$ 时，随机双曲曲面的谱间隙 $\lambda_1 \geq \frac{2}{9} - \epsilon$ 的概率趋于 1。
• 该证明依赖于迹方法中的抵消，由 $h_L$ 的 $m$ 阶导数实现，将误差项减少至 $\mathcal{O}_{\epsilon,\kappa}(g^{1+5\epsilon})$。
• 长度小于 $6\log g$ 的测地线的局部拓扑类型数量被控制在 $\mathcal{O}_{\kappa,\epsilon}(g^{\epsilon})$ 以内，从而实现对类型之和的可控求和。

Figure 5 . Examples of local topological types.