Quantitative Equidistribution on Hyperbolic Surfaces and Arithmetic Applications

技術的要約：双曲曲面における定量的等分布性と数論的応用

問題設定
本論文は、有限面積の双曲曲面、特に $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ であるモジュラー曲面 $\Gamma \backslash \mathbb{H}$ におけるボレル確率測度の列の等分布速度を定量化する問題に取り組んでいる。古典的な等分布定理（デュークによるヘーグナー点や閉測地線の定理、あるいはヘッケ・マース・カスプ形式に関する量子一意エルゴード性予想など）は、測度がハール測度へ収束することを確立しているが、多くの場合、収束の明示的な速度を欠いている。著者は、最適輸送理論における距離であり、ある測量から別の測量への「輸送コスト」を測定する1-ワッサースタイン距離（$W_1$）を用いて、この収束を定量化することを目的としている。中心となる課題は、実数 $\mathbb{R}$ やトーラス上のベリー・エセーン不等式（測度のワッサースタイン距離とフーリエ係数またはスペクトルデータの減衰との関係を示すもの）に類似した、双曲曲面における $W_1$ の有効な上界を導出することである。

手法
核となる手法は、双曲曲面における1-ワッサースタイン距離に対する「ベリー・エセーン型の」不等式を確立することである。アプローチは以下のステップで進行する：

1. 双対定式化： 著者はカントロヴィッチ・ルビンシュタイン双対定理を利用し、1-リプシッツ関数の二つの測量に対する積分の差の上限として、1-ワッサースタイン距離を表現する。
2. スペクトル分解： これらの積分を推定するために、著者は1-リプシッツ関数を滑らかな関数（$C^\infty$）で近似し、それらを $L^2(\Gamma \backslash \mathbb{H})$ の基底へと展開する。この基底は、マース・カスプ形式（離散スペクトル）および、非コンパクトな場合にはアイゼンシュタイン級数（連続スペクトル）から構成される。
3. カーネル構成： 重要な技術的ツールは、特定のガウス型重み関数 $h(t) = e^{-(t^2+1/4)/2T^2}$ の逆セルベル・ハリショ・チャンドラ変換から導かれる、自己共役なカーネル $K(z, w)$ の構成である。このカーネルにより、著者は測量を平滑化し、ワッサースタイン距離を、ウェイル和（Weyl sums、スペクトル係数の重み付き平均）の重み付き平均に関連付けることができる。
4. 連続スペクトルの扱い： 非コンパクトな場合（例：モジュラー曲面）には、連続スペクトルの存在により、測量は「尖点（カスプ）に対して十分なタイトネス（cuspidally tight）」、すなわちカスプ付近で十分に速く減衰するという条件を満たす必要がある。
5. 数論的入力： 特定の数論的応用のために、抽象的なスペクトル境界は、解析的数論の深い結果と組み合わされる。具体的には、著者は、ウェイル和（カスプ形式およびアイゼンシュタイン級数に対する数論的測量の積分）を、$L$ 関数の中心値として表現するために、ワルドスピンガーの公式およびワトソン・イチノの三重積公式を用いている。

主要な貢献と結果

• 一般的なベリー・エセーン不等式：

  • 定理 1.6（コーコンパクトな場合）： コーコンパクトな双曲曲面における $W_1(\nu_1, \nu_2)$ の上界を確立する。この境界は、ウェイル和の二乗の差を $e^{-t_f^2/T^2}$ で重み付けした、マース・カスプ形式の滑らかな和によって制御される。
  • 定理 1.12（非コーコンパクトな場合）： 有限面積の非コンパクト曲面（モジュラー曲面など）へと結果を拡張する。この境界には、アイゼンシュタイン級数を用いた連続スペクトルに関する追加の積分項が含まれる。この定理では、測量が $Y^{-1/2-\delta}$-cuspidally tight であることが要求される。

• モジュラー曲面における数論的応用：

  • デュークの定理（ヘーグナー点と閉測地線）： デュークの等分布問題にこの一般不等式を適用することで、基本判別式 $D$ に対して、ヘーグナー点／閉測地線の測量とハール測量との間の1-ワッサースタイン距離が以下を満たすことを証明する：
    $$W_1(\nu_D, \nu) \ll_\varepsilon |D|^{-1/12 + \varepsilon}$$
    これは無条件である。一般化リンデレフ仮説（GLH）を仮定すると、以下に改善される：
    $$W_1(\nu_D, \nu) \ll_\varepsilon |D|^{-1/4 + \varepsilon}$$
  • ヘッケ・マース・カスプ形式の質量等分布： 量子一意エルゴード性（QUE）予想に対処するため、著者は、スペクトルパラメータ $t_g$ を持つヘッケ・マース・カスプ形式の質量 $|g|^2 d\mu$ の等分布に関する定量的な速度を提供する。GLHを仮定すると、境界は以下の通りである：
    $$W_1(\nu_g, \nu) \ll_\varepsilon t_g^{-1/2 + \varepsilon}$$

意義と主張
本論文は、これらの特定の双曲曲面における数論的等分布問題において、1-ワッサースタイン距離の最初の有効かつ定量的な境界を提供することを主張している。最適輸送理論と自己共形形式のスペクトル理論を橋渡しすることで、本研究は抽象的な等分布定理を具体的な収束速度へと翻訳している。

著者は、等分布を定量化するための他の手法（収縮ターゲット問題や球の不一致度など）が存在することに触れつつ、ワッサースタイン距離が独自の計量的な視点を提供することを述べている。最強の境界については、結果が $L$ 関数の劣凸性境界に依存していることから、一般化リンデレフ仮説（GLH）に条件付けられていることは標準的である。また、定理 1.12 におけるアイゼンシュタイン級数の手法は、重みの側面における全純カスプ形式の質量等分布問題には直接適用できないことを明記している。なぜなら、後者はここで用いられている完全なスペクトル展開ではなく、不完全アイゼンシュタイン級数や篩理論的手法に依存しているためである。

本研究は、トーラスやコンパクトなリー群へのベリー・エセーン不等式の最近の拡張（Bobkov, Ledoux, Borda）に基づき、それを双曲曲面の非ユークリッド幾何学へと適応させ、双曲面上のラプラシアンの固有のスペクトル特性を利用している。