[论文解读] The quantitative behaviour of polynomial orbits on nilmanifolds

Ben Green, Terence Tao|arXiv (Cornell University)|Sep 22, 2007

Limits and Structures in Graph Theory参考文献 27被引用 31

一句话总结

本文建立了莱布尼茨定理在尼尔流形上多项式轨道的定量版本，表明任意有限多项式轨道均可分解为光滑部分、有理（周期）部分以及子尼尔流形内的均匀分布部分，且误差容限的界为多项式形式，且在长度 N 上具有一致性。

ABSTRACT

A theorem of Leibman asserts that a polynomial orbit $(g(1),g(2),g(3),\ldots)$ on a nilmanifold $G/Γ$ is always equidistributed in a union of closed sub-nilmanifolds of $G/Γ$. In this paper we give a quantitative version of Leibman's result, describing the uniform distribution properties of a finite polynomial orbit $(g(1),\ldots,g(N))$ in a nilmanifold. More specifically we show that there is a factorization $g = εg'γ$, where $ε(n)$ is "smooth", $γ(n)$ is periodic and "rational", and $(g'(a),g'(a+d),\ldots,g'(a + d(l-1)))$ is uniformly distributed (up to a specified error $δ$) inside some subnilmanifold $G'/Γ'$ of $G/Γ$, for all sufficiently dense arithmetic progressions $a,a+d,\ldots,a+d(l-1)$ inside $\{1,..,N\}$. Our bounds are uniform in $N$ and are polynomial in the error tolerance delta. In a subsequent paper we shall use this theorem to establish the Mobius and Nilsequences conjecture from our earlier paper "Linear equations in primes".

研究动机与目标

• 为莱布尼茨定理在尼尔流形上多项式轨道等分布性的结果提供定量改进。
• 描述有限多项式轨道 (g(n)Γ)ₙ∈[N] 在尼尔流形 G/Γ 中的均匀分布行为。
• 建立分解式 g = εg'γ，其中 ε 为光滑函数，γ 为有理且周期的函数，g' 在子尼尔流形中均匀分布。
• 确保界在 N 上一致，且在误差容限 δ 上为多项式形式。
• 为在附录论文中证明 Möbius 与尼尔序列猜想奠定基础。

提出的方法

• 使用马尔切夫基底定义尼尔流形上的度量，并控制群元素之间的距离。
• 将多项式映射 g(n) 分解为三个分量：光滑误差项 ε(n)、有理周期分量 γ(n) 和良好分布分量 g'(n)。
• 应用在算术级数 P ⊆ [N] 上的 δ-等分布概念，以量化均匀性。
• 利用马尔切夫基底中的有理性概念，控制 Γ 的离散结构及其与 G 的相互作用。
• 使用度量比较引理（例如引理 A.17）将子尼尔流形中的距离与完整尼尔流形中的距离关联起来。
• 利用整数坐标在马尔切夫基底中蕴含的有界性与有理约束，控制离散子群的性质。

实验结果

研究问题

• RQ1 如何将莱布尼茨关于尼尔流形上多项式轨道的定性等分布结果转化为定量形式？
• RQ2 有限多项式轨道可精确分解为光滑、周期与均匀分布分量的结构为何？
• RQ3 是否可对等分布误差建立在 N 上一致、在 δ 上为多项式形式的界？
• RQ4 幂零群及其格的几何与代数结构如何影响轨道的分布？
• RQ5 在长算术级数上，何种条件可确保多项式轨道在子尼尔流形中趋于均匀分布？

主要发现

• 任意有限多项式轨道 (g(n)Γ)ₙ∈[N] 均可分解为 g = εg'γ，使得 ε(n) 为光滑函数，γ(n) 为有理且周期函数，且 g'(n)Γ 在所有足够密集的算术级数 P ⊆ [N] 上于子尼尔流形 G'/Γ' 中 δ-等分布。
• 误差界 δ 的依赖关系为 δ 的多项式形式，且在所有 N 上具有统一依赖性。
• 证明了尼尔流形 G/Γ 在马尔切夫度量下有有界直径，且在群与格的选择上一致，当使用 Q-有理马尔切夫基底时，直径有界于 Q^O(1)。
• 在基底具有有理性假设下，子尼尔流形 G'/Γ' 中的距离与完整尼尔流形 G/Γ 中的距离相比，相差一个 Q^O(1) 因子。
• 在固定元素附近距离 M 内的群元素 γ ∈ Γ 的数量是有限的，且一致有界，这是由于马尔切夫基底的有理性及坐标整数性所致。
• 证明依赖于如下事实：若群元素 γ 在马尔切夫坐标下接近有理子空间，则当距离足够小时，它必属于有理子群，前提是距离相对于有理参数 Q 足够小。