[论文解读] Equidistribution of polynomial sequences in function fields, with applications

Thái Hoàng Lê, Yu-Ru Liu+1 more|arXiv (Cornell University)|Nov 4, 2013

Limits and Structures in Graph Theory参考文献 18被引用 5

一句话总结

本文建立了多项式序列在函数域上的韦伊等分布定理的类比，通过引入一种新颖的指数和分析方法，克服了在韦伊差分法中因特征值障碍导致的困难。关键结果证明了即使多项式次数不低于域的特征值，多项式序列在函数域中仍保持等分布，该结果在该设定下对范德科普特集、相交集和格拉斯纳集具有应用价值。

ABSTRACT

We prove a function field analog of Weyl's classical theorem on equidistribution of polynomial sequences. Our result covers the case in which the degree of the polynomial is greater than or equal to the characteristic of the field, which is a natural barrier when applying the Weyl differencing process to function fields. We also discuss applications to van der Corput, intersective and Glasner sets in function fields.

研究动机与目标

• 建立多项式序列在函数域上对韦伊经典等分布定理的类比。
• 解决当多项式次数至少等于函数域特征值时，韦伊差分法的局限性。
• 将等分布结果扩展至传统差分技术因域的正特征值而失效的情形。
• 将等分布结果应用于刻画函数域中的范德科普特集、相交集和格拉斯纳集。
• 开发一种利用迹特征标和圆柱集分析函数域中指数和的新方法。

提出的方法

• 通过加法特征标 $ e(\text{res}\beta) = e_q(\text{tr}(\text{res}\beta)/p) $，其中 $ e_q(a) = e(\text{tr}(a)/p) $，将韦伊准则适配至函数域。
• 通过 $ \theta \to \theta \bmod t^{-M} $ 在 $ \tau = \bigoplus_{i \to -\frac{1}{t^i}} \tau_i $ 上定义等分布性，该结构是 $[0,1)$ 的类比。
• 利用极限 $ \theta(z;u) = \text{Limsup}_{N \to \infty} \frac{1}{q^N} \big| \textstyle\bigsum_{x \to \text{deg} < N} e(z\theta(x)u) \big| $ 分析 $ \theta(x) $ 的等分布性。
• 在函数域设定下应用范德科普特差分定理，将 $ \theta(x) $ 的等分布性归约为差分 $ \theta(x+h) - \theta(x) $ 的等分布性。
• 通过将 $ y_i - y_j $ 分解为有理部分与无理部分，利用迹与范数的性质分析 $ \theta(x) $ 上的指数和。
• 采用部分求和法，并通过引理 7.5 及 $ g' = g / \text{gcd}(z,g) $ 的结构控制误差项。

实验结果

研究问题

• RQ1 当多项式次数至少等于域的特征值时，韦伊的多项式等分布定理能否在函数域中得到推广？
• RQ2 在函数域中，如何对韦伊差分法进行调整，以克服当 $ \text{deg}(f) \to \text{char}(\field{F}_q) $ 时标准差分法失效的问题？
• RQ3 在 $ \field{F}_q((1/t)) $ 中，多项式序列 $ f(x) \bmod t^{-M} $ 的等分布行为如何，特别是当 $ f $ 含有高次项时？
• RQ4 在函数域中，哪些集合——范德科普特集、相交集或格拉斯纳集——可借助多项式序列的等分布性来刻画？
• RQ5 能否建立关于集合 $ Y $ 大小的界限，使得 $ \theta(x) $ 在 $ q $、$ M $ 和 $ k $ 的参数下保持等分布？

主要发现

• 本文证明了在 $ \field{F}_q((1/t)) $ 中，对任意次数的多项式序列 $ f(x) $ 均保持等分布，即使 $ \text{deg}(f) \to \text{char}(\field{F}_q) $，从而克服了经典差分法中的一个关键障碍。
• 研究证明：当且仅当 $ f $ 的首项系数不在 $ \field{F}_q $ 中时，$ \theta(x) = \theta(x) $ 模 $ t^{-M} $ 等分布，这将韦伊准则推广至函数域。
• 对任意 $ k $，使得 $ \theta(x) $ 等分布的 $ k $ 个点的集合 $ Y $ 满足 $ |Y| = k \to \text{O}_{\theta}(q^{4C_k(3M+1)}) $，其中 $ C_k > 1 $ 仅依赖于 $ k $、$ \theta $ 和 $ q $。
• 该方法导出界限 $ \theta(z;u) \to \text{O}_{\theta}(|g|^{-1/(2C_k)} q^M) $，当 $ u $ 为非零有理数且分母为 $ g $ 时，该界限控制了指数和估计中的误差。
• 分析表明：若 $ u $ 为无理数，则 $ \theta(z;u) = 0 $；若 $ u = 0 $，则 $ \theta(z;u) = 1 $；对于非零有理数 $ u $，则呈现中间衰减，从而实现精确控制。
• 该结果表明，函数域中的相交集与范德科普特集可借助多项式序列的等分布性来刻画，从而将经典数论概念扩展至函数域。