[论文解读] Systems of small linear forms and Diophantine approximation on manifolds

Victor Beresnevich, Vasili Bernik+1 more|arXiv (Cornell University)|Jul 2, 2017

Mathematical Dynamics and Fractals参考文献 25被引用 4

一句话总结

本文在非退化流形上建立了关于丢番图逼近的辛钦型定理，推广了对同时小线性形式系统的结果。它在无需单调性约束的情况下证明了收敛情形，并在豪斯多夫测度下证明了发散情形，从而在极小性设定下对流形上小线性形式系统实现了最优改进。

ABSTRACT

We develop the theory of Diophantine approximation for systems of simultaneously small linear forms, which coefficients are drawn from any given analytic non-degenerate manifolds. This setup originates from a problem of Sprindžuk from the 1970s on approximations to several real numbers by conjugate algebraic numbers. Our main result is a Khintchine type theorem, which convergence case is established without usual monotonicity constrains and the divergence case is proved for Hausdorff measures. The result encompasses several previous findings and, within the setup considered, gives the best possible improvement of a recent theorem of Aka, Breuillard, Rosenzweig and Saxcé on extremality.

研究动机与目标

• 为系数位于非退化解析流形上的同时小线性形式系统建立丢番图逼近理论。
• 将斯普林杰克问题（Sprindžuk）关于共轭代数数逼近的结果推广至更广泛的流形设定。
• 在逼近函数无需单调性要求的条件下，建立辛钦型定理。
• 利用豪斯多夫测度证明发散情形，扩展了以往关于普遍性和正规系统的结果。
• 在同时逼近的背景下，改进阿卡（Aka）、布罗伊尔德（Breuillard）、罗森茨韦格（Rosenzweig）和萨克斯（Saxcé）近期关于极小性的结果。

提出的方法

• 将问题表述为 $ m \times (n+1) $ 矩阵 $ Y $，使得对无穷多个 $ \mathbf{a} \in \mathbb{Z}^{n+1} $，有 $ |Y_j \mathbf{a}| < \Psi(|\mathbf{a}|) $，通过在点处求值推广多项式逼近。
• 使用纤维化引理（Fibering Lemma），通过高次单项式重新参数化变量，将高维非退化流形约化为低维非退化曲线。
• 应用截面引理（Slicing Lemma，豪斯多夫测度的Fubini型结果），将低维截面的发散结果提升至全维集合。
• 建立正规系统和普遍性结构，以在无需单调性的情况下处理收敛情形，依赖于流形的非退化性。
• 使用测度质量传递原理（Mass Transference Principle），将发散情形下从勒贝格测度到豪斯多夫测度的结果进行转换。
• 通过变量替换 $ t \mapsto t^{1+D^{d_j}} $ 保持非退化性，并实现对流形维度的归纳约化。

实验结果

研究问题

• RQ1 能否在不假设逼近函数单调性的前提下，建立关于小线性形式系统的辛钦型定理的收敛情形？
• RQ2 当逼近函数非单调时，此类系统的发散情形是否仍适用于豪斯多夫测度？
• RQ3 能否将流形上丢番图逼近的理论推广至系数取自非退化解析子流形的同时间小线性形式系统？
• RQ4 此类系统的极小性与先前结果（特别是阿卡、布罗伊尔德、罗森茨韦格和萨克斯的结果）相比如何？
• RQ5 在非退化流形上，同时良好逼近点集具有全豪斯多夫测度的精确条件是什么？

主要发现

• 本文在非退化解析流形上为同时小线性形式系统建立了完整的辛钦型定理，且收敛情形在无需单调性约束下成立。
• 发散情形已在豪斯多夫测度下得到证明，将经典结果推广至非单调逼近函数和一般流形。
• 关键收敛条件为 $ S_{n,m}(\Psi) = \sum_{h=1}^\infty h^{n-m} \Psi^m(h) < \infty $，该条件决定了良好逼近点集的勒贝格测度为零。
• 当 $ S_{n,m}(\Psi) = \infty $ 且满足单调性时，可确保在任意球体内具有全勒贝格测度，将经典结果扩展至流形设定。
• 本结果通过去除收敛情形下的单调性假设，改进了阿卡、布罗伊尔德、罗森茨韦格和萨克斯近期的定理。
• 证明通过新颖的归纳约化方法（利用纤维化引理和截面引理）处理任意维度的非退化流形，同时保持逼近问题的结构。