[论文解读] 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

一句话总结

本文在 $ℝ^n$ 中的任意非退化曲线附近建立了有理点数目的最优下界，将先前仅适用于解析情形的结果推广至一般非退化流形。通过一种基于普遍系统与 $(C,\alpha)$-好函数的新方法，作者证明了曲线情形下的 K_hintchine-Jarník 型发散定理，确认即使在无解析性假设下，预期的下界依然成立，且对逼近函数 $ψ$ 和高度 $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$.

研究动机与目标

• 建立任意非退化曲线在 $ℝ^n$ 中，有界高度的有理点数目的精确下界，这些有理点位于给定距离内。
• 将已知的解析非退化流形结果推广至更广泛的非退化曲线类。
• 开发一种新方法，以处理非解析、光滑且足够弯曲的流形在丢番图逼近中的情形。
• 证明此前仅在平面情形已知的发散结果的非齐次版本。
• 确认对于非退化曲线，$ψ$ 和 $Q$ 的猜想幂律增长成立，与最优界一致。

提出的方法

• 作者引入一种基于普遍系统理论与 $(C,\alpha)$-好函数概念的新方法，以分析流形附近有理点的分布。
• 他们定义了集合 $\mathcal{R}(Q,\psi,B,\bm{\theta})$，即分母 $q \in (Q/2, Q]$ 有界的平移有理点，且逼近误差受控。
• 关键技术工具是构造一个由曲线映射 $\mathbf{f}$ 的导数导出的矩阵 $G(x)$，该矩阵用于定义一个映射 $h(x)$，以编码曲线的几何性质。
• 该方法依赖于证明某些行列式函数 $\phi_{I,\Gamma}(x)$ 是 $(C,\alpha)$-好函数，从而确保对有理点分布的统一控制。
• 证明过程采用归纳法，并通过考虑子矩阵 $\widetilde{G}$ 和 $\widetilde{\Gamma}$ 将问题约化为低维情形，同时保持非退化性条件。
• 最后一步将 K_hintchine-Margulis 定理（定理 KM）应用于所得的良函数系统，得到测度估计，从而推出所要求的有理点数目的下界。

实验结果

研究问题

• RQ1 在不假设曲线解析性的前提下，$ℝ^n$ 中非退化曲线附近的有理点最优下界是否仍然成立？
• RQ2 是否可为任意非退化曲线建立发散结果的非齐次版本，而不仅限于平面情形？
• RQ3 对于一般非退化曲线，$ψ$ 和 $Q$ 的幂律依赖关系 $ψ^m Q^{d+1}$ 是否如猜想所示成立？
• RQ4 能否通过普遍系统与好函数的新框架，将适用于解析流形的方法适配于非解析、光滑且非退化的曲线？
• RQ5 在非解析情形下，下界 $C_1 \psi^m Q^{d+1}$ 成立的 $ψ$ 的精确范围为何？

主要发现

• 本文为任意非退化曲线 $\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})$ 的有理点。
• 作者确认，对一般非退化曲线，$ψ$ 和 $Q$ 的猜想幂律依赖关系成立，不仅限于解析情形。
• 该方法证明了由曲线导数导出的行列式函数 $\phi_{I,\Gamma}(x)$ 是 $(C,\alpha)$-好函数，从而可应用 K_hintchine-Margulis 定理。
• 证明过程得到一个与指标集 $I$ 的选择无关的统一常数 $C$ 和指数 $\alpha = 1/(2l-1)$，确保在所有相关配置下具有鲁棒性。