[論文レビュー] 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

ひとこと要約

この論文は、任意の有限アーベル群 $G$ における Gowers $U^3(G)$ ノルムの逆定理を確立し、大きな $U^3$ ノルムが Bohr 邻域上に局在化された二次位相関数と相関することを示している。この結果により、任意のアーベル群における4項等差数列に関する Szemerédi の定理の定量的証明が可能となり、ある絶対定数 $c>0$ に対して $r_4(G) \ll |G| (\log \log |G|)^{-c}$ という評価が得られ、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 の 4項等差数列に関する Szemerédi の定理に対するフーリエ解析的アプローチを、整数から任意のアーベル群へ拡張すること。
• 4項等差数列を含まない $G$ の部分集合の最大サイズに対する定量的評価を与えること。
• 特に、ニルシグムとエルゴディック理論における特徴的因子との関係において、$U^3$ ノルムと高次フーリエ解析との関係を明確にすること。

提案手法

• 論文は、$G^4$ 上の $f$ 及びそのシフトの積を含む多重線形平均を用いて $U^3(G)$ ノルムを定義する。
• 有界関数 $f: G \to \mathbb{C}$ が大きな $U^3(G)$ ノルムを持つことと、$G$ の Bohr 邻域上で二次的である関数 $\phi: G \to \mathbb{R}/\mathbb{Z}$ に対する二次位相関数 $e(\phi)$ と相関することとは同値であることを証明する。
• 特別な場合 $G = \mathbb{F}_5^n$ において、大きな $U^3$ ノルムは、グローバルな二次位相関数 $\phi$ と大きな内積を持つことと同値である。
• 大きな $U^3$ ノルムを持つ関数の構造定理を用い、問題を Bohr 集上で二次位相関数によって制御される関数の解析に還元する。
• 逆定理を密度増加法に応用し、4項等差数列を含まない集合は、ある Bohr 邻域上で密度増加を示すことを示す。
• 部分群 $HP_{k,i}$ の構造に関する位相的帰納法と、商空間 $G^k / \Gamma^k$ 上の射影写像 $\pi$ の連続的局所右逆を用いる。

実験結果

リサーチクエスチョン

• RQ1 関数 $f: G \to \mathbb{C}$ がどのような条件下で $U^3(G)$ ノルムが大きくなるか、そしてこのような関数はどのように特徴付けられるか。
• RQ2 $U^3(G)$ の逆定理を有限体から任意の有限アーベル群へ拡張することは可能か。
• RQ3 任意のアーベル群における4項等差数列に適用した密度増加法の定量的強度はいかほどか。
• RQ4 $U^3$ ノルムと二次位相関数は、エルゴディック理論における特徴的因子の構造とどのように関係するか。
• RQ5 逆定理を用いて、素数における4項等差数列の数の漸近公式を導出できるか。

主な発見

• $G = \mathbb{F}_5^n$ の場合、有界関数 $f$ が大きな $U^3(G)$ ノルムを持つことと、$\phi: \mathbb{F}_5^n \to \mathbb{R}/\mathbb{Z}$ であるグローバルな二次位相関数 $e(\phi)$ と大きな内積を持つことは同値である。
• 一般の有限アーベル群では、大きな $U^3(G)$ ノルムは、$G$ の Bohr 邻域上でしか二次的でない位相関数と相関することを意味するが、必ずしもグローバルに二次的であるとは限らない。
• 論文は、4項等差数列を含まない $G$ の部分集合の最大サイズについて、ある絶対定数 $c>0$ を用いて $r_4(G) \ll |G| (\log \log |G|)^{-c}$ という定量的評価を確立した。
• この評価は、逆定理と密度増加法を組み合わせることで得られ、Gowers が整数において示した Szemerédi の定理の証明を任意のアーベル群へ拡張するものである。
• 証明では、商空間 $HP_{k,i}/\Gamma^k$ 上の射影写像 $\pi$ に対して連続的局所右逆を構成し、位相的設定における帰納的解法の構成を可能にした。
• 結果として、$U^3$ ノルム、二次位相関数、ニルシステムの構造との強い関連が確立され、Host-Kra や Ziegler の後続のエルゴディック理論の発展とも整合する。