[論文レビュー] The harmonic analysis of lattice counting on real spherical spaces

Bernhard Krötz, Eitan Sayag+1 more|arXiv (Cornell University)|Aug 31, 2014

Advanced Algebra and Geometry参考文献 39被引用数 4

ひとこと要約

本稿は、対称空間から実球的空間へ、調和解析に基づく格子数え上げを拡張し、コンパクトな商を持つ波面型実球的空間に対して主要項の数え上げを確立する。拡大する球内の格子点の数が、球の体積に漸近的に一致することを証明し、スペクトル理論と一般化された行列係数の減衰推定を用いる。誤差項の境界は、Lp空間における行列係数の可積分性から導出される。

ABSTRACT

By the collective name of {\it lattice counting} we refer to a setup introduced in Duke-Rudnick-Sarnak that aim to establish a relationship between arithmetic and randomness in the context of affine symmetric spaces. In this paper we extend the geometric setup from symmetric to real spherical spaces and continue to develop the approach with harmonic analysis which was initiated in Duke-Rudnick-Sarnak.

研究の動機と目的

• 対称空間から実球的空間への格子数え上げにおける調和解析的手法の一般化。
• コンパクトな商を持つ波面型実球的空間に対して、主要項の数え上げ（格子軌道の漸近的均等分布）を確立すること。
• 非コンパクトな商の場合の格子数え上げにおける定量的誤差項境界を、スペクトル的技法を用いて導出すること。
• 一般化された行列係数およびそのLp可積分性が、スペクトル的数え上げのアプローチにおける役割を調査すること。
• ハリシュ・チャンドラモジュールの文脈において、行列係数の一様有界性に関する予想を提示し、それを裏付けること。

提案手法

• 実球的空間 G/H におけるスペクトル理論を用い、v ∈H∞ および η ∈(H⁻∞)H に対して、一般化された行列係数 mv,η(z) = η(g⁻¹·v) を焦点とする。
• 波面補題と、波面空間において成り立つ Lp(Zη) における行列係数の可積分性を適用する。
• [21] からの減衰推定と、圧縮錐における凸性の議論を用いて、行列係数の成長を制御する。
• 測度論的誤差項 err(R, Γ) = ||FΓR − dµY||₁ を導入し、正規化された数え上げ測度と G/Γ 上の不変測度を比較する。
• 特定のケース（例：SOe(1,n) × SOe(1,n) × SOe(1,n)/diag(SOe(1,n))）における Bernstein–Reznikov 積分推定と体積比較を用いて、誤差境界を確立する。
• 行列係数の一様有界性に関する仮説 A を提示し、ハリシュ・チャンドラモジュールの解析的モデルを含む、改良された予想を提案する。

実験結果

リサーチクエスチョン

• RQ1 G/Γ がコンパクトである場合に、非対称な実球的空間に対しても主要項の数え上げが成立するか。
• RQ2 エルゴード理論に依存せずに、調和解析を用いて格子数え上げにおける誤差項境界を確立できるか。
• RQ3 スペクトル的数え上げのアプローチにおいて、一般化された行列係数の Lp 可積分性が果たす役割は何か。
• RQ4 ハリシュ・チャンドラモジュールおよび H-不変分布的ベクトル η に対して、どのような条件下で行列係数 mv,η が有界または可積分になるか。
• RQ5 G および a ∈ A⁻Z のコンパクト集合上で、行列係数 mv,η(ga·z₀) の L∞ 範囲に一様有界性が存在するか。その有界性は、ハリシュ・チャンドラモジュールの無限小特性にのみ依存するか。

主な発見

• G/Γ がコンパクトである波面型実球的空間 G/H に対して、主項数え上げが成立する。すなわち、R → ∞ のとき NR(Γ, Z) ∼ |BR| が成り立つ。
• G = SOe(1,n)³ / diag(SOe(1,n)) の場合、誤差項はすべての p > pH(Γ) に対して err(R, Γ) ≤ C|BR|⁻¹/((6n+3)p) を満たし、C = C(p) > 0 である。
• 波面型実球的空間に関連する一般化された行列係数 mv,η は、表現および η にのみ依存するある p < ∞ に対して Lp(Zη) に属する。
• 行列係数の一様有界性に関する予想（予想 9.1）は、誤差項制御に不可欠な仮説 A を含意する。
• G = G₀³、H = G₀、Γ₀ = G₀(ℤ) が均一な立方格子の場合、誤差項は |BR|⁻¹/((6n+3)p) のべきで有界である。
• SOe(1,n) における Bernstein–Reznikov 積分が明示的に計算可能であり、これにより定理 8.2 の誤差項推定が可能になる。