[論文レビュー] Diophantine approximation on planar curves and the distribution of rational points

Victor Beresnevich, Detta Dickinson+1 more|ArXiv.org|Jan 14, 2004

Algebraic Geometry and Number Theory参考文献 2被引用数 11

ひとこと要約

本稿は、多様体上の同時ディオファントス近似の理論における最初の一般的かつ正確な結果を確立し、非退化な平面曲線が発散のKhintchine型であることを証明するとともに、近似関数が臨界範囲にある場合の近似可能点のハウスドルフ次元に対する正確な公式を提示している。また、有理二次曲面の収束対応を確立し、一般の場合の埋め込み枠組みを構築している。

ABSTRACT

Let $\cal C$ be a non--degenerate planar curve and for a real, positive decreasing function $ψ$ let $\cal C(ψ)$ denote the set of simultaneously $ψ$--approximable points lying on $\cal C$. We show that $\cal C$ is of Khintchine type for divergence; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on $\cal C$ of $\cal C(ψ)$ is full. We also obtain the Hausdorff measure analogue of the divergent Khintchine type result. In the case that $\cal C$ is a rational quadric the convergence counterparts of the divergent results are also obtained. Furthermore, for functions $ψ$ with lower order in a critical range we determine a general, exact formula for the Hausdorff dimension of $\cal C(ψ)$. These results constitute the first precise and general results in the theory of simultaneous Diophantine approximation on manifolds.

研究の動機と目的

• 平面曲線上の同時ディオファントス近似の完全な測度論を構築し、文献における長年の空白を埋める。
• 非退化な平面曲線 C 上の ψ-近似可能点の集合が、1次元レベーグ測度で全測度をとる条件を特定し、Khintchineの定理を多様体へ拡張する。
• このような集合のハウスドルフ測度および次元論を確立し、特に近似関数の臨界範囲において考察する。
• 有理二次曲面に対して収束対応を確立し、この特殊ケースにおける測度論を完成させる。
• 一般の非退化曲線の場合に対応する、新規の埋め込みシステム枠組みを導入・適用する。

提案手法

• 著者らは、R^n における新しい埋め込みシステム枠組みを導入し、平面曲線の近傍における有理点の分布を解析する。局所的および大域的な近似を用いる。
• 曲線 C 上の ψ-近似可能点の集合を、q に対して無限に多くの回 |qy_i - p_i| < ψ(q) を満たす y_i ∈ C が存在する点として定義する。
• 主な技術的アプローチは、曲線の幾何学的性質と有理二次曲面の場合のディオファントス近似を活用し、曲線の近傍に位置する有理点 (p/q, r/q) を中心とする埋め込みシステムを構築することにある。
• 指数和および除数関数の推定に依拠する証明であり、特に r(n) = n を2つの平方数の和として表す表記の数であり、r(n)^2 の上界を組合せ論的補題を用いて制御する。
• 誤差項の測度推定を制御するために、コーシー・シュワルツおよびボレル＝カンテリ型の議論が用いられ、特に F_±(Q,N) および V(Q,N) に対して有効である。
• r(m²) のディリクレ級数生成関数と漸近的推定（例：∑_{m≤M} r(m²) ∼ (4/π)M log M）を用いて、測度の境界における主要項を制御する。

実験結果

リサーチクエスチョン

• RQ1 非退化な平面曲線 C に対して、C 上の ψ-近似可能点の集合が、1次元レベーグ測度で全測度をとる条件は何か？
• RQ2 近似関数 ψ が臨界範囲にある場合、C 上の ψ-近似可能点の集合のハウスドルフ次元は何か？
• RQ3 有理二次曲面に対して、Khintchine型発散結果の収束対応を確立できるか？
• RQ4 一般の平面曲線におけるディオファントス近似を解析するための埋め込みシステムをどのように構築できるか？
• RQ5 特定の級数の収束・発散と近似可能点集合のハウスドルフ測度との間の正確な関係は何か？

主な発見

• 任意の非退化な平面曲線 C に対して、∑ψ(q)^2 = ∞ ならば、C 上の ψ-近似可能点の集合は1次元レベーグ測度で全測度をとる。すなわち、C は発散のKhintchine型である。
• 有理二次曲面に対しては、Khintchine型結果の収束対応が確立された：∑ψ(q)^2 < ∞ ならば、ψ-近似可能点の集合はレベーグ測度0である。
• 近似関数 ψ が臨界範囲にある場合、C 上の ψ-近似可能点の集合のハウスドルフ次元は、級数 ∑h^{2-s}ψ(h)^s の収束指数を用いた正確な公式で与えられる。
• C 上の ψ-近似可能点の集合のハウスドルフ測度はゼロ・インfinity法則を満たす：∑h^{2-s}ψ(h)^s < ∞ ならば H^s(C(ψ)) = 0、そうでなければ ∞ である。
• 臨界ケースでは、ハウスドルフ次元は dim C(ψ) = inf{s : ∑h^{2-s}ψ(h)^s < ∞} で与えられ、これはJarníkの定理を曲線へ一般化する。
• 証明は、整数を2つの平方数の和として表す表記の数に関する深い推定に依拠しており、∑_{m≤M} r(m²) ∼ (4/π)M log M であり、r(n)^2 の上界は組合せ論的補題により制御される。