[论文解读] Large covers and sharp resonances of hyperbolic surfaces

Dmitry Jakobson, Frédéric Naud+1 more|arXiv (Cornell University)|Oct 16, 2017

Geometric and Algebraic Topology参考文献 42被引用 6

一句话总结

该论文证明了在大次数阿贝尔覆盖和双曲曲面的共形紧致双曲曲面的同余子群中，临界线 Re(s) = δ 附近存在尖锐的、非平凡的共振。通过热力学形式化、表示理论和凯莱图的谱分析，论文证明了这些共振在大覆盖极限下出现，首次提供了对它们存在性的有效结果，并对共振的位置和频率提供了定量控制。

ABSTRACT

Let $Γ$ be a convex co-compact discrete group of isometries of the hyperbolic plane $\mathbb{H}^2$, and $X=Γ\backslash \mathbb{H}^2$ the associated surface. In this paper we investigate the behaviour of resonances of the Laplacian for large degree covers of $X$ given by a finite index normal subgroup of $Γ$. Using various techniques of thermodynamical formalism and representation theory, we prove two new existence results of "sharp non-trivial resonances" close to $\Re(s)=δ_Γ$, both in the large degree limit, for abelian covers and also infinite index congruence subgroups of $SL2(\mathbb{Z})$.

研究动机与目标

• 在凸共形紧致双曲曲面的大次数覆盖中，建立临界线 Re(s) = δ 附近非平凡共振的存在性。
• 通过 L 函数和诱导表示，研究双曲曲面上有限覆盖的拉普拉斯算子的谱行为。
• 证明 SL₂(ℤ) 的阿贝尔覆盖和同余子群在大覆盖极限下表现出尖锐共振。
• 通过凯莱图上的谱隙估计，对这些共振的位置和频率提供定量控制。
• 利用费尔连续性（Fell’s continuity）和转移算子，将先前的非有效存在性结果扩展为有效且定量的陈述。

提出的方法

• 使用向量值转移算子分析与表示相关的 L 函数的解析延拓。
• 利用行列式恒等式和奇异值估计控制转移算子的谱性质。
• 应用热力学形式化，将 Selberg zeta 函数和 L 函数与测地流的动力学联系起来。
• 利用诱导表示和单位表示理论，在正规表示中构造球对称表示。
• 应用费尔连续性诱导，将表示的极限与补系列表示 π_s₀ 联系起来。
• 分析有限阿贝尔群的凯莱图，推导出统一的谱隙，证明其扩张性质与覆盖次数无关。

实验结果

研究问题

• RQ1 凸共形紧致双曲曲面的大次数阿贝尔覆盖是否在 Re(s) = δ 附近表现出尖锐共振？
• RQ2 在大覆盖极限下，SL₂(ℤ) 的同余子群能否有效证明非平凡共振的存在性？
• RQ3 表示理论和诱导表示在有限覆盖的共振构造中起什么作用？
• RQ4 有限阿贝尔群凯莱图的谱隙如何影响共振的分布？
• RQ5 诱导表示的极限是否可用来通过费尔连续性证明共振的存在性？

主要发现

• 对于阿贝尔覆盖，论文证明了在带状区域 {Re(s) > δ/2 − ε} 中存在无穷多个共振，且通过谱隙估计实现了定量控制。
• 作者建立了有限阿贝尔群凯莱图的切赫常数的统一下界 c₀²/4，表明这些图构成一个膨胀图族。
• 利用费尔连续性诱导，论文表明补系列表示 π_s₀ 弱包含于诱导表示的极限中，从而与表示序列收敛于平凡表示的假设矛盾。
• 尖锐共振的存在性与非平凡特征 θ 的 L 函数 L_Γ(s, θ) 的非零性相关，该非零性通过临界带内的非零结果得到证明。
• 对于同余子群，论文证明了非平凡有限维单位表示 ϱ 的 L_Γ(s, ϱ) 存在低阶零点，表明在 Re(s) = δ 附近存在共振。
• 谱隙估计导致对任意满足 |A| ≤ ½|G_j| 的子集 A ⊂ G_j 的边界大小存在统一下界，确保了扩张性，从而支持了共振的构造。