[論文レビュー] Local average in hyperbolic lattice point counting

Yiannis N. Petridis, Morten S. Risager|arXiv (Cornell University)|Aug 25, 2014

Analytic Number Theory Research参考文献 10被引用数 7

ひとこと要約

この論文は、双曲的格子点数え上げ問題におけるPSL₂(ℤ)の誤差項を、双曲的円盤の局所的中心での平均化によって改善する。スペクトル理論、Maaß形式の量子エルゴディシティ、指数和推定を用いて、誤差項をO(X⁷/¹²⁺⁰)まで抑え、セリンブルグの古典的O(X²/³)を上回り、予想されるO(X¹/²⁺⁰)に近づける。

ABSTRACT

The hyperbolic lattice point problem asks to estimate the size of the orbit $Γz$ inside a hyperbolic disk of radius $\cosh^{-1}(X/2)$ for $Γ$ a discrete subgroup of $\hbox{PSL}_2(R)$. Selberg proved the estimate $O(X^{2/3})$ for the error term for cofinite or cocompact groups. This has not been improved for any group and any center. In this paper local averaging over the center is investigated for $\hbox{PSL}_2(Z)$. The result is that the error term can be improved to $O(X^{7/12+ε})$. The proof uses surprisingly strong input e.g. results on the quantum ergodicity of Maaß cusp forms and estimates on spectral exponential sums. We also prove omega results for this averaging, consistent with the conjectural best error bound $O(X^{1/2+ε})$. In the appendix the relevant exponential sum over the spectral parameters is investigated.

研究の動機と目的

• PSL₂(ℤ)における双曲的格子点数え上げ問題の古典的O(X²/³)誤差項を、双曲的円盤の局所的中心での平均化によって改善すること。
• 局所平均化が、予想されるO(X¹/²⁺⁰)に近い誤差項をもたらすかどうかを調査すること。
• 予想される最適誤差サイズと整合するオメガ結果を確立し、改善された誤差項が空虚でないことを示すこと。
• 合同群（PSL₂(ℤ)など）に特有の、効果的質量分布均等化やスペクトル指数和推定といった、深いつながりのあるスペクトル的算術的入力を活用すること。

提案手法

• モジュラー面上の滑らかで-compactly な関数fに対して、N_f(X) = ∫_{Γ\H} f(z)N(z,z,X) dμ(z) と定義する。
• 前トレース公式とスペクトル展開を適用し、数え上げ関数をMaaß尖点形式とそのスペクトルパラメータで表現する。
• Maaß形式の量子エルゴディシティとRankin–Selberg L関数の有効平均 Lindelöf 評価を用いて、スペクトル和を制御する。
• スペクトルパラメータt_jに関する指数和推定を用い、特にˆψ_ε(t_j)/|t_j|^{3/2}を含む和を、Weylの法則と係数の非負性により評価する。
• スペクトルパラメータに局所化するため、畳み込みによりテスト関数ψ_εを構成し、誤差項の制御を、減衰と振動キャンセレーションにより行う。
• E_ε(Y)の成長とE(Y) = (N_f(X) - πf̄X)/X¹/²の振る舞いに基づく背理法を用い、オメガ型下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 PSL₂(ℤ)における双曲的格子点数え上げ問題の誤差項は、中心での局所平均化によって、セリンブルグのO(X²/³)を上回ることができるか？
• RQ2 予想される最適誤差項O(X¹/²⁺⁰)は、平均化された数え上げ関数の振る舞いと整合的か？
• RQ3 このような改善を達成するために必要なスペクトル的および算術的入力は何か？なぜこれらは合同群に限定されるのか？
• RQ4 スペクトルパラメータt_jに関する指数和は、平均化された数え上げ関数の誤差項にどのように影響するか？
• RQ5 改善された誤差項がアーティファクトではなく、真の成長率を反映していることを示すためにオメガ結果を確立できるか？

主な発見

• 局所平均誤差項はO_f,ε(X⁷/¹²⁺⁰)で抑えられ、PSL₂(ℤ)におけるセリンブルグのO(X²/³)を上回る。
• オメガ結果が証明された：任意のν > 0に対して、N_f(X) = πXf̄ + Ω(X¹/²(log log X)^{1/4−ν})であり、予想されるO(X¹/²⁺⁰)と整合的である。
• この改善は、効果的量子エルゴディシティとPSL₂(ℤ)に特有のスペクトル指数和推定といった強力な算術的入力に依存している。
• E_ε(Y)の成長に基づく背理法を用い、誤差比の多項式的でない減衰がスペクトル和推定と矛盾することを示した。
• この方法は、一般の離散部分群には適用できない。なぜなら、PSL₂(ℤ)に特有の高度なスペクトル的算術的結果に依存しているためである。
• 結果として、局所平均化が双曲的格子点数え上げ問題において非自明な改善をもたらしうることを示したが、完全な予想誤差項にはまだ到達していない。