[論文レビュー] Geodesic cusp excursions and metric diophantine approximation

Andrew Haas|ArXiv.org|Sep 4, 2007

Mathematical Dynamics and Fractals被引用数 4

ひとこと要約

本稿は、有限面積の双曲的2-軌道体上の測地線のくびれ領域への出入り（cusp excursions）と、フクシアン群を介した距離的ディオファントス近似との間の幾何的関係を確立する。エルゴディック理論とクロスセクション技法を用いて、くびれ近傍への出入りの漸近的レートを分析することで、k-出入りおよび近似k-出入りの数に対する正確な漸近公式を導出し、それらの成長率が表面の面積と関数A(k)に比例することを証明している。これにより、古典的なディオファントス近似の結果が回復され、一般化される。

ABSTRACT

We derive several results that describe the rate at which a generic geodesic makes excursions into and out of a cusp on a finite area hyperbolic surface and relate them to approximation with respect to the orbit of infinity for an associated Fuchsian group. This provides proofs of some well known theorems from metric diophantine approximation in the context of Fuchsian groups. It also gives new results in the classical setting.

研究の動機と目的

• 有限面積の双曲的2-軌道体上の測地線がくびれ近傍へ出入りする現象と、フクシアン群の軌道に関するディオファントス近似との間の幾何的対応を確立すること。
• 一般の測地線がくびれ近傍へ出入りするレートの漸近的性質を導出し、それが表面の面積に依存することを示すこと。
• 幾何的結果を応用して、特に連分数近似の古典的結果を含む、距離的ディオファントス近似におけるよく知られた定理を回復および一般化すること。
• 測地線に沿った出入りの平均長さが、近似出入りの密度の逆数に比例することを証明し、幾何的量と数論的量を結びつけること。

提案手法

• NakadaとStratmannのインスピレーションを受けて、測地線フローに適応した修正されたクロスセクション技法を用い、くびれ近傍への戻りを数える。
• k-出入りを、ホロシックなくびれ近傍H_{1/k}に接する点として定義し、各出入りの開始を表す深さパラメータt_iを導入する。
• T1S上の測地線フローにエルゴディック理論を適用し、t → ∞のときのk-出入りおよび近似k-出入りの漸近的頻度を計算する。
• A(k) = k（0 < k ≤ 1）およびA(k) = 2 − k + 2 log k（1 ≤ k ≤ 2）として定義される関数A(k)を導入し、これにより近似出入りの漸近的レートが制御されることを示す。
• 深さd(e_j)と近似誤差|x − p_j/q_j|との間の恒等式|x − p_j/q_j| = d(e_j)/(2q_j^2)を用いて、近似k-出入りと連分数の収束項との対応を確立する。
• 普遍被覆空間における連続する出入り点間の双曲的距離を用いて、平均出入り長を導出し、これと近似誤差の対数的減衰の関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 有限面積の双曲的2-軌道体上の一般の測地線が、くびれ近傍へk-出入りする漸近的レートは何か？
• RQ2 近似k-出入りのレートは、表面の幾何と関数A(k)とどのように関係するか？
• RQ3 測地線の出入りの幾何的挙動を用いて、距離的ディオファントス近似における古典的定理を回復または一般化できるか？
• RQ4 出入りの深さと連分数展開における有理近似の精度の間にはどのような関係があるか？
• RQ5 測地線に沿った出入りの平均長さは、近似誤差の成長率とどのように関係するか？

主な発見

• T1S内のほとんどすべての単位ベクトルvと0 < k ≤ 2に対して、弧長tまでのk-出入りの数は、(k / (π · area(S))) · tに漸近的に比例する。
• 弧長tまでの近似k-出入りの数は、(A(k) / (π · area(S))) · tに漸近的に比例する。ここでA(k)はkに依存する区分的関数である。
• 測地線に沿った出入りの平均長さはπ · area(S) / A*(2)に等しく、これは近似出入りの漸近的密度の逆数に一致する。
• lim_{n→∞} (−1/n) log |x − p_n/q_n| の極限が存在し、その値はπ · area(S) / A*(2)に等しい。これにより、近似誤差の減衰率が表面の幾何に依存することが示される。
• θ_n(x) = 1 / (a_{n+1}^′ + q_{n-1}/q_n) に対して、limsup_{n→∞} (−log θ_n(x)) / log n = 1が成り立ち、近似定数θ_n(x)が任意のnのべきよりも遅く減衰することを示唆する。
• a_n ≥ n log nを無限に多く満たす実数xの集合は、完全な測度を持つ。これは、幾何的手法により古典的な距離的ディオファントス近似の結果が確認されたことを示している。