[論文レビュー] 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

ひとこと要約

この論文は、ℝⁿ のアフィン部分空間およびその部分多様体におけるディオファントス近似の最近の進展を、均質空間上の力学系的手法を用いて調査する。一般に、このような部分空間上の点が最適なディオファントス近似指数を満たすことを示し、古典的な結果（ケンティンチェ＝グロシュおよびスプリンジュクの予想）を非退化かつ次元が低い状況にまで、単調流のエルゴディック理論を用いて拡張する。

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.

研究の動機と目的

• ℝⁿ 内のアフィン部分空間およびその非退化部分多様体のメトリック的ディオファントス近似性質を調査すること。
• ケンティンチェ＝グロシュの定理やスプリンジュクの予想といった古典的結果を、次元が低い非退化部分多様体へと拡張すること。
• 周囲空間の一般的性質が直接転送されないような部分空間上でのディオファントス指数および近似性質の振る舞いを理解すること。
• ディオファントス近似と、形式 SL(n,ℝ)/SL(n,ℤ) の均質空間上における単調流の力学的性質との間の関係を確立すること。

提案手法

• SL(n,ℝ) がユニモジュラー格子空間 Xₙ = SL(n,ℝ)/SL(n,ℤ) に作用することによる、ディオファントス近似の力学的再定式化を用いる。
• 単調流の定量的非発散推定を用いて、Xₙ 内のコンパクト集合への軌道の再帰性を制御する。
• 対角行列 gₜ = diag(eⁿᵗ, e⁻ᵗ, ..., e⁻ᵗ) の作用における、ベクトル x ∈ ℝⁿ に対応する格子 Λₓ = [1 x; 0 I]ℤⁿ⁺¹ の挙動を通じて、x のディオファントス的性質を符号化する。
• 非常に良い近似可能性の条件を、ある γ > 0 に対して、δ(gₜΛₓ) ≤ e⁻ᵞᵗ を満たす t ∈ ℤ₊ が無限に存在することに翻訳する。
• パラメータ化写像 f: U → ℝⁿ の非退化性を用いて、Xₙ 内で軌道が無限に発散するのを防ぐ。
• ボレル＝カンテリの補題と測度論的議論を用いて、部分多様体上でのケンティンチェ＝グロシュの定理の収束および発散のケースを証明する。

実験結果

リサーチクエスチョン

• RQ1 ℝⁿ のアフィン部分空間上のほとんどすべての点に対して、最適なディオファントス近似指数は何か？
• RQ2 ケンティンチェ＝グロシュの定理の収束および発散のケースは、アフィン部分空間の非退化部分多様体へとどのように拡張されるか？
• RQ3 単調流を用いた力学的アプローチにより、ℝⁿ より次元が低い部分多様体に対し、極値性（＝非常に良い近似可能性の否定）を証明できるか？
• RQ4 非退化性条件は、ユニモジュラー格子空間内での軌道の発散を防ぐために果たす役割は何か？
• RQ5 ディオファントス近似における素数制約は、アフィン部分空間上での最適指数にどのように影響するか？

主な発見

• 任意の ℝᵈ に値をとる k-ディオファントスベクトル c ∈ ℝᵈ を用いて定義される ℝⁿ のアフィン部分空間に対して、分子および分母が素数である同時近似における最適ディオファントス指数は、−γₚ,ₖ + ε である。ここで γₚ,ₖ = 1/(d(3k + 2)) である。
• 非退化部分多様体上では、ケンティンチェ＝グロシュの定理の収束ケースが成り立つ。これは、全次元多様体上での結果の拡張である。
• 非退化部分多様体上でのケンティンチェ＝グロシュの定理の発散ケースは、単調流の定量的非発散推定を用いて確立された。
• アフィン部分空間上でのディオファントス近似の一般的最良指数は −1/2 であり、部分空間パラメータに適切なディオファントス条件が満たされれば達成される。
• 力学的再定式化により、ベクトル x ∈ ℝⁿ が非常に良い近似可能であることは、対角流 gₜ による軌道 {gₜΛₓ} が Xₙ 内のコンパクト集合に所定の定量的レートで再帰することと同値であることが示された。
• パラメータ化写像の非退化性により、Xₙ 内で軌道が無限に発散しないことが保証され、これは部分多様体上でのケンティンチェ＝グロシュの定理のような測度論的結果を証明するために不可欠である。