An inverse theorem for the Gowers U^3 norm

By Ben Joseph Green, Terence Tao. 2005

218 citations recorded by the source corpus.

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).

Subfields: Algebra and Number Theory, Discrete Mathematics and Combinatorics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/6b0c57d81293076b01a79275f1dbce167d680bcd

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Algebra and Number Theory

In Discrete Mathematics and Combinatorics

In Geometry and Topology

Citations in the corpus

A quantitative version of the idempotent theorem in harmonic analysis (2006, methodology): “Property bs5 and a lower bound on the density of Bohr systems are documented in the next lemma, a proof of which may be found in any of [8], [10], [13].”
The dichotomy between structure and randomness, arithmetic progressions, and the primes (2005, unknown): “For full details, see [29].”
The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures (2017, background): “(8)The notion of symbol in [20] was adapted to a hyperfinite interval or box, rather than to the integers, due to the need to perform a “single-scale” analysis in that paper rather than the “asymptotic” analysis considered here.”
Nil Bohr-sets and almost automorphy of higher order (2014, result): “[56] T. Ziegler, Universal characteristic factors and Furstenberg averages.”
Higher order Fourier analysis of multiplicative functions and applications (2014, methodology): “This was established by Landau when deg(P ) = 2 [33] (see also [27]), by Helfgott when deg(P ) = 3 [28, 29], and when P is a product of pairwise independent linear forms by Green, Tao, and Ziegler [22, 23, 24, 25].”
The quantitative behaviour of polynomial orbits on nilmanifolds (2007, methodology): “In a companion paper [13] we shall use this theorem to establish the Möbius and Nilsequences conjecture from our earlier paper [12].”
Long gaps between primes (2014, methodology): “In [13], the approach taken was to use recent results on linear equations in primes [21, 22, 23] to locate arithmetic progressions q, q + r!p, .”
The logarithmic Sarnak conjecture for ergodic weights (2017, background): “4 in various places) the Gowers uniformity of the W -tricked von Mangoldt function which was established in [32, 34, 35].”