[论文解读] Towards optimal spectral gaps in large genus

Michael Lipnowski, Alex Wright|arXiv (Cornell University)|Mar 12, 2021

Geometric and Algebraic Topology被引用 9

一句话总结

该论文证明，在大亏格极限下，典型魏尔-彼得松（Weil-Petersson）双曲曲面的首個非零拉普拉斯特征值 $\lambda_1$ 几乎必然（概率趋于1）有正下界：对任意 $\varepsilon > 0$，有 $\lambda_1 > \frac{3}{16} - \varepsilon$。证明结合了米尔扎哈尼（Mirzakhani）的体积积分技巧与塞尔伯格迹公式，通过分析短测地线的分布，并利用改进的体积界与局部威爾（Weyl）法则控制误差项。

ABSTRACT

We show that the Weil-Petersson probability that a random surface has first eigenvalue of the Laplacian less than $3/16-ε$ goes to zero as the genus goes to infinity.

研究动机与目标

• 理解大亏格双曲曲面上首個非零拉普拉斯特征值 $\lambda_1$ 的典型行为。
• 确定 $\lambda_1$ 在高亏格下是否通常接近理论上的上界 $\frac{1}{4}$。
• 通过允许长度尺度 $L$ 随亏格增长，拓展先前关于测地线计数与谱隙的研究。
• 通过平均塞尔伯格迹公式，改进极限重数律与谱隙估计中的误差项。

提出的方法

• 在模空间 $\mathcal{M}_g$ 上对魏尔-彼得松测度平均塞尔伯格迹公式，将谱数据与测地线计数关联。
• 利用米尔扎哈尼的体积积分公式，估算长度不超过 $L$ 的简单非分离测地线数量。
• 建立关于非简单测地线填充的子曲面数量的新界，以控制迹公式中的误差项。
• 应用局部威爾法则，通过引入系统长与测地线计数的依赖关系，限制区间内谱参数的数量。
• 引入改进的体积多项式分析，控制固定面积子曲面及多条测地线的贡献。
• 使用在 $[0, D\log g]$ 上有紧支集的截断函数 $F$，控制迹公式中来自短测地线的贡献。

实验结果

研究问题

• RQ1 在大亏格的随机双曲曲面上，首個非零拉普拉斯特征值 $\lambda_1$ 的典型值是多少？
• RQ2 能否通过迹公式平均与测地线计数，将谱隙改进至超过 $\frac{3}{16}$？
• RQ3 随着亏格增加与长度尺度增长，简单与非简单测地线的比例如何变化？
• RQ4 系统长与短测地线数量在限制谱参数时起什么作用？
• RQ5 在大亏格族中，塞尔伯格迹公式的误差项能否实现一致控制？

主要发现

• 对任意 $\varepsilon > 0$，当 $g \to \infty$ 时，魏尔-彼得松概率 $\lambda_1 < \frac{3}{16} - \varepsilon$ 趋于零。
• 在加厚模空间 $\mathcal{M}_g'$ 上，$F_{\text{all}}$ 的平均值有界于 $I_F + O(g^{-1+\kappa} I_{\widetilde{F}})$，其中 $I_F = \int_0^\infty F(\ell) \ell \frac{\sinh(\ell/2)^2}{(\ell/2)^2} d\ell$。
• $\mu$-概率满足 $\lambda_1 \leq \frac{1}{4} - b^2$ 的上界为 $O\left(g^{1 - 4b(1 - \kappa/2) + o(1)}\right)$，表明当 $b > 0$ 时该概率衰减。
• 总长度 $\leq L$ 且含 $k$ 个分量的多条测地线数量在面积为 $2\pi a$ 的子曲面上有界于 $O(e^L L^{2k} g^{-a})$。
• 长度 $\leq \mu_0$ 的本原闭测地线数量至多为 $3g - 3$（当 $\mu_0$ 足够小时），且异常谱参数的数量至多为 $2g - 3$。
• 局部威爾法则将区间 $[-1+t, 1+t]$ 内实谱参数的数量限制为 $O(g \cdot \overline{\log}(1/\mathrm{sys}(X)))$，常数依赖于 $\mu_0$。