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

Виктор В Бересневич, R. C. Vaughan+2 more|arXiv (Cornell University)|Sep 17, 2018

Mathematical Dynamics and Fractals参考文献 21被引用数 5

ひとこと要約

本稿は、$\mathbb{R}^n$ 内の任意の非退化曲線の近傍における有理点の高さが有界な場合の最適な下界を確立し、従来の解析的曲線に限らない一般の非退化多様体へと結果を拡張する。著者らは、普遍的システムと$(C,\alpha)$-良い関数に基づく新規な手法を用いて、曲線におけるキンチン・ジャルニク型の発散定理を証明し、解析的仮定がなくても期待される下界が成り立つことを確認した。また、近似関数$\psi$および高さ$Q$に対する明示的なべき乗則依存性が得られた。結果は非同次設定へも拡張されている。

ABSTRACT

In this paper we develop a new explicit method to studying rational points near manifolds and obtain optimal lower bounds on the number of rational points of bounded height lying at a given distance from an arbitrary non-degenerate curve. This generalises previous results for analytic non-degenerate curves. Furthermore, the main results are also proved in the inhomogeneous setting. Applications of the main theorem include the Khintchine-Jarník type theorem for divergence for arbitrary non-degenerate curve in $\mathbb{R}^n$.

研究の動機と目的

• 任意の非退化曲線$\mathcal{M} \subset \mathbb{R}^n$ における、高さが有界な有理点の数の鋭い下界を確立すること。
• 従来の解析的非退化多様体に関する結果を、より広い一般の非退化曲線のクラスへ拡張すること。
• ディオファントス近似において、非解析的で滑らかで十分に曲がった多様体を扱える新しい手法を開発すること。
• 従来は平面の場合にのみ知られていた発散結果の非同次版を証明すること。
• 非退化曲線において、予想される$\psi$および$Q$に関するべき乗則的成長が成り立つことを確認すること、すなわち、予想される最適下界と一致すること。

提案手法

• 著者らは、普遍的システムの理論と$(C,\alpha)$-良い関数の概念に基づく新規な手法を導入し、多様体の近傍における有理点の分布を分析する。
• 分母が$q \in (Q/2, Q]$ で有界で、近似誤差が制御された、シフトされた有理点の集合$\mathcal{R}(Q,\psi,B,\bm{\theta})$ を定義する。
• 主な技術的道具は、曲線写像$\mathbf{f}$の微分から導かれる行列$G(x)$の構成であり、これにより曲線の幾何構造を符号化する写像$h(x)$が定義される。
• ある種の行列式関数$\phi_{I,\Gamma}(x)$ が$(C,\alpha)$-良いことの証明に依拠し、有理点の分布に対する一様な制御を保証する。
• 帰納法と部分行列$\widetilde{G}$および$\widetilde{\Gamma}$を用いた低次元版への還元により、非退化性の条件を保ちながら証明を進める。
• 最終段階で、得られた良い関数系に対してKhintchine-Margulis定理（定理KM）を適用し、測度の推定を得ることで、有理点の数に対する所望の下界が導かれる。

実験結果

リサーチクエスチョン

• RQ1 非退化曲線の近傍における有理点の最適下界が、曲線の解析的仮定を課さずに成り立つかどうか。
• RQ2 非同次版の発散結果が、平面以外の任意の非退化曲線に対しても確立可能か。
• RQ3 予想されているように、近似関数$\psi$および高さ$Q$に関するべき乗則的依存性$\psi^m Q^{d+1}$ が一般の非退化曲線に対しても成り立つか。
• RQ4 解析的多様体に用いられる手法が、普遍的システムと良い関数の新しい枠組みを用いて、非解析的で滑らかで非退化な曲線へと適応可能か。
• RQ5 非解析的設定において、下界$C_1 \psi^m Q^{d+1}$ が成り立つ$\psi$の鋭い範囲は何か。

主な発見

• 本稿は、任意の非退化曲線$\mathcal{M} \subset \mathbb{R}^n$ に対して、最適下界$$\#\left\{\mathbf{p}/q \in \mathbb{Q}^n : 1 \leq q \leq Q, \operatorname{dist}(\mathbf{p}/q, \mathcal{M}) \leq \psi/Q \right\} \geq C_1 \psi^m Q^{d+1}$$を確立した。ここで$m = n - d$は余次元を表す。
• この下界は、十分大きなすべての$Q$および$C_2 Q^{-3/(2n-1)} < \psi < 1$ を満たすすべての$\psi$に対して成り立ち、解析的曲線に対する既知の最良範囲と一致する。
• 非同次版の結果が証明され、発散理論が任意のシフト$\bm{\theta} = (\bm{\lambda}, \bm{\gamma})$ を持つシフトされた有理点へと拡張された。
• 著者らは、一般の非退化曲線においても、予想された$\psi$および$Q$に関するべき乗則的依存性が成り立つことを確認した。
• この手法により、曲線の微分から生じる行列式関数$\phi_{I,\Gamma}(x)$ が$(C,\alpha)$-良いことの証明が得られ、Khintchine-Margulis定理の適用が可能になった。
• 証明により、インデックス集合$I$の選択に依存しない一様な定数$C$と指数$\alpha = 1/(2l-1)$ が得られ、すべての関連する設定において堅牢性が保証された。