Closed geodesics in homology classes on random hyperbolic surfaces of large genus

技术摘要：大亏格随机双曲曲面上同调类中的闭测地线

问题陈述
本文研究了大亏格 $g$ 的随机双曲曲面上，特定同调类中闭测地线的统计分布。具体而言，作者研究了一个加权计数函数 $\Psi_M(X; q, \alpha)$ 的波动情况，该函数对满足其同调类 $[\gamma] \equiv \alpha \pmod q$ 且范数 $N(\gamma) \leq X$ 的定向闭测地线 $\gamma$ 进行冯·芒戈尔特（von Mangoldt）权重求和。

研究的核心对象是该分布的方差，记作 $G_M(X, q)$，它是对所有同调类 $\alpha \pmod q$ 以及在配备了 Weil–Petersson 概率测度的模空间 $\mathcal{M}_g$ 上进行的平均。主要目标是确定当 $g \to \infty$ 时，该方差的渐近行为。

方法论
分析依赖于双曲曲面上的素测地线定理与算术级数中素数定理之间的类比。研究方法通过以下步骤进行：

1. 方差展开： 将方差 $G_M(X, q)$ 展开为满足条件 $[\gamma_1] \equiv [\gamma_2] \pmod q$ 的测地线对 $(\gamma_1, \gamma_2)$ 的双重求和。这被表示为一个联合计数项 $J_M(X, q)$ 与总计数的平方之差。
2. 测地线对分类： 根据测地线的几何和拓扑性质，将对测地线的求和分解为四个不同的类别：
   • 对角项（Diagonal pairs）： $\gamma_1 = \gamma_2$（原始、简单、非分离）。
   • 反对角项（Anti-diagonal pairs）： $\gamma_2 = \gamma_1^{-1}$（原始、简单、非分离）。
   • SNS 对： 互不相交、互不相连、简单且非分离的两个不同测地线组成的对，其并集留下的补集是连通的。
   • 所有其他对： 包括相交的测地线、非简单测地线或补集不连通的测地线。
3. 模空间上的积分： 为了计算这些求和在 $g \to \infty$ 时在模空间 $\mathcal{M}_g$ 上的期望值，作者采用了 Mirzakhani 的积分公式。这些公式允许通过将求和转化为涉及长度谱以及函数 $\left(\frac{\sinh(\ell/2)}{\ell/2}\right)^2$ 的积分，来计算简单闭测地线的求和期望值。
4. 渐近分析： 对每个类别的贡献进行估计。结果表明，对角项和反对角项占主导地位，而 SNS 对及“所有其他对”的贡献在大的亏格极限下被证明是微不足道的（均为 $O(X)$ 或 $O(1/g)$）。

核心贡献与结果
本文确立了当 $X \to \infty$ 且 $g \to \infty$ 时，期望方差的如下渐近行为：

$$\lim_{g \to \infty} \mathbb{E}^{\text{WP}}_g (G_M(X, q)) \sim \begin{cases} X \log X & \text{若 } q > 2, \\ 2X \log X & \text{若 } q = 2. \end{cases}$$

关键技术发现包括：

• 对角项的主导性： 方差在渐近意义上完全由“对角”贡献（即 $\gamma_1 = \gamma_2$）决定。对于 $q=2$，反对角项（$\gamma_2 = \gamma_1^{-1}$）的阶数相同，从而使系数翻倍。对于 $q > 2$，反对角项是微不足道的。
• 非对角项的微不足道性： 不同测地线的对（SNS 对）以及涉及非简单或相交测地线的对的贡献，在大的亏格极限下相对于 $X \log X$ 项趋于消失。
• 与算术情形的对比： 该结果与关于算术级数中素数的 Hooley 猜想形成对比，后者预测方差为 $X \log q$。在此，无论模数 $q$ 为何值（对于 $q>2$），方差都以 $X \log X$ 的规模缩放。

意义与解释
本文针对双曲曲面结果（$X \log X$）与算术结果（$X \log q$）之间的差异提出了一个启发式解释。通过建立与高阶 $L$-函数（与 $GL(d)$ 相关）的类比，作者将该问题与算术级数中素数的方差进行了比较。

引用 Hall, Keating, 和 Roditty-Gershon 的工作，本文指出，随着 $L$-函数次数 $d$ 的增加，方差受 $X \log X$ 控制的模数范围也在扩大。在 $d \to \infty$ 的极限下，只有 $X \log X$ 这一项得以存续。作者认为，大亏格随机双曲曲面上的闭测地线理论，在行为上类似于 $GL(d)$上的自守形式理论。这提供了一个概念框架，用以解释为什么方达取决于$\log X$而非$\log q$。

本文得出结论，大亏格极限有效地“冲刷掉了”对特定模数 $q$ 的依赖，留下了一种由曲面长度谱驱动的通用方差行为，这与在固定亏格或经典数论设置中所观察到的行为截然不同。