[論文レビュー] Diophantine properties of groups of toral automorphisms

Vladimir Finkelshtein|arXiv (Cornell University)|Jul 20, 2016

Geometric and Algebraic Topology参考文献 15被引用数 4

ひとこと要約

本稿は、双曲群上のランダムウォークのスペクトル推定を用いて、SL₂(ℤ) の任意の部分群 Γ が2次元トーラスに作用する場合の鋭いディオファントス近似結果を確立する。Lebesgueほとんど everywhere な x ∈ 𝕋² に対して、群元 g ∈ Γ で ‖g.x − y‖ < ‖g‖⁻ᵅ を満たす集合が、α > δΓ のときは有限、α < δΓ のときは無限であることを証明し、凸コンパクト作用に対してはスペクトルギャップとフーリエ解析の手法により最適な近似速度を得る。

ABSTRACT

We prove sharp estimates in a shrinking target problem for the action of an arbitrary subgroup $Γ$ of $SL_2(\mathbb{Z})$ on the 2-torus. This can also be viewed as a non-commutative Diophantine approximation problem. The methods require constructing spectrally optimal random walks on groups acting properly cocompactly on Gromov hyperbolic spaces. Additionally, using Fourier analysis we give estimates for the same problem in higher dimensions.

研究の動機と目的

• 任意の部分群 Γ < SL₂(ℤ) が2次元トーラスに作用する場合の鋭い収縮ターゲット結果を確立し、格子に限らない古典的ディオファントス近似を拡張すること。
• SL₂(ℤ) の非格子（例えば、スリムな）部分群によるトーラス上の一般点のディオファントス的性質を分析すること。
• グロモフ双曲群上のランダムウォークのスペクトル推定を用いて最適な近似速度を導出すること。
• フーリエ解析を用いて次元を拡張し、一般の単調ターゲット族に対する境界を確立すること。

提案手法

• Gromオフ双曲空間に properly cocompactly 作用する群に対して、スペクトル的に最適なランダムウォークを構築し、群表現のスペクトル半径を制御する。
• L²(𝕋²) 上のKoopman表現 π₀ のスペクトルギャップを用いて、臨界指数 δΓ を含む減衰率を伴う定量的エルゴディック定理を導出する。
• 第一および第二のボレル＝カンテーリー補題を用いて、スペクトル推定による相関の減衰に依存して、近似集合の有限性／無限性を特定する。
• 高次元の場合、フーリエ解析を用いて、g.x が収縮ターゲット内にある集合の測度を推定し、臨界指数 δΓ と関連付ける。
• 双曲群の性質 RD（急速減衰）を用いて、Γ 内の球 Bₙ 上での平均作用素の L² 演算子ノルムを有界化する。
• シェル Sₙ = Bₙ ∓ Bₙ₋ₖ 上に台を持つ、有限台付の測度 μₙ の列を構成し、漸近的スペクトル半径減衰率が e^(-½δΓn) に一致するようにする。

実験結果

リサーチクエスチョン

• RQ1 Γ < SL₂(ℤ) が任意の部分群であるとき、Lebesgueほとんど everywhere な x ∈ 𝕋² および固定された y ∈ 𝕋² に対して、α > 0 に対して集合 {g ∈ Γ : ‖g.x − y‖ < ‖g‖⁻ᵅ} が有限または無限であるのはどのような α か？
• RQ2 非格子部分群の SL₂(ℤ) における収縮ターゲット問題において、臨界指数 δΓ がディオファントス近似の鋭い閾値として機能するか？
• RQ3 Γ 内の球上での平均作用素のスペクトル半径の最適な減衰率は何か？ また、Γ 上のランダムウォークによって漸近的に達成可能か？
• RQ4 ターゲットが球ではなく、測度 πr² で r = ψ(‖g‖) である一般の可測集合の場合、近似速度はどのように変化するか？
• RQ5 独立性がなく、スペクトル減衰に依存する場合、第二のボレル＝カンテーリー補題をどの程度まで適用できるか？

主な発見

• 任意の部分群 Γ < SL₂(ℤ) に対して、Lebesgueほとんど everywhere な x ∈ 𝕋² に対して、集合 {g ∈ Γ : ‖g.x − y‖ < ‖g‖⁻ᵅ} は α > δΓ のときは有限、α < δΓ のときは無限であり、δΓ が鋭い閾値であることが確立された。
• 凸コンパクトな Γ に対して、集合 {g ∈ Γ : g.x ∈ Targ_ψ(‖g‖)} は ∑ₙ n²δΓ⁻¹ ψ(n)² < ∞ のときは有限、∑ₙ (log n)⁴ n⁻²δΓ⁻¹ ψ(n)⁻² < ∞ のときは無限であり、これは定理 A よりも鋭いレートを示している。
• シェル Sₙ 上での平均化のためのKoopman表現のスペクトル半径は、‖λΓ(μₙ)‖ ≤ n² e^(-½δΓ n + O(1)) を満たし、理論的下界と多項式要因を除いて一致する。
• シェル Sₙ 上での平均化のためのエルゴディック定理の収束速度は、n² e^(-½δΓ n + O(1)) で有界であり、多項式補正を除いて最適である。
• Γ 上に台を持つ有限台付の測度 μₙ の列を構成可能であり、(−2 log ‖λΓ(μₙ)‖)/n → δΓ を満たし、スペクトル減衰において漸近的最適性を達成する。
• スペクトル減衰条件の下で第二のボレル＝カンテーリー補題が適用可能である：∑ₙ (log n)⁴ n⁻²δΓ⁻¹ ψ(n)⁻² < ∞ ならば、ほとんど everywhere な x に対して、g.x は Targ_ψ(‖g‖) を無限回通過する。