Closed geodesics in short intervals for random hyperbolic surfaces

技术摘要：随机双曲曲面上短区间内的闭测地线

问题陈述
本文研究了大亏格随机双曲曲面上短区间内闭测地线的统计分布。该研究直接类比于素数在短区间内分布的经典问题。具体而言，作者考察了随机变量 $\Psi_M(X; H)$，该变量统计了范数位于区间 $[X, X+H]$（其中 $H = o(X)$）内的闭测地线数量，并按对应原始测地线的长度进行加权。该量是素数论中切比雪夫函数 $\psi(x; H)$ 的几何类比。

核心问题是确定当曲面 $M$ 从配备威尔夫 - 彼得森测度的亏格为 $g$ 的双曲曲面模空间 $\mathcal{M}_g$ 中随机选取，且在 $g \to \infty$ 的极限下，该计数的方差。本研究旨在将这些几何统计量与解析数论中关于素数方差的猜想预测进行比较，特别是 Goldston–Montgomery 猜想。

方法论
分析通过利用模空间几何的概率框架进行：

1. 随机化：将曲面 $M$ 视为模空间 $\mathcal{M}_g$ 中的随机点。期望和方差是相对于威尔夫 - 彼得森概率测度计算的。
2. Mirzakhani 积分公式：核心计算工具是 Mirzakhani 和 Petri 开发的积分公式。这些公式允许通过将简单闭测地线（特别是非分离测地线）求和的期望值转化为涉及双曲正弦函数的长度空间上的积分来进行计算。
3. 方差分解：方差被分解为对角项和非对角项：
   • 非对角项：不同测地线对。本文证明，对于大亏格的随机曲面，来自非简单或分离测地线的贡献是可忽略的（$O(x^{1/g})$）。来自简单非分离测地线对的贡献被证明收敛于期望值的平方，从而在方差计算中有效地相互抵消。
   • 对角项：单个测地线权重的平方和。该项对方差提供了主导贡献。
4. 解析数论比较：为了诠释几何结果，本文分析了 $d > 1$ 次自守 $L$-函数的短区间和的方差。它利用显式公式和成对关联猜想（形状因子），将方差与这些 $L$-函数零点的谱统计联系起来。

主要贡献与结果

1. 主定理（几何方差）：
   主要结果确立了当亏格趋于无穷大时，随机双曲曲面方差的渐近行为。对于 $X \to \infty$ 和 $H = o(X)$：
   $$\lim_{g \to \infty} \text{Var}_{WP}^g(\Psi_M(X; H)) \sim 2 H \log X$$
   该结果与素数的 Goldston–Montgomery 猜想形成对比，后者预测方差为 $H \log(X/H)$。几何结果表现出两个显著特征：

   • 对数因子是 $\log X$ 而非 $\log(X/H)$。
   • 存在一个额外的乘数因子 2。

2. 与 $L$-函数的理论联系：
   本文证明了一个关于 $d > 1$ 次原始自守 $L$-函数的定理。假设此类函数满足黎曼猜想（RH），则控制零点成对关联的归一化形状因子 $K(\alpha)$ 在“极短”区间体制 $\alpha < 1/d$ 下满足 $K(\alpha) = \alpha$。这仅从黎曼猜想出发，在早期时间体制下恢复了高斯酉系综（GUE）形状因子，而无需完整的成对关联猜想。

3. 差异的解释：
   作者为几何结果与素数猜想之间的差异提供了启发式解释：

   • $\log X$ 因子：双曲曲面上拉普拉斯算子的谱具有比任何有限次 $L$-函数的零点高得多的特征值密度。随机双曲曲面在启发式上被视为“无限次”极限。在此极限下，仅形状因子的早期时间体制（其中 $K(\alpha) \sim \alpha$）得以保留，从而导致 $\log X$ 依赖关系而非 $\log(X/H)$。
   • 因子 2：虽然 $L$-函数的零点预期遵循 GUE 统计（其中形状因子在小 $\alpha$ 下表现为 $\alpha$），但通用双曲曲面的拉普拉斯特征值预期遵循高斯正交系综（GOE）统计。GOE 形状因子在小 $\alpha$ 下表现为 $2\alpha$。谱统计中的这个因子 2 直接转化为测地线计数方差中的因子 2。

意义
本文声称建立了随机双曲曲面的谱统计与短区间内素数分布之间的严格联系，这一联系通过 $L$-函数理论和随机矩阵理论进行中介。

• 它证实了对于通用双曲曲面，短区间内测地线计数的方差遵循特定的渐近律（$2H \log X$），这与经典的素数预测不同。
• 它表明这些曲面上拉普拉斯谱的“无限次”性质隔离了成对关联函数的早期时间行为。
• 它确定了因子 2 是从 $L$-函数零点相关的 GUE 统计向通用曲面拉普拉斯谱相关的 GOE 统计过渡的直接结果。

该工作依赖 Mirzakhani 和 Petri 的积分公式来处理模空间的几何，并将 Goldston、Montgomery、Bui、Keating 和 Smith 的方法论扩展到了几何背景。结果表明，随机双曲曲面可作为自守 $L$-函数“无限次”极限的几何模型，其中特定的对称类（GOE 与 GUE）决定了方差的标度。