Explicit spectral gap for Hecke congruence covers of arithmetic Schottky surfaces

这篇论文《算术 Schottky 曲面 Hecke 同余覆盖的显式谱间隙》（Explicit Spectral Gap for Hecke Congruence Covers of Arithmetic Schottky Surfaces）由 Louis Soares 撰写，发表于 2023 年。该研究主要关注双曲几何与数论的交叉领域，特别是针对无限面积双曲曲面的谱间隙问题。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 研究对象：考虑 $SL_2(\mathbb{Z})$ 的一个 Schottky 子群 $\Gamma$。Schottky 群是“薄群”（thin groups）的一种，其生成的商空间 $X = \Gamma \backslash \mathbb{H}^2$ 是一个无限面积的双曲曲面。
• 谱间隙问题：
  • 对于有限面积曲面（如模曲面），Selberg 猜想 $\lambda_1 \ge 1/4$（即谱间隙为 $1/4$），且已知 $\lambda_1 \ge 3/16$。
  • 对于无限面积曲面，拉普拉斯算子 $\Delta_X$ 的 $L^2$ 谱是稀疏的。如果极限集的豪斯多夫维数 $\delta > 1/2$，则存在有限个特征值，最小的特征值为 $\lambda_0 = \delta(1-\delta)$。
  • 核心问题：研究 $X$ 的同余覆盖（congruence covers），特别是 Hecke 同余子群 $\Gamma_0(p)$ 对应的覆盖 $X_0(p)$ 上的新特征值（new eigenvalues）。即，寻找一个显式的下界，使得 $X_0(p)$ 上的新特征值 $\lambda$ 满足 $\lambda \ge \text{gap}$，或者等价地，对应的 $s$ 满足 $s \le \delta - \text{gap}$。
• 现有局限：
  • Gamburd (2006) 证明了当 $\delta > 5/6$ 时存在谱间隙，但间隙较小（$5/36$）。
  • Bourgain-Gamburd-Sarnak (2014) 证明了对于 $\delta > 1/2$ 存在非零间隙，但间隙大小不是显式的（依赖于常数 $c(\Gamma)$）。
  • Calderón-Magee (2022) 对算术 Schottky 群改进了结果，但间隙仍受限于 $\delta/6 + 2/3$。

2. 主要结果 (Main Results)

定理 1.4 (主定理)：
设 $\Gamma \subset SL_2(\mathbb{Z})$ 是一个 Schottky 群，且其极限集的豪斯多夫维数 $\delta > 3/4$。假设广义黎曼猜想 (GRH) 对二次 $L$-函数成立。
则对于任意固定的 $\eta > 0$，存在一个密度为 1 的素数集合 $P$，使得对于所有 $p \in P$，覆盖 $X_0(p)$ 的新特征值满足：
$$\Omega(X_0(p)) \cap \left[ \frac{5}{6}\delta + \eta, \delta \right] \stackrel{m}{=} \Omega(X) \cap \left[ \frac{5}{6}\delta + \eta, \delta \right]$$
这意味着，在区间 $[\frac{5}{6}\delta + \eta, \delta]$ 内，$X_0(p)$ 没有“新”的特征值。换句话说，$X_0(p)$ 的新特征值 $\lambda_1(p)$ 满足：
$$\lambda_1(p) \ge \left(\frac{5}{6}\delta + \eta\right)\left(1 - (\frac{5}{6}\delta + \eta)\right)$$
显著改进：

• 该结果将显式谱间隙从 Calderón-Magee 的 $\delta/6 + 2/3$ 提升到了 $5\delta/6$。
• 当 $\delta$ 接近 1 时，$5\delta/6$ 远大于 $\delta/6 + 2/3$（例如 $\delta \to 1$ 时，前者 $\to 5/6$，后者 $\to 5/6$ 但系数不同，实际上 $5/6\delta$ 在 $\delta > 3/4$ 时提供了更紧的界限，特别是对于 $\delta$ 较大的情况，$5/6\delta$ 更接近 $\delta$，意味着排除了更多靠近 $\delta$ 的共振）。
• 该结果对“几乎所有”素数 $p$ 成立（例外素数的数量受控于 $O_\epsilon(x^{1 - \frac{3}{\delta}(\sigma - \frac{5}{6}\delta) + \epsilon})$）。

3. 方法论与关键技术 (Methodology)

论文采用了一种结合谱几何、传递算子理论和解析数论的方法。

A. 谱几何与传递算子 (Spectral Geometry & Transfer Operators)

1. Venkov-Zograf 公式：利用诱导表示将覆盖空间 $X_0(p)$ 的 Selberg Zeta 函数分解为 $Z_{\Gamma_0(p)}(s) = Z_\Gamma(s) Z_\Gamma(s, \lambda_p^0)$。新特征值对应于扭曲 Selberg Zeta 函数 $Z_\Gamma(s, \lambda_p^0)$ 的零点。
2. 精细传递算子 (Refined Transfer Operators)：
   • 引入 Dyatlov-Zworski 提出的精细传递算子 $L_{\tau, s, \rho}$，其中 $\tau$ 是分辨率参数。
   • 利用 Fredholm 行列式恒等式：$Z_\Gamma(s, \lambda_p^0) = \det(1 - L_{\tau, s, \lambda_p^0})$（在适当条件下）。
   • 通过 Jensen 公式，将零点计数 $N_p(\sigma)$ 转化为传递算子的 Hilbert-Schmidt 范数 $\|L_{\tau, s, \lambda_p^0}\|_{HS}$ 的估计。

B. 数论估计 (Number-Theoretic Estimates)

这是论文的核心创新点。为了估计 $\sum_p \|L_{\tau, s, \lambda_p^0}\|_{HS}^2$，作者需要处理传递算子核中的迹项 $\text{tr}(\lambda_p^0(\gamma))$。

1. 迹公式 (Trace Formula)：
   • 对于 $SL_2(\mathbb{Z})$ 的子群，当 $p$ 足够大时，诱导表示 $\lambda_p^0$ 的迹与 Kronecker 符号有关：
     $$\text{tr}(\lambda_p^0(\gamma)) = \left( \frac{\text{tr}(\gamma)^2 - 4}{p} \right)$$
     （当 $\gamma \not\equiv \pm I \pmod p$ 时）。
2. 素数上的特征和：
   • 问题转化为估计形如 $\sum_{p \sim x} \log p \left( \frac{d}{p} \right)$ 的和，其中 $d = \text{tr}(\gamma)^2 - 4$。
   • 关键假设：利用广义黎曼猜想 (GRH) 对二次 $L$-函数的假设，得到该和式的强界限 $O(x^{1/2+\epsilon})$。
   • 如果没有 GRH，目前的无条件界限对导数（conductor）的依赖太强，无法在此处应用，因为 $d$ 可能随 $x$ 增长（$d \approx x^A$）。

C. 综合估计

• 将 Hilbert-Schmidt 范数的平方和分解为对角项（贡献 $O(x^2)$）和非对角项（涉及特征和）。
• 利用 GRH 下的特征和界限，结合 Schottky 群的几何扭曲估计（distortion estimates），导出 $\sum_p \|L\|_{HS}^2$ 的上界。
• 通过优化分辨率参数 $\tau$（取 $\tau \approx x^{-3/2\delta}$），最终得到关于素数分布的显式界限。

4. 关键贡献 (Key Contributions)

1. 显式谱间隙的改进：在 $\delta > 3/4$ 的条件下，将 Hecke 覆盖的显式谱间隙从之前的 $\delta/6 + 2/3$ 显著提升至 $5\delta/6$。这是目前针对无限面积算术 Schottky 群 Hecke 覆盖的最强显式结果。
2. GRH 的应用：展示了在谱几何问题中，广义黎曼猜想对于处理大导数（large conductor）的二次特征和是至关重要的。作者指出，若无 GRH，目前的无条件方法无法给出有意义的显式间隙。
3. 技术整合：成功地将 Dyatlov-Zworski 的精细传递算子技术与 Sarnak-Xue 的数论方法（特别是关于诱导表示迹的分析）相结合，解决了无限面积情形下的显式估计难题。
4. 构造性示例：在引言中构造了一族 Schottky 群 $\Gamma_m$，其维数 $\delta_m \to 1$，证明了满足 $\delta > 3/4$ 条件的群确实存在。

5. 意义与影响 (Significance)

• 理论价值：该工作推进了对“薄群”（thin groups）谱性质的理解。虽然 Selberg 的 $3/16$ 猜想主要针对有限面积，但无限面积情形下的显式间隙对于理解双曲流形的动力学性质至关重要。
• 应用前景：显式谱间隙在多个领域有直接应用，包括：
  • 遍历理论：混合速率（mixing rates）和测地流的动力学性质。
  • 数论：与素数在算术序列中的分布、丢番图逼近问题相关。
  • 展开图 (Expander Graphs)：谱间隙与图的展开性质密切相关，该结果可能为构造具有更好展开性质的算术图提供理论支持。
• 局限性：结果依赖于广义黎曼猜想 (GRH)。作者明确指出，目前无条件的方法无法达到同样的显式界限，这突显了 GRH 在解析数论与几何交叉问题中的核心地位。

总结：Louis Soares 的这篇论文通过巧妙结合精细传递算子技术和基于 GRH 的解析数论估计，在算术 Schottky 曲面的 Hecke 覆盖上取得了突破性的显式谱间隙结果，将已知的显式界限推向了新的理论高度。