[論文レビュー] Horospherical coordinates of lattice points in hyperbolic space: effective counting and equidistribution

Tal Horesh, Amos Nevo|arXiv (Cornell University)|Dec 24, 2016

Mathematical Dynamics and Fractals参考文献 1被引用数 4

ひとこと要約

本稿は、Iwasawa分解から得られるホロスフィーラル座標を用いて、双曲空間内の格子点の有効な数え上げおよび等分布に関する結果を確立する。拡大する積領域 NA×K 内の格子点の数は体積に漸近的に比例し、誤差項は体積のべき乗で有界である。これは古典的なディオファントス問題を高ランクおよび数体へと拡張するものである。

ABSTRACT

We establish effective counting and equidistribution results for lattice points in families of domains in hyperbolic spaces, of any dimension and over any field. The domains we focus on are defined as product sets with respect to the Iwasawa decomposition. Several classical Diophantine problems can be reduced to counting lattice points in such domains, including distribution of shortest solution to the gcd equation, and angular distribution of primitive vectors in the plane. We give an explicit and effective solution to these problems, and extend them to imaginary quadratic number fields. Further applications include counting lifts of closed horospheres to hyperbolic manifolds and establishing an equidistribution property of integral solutions to the Diophantine equation defined by a Lorentz form.

研究の動機と目的

• Iwasawa分解に基づく双曲空間内における格子点の有効な数え上げおよび等分布に関する結果を構築すること。
• ホロスフィーラル座標を用いて、古典的なディオファントス問題（例えば、gcd(a,b) = 1 を満たす最短解の分布や原始的ベクトルの角度分布）を扱うこと。
• これらの結果を虚二次数体および高ランク対称空間へと拡張すること。
• Iwasawa成分によって定義される積集合における格子点数え上げの明示的誤差境界を提供すること。
• リプシッツ-リーマン的領域とスペクトル法を用いた重み付き格子点数え上げ結果を確立すること。

提案手法

• G = NAK というIwasawa分解を用いて、双曲等長群をパラメトライズする。ここで、N は単型（unipotent）、A ≅ ℝ、K は最大コンパクト部分群である。
• R_T(Ψ, Φ) = Ψ A_{[-T,0]} Φ を、N × A × K 内の積集合として定義し、Haar測度 μ = μ_N × dt/e^{2ρt} × μ_K を用いる。
• ラプラシアンのスペクトルギャップを用いたスペクトル理論を適用し、格子点数え上げにおける有効な誤差項を導出する。
• 家族の領域に対してリプシッツ-よく丸みを帯びた性質（Lipschitz well-roundedness）の概念を導入し、摂動に対して一様な制御を保証する。
• N 上のコンパクト台付きリプシッツ関数 ψ と K 上の関数 φ を用いた重み付き数え上げを用い、数え上げ結果を一般化する。
• 測度 μ に関する D_T の積分と一致する数え上げ測度 ∑_{γ ∈ Γ} D_T(γ) は、誤差 O((∫ D_T dμ)^κ log ∫ D_T dμ) で一致し、κ < 1 であることを示す。

実験結果

リサーチクエスチョン

• RQ1 実ランク1の双曲空間におけるIwasawa座標で定義される拡大領域内での格子点の有効な数え上げは、どのように達成できるか？
• RQ2 このような領域内での格子点の漸近的数え上げにおける正確な誤差項は何か？また、その誤差項は領域の幾何的性質にどのように依存するか？
• RQ3 古典的なディオファントス問題（例：gcd(a,b) = 1 を満たす最短解の分布）は、ホロスフィーラル座標を用いて有効に分析可能か？
• RQ4 これらの数え上げ結果は、虚二次数体および高ランク対称空間へどの程度まで拡張可能か？
• RQ5 A 成分が無限大に近づく際、格子点の N 成分および K 成分における等分布はどのようにして現れるか？

主な発見

• R_T(Ψ, Φ) 内の格子点数は、#(Γ ∩ R_T(Ψ, Φ)) = μ(R_T(Ψ, Φ)) + O(T e^{2ρκT}) と表され、κ < 1 であり、有効な誤差境界が得られる。
• 2つの領域における格子点数の比は、体積比に収束する。すなわち、T → ∞ のとき、#(Γ ∩ R_T(Ψ', Φ')) / #(Γ ∩ R_T(Ψ, Φ)) → (μ_N(Ψ')μ_K(Φ')) / (μ_N(Ψ)μ_K(Φ)) となる。
• N 上のリプシッツ関数 ψ と K 上の関数 φ に対して、重み付き和 ∑_{γ ∈ Γ} ψ(π_N(γ)) χ_{[-T,0]}(π_A(γ)) φ(π_K(γ)) は、e^{2ρT} ∫ ψ dμ_N ∫ φ dμ_K + O(T e^{2ρκT}) に等しい。
• 測度 R_T(ψ, φ) の族はリプシッツ-よく丸みを帯びており、領域の微小な摂動に対しても一様な制御が保証される。
• 結果は虚二次数体へ拡張可能であり、原始的ベクトルの分布および gcd 方程式の解の分布が一般化される。
• T → ∞ のとき、格子点の N 成分および K 成分における等分布が確立され、収束速度はスペクトルギャップによって定量的に示される。