A Generalization of Sárközy's theorem in function fields

技术摘要：Sárközy 定理在函数域中的推广

问题陈述
本文研究了在有限域 $\mathbb{F}_q[t]$ 的多项式环中，寻找避免特定多项式构型的稠密子集的问题。这是整数领域 Sárközy 定理在函数域中的类比，该定理指出，任何具有正上渐近密度的整数子集 $\mathbb{Z}$ 都包含两个不同的元素，其差是一个完全平方数（或更一般的，是一个交集多项式的取值）。

在 $\mathbb{F}_q[t]$ 的语境下，Green 此前的研究为避免形式为 $F(b(t))$（其中 $F$ 是常数项为零的多项式）之差的集合建立了强定量界限。然而，Green 的结果依赖于一个技术性条件，即要求 $F$ 在 $\mathbb{F}_q[t]$ 中的根的数量与 $q$ 互质。虽然 Li 和 Sauermann 最近在单变量情况下移除了这一条件，但在处理涉及多变量和更复杂线性组合的方程时，扩展这些结果仍是一个开放问题。

方法论
作者采用了 Croot-Lev-Pach 多项式方法，这是一种利用函数的“切片秩”（slice rank）来限制避免某些构型的集合大小的技术。他们方法的核心包括：

1. 归约为单根情况： 遵循 Li 和 Sauermann 的观察，作者指出对于任何常数项为零的多项式 $F(x) \in \mathbb{F}_q[t][x]$，可以通过令 $F(x)$ 替换为 $F(t^M x)$（其中 $M$ 为足够大的整数）来处理。这种变换确保了所得多项式在 $\mathbb{F}_q[t]$ 中仅有一个平凡根 $x=0$，从而在不失一般性的情况下，满足了多项式方法所需的根条件。
2. 多项式映射与切片秩： 该问题通过两个多项式映射进行建模：
   • $\Psi: (\mathbb{F}_q^n)^k \to \mathbb{F}_q^{n'}$，代表线性组合 $c_1 a_1^r + \dots + c_k a_k^r$。
   • $\Phi: \mathbb{F}_q^m \to \mathbb{F}_q^{n'}$，代表多项式 $F(b)$。
     作者构造了一个复合函数 $f(a_1, \dots, a_k) = P(\Psi(a_1, \dots, a_k))$，其中 $P$ 是由 $\Phi$ 的像所支撑的多项式（由 Green 的引理保证存在）。
3. 通过切片秩进行估计：
   • 下界： 根据映射的性质以及集合 $A$ 不包含非平凡解的假设，函数 $f$ 当且仅当 $a_1 = \dots = a_k$ 时非零。根据 Tao 的引理，此类对角函数其切片秩等于 $|A|$。
   • 上界： 切片秩同时也受到 $f$ 展开式中满足特定次数约束的单项式数量的限制。通过使用鸽巢原理和生成函数，作者对该数量进行了估计，从而导出了一个涉及集合大小 $|A|$ 的不等式。

主要贡献与结果
其主要贡献是 定理 5，它将 Sárközy 型定理推广到 $k$ 个变量在 $\mathbb{F}_q[t]$ 上的方程。具体而言，作者证明了：

• 定理 5： 令 $r, k, d, \ell$ 为满足 $k > 2r^2(1 - 1/\ell^2)$ 的整数。设 $c_1, \dots, c_k \in \mathbb{F}_q[t]$ 的次数至多为 $d$ 且满足 $\sum c_i = 0$。设 $F(x) \in \mathbb{F}_q[t][x]$ 是一个常数项为零且次数为 $\ell$ 的多项式。那么存在常数 $c \in (0, 1)$ 和 $c' > 0$，使得任何基数 $|A| > c' q^{cn}$ 的子集 $A \subset G_n$（次数小于 $n$ 的多项式）都包含如下方程的一个非平凡解：
  $$c_1 a_1^r + \dots + c_k a_k^r = F(b)$$
  其中 $b \in \mathbb{F}_q[t]$。若 $a_1 = \dots = a_k$ 且 $b=0$，则称该解为平凡解。

该结果涵盖了之前的定理：

• 当 $r=1$ 且 $k=2$ 时，它恢复了 Green 的结果（定理 3）和 Li-Sauermann 的改进（定理 4）。
• 它将第一作者关于齐次方程 $c_1 a_1^r + \dots + c_k a_k^r = 0$ 的工作（定理 6）扩展到了涉及 $F(b)$ 的非齐次情况。

论文还提供了 命题 7，这是一个结合了切片秩方法与多项式映射的一般性陈述，定理 5 是由此推导而出的。

意义
该论文声称在两个主要领域具有重要意义：

1. 向多变量推广： 它将函数域中 Sárközy 型定理的范围从两个元素的差扩展到了 $k$ 个元素的 $r$ 次幂的线性组合等于一个多项式值的形式。
2. 移除技术条件： 通过整合关于变换 $F(t^M x)$ 的简单观察，作者证明了关于 $F$ 的根的数量（需与 $q$ 互质）这一限制性条件对于该推广设定下定理的定性有效性是不必要的。

作者指出，虽然定理 6（由 Bienvenu 提供）为齐次情况提供了更强的结论，但它需要更多的变量（$k \ge 2r^2 + 1$），相比之下定理 5 的要求较低（$k > 2r^2(1 - 1/\ell^2)$）。因此，这两个定理是互补关系，而非包含关系。这项工作完全依赖于 Croot-Lev-Pach 多项式方法，并未引入新的实验性提议或未经证实的应用。