[论文解读] Diophantine properties of groups of toral automorphisms

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

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

一句话总结

本文通过双曲群上随机游走的谱估计，建立了任意子群 Γ ⊂ SL₂(ℤ) 在 2-环面上的精确丢番图逼近结果。证明了对 Lebesgue 几乎处处的 x ∈ 𝕋²，集合 {g ∈ Γ : ‖g.x − y‖ < ‖g‖⁻ᵅ} 的有限性或无限性取决于 α > δΓ 或 α < δΓ，分别对应于凸共 compact 作用下的最优逼近速率，方法结合谱间隙与傅里叶分析。

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₂(ℤ) 的非格子（如稀疏）子群在环面上作用下典型点的丢番图性质。
• 通过双曲群上随机游走的谱估计，推导最优逼近速率。
• 通过傅里叶分析将结果推广至高维，并建立一般单调目标族的界。

提出的方法

• 在作用于 Gromov 双曲空间的适当共(compact)群上构造谱最优的随机游走，以控制群表示的谱半径。
• 利用 Koopman 表示 π₀ 在 L²(𝕋²) 上的谱间隙，推导包含临界指数 δΓ 的衰减速率的定量遍历定理。
• 应用第一与第二 Borel–Cantelli 引理，依据谱估计带来的相关性衰减，判断逼近集的有限性或无限性。
• 在高维情形下，采用傅里叶分析估计 g.x 落于收缩目标集的测度，将其与临界指数 δΓ 关联。
• 利用双曲群的快速衰减（RD）性质，控制 Γ 中球 Bₙ 上平均算子的 L²-算子范数。
• 构造一列紧支集测度 μₙ 在壳层 Sₙ = Bₙ ∓ Bₙ₋ₖ 上，使得渐近谱半径衰减速率为 e^(-½δΓn)，达到理论下界。

实验结果

研究问题

• RQ1 当 Γ < SL₂(ℤ) 为任意子群时，对 Lebesgue a.e. x ∈ 𝕋² 及固定 y ∈ 𝕋²，集合 {g ∈ Γ : ‖g.x − y‖ < ‖g‖⁻ᵅ} 在哪些 α > 0 时为有限或无限？
• RQ2 临界指数 δΓ 是否可作为 SL₂(ℤ) 非格子子群在收缩目标问题中丢番图逼近的精确阈值？
• RQ3 Γ 中球上平均算子谱半径的最优衰减速率为何？能否通过 Γ 上的随机游走渐近逼近该速率？
• RQ4 当目标不再是球而是测度为 πr² 且 r = ψ(‖g‖) 的一般可测集时，逼近速率如何变化？
• RQ5 在无独立性假设下，第二 Borel–Cantelli 引理在何种程度上可通过谱衰减条件应用？

主要发现

• 对任意子群 Γ < SL₂(ℤ)，当 α > δΓ 时，对 a.e. x ∈ 𝕋²，集合 {g ∈ Γ : ‖g.x − y‖ < ‖g‖⁻ᵅ} 为有限集；当 α < δΓ 时为无限集，确立了 δΓ 为精确阈值。
• 对凸共 compact 的 Γ，集合 {g ∈ Γ : g.x ∈ Targ_ψ(‖g‖)} 为有限集当且仅当 ∑ₙ n²δΓ⁻¹ ψ(n)² < ∞，为无限集当且仅当 ∑ₙ (log n)⁴ n⁻²δΓ⁻¹ ψ(n)⁻² < ∞，其速率优于定理 A。
• Koopman 表示的谱半径满足 ‖λΓ(μₙ)‖ ≤ n² e^(-½δΓ n + O(1))，其中对壳层 Sₙ 的平均，其结果与理论下界仅差多项式因子。
• 对壳层 Sₙ 上平均的遍历定理收敛速率被限制在 n² e^(-½δΓ n + O(1)) 内，该界在多项式修正下为最优。
• 可构造一列紧支集测度 μₙ 在 Γ 上，使得 (−2 log ‖λΓ(μₙ)‖)/n → δΓ，实现谱衰减的渐近最优性。
• 在谱衰减条件下，第二 Borel–Cantelli 引理成立：若 ∑ₙ (log n)⁴ n⁻²δΓ⁻¹ ψ(n)⁻² < ∞，则对 a.e. x，g.x 无限次进入 Targ_ψ(‖g‖)。