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

技術要約：高次種数におけるランダムな高次属数の双曲曲面上の閉測地線

問題設定
本論文は、高次種数 $g$ が大きいランダムな双曲曲面における、特定のホモロジー類内の閉測地線の統計的分布を調査するものである。具体的には、ノルム $N(\gamma) \leq X$ を持ち、かつホモロジー類 $[\gamma]$ が整数 $q$ を法として固定されたクラス $\alpha$ に合同であるような、フォン・マンゴルト重み付きの向き付けられた閉測地線 $\gamma$ の計数関数 $\Psi_M(X; q, \alpha)$ の揺らぎを研究している。

研究の中心的対象は、この分布の分散 $G_M(X, q)$ であり、これはすべてのホモロジー類 $\alpha \pmod q$ について平均化され、さらにワイル・ピーターソン確率測量 $\mathcal{M}_g$（種数 $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. 測地線ペアの分類： 測地線のペアの和を、幾何学的およびトポロジー的性質に基づき、以下の4つの異なるカテゴリーに分解する：
   • 対角成分（Diagonal pairs）： $\gamma_1 = \gamma_2$ （原始的、単純、非分離）。
   • 反対角成分（Anti-diagonal pairs）： $\gamma_2 = \gamma_1^{-1}$ （原始的、単純、非分離）。
   • SNSペア： 互いに異なる、離散的な、単純かつ非分離な測地線のペアであり、その和集合が連結な補集合を残すもの。
   • その他のペア： 交差する測地線、非単純な測地線、または補集合が非連結となるものを含む。
3. モジュライ空間上の積分： $g \to \infty$ におけるこれらの和の期待値を計算するために、著者はミルザハニ（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{if } q > 2, \\ 2X \log X & \text{if } q = 2. \end{cases}$$

主要な技術的知見は以下の通りである：

• 対角成分の支配性： 分散は、本質的に「対角」の寄与（$\gamma_1 = \gamma_2$）によって決定される。$q=2$ の場合、反対角成分（$\gamma_2 = \gamma_1^{-1}$）も同次のオーダーとなり、係数を2倍にする。$q > 2$ の場合、反対角成分は無視できる。
• 非対角成分の無視可能性： 異なる測地線のペア（SNSペア）および非単純または交差する測地線を含むペアからの寄与は、高次種数の極限において $X \log X$ 項に対して消失する。
• 算術との対比： この結果は、算術級数における素数の分散が $X \log q$ となるというフーリ（Hooley）の予想とは対照的である。ここでは、法 $q$ に関して、分散は $X \log X$ のスケールを持つ。

意義と解説
本論文は、双曲曲面のات結果（$X \log X$）と算術の結果（$X \log q$）の間の相違に対するヒューリスティックな説明を提示している。$L$ 関数論との類似性を引き合いに出し、著者はこの問題を、高次（$GL(d)$に関連する）$L$ 関数の算術級数における素数の分散の問題と比較している。

ホール（Hall）、キーティング（Keating）、ロディティ＝ガーション（Roditty-Gershon）の研究を引用し、論文は、$L$ 関数の次数 $d$ が増加するにつれて、分散が $X \log X$ によって支配されるモジュラスの範囲が拡大することを指摘している。$d \to \infty$ の極限において、 $X \log X$ の領域のみが生き残る。著者は、高次種数のランダムな双曲曲面上の閉測地線の理論は、$d \to \infty$ の極限における $GL(d)$上の自明な形式の理論と類似した挙動を示すと仮定している。これは、なぜ分散が$\log q$ではなく$\log X$ に依存するのかという概念的な枠組みを提供している。

結論として、本論文は、高次種数の極限が特定の法 $q$ への依存性を実質的に「洗い流し」、固定された種数や古典的な数論の設定で見られる挙動とは異なる、曲面の長さスペクトルによって駆動される普遍的な分散挙動を残すことを示している。