Local square mean in the hyperbolic circle problem

技術的サマリー：双曲円問題における局所平方平均

1. 問題の定式化
本論文は、有限体積のフックス群 $\Gamma \subseteq \text{PSL}_2(\mathbb{R})$ に対する双曲円問題を扱っている。具体的には、中心 $w$、半径 $R$ の双曲円内の点 $z$ の $\Gamma$-軌道に含まれる元の個数を推定することに焦点を当てている。特に $\Gamma = \text{PSL}_2(\mathbb{Z})$ かつ $z=w$ の場合、数え上げ関数は以下のように定義される：
$$N(z, X) := |\{ \gamma \in \Gamma : 4u(\gamma z, z) + 2 \le X \}|$$
ここで $u(z, w) = \frac{|z-w|^2}{4 \text{Im}z \text{Im}w}$ は双曲距離 $\rho$ と $1+2u = \cosh \rho$ の関係にある。
誤差項 $E(z, X) = N(z, X) - 3X$ に対する古典的な点ごとの評価は、セルバーグに帰せられる結果 $O_z(X^{2/3})$ であることが知られている。ペトリディスとリセーガー [P-R] は、$z$ 上で平均化することにより、この誤差項の局所平均を $O(X^{7/12+\epsilon})$ に改善したが、点ごとの評価はどの群に対しても改善されていなかった。本論文は、誤差項の局所 $L^2$ ノルム（平方平均）の評価を改善することを目的としている。

2. 主要な結果
主要な定理は、$\text{PSL}_2(\mathbb{Z})$ の標準的な基本領域 $F$ 内のコンパクト集合 $\Omega$ における、誤差項の局所 $L^2$ ノルムに対する改善された評価を確立する。

定理 1.1: $\Gamma = \text{PSL}_2(\mathbb{Z})$、$F$ を標準的な基本領域、$\Omega \subseteq F$ をコンパクト集合とする。任意の $\epsilon > 0$ に対して次が成り立つ：
$$\left( \int_{\Omega} (N(z, X) - 3X)^2 d\mu_z \right)^{1/2} = O_{\Omega, \epsilon} \left( X^{9/14 + \epsilon} \right)$$
指数 $9/14 \approx 0.642$ は、点ごとの評価の指数 $2/3 \approx 0.666$ よりも厳密に優れているが、ペトリディスとリセーガーが線形平均に対して達成した $7/12 \approx 0.583$ の指数よりは弱い。

3. 手法
証明には、スペクトル理論、算術幾何学、解析的評価の組み合わせが用いられる。

• 平滑化とスペクトル分解: 著者らは、二項係数を用いた $N(z, X-jd\tau)$ の線形結合を用いて、平滑化された数え上げ関数 $N_{d,J}(z, X)$ を導入する。この平滑化によりスペクトル手法の適用が可能となる。誤差項は、$\Gamma$ の双曲的要素と非双曲的要素からの寄与に分解される。非双曲的寄与は無視できる程度 ($O(X^{1/2+\epsilon})$) であることが示される。
• 保型内積への還元: 問題の核心は、双曲的寄与の二乗積分の評価に帰着する。保型関数のスペクトル展開を用いると、この積分は $M_{t,m}(z) = \sum_{\gamma \in \Gamma_t} m(u(z, \gamma z))$ の形の和の内積として表される。ここで $\Gamma_t$ はトレースが $t$ である元の集合である。
• 二次形式との関連: 重要な技術的革新（補題 2.2）は、これらの保型関数の内積を算術量に関連付けるものである。具体的には、積分は以下の和として表される：
  1. $E_{t_1, t_2}$: 同じ固定点を持つ双曲的要素のペアの中心化群の生成元のノルムの対数に関連する和。
  2. $h(d_1, d_2, t)$: 判別式 $d_1, d_2$ と特定の「余判別式」$t$ を持つ二次形式のペア $(Q_1, Q_2)$ の $\text{SL}_2(\mathbb{Z})$-同値類の数。
• 算術的評価: $h(d_1, d_2, t)$ に対する明示的な公式は制限された条件下でのみ知られているため、著者らはパラメータの約数の個数と平方自由部分を含む一般的な上界（補題 3.1）を証明する。
• 解析的評価: 証明には、内積の公式から生じる特殊関数（$I$ 関数および $J$ 関数）の詳細な解析が含まれる。これらの関数はトレースや平滑化スケールに関連するパラメータに依存する。著者らは、テイラー展開、高次微分に対するファ・ア・ド・ブリュノの公式、およびパラメータの相対的な大きさに基づく慎重な場合分けを用いて和を評価する。
• 最適化: スペクトル近似からの誤差項 ($O(X/\sqrt{d})$) と、算術和から導出された評価 ($O(d^{5/2} X^{-1/2})$) のバランスを取ることで、パラメータ $d$ を $X^{5/7}$ として選択し、最終的な指数 $9/14$ を得る。

4. 主な貢献

• 改善された $L^2$ 評価: 本論文は、局所 $L^2$ ノルムの文脈において、双曲円問題に対する $X^{2/3}$ の点ごとの評価を超えて初めて改善された評価を提供し、$X^{9/14+\epsilon}$ を達成した。
• 算術的道具: パラメータに関する制限なしに、二次形式のペアの類数 $h(d_1, d_2, t)$ に対する一般的な上界（補題 3.1）を導出したこと。
• スペクトルと算術の架け橋: トレース集合に関連する保型関数の内積と、二次形式のペアの算術的類数とを結びつける明示的な公式（補題 2.2）の提示。

5. 意義と限界
この結果の意義は、誤差項を局所的に $L^2$ 意味で平均化することで、最悪ケースの点ごとの評価よりも優れた指数が得られることを示し、点ごとの $X^{2/3}$ と線形平均の $X^{7/12}$ の間のギャップを埋める点にある。

著者らは、いくつかの限界と今後の研究方向を指摘している：

• 群の制限: 現在の証明は、$\text{PSL}_2(\mathbb{Z})$ に固有の算術的道具に大きく依存している。指数を $2/3$ よりも良くして、任意の有限体積フックス群にこの結果を拡張することは未解決の問題であるが、線形平均の結果は以前に [B1] によって拡張されていた。
• 明示的な公式: $h(d_1, d_2, t)$ に対する明示的な公式が利用可能であれば、本論文で導出された一般的な上界に依存するのではなく、評価がさらに改善される可能性がある。
• 比較: この結果は、線形平均に対するペトリディスとリセーガーの $X^{7/12}$ の評価よりも弱いことが明示的に述べられているが、点ごとの評価よりは強い。