[論文レビュー] Report on some recent advances in Diophantine approximation

Michel Waldschmidt|ArXiv.org|Aug 27, 2009

Mathematical Dynamics and Fractals参考文献 105被引用数 16

ひとこと要約

本稿は、実数および複素数への有理数、多項式、代数的近似、および高次元における同時近似を焦点とした、ディオファントス近似分野における最近の進展をレビューする。非自明な曲率を有する平面上の曲線に近接する有理点に関して、鋭いメトリック結果を確立し、キチンチェ型定理とそのハウスドルフ測度版を証明する。特に、$ w \in (1/2,1) $ の範囲で、このような曲線上の $ w $-近似可能な点の集合の次元は $ \frac{2-w}{1+w} $ であることを示している。

ABSTRACT

A basic question of Diophantine approximation, which is the first issue we discuss, is to investigate the rational approximations to a single real number. Next, we consider the algebraic or polynomial approximations to a single complex number, as well as the simultaneous approximation of powers of a real number by rational numbers with the same denominator. Finally we study generalisations of these questions to higher dimensions. Several recent advances have been made by B. Adamczewski, Y. Bugeaud, S. Fischler, M. Laurent, T. Rivoal, D. Roy and W.M. Schmidt, among others. We review some of these works.

研究の動機と目的

• 多様体上の同時ディオファントス近似および高次元における代数的多様体の周辺に分布する有理点の系統的かつ体系的な理解の欠如を解消すること。
• 非自明な曲率を有する滑らかな平面上の曲線における有理近似の鋭いメトリック推定を提供すること。
• このような曲線における同時近似に関して、完全なキチンチェ型定理とそのハウスドルフ測度版を確立すること。
• 有理二次曲線に限らない「近接失敗」（near-misses）の理解を、一般の滑らかな曲線へと拡張すること。
• 高次元ディオファントス近似における、普遍性、分布、近似指数に関する結果を統合的かつ一般化すること。

提案手法

• 非自明な曲率を有する滑らかな平面上の曲線に近接する有理点が普遍的系を形成することを、普遍性フレームワークを用いて示す。
• キチンチェ転送原理を適用し、$ \delta \gg Q^{-2} $ の場合に、曲線 $ \Gamma $ から距離 $ \delta $ 以内にある有理点の数の下界を導出する。
• ヴォーリーとヴェラーニの解析的技法と、ベレスネヴィッチ、ディックソン、ヴェラーニの結果を組み合わせることで、$ N_\Gamma(Q,\delta) $ に対するフクシーの境界を精緻化し、$ \delta \gg Q^{-2} $ の場合に鋭い漸近的推定を得る。
• 近似の漸近的および一様な挙動を分析するために、$ \omega $, $ \widehat{\omega} $, および $ \nu $ のディオファントス指数の理論を用いる。
• 多項式的および代数的近似における「サイズ」と「高さ」の概念を用い、$ |P(\xi)| $ の小さな値と代数的数への小さな距離を比較する。
• ルベーグ測度およびハウスドルフ測度を含むメトリック数論の道具を用い、曲線上の $ w $-近似可能な点の集合の大きさを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 非自明な曲率を有する滑らかな平面上の曲線 $ \Gamma $ に近接する有理点 $ (p_1/q, p_2/q) $ の数の鋭い漸近的下界は何か？ ただし $ \delta \gg Q^{-2} $ とする。
• RQ2 このような曲線に近接する有理点の分布は、メトリックディオファントス近似における普遍性の概念とどのように関係しているか？
• RQ3 非自明な曲率を有する滑らかな平面上の曲線における $ w \in (1/2,1) $ の $ w $-近似可能な点の集合のハウスドルフ次元は何か？
• RQ4 非自明な曲率を有する曲線における同時近似に関して、キチンチェ型定理を確立できるか？ また、収束・発散の基準は何か？
• RQ5 フクシーの境界を、$ \delta \gg Q^{-2} $ の場合の鋭い推定にまで拡張できるか？ また、高次元多様体へと拡張可能か？

主な発見

• 任意の非自明な曲率を有する滑らかな平面上の曲線 $ \Gamma $ に対して、距離 $ \delta $ 以内にある有理点 $ (p_1/q, p_2/q) $ の数 $ N_\Gamma(Q,\delta) $ は、$ \delta \gg Q^{-2} $ のとき $ N_\Gamma(Q,\delta) \gg Q^3 \delta $ を満たす。
• このような曲線上の $ w $-近似可能な点の集合のハウスドルフ次元は、$ w \in (1/2,1) $ の範囲で $ \frac{2-w}{1+w} $ であり、その大きさを正確に測定している。
• 曲線 $ \Gamma $ における同時近似に関して、完全なキチンチェ型定理が成り立つ：集合 $ \mathcal{A}_2(\psi,\Gamma) $ のルベーグ測度は、$ \sum h \psi(h) $ が収束するか発散するかに応じて 0 または $ \ell $ となる。
• キチンチェ定理のハウスドルフ測度版が確立された：$ \mathcal{H}^s(\mathcal{A}_2(\psi,\Gamma)) $ は、$ \sum h^{2-s} \psi(h)^s $ の収束・発散に応じて 0 または $ +\infty $ となる。
• ベレスネヴィッチ、ディックソン、ヴェラーニ、ヴォーリーの結果を統合することで、$ N_\Gamma(Q,\delta) \ll Q^{3+\varepsilon}\delta + Q $ の境界が、$ \delta \gg Q^{-2} $ の場合に鋭い漸近的推定に改善された。
• 高次元の類似結果は依然としてほとんど未解決であり、特に多様体や代数的多様体の周辺に分布する有理点に関しては、現在の理解における大きな空白が残っている。