[论文解读] An inverse theorem for the Gowers U^3 norm

Ben Green, Terence Tao|arXiv (Cornell University)|Mar 1, 2005

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

一句话总结

本文建立了任意有限阿贝尔群上 Gowers $U^3(G)$ 范数的逆定理，表明当 $U^3$ 范数较大时，其与在 Bohr 邻域上局部化的二次相位函数相关联。该结果使得对任意阿贝尔群中四元等差数列的 Szemerédi 定理实现定量证明，得到界限 $r_4(G) \ll |G| (\log \log |G|)^{-c}$，其中 $c>0$ 为某绝对常数，将 Gowers 原始论证从整数推广至任意阿贝尔群。

ABSTRACT

The Gowers U^3 norm is one of a sequence of norms used in the study of arithmetic progressions. If G is an abelian group and A is a subset of G then the U^3(G) of the characteristic function 1_A is useful in the study of progressions of length 4 in A. We give a comprehensive study of the U^3(G) norm, obtaining a reasonably complete description of functions f : G -> C for which ||f||_{U^3} is large and providing links to recent results of Host, Kra and Ziegler in ergodic theory. As an application we generalise a result of Gowers on Szemeredi's theorem. Writing r_4(G) for the size of the largest set A not containing four distinct elements in arithmetic progression, we show that r_4(G) << |G|(loglog|G|)^{-c} for some absolute constant c. In future papers we will develop these ideas further, obtaining an asymptotic for the number of 4-term progressions p_1 < p_2 < p_3 < p_4 < N of primes as well as superior bounds for r_4(G). Update, December 2023. Proposition 3.2 in the paper, which is stated without detailed proof, is incorrect. For a counterexample, see Candela, Gonzalez-Sanchez and Szegedy arXiv:2311.13899, Remark 4.3. Proposition 3.2 is invoked twice in the paper. First, it is used immediately after its statement to deduce the second part of Theorem 2.3. However, that theorem concerns only vector spaces over finite fields, and in this setting Proposition 3.2 is correct by standard linear algebra. The remark at the end of Section 3 that the argument works for arbitrary $G$ should, however, be deleted. The second application is in the proof of Lemma 10.6. It may well be possible to salvage this lemma, particularly if $P$ is assumed proper, but in any case it is only applied once, in the proof of Proposition 10.8. There, $P$ is proper and, more importantly, $H = \{0\}$ is trivial; in this setting Lemma 10.6 and its proof remain valid.

研究动机与目标

• 建立任意有限阿贝尔群 $G$ 上 Gowers $U^3(G)$ 范数的完整逆定理，刻画该范数较大的条件。
• 将 Gowers 的傅里叶分析方法从整数推广至任意阿贝尔群，以处理四元等差数列的 Szemerédi 定理。
• 为不含四元等差数列的 $G$ 的最大子集大小提供定量界，优于先前结果。
• 阐明 $U^3$ 范数与高阶傅里叶分析之间的联系，特别是与遍历理论中 nilsequence 和特征因子的关系。

提出的方法

• 本文通过 $G^4$ 上的多重线性平均定义 $U^3(G)$ 范数，涉及 $f$ 及其平移的乘积。
• 证明有界函数 $f: G \to \mathbb{C}$ 的 $U^3(G)$ 范数较大，当且仅当其与在 $G$ 的 Bohr 邻域上二次的相位函数 $e(\phi)$ 相关，其中 $\phi: G \to \mathbb{R}/\mathbb{Z}$ 为二次函数。
• 在特殊情形 $G = \mathbb{F}_5^n$ 下，逆定理表明：$U^3$ 范数较大意味着与全局二次相位 $\phi$ 的 $e(\phi)$ 有较大的内积。
• 证明利用了具有大 $U^3$ 范数的函数的结构定理，将问题约化为分析在 Bohr 集上受二次相位控制的函数。
• 将逆定理应用于密度增量法，表明不含四元等差数列的集合必在某个 Bohr 邻域上具有密度增量。
• 该论证涉及对子群 $HP_{k,i}$ 结构的拓扑归纳法，并使用了商空间 $G^k / \Gamma^k$ 上投影映射 $\pi$ 的连续局部右逆。

实验结果

研究问题

• RQ1 在何种条件下，函数 $f: G \to \mathbb{C}$ 的 $U^3(G)$ 范数较大？此类函数如何表征？
• RQ2 能否将 $U^3(G)$ 的逆定理从有限域推广至任意有限阿贝尔群？
• RQ3 当将密度增量法应用于任意阿贝尔群中的四元等差数列时，其定量强度如何？
• RQ4 $U^3$ 范数与二次相位函数如何与遍历理论中特征因子的结构相关联？
• RQ5 逆定理能否用于推导素数中四元等差数列数量的渐近公式？

主要发现

• 当 $G = \mathbb{F}_5^n$ 时，有界函数 $f$ 的 $U^3(G)$ 范数较大，当且仅当其与全局二次相位 $e(\phi)$（$\phi: \mathbb{F}_5^n \to \mathbb{R}/\mathbb{Z}$）有较大的内积。
• 在一般有限阿贝尔群中，$U^3(G)$ 范数较大意味着与仅在 $G$ 的 Bohr 邻域上为二次的相位函数相关联，而非一定全局二次。
• 本文建立了不含四元等差数列的 $G$ 的最大子集大小的定量界 $r_4(G) \ll |G| (\log \log |G|)^{-c}$，其中 $c>0$ 为绝对常数。
• 该界通过结合逆定理与密度增量法获得，将 Gowers 对 Szemerédi 定理的证明推广至任意阿贝尔群。
• 证明构造了商空间 $HP_{k,i}/\Gamma^k$ 上投影映射 $\pi$ 的连续局部右逆，从而在拓扑设定下实现解的归纳构造。
• 结果建立了 $U^3$ 范数、二次相位函数与 nilsystem 结构之间的强关联，与 Host-Kra 和 Ziegler 后续在遍历理论中的发展相一致。