[论文解读] Diophantine approximation on subspaces of $\mathbb{R}^n$ and dynamics on homogeneous spaces

Anish Ghosh|arXiv (Cornell University)|Jun 8, 2016

Mathematical Dynamics and Fractals参考文献 20被引用 3

一句话总结

本文综述了在 ℝⁿ 的仿射子空间及其子流形上，利用齐性空间上的动力系统技术进行丢番图逼近的最新进展。研究证明，此类子空间上的典型点满足最优的丢番图逼近指数，通过单峰流的遍历理论，将经典的结论如Khintchine-Groshev定理和Sprindžuk猜想推广至非退化、低维情形。

ABSTRACT

In recent years, the ergodic theory of group actions on homogeneous spaces has played a significant role in the metric theory of Diophantine approximation. We survey some recent developments with special emphasis on Diophantine properties of affine subspaces and their submanifolds.

研究动机与目标

• 研究 ℝⁿ 中仿射子空间及其非退化子流形的度量丢番图性质。
• 将经典结果如Khintchine-Groshev定理和Sprindžuk猜想推广至低维、非退化子流形。
• 理解在环境空间的典型性质无法直接传递至子空间的情况下，丢番图指数与逼近性质的行为。
• 建立丢番图逼近与形如 SL(n,ℝ)/SL(n,ℤ) 的齐性空间上单峰流动力学之间的联系。

提出的方法

• 通过 SL(n,ℝ) 在单模格空间 Xₙ = SL(n,ℝ)/SL(n,ℤ) 上的作用，对丢番图逼近进行动力系统重述。
• 应用单峰流的定量非发散估计，以控制 Xₙ 中轨道返回紧致集的频率。
• 通过对角矩阵 gₜ = diag(eⁿᵗ, e⁻ᵗ, ..., e⁻ᵗ) 作用下，向量 x ∈ ℝⁿ 的格 Λₓ = [1 x; 0 I]ℤⁿ⁺¹ 的行为来编码其丢番图性质。
• 将“非常良好逼近”的条件转化为：存在无穷多个 t ∈ ℤ₊，使得 δ(gₜΛₓ) ≤ e⁻ᵞᵗ 对某个 γ > 0 成立。
• 利用参数化映射 f: U → ℝⁿ 的非退化性，防止轨道在 Xₙ 中发散至无穷远。
• 应用Borel-Cantelli引理与测度论论证，证明子流形上Khintchine-Groshev定理的收敛与发散情形。

实验结果

研究问题

• RQ1 在 ℝⁿ 的任意仿射子空间上，几乎所有点的最优丢番图逼近指数是多少？
• RQ2 Khintchine-Groshev定理的收敛与发散情形如何推广至仿射子空间的非退化子流形？
• RQ3 能否利用单峰流的动力学方法证明低于 ℝⁿ 维数的子流形的极值性（即非非常良好逼近性）？
• RQ4 非退化性条件在防止轨道在单模格空间中发散方面起到什么作用？
• RQ5 在丢番图逼近中引入素数约束后，仿射子空间上的最优指数如何变化？

主要发现

• 对于由 k-丢番图向量 c ∈ ℝᵈ（k ≥ d）定义的 ℝⁿ 中任意仿射子空间，具有素数分子与分母的同步逼近的最优丢番图指数为 −γₚ,ₖ + ε，其中 γₚ,ₖ = 1/(d(3k + 2))。
• Khintchine-Groshev定理的收敛情形适用于仿射子空间的非退化子流形，扩展了全维流形的结果。
• 利用单峰流的定量非发散估计，确立了仿射子空间的非退化子流形上Khintchine-Groshev定理的发散情形。
• 在子空间参数满足适当的丢番图条件时，仿射子空间上丢番图逼近的通用最优指数为 −1/2。
• 动力系统重述表明，当且仅当对角流 gₜ 作用下的轨道 {gₜΛₓ} 以某种定量速率返回 Xₙ 的紧致集时，向量 x ∈ ℝⁿ 是非常良好逼近的。
• 参数化映射的非退化性确保了轨道不会在 Xₙ 中发散至无穷远，这对在子流形上证明Khintchine-Groshev定理等测度论结果至关重要。