Local average in the Hyperbolic sphere problem

技術要約：双曲球問題における局所平均

問題設定
本論文は、3次元双曲空間 $\mathbb{H}^3$ においてピカール群 $\Gamma = \text{PSL}_2(\mathbb{Z}[i])$ が作用する場合の双曲格子点計数問題を取り扱う。中心となる対象は、中心 $z$、半径 $\cosh^{-1} X$ の双曲球内にある格子点の移動 $\gamma z$ の個数を数える計数関数 $N(X, z)$ である。

古典的な点での漸近公式は $N(X, z) = c_\Gamma X^2 + O(X^{3/2})$ で与えられる。主項 $c_\Gamma X^2$ は十分に理解されているが、誤差項における指数 $3/2$ は、ピカール群やその他の群に対しても改善されていない。著者らは、計数関数を局所領域（滑らかなテスト関数を介して）で平均化することで、特定のスペクトル仮説に基づき、より小さな誤差指数が得られるかどうかを調査している。

手法
著者らは、計数関数の局所平均を解析するために、自形形式のスペクトル論を用いる。その手法は以下のステップで進行する。

1. スペクトル展開: 計数関数は、球の指示関数のセルベルグ変換を用いて表現される。これにより、双曲ラプラシアンの固有関数 $u_j$ およびアイゼンシュタイン級数を用いたスペクトル展開が導かれる。
2. 局所平均化: 特定の固有関数 $|u_j(z)|^2$ への依存性を排除するために、展開式を商多様体 $\Gamma \backslash \mathbb{H}^3$ 上のコンパクトな台を持つ滑らかなテスト関数 $f$ で積分する。
3. 仮説の適用: 証名は、$\Gamma$ のスペクトル特性に関する2つの条件付き仮説に基づいている。
   • 仮説 QV (量子分散): スペクトル測度 $d\mu_j(z) = |u_j(z)|^2 d\mu(z)$ の一様測度に対する分散に関する境界。具体的には、高さ $T$ までのスペクトル積分の平方偏差の和に対して $T^{q+\epsilon}$ のオーダーの境界を仮定する。
   • 仮説 STX (スペクトル指数和): 指数和 $S(T, X) = \sum_{0 < r_j \le T} X^{ir_j}$ （ここで $r_j$ はスペクトルパラメータ）に関する境界。この和は素元測地定理において中心的な役割を果たす。
4. 近似と平滑化: 指示関数の不連続性を扱うために、双曲畳み込みを用いて上方および下方から滑らかな近似 $k_\pm$ を構成する。これにより、セルベルグ変換における減衰特性が優れたスペクトル展開の適用が可能になる。
5. 誤差の均衡: 量子分散の境界（平滑化パラメータ $\eta$ に依存）と、スペクトル指数和の境界（打ち切りパラメータ $T$ に依存）の寄与を均衡させることで、最終的な誤差項が導出される。

主要な貢献と結果
主要な結果は定理 1.1であり、これは計数関数の局所平均に対する漸近公式を確立するものである：
$$\int_{\Gamma \backslash \mathbb{H}^3} N(X, z)f(z) d\mu(z) = \frac{\pi}{2} \bar{f} X^2 + O_{f, \epsilon, \theta, q} \left( X^{\frac{6-4\theta}{5-4\theta} + \epsilon} + X^{\frac{2q}{q+1} + \epsilon} \right)$$
ここで $\bar{f}$ は $f$ の平均値であり、$q \in [1, 3]$ は仮説 QV の指数、$\theta \in [0, 1/4]$ は仮説 STX の劣凸性指数に関連する。

• 点での境界に対する改善: 本論文は、これらの仮説の下で、局所平均における誤差指数が点での境界である $3/2$ よりも厳密に小さくなることを示している。
• 具体的な指数:
  • 仮説 QV が（予想される最適値である）$q=1$ で成立し、かつ仮説 STX が最強の既知の推定値 $\theta=0$ で成立する場合、誤差項は $O(X^{6/5+\epsilon})$ となる。
  • STX の凸性境界 $\theta=1/4$ と $q \le 5/3$ を用いると、誤差は $O(X^{5/4+\epsilon})$ となる。
• 次元 2 との比較: 著者らは、2次元の場合（モジュラー群）において、量子分散の境界は定理（Luo and Sarnak）であり、スペクトル指数和も広く研究されていることを指摘している。3次元においては、量子分散の境界は依然として予想の段階であるが、スペクトル和は素元測地定理の文脈で解析されている。

意義と主張
本論文は、確立されているものの未証明であるスペクトル予想に基づき、局所平均を通じて双曲球問題の誤差項を改善するための厳密な枠組みを提供することを主張している。

• 条件付きの性質: 著者らは、自らの改善が条件付きであることを明示している。彼らはピカール群に対する量子分散の境界を証明したのではなく、それが（およびスペクトル和の境界が）成り立つならば、誤差項が大幅に改善されることを示している。
• 最適性: 本論文は、もし仮説 STX が指数 $(2, 0)$ で成立し、かつ仮説 QV が $q=1$ で成立するならば、得られる誤差項は、既知の2次元の場合の例と同様に最適となることを示唆している。
• 下界: 著者らは、Phillips および Rudnick による既存の下界（誤差項が $\Omega(X^{(n-1)/2} (\log \log X)^{(n-1)/2n - \epsilon})$ より小さくなり得ないことを示唆するもの）を認めている。$n=3$ の場合、これは概ね $X^1$ である。著者らの結果は、最強の仮定の下でこの下界に接近しており、局所平均が点でのケースよりも誤差の「真の」オーダーをより良く捉えていることを示唆している。

本研究は、3次元における自形形式のスペクトル理論と、格子点計数の幾何学的問題との間の架け橋として機能しており、剰余項を制御する上での量子分散とスペクトル指数和の具体的な役割を浮き彫りにしている。