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

技術要約：関数体におけるサーコジの定理の一般化

問題設定
本論文は、有限体 $\mathbb{F}_q$ 上の多項式環 $\mathbb{F}_q[t]$ において、特定の多項式構成を回避する高密度な部分集合を見つける問題に取り組んでいる。これは、整数 $\mathbb{Z}$ におけるサーコジ（Sárközy）の定理の関数体版である。サーコジの定理は、正の上漸近密度を持つ $\mathbb{Z}$ の任意の部分集合は、異なる2つの要素の差が完全平方数（またはより一般的には、交差的多項式の値）となるような要素を含むことを述べている。

$\mathbb{F}_q[t]$ の文脈では、Greenによる先行研究により、定数項がゼロである多項式 $F(b(t))$ の形をした差を回避する集合に対して、強力な定量的評価が確立されている。しかし、Greenの結果は、 $F$ の $\mathbb{F}_q[t]$ における根の数が $q$ と互いに素であるという技術的な条件に依存していた。LiとSauermannは最近、単変数ケースにおいてこの条件を排除したが、多変数を含む方程式や、より複雑な線形結合へとこれらの結果を拡張する問題は未解決のままであった。

手法
著者らは、特定の構成を回避する集合のサイズを制限するために、「スライスランク（slice rank）」を用いた関数の手法である Croot-Lev-Pach 多項式法 を採用している。彼らのアプローチの核心は以下の通りである：

1. 単一の根への帰着： LiとSauermannによる観察に従い、著者らは、定数項がゼロである任意の多項式 $F(x) \in \mathbb{F}_q[t][x]$ に対して、十分大きな整数 $M$ を用いて $F(x)$ を $F(t^M x)$ に置き換えることができる点に注目する。この変換により、得られる多項式は $\mathbb{F}_q[t]$ において自明な根 $x=0$ のみを持ち、それによって、多項式法の要件である根の条件を、一般性を失うことなく満たすことが可能となる。
2. 多項式写像とスライスランク： 問題は、以下の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$ の像上で台（support）を持つ多項式である（これはGreenの補題によって保証される）。
3. スライスランクによる評価：
   • 下界： 写像の性質と、集合 $A$ が非自明な解を含まないという仮定に基づき、関数 $f$ は $a_1 = \dots = a_k$ である場合にのみ非ゼロとなる。Taoの補題によれば、このような対角関数は、そのスライスランクが $|A|$ に等しい。
   • 上界： スライスランクはまた、特定の次数制約を満たす $f$ の展開における単項式の数によっても抑えられる。これは、鳩の巣原理と生成関数を用いた引数を用いて推定され、集合のサイズ $|A|$ に関する不等式へと導かれる。

主要な貢献と結果
主要な貢献は、$\mathbb{F}_q[t]$ 上の $k$ 変数の方程式に対するサーコジの定理を一般化した 定理 5 である。具体的には、著者らは以下を証明している：

• 定理 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$ が存在して、次数 $< n$ の多項式からなる集合 $A \subset G_n$ の濃度が $|A| > c' q^{cn}$ であるならば、以下の式を満たす非自明な解 $(a_1, \dots, a_k, b)$ が存在する：
  $$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)$ を含むケースへと拡張している。

また、本論文は、定理 5 の基礎となる、多項式写像とスライスランク法を組み合わせた一般的な言明である 命題 7 も提供している。

意義
本論文は、主に以下の2つの領域において重要であると主張している：

1. 多変数への一般化： 2つの要素の差に関する関数体におけるサーコジ型の定理の範囲を、$k$ 個の要素の $r$ 乗の線形結合が多項式の値に等しいという問題へと拡張した。
2. 技術的条件の除去： $F(t^M x)$ という変換に関する単純な観察を統合することで、著者らは、$F$ の根の数に関する制限的な条件（$q$ と互いに素であること）が、この一般化された設定における定理の定性的な妥当性に不要であることを示している。

著者らは、定理 6（Bienvenuによる）が同次的なケースに対してより強い結論を与える一方で、定理 5（$k > 2r^2(1 - 1/\ell^2)$）と比較して、より多くの変数（$k \ge 2r^2 + 1$）を必要とすることに注意を払っている。したがって、これら2つの定理は、一方が他方を包含するのではなく、相補的な関係にある。本研究は完全にCroot-Lev-Pach 多項式法に依拠しており、新しい実験的な提案や未検証の応用を導入するものではない。