[论文解读] Simultaneous inhomogeneous Diophantine approximation on manifolds

Victor Beresnevich, Sanju Velani|ArXiv.org|Oct 30, 2007

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

一句话总结

该论文证明了在 $\mathbb{R}^n$ 的任意非退化子流形上，几乎所有点的联合非齐次丢番图逼近指数均为 $1/n$，从而证明了施普林茨克猜想的非齐次版本。其关键创新在于提出了一种简化的非齐次传递原理，该原理将齐次与非齐次指数联系起来，使得可通过流形上的测度论论证，从已知的齐次结果推导出主要结论。

ABSTRACT

In 1998, Kleinbock & Margulis established a conjecture of V.G. Sprindzuk in metrical Diophantine approximation (and indeed the stronger Baker-Sprindzuk conjecture). In essence the conjecture stated that the simultaneous homogeneous Diophantine exponent $w_{0}(\vv x) = 1/n$ for almost every point $\vv x$ on a non-degenerate submanifold $\cM$ of $\R^n$. In this paper the simultaneous inhomogeneous analogue of Sprindzuk's conjecture is established. More precisely, for any `inhomogeneous' vector $\bmθ\in\R^n$ we prove that the simultaneous inhomogeneous Diophantine exponent $w_{0}(\vv x, \bmθ)= 1/n$ for almost every point $\vv x$ on $M$. The key result is an inhomogeneous transference principle which enables us to deduce that the homogeneous exponent $w_0(\vv x)=1/n$ for almost all $\vv x\in \cM$ if and only if for any $\bmθ\in\R^n$ the inhomogeneous exponent $w_0(\vv x,\bmθ)=1/n$ for almost all $\vv x\in \cM$. The inhomogeneous transference principle introduced in this paper is an extremely simplified version of that recently discovered in \cite{Beresnevich-Velani-new-inhom}. Nevertheless, it should be emphasised that the simplified version has the great advantage of bringing to the forefront the main ideas of \cite{Beresnevich-Velani-new-inhom} while omitting the abstract and technical notions that come with describing the inhomogeneous transference principle in all its glory.

研究动机与目标

• 在流形上建立施普林茨克猜想的非齐次版本。
• 证明对于任意非齐次向量 $\bm{\theta} \in \mathbb{R}^n$，在非退化子流形 $\mathcal{M} \subset \mathbb{R}^n$ 上，几乎所有 $\mathbf{x}$ 满足联合非齐次指数 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$。
• 提出并应用一种简化的非齐次传递原理，将非齐次问题转化为已知的齐次情形。

提出的方法

• 提出一种简化的非齐次传递原理，表明 $w_0(\mathbf{x}) = 1/n$ 几乎处处在 $\mathcal{M}$ 上成立，当且仅当对任意 $\bm{\theta} \in \mathbb{R}^n$，有 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$ 几乎处处在 $\mathcal{M}$ 上成立。
• 使用测度论论证来控制逼近失败集合的测度，区分不相交与相交逼近球的情况。
• 应用贝尔-坎特利引理，表明逼近指数超过 $1/n$ 的点集测度为零。
• 分析逼近球 $B^\theta_{\mathbf{p},q}(\varepsilon)$ 的几何性质及其与流形 $\mathcal{M}$ 的交集，分为不相交与相交两类情况。
• 证明相交球导致的点属于 $\mathcal{S}_n(\varepsilon/3) \cap \mathcal{M}$ 或有理点，这两类点在 $\mathcal{M}$ 上的测度均为零。
• 结合不相交与相交情形的估计，得出满足 $w_0(\mathbf{x}, \bm{\theta}) > 1/n$ 的点集在 $\mathcal{M}$ 上的测度为零。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^n$ 的非退化子流形上，联合非齐次丢番图逼近指数是否对几乎所有点都等于 $1/n$？
• RQ2 能否通过传递原理将流形上的非齐次丢番图逼近问题转化为齐次情形？
• RQ3 由非齐次不等式定义的逼近集在流形上的测度论行为如何？
• RQ4 非退化流形的几何性质如何影响非齐次情形下良好逼近点的分布？
• RQ5 在这些流形上，非齐次指数大于 $1/n$ 的点集是否可忽略？

主要发现

• 对于 $\mathbb{R}^n$ 的非退化子流形 $\mathcal{M}$ 上的几乎所有 $\mathbf{x}$，联合非齐次丢番图逼近指数 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$，其中 $\bm{\theta} \in \mathbb{R}^n$ 为任意向量。
• 满足 $w_0(\mathbf{x}, \bm{\theta}) > 1/n$ 的点集 $\mathbf{x} \in \mathcal{M}$ 的勒贝格测度为零。
• 简化的非齐次传递原理建立了齐次与非齐次指数之间的等价关系：$w_0(\mathbf{x}) = 1/n$ 几乎处处在 $\mathcal{M}$ 上成立，当且仅当对任意 $\bm{\theta}$，有 $w_0(\mathbf{x}, \bm{\theta}) = 1/n$ 几乎处处在 $\mathcal{M}$ 上成立。
• 位于相交逼近球中的点集的测度为零，因为这些点要么属于 $\mathcal{S}_n(\varepsilon/3) \cap \mathcal{M}$，要么为有理点，而这两类点在 $\mathcal{M}$ 上的测度均为零。
• 位于不相交逼近球中的点集的测度随尺度增大而趋于零，这是由于此类集合的测度呈指数衰减。
• 该结果证实了施普林茨克猜想的非齐次版本，将经典丢番图逼近理论扩展到了流形上的非齐次情形。