[论文解读] Near optimal spectral gaps for hyperbolic surfaces

Will Hide, Michael Magee|arXiv (Cornell University)|Jul 12, 2021

Geometric Analysis and Curvature Flows被引用 5

一句话总结

该论文证明，对于有限面积的非紧双曲曲面，其随机的 n 次黎曼覆盖在渐近几乎必然的意义下，保持所有低于 $\frac{1}{4} - \epsilon$ 的拉普拉斯特征值及其重数，从而证明了近乎最优的谱间隙。通过使用 Buser–Burger–Dodziuk 的把手引理进行紧化，该研究解决了长期存在的猜想：随着亏格增大，闭合双曲曲面的首個非零特征值可趋近于 $\frac{1}{4}$。该结果证实了此类序列的存在性，解决了双曲曲面谱几何中的一个关键问题。

ABSTRACT

We prove that if $X$ is a finite area non-compact hyperbolic surface, then for any $ε>0$, with probability tending to one as $n o\infty$, a uniformly random degree $n$ Riemannian cover of $X$ has no eigenvalues of the Laplacian in $[0,\frac{1}{4}-ε)$ other than those of $X$, and with the same multiplicities. As a result, using a compactification procedure due to Buser, Burger, and Dodziuk, we settle in the affirmative the question of whether there exist a sequence of closed hyperbolic surfaces with genera tending to infinity and first non-zero eigenvalue of the Laplacian tending to $\frac{1}{4}$.

研究动机与目标

• 建立亏格趋于无穷时，首個非零拉普拉斯特征值趋近于 $\frac{1}{4}$ 的闭合双曲曲面序列的存在性，这是谱几何中长期悬而未决的问题。
• 将随机图的谱间隙结果（Friedman 定理）推广至通过随机黎曼覆盖的双曲曲面设定。
• 研究当亏格增加时，闭合双曲曲面序列的首個非零特征值 $\lambda_1$ 的渐近行为。
• 证明对于此类序列，$\frac{1}{4}$ 的谱间隙是渐近最优的，证实了 Brooks 等人的猜想。

提出的方法

• 在固定的有限面积非紧双曲曲面 $X$ 上使用随机覆盖模型，其中 n 次覆盖以均匀分布随机选取。
• 应用双曲拉普拉斯算子的谱理论，重点关注当 $n \to \infty$ 时，$[0, \frac{1}{4} - \epsilon)$ 范围内不出现新特征值的极限行为。
• 对双曲曲面上拉普拉斯算子的预解式使用参数构造法——包括内部参数构造和尖点参数构造。
• 利用自由群上的随机算子理论，控制谱投影中扰动项的算子范数，证明其以 $\frac{3}{5}$ 为上界几乎必然成立。
• 应用 Buser–Burger–Dodziuk 把手引理，将具有偶数个尖点的非紧曲面紧化为闭合双曲曲面，同时保持 $\lambda_1$ 的下界。
• 结合随机算子的概率界与预解式上的确定性估计，证明对于 $s \in [s_0, 1]$，有 $\Delta_{X_\phi} - s(1-s)$ 的逆有界，从而说明在 $\frac{1}{4} - \epsilon$ 以下无新特征值。

实验结果

研究问题

• RQ1 是否存在一个闭合双曲曲面序列，其亏格趋于无穷，且首個非零拉普拉斯特征值趋近于 $\frac{1}{4}$？
• RQ2 随机 n 次覆盖的有限面积非紧双曲曲面是否渐近几乎必然避免在 $\frac{1}{4} - \epsilon$ 以下引入新的拉普拉斯特征值？
• RQ3 随着亏格增加，$\frac{1}{4}$ 的谱间隙对闭合双曲曲面序列是否渐近最优？
• RQ4 非紧双曲曲面的随机覆盖的谱间隙能否在 $\frac{1}{4}$ 附近被一致控制，从而保持基底谱？

主要发现

• 对于任意 $\epsilon > 0$，在有限面积非紧双曲曲面 $X$ 上，其均匀随机选取的 n 次黎曼覆盖在渐近几乎必然的意义下，不会在 $[0, \frac{1}{4} - \epsilon)$ 范围内引入 $X$ 之外的新特征值，且重数保持不变。
• 存在连通的有限面积非紧双曲曲面 $X_i$，满足 $\chi(X_i) = -i$，且满足 $\inf(\mathrm{spec}(\Delta_{X_i}) \cap (0,\infty)) \to \frac{1}{4}$ 当 $i \to \infty$，从而证实了关于谱间隙饱和的猜想。
• 利用把手引理，作者构造出一列闭合双曲曲面 $\tilde{X}_{2k}$，其亏格 $g(\tilde{X}_{2k}) = 2k$，且满足 $\lambda_1(\tilde{X}_{2k}) \to \frac{1}{4}$ 当 $k \to \infty$，从而解决了该开放问题。
• $\frac{1}{4}$ 的谱间隙对亏格趋于无穷的闭合双曲曲面序列是渐近最优的，与 Huber 的上界一致。
• 该方法证明了谱投影中扰动算子的算子范数以 $\frac{3}{5}$ 为上界几乎必然成立，从而确保了在相关范围内 $\Delta_{X_\phi} - s(1-s)$ 存在有界逆。
• 结果证实，非紧双曲曲面的随机覆盖不会引入虚假的低能级特征值，将 Friedman 的谱间隙定理推广至双曲几何设定。