Closed geodesics in short intervals for random hyperbolic surfaces

技術的サマリー：ランダム双曲面上の短区間における閉測地線

問題提起
本論文は、大きな種数を持つランダム双曲面上の短区間における閉測地線の統計的分布を調査する。本研究は、短区間における素数の分布という古典的な問題と直接的な類比を引く。具体的には、著者は区間 $[X, X+H]$（ただし $H = o(X)$）内のノルムを持つ閉測地線（対応する原始測地線の長さで重み付けされたもの）を数える確率変数 $\Psi_M(X; H)$ を検討する。この量は、素数論におけるチェビシェフ関数 $\psi(x; H)$ の幾何学的な analogue である。

中心的な問いは、種数 $g$ の双曲曲面のモジュライ空間 $\mathcal{M}_g$ から、ウェイル・ペーターソン測度を備えてランダムに選ばれた曲面 $M$ について、$g \to \infty$ の極限においてこの個数の分散を決定することである。本研究は、これらの幾何学的統計を、特にゴールドストン・モンゴメリー予想に関する素数の分散についての解析的数論からの予想と比較することを目指す。

手法
解析は、モジュライ空間の幾何学を利用する確率的枠組みを通じて行われる：

1. ランダム化：曲面 $M$ は、モジュライ空間 $\mathcal{M}_g$ 内のランダムな点として扱われる。期待値と分散は、ウェイル・ペーターソン確率測度に関して計算される。
2. ミルザハニの積分公式：核心的な計算ツールは、ミルザハニとペトリによって開発された積分公式である。これらの公式により、単純閉測地線（特に非分離的なもの）の和の期待値を計算することが可能となり、双曲正弦関数を含む長さ空間への積分に変換される。
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$$
   この結果は、素数に対するゴールドストン・モンゴメリー予想（分散が $H \log(X/H)$ であると予測する）と対照的である。幾何学的結果は、2 つの明確な特徴を示す：

   • 対数因子は $\log(X/H)$ ではなく $\log X$ である。
   • 追加の乗算因子 2 が存在する。

2. $L$ 関数との理論的関連：
   本論文は、次数 $d > 1$ の原始保型 $L$ 関数に関する定理を証明する。そのような関数に対するリーマン予想（RH）を仮定すると、零点の対相関を支配する正規化された形因子 $K(\alpha)$ が、「非常に短い」区間領域 $\alpha < 1/d$ において $K(\alpha) = \alpha$ を満たすことが示される。これにより、完全な対相関予想を必要とすることなく、RH のみから初期時間領域におけるガウス型ユニタリ・アンサンブル（GUE）の形因子が回復される。

3. 不一致の説明：
   著者は、幾何学的結果と素数論の予想との間の差異に対する帰納的な説明を提供する：

   • $\log X$ 因子：双曲面上のラプラシアンスペクトルは、有限次数の $L$ 関数の零点よりもはるかに高い固有値密度を持つ。ランダム双曲面は、帰納的に「無限次数」の極限として見なされる。この極限において、形因子の初期時間領域（$K(\alpha) \sim \alpha$）のみが生存し、$\log(X/H)$ ではなく $\log X$ 依存性をもたらす。
   • 因子 2：$L$ 関数の零点は GUE 統計（小さな $\alpha$ において形因子が $\alpha$ として振る舞う）に従うことが期待されるのに対し、一般的な双曲面上のラプラス固有値はガウス型直交アンサンブル（GOE）統計に従うことが期待される。GOE の形因子は、小さな $\alpha$ において $2\alpha$ として振る舞う。スペクトル統計におけるこの因子 2 が、直接測地線個数の分散における因子 2 へと翻訳される。

重要性
本論文は、$L$ 関数理論とランダム行列理論を媒介として、ランダム双曲面上のスペクトル統計と短区間における素数の分布との間の厳密なリンクを確立すると主張する。

• 一般的な双曲曲面において、短区間における測地線個数の分散が、古典的な素数論の予測とは異なる特定の漸近法則（$2H \log X$）に従うことを確認する。
• これらの表面上のラプラシアンスペクトルの「無限次数」性が、対相関関数の初期時間挙動を孤立させることを示す。
• 因子 2 を、$L$ 関数の零点に関連する GUE 統計から、一般的な曲面のラプラシアンスペクトルに関連する GOE 統計への移行の直接的な帰結として特定する。

この研究は、モジュライ空間の幾何学を扱うためにミルザハニとペトリの積分公式に依存し、ゴールドストン、モンゴメリー、ブイ、キーティング、スミスの手法を幾何学的設定に拡張している。結果は、ランダム双曲面が、特定の対称性クラス（GOE 対 GUE）が分散のスケーリングを決定する、保型 $L$ 関数の「無限次数」極限の幾何学的モデルとして機能することを示唆している。