## The primes contain arbitrarily long polynomial progressions.(English)Zbl 1230.11018

Acta Math. 201, No. 2, 213-305 (2008); erratum ibid. 210, No. 2, 403-404 (2013).
Let $$\mathcal{A}$$ be a subset of the primes having positive relative upper density in the set of all primes. Suppose that one is given polynomials $$f_1(x),\dots,f_k(x)\in\mathbb{Z}[x]$$ such that $$f_1(0)= \dots=f_k(0)$$. Then it is shown that there are infinitely many pairs of integers $$m$$ and $$n$$ for which $m,\,m+f_1(n),\dots, m+f_k(n)\in\mathcal{A}.$ Taking $$f_j(x)=jx$$ one recovers as a special case the theorem of B. Green and T. Tao [Ann. Math. (2) 167, No. 2, 481–547 (2008; Zbl 1191.11025)] concerning arbitrarily long arithmetic progressions in the primes. The theorem should also be compared with the result of A. Sárkőzy [Acta Math. Akad. Sci. Hung. 31, 125–149 (1978; Zbl 0387.10033)] and H. Furstenberg [Recurrence in ergodic theory and combinatorial number theory. Princeton, New Jersey: Princeton University Press (1981; Zbl 0459.28023)] which shows that if $$f_1(0)=0$$ then there are infinitely many pairs of integers $$m$$ and $$n$$ for which $$m$$ and $$m+f_1(n)$$ are both prime.
The proof uses the “polynomial Szemerédi theorem” of V. Bergelson and A. Leibman [J. Am. Math. Soc. 9, No. 3, 725–753 (1996; Zbl 0870.11015)], which gives a statement analogous to the main theorem above, but for sets $$\mathcal{A}$$ having positive relative upper density in the set of all integers. The overall structure of the argument then follows that in the work of Green and Tao cited above. One proves a quantitative version of Bergelson and Leibman’s polynomial Szemerédi theorem, and then establishes a transference principle, giving a polynomial Szemerédi theorem relative to any suitable pseudorandom measure. Finally an enveloping sieve is used to construct a pseudorandom measure majorizing the characteristic function for the primes.
It should not be imagined however that the present paper is an easy generalization of the Green–Tao argument. Let it suffice to mention just one obstacle that must be overcome. In the linear case, with $$f_j(x)=jx$$, one can take the variables $$m$$ and $$n$$ to be of the same order of magnitude; but now this is impractical. As a result, it is no longer appropriate to use the standard Gowers uniformity norms. Instead the paper introduces a local version of these norms, whose properties the paper develops, and which eventually lead to a local Koopman–von Neumann theorem.

### MSC:

 11B30 Arithmetic combinatorics; higher degree uniformity 11N05 Distribution of primes 11N36 Applications of sieve methods 11K45 Pseudo-random numbers; Monte Carlo methods 37A45 Relations of ergodic theory with number theory and harmonic analysis (MSC2010)

### Citations:

Zbl 1191.11025; Zbl 0387.10033; Zbl 0459.28023; Zbl 0870.11015
Full Text:

### References:

 [1] Alon, N., Combinatorial Nullstellensatz. Combin. Probab. Comput., 8 (1999), 7–29. · Zbl 0920.05026 [2] Balog, A., Pelikán, J., Pintz, J. & Szemerédi, E., Difference sets without th powers. Acta Math. Hungar., 65 (1994), 165–187. · Zbl 0816.11014 [3] Bateman, P. T. & Horn, R. A., A heuristic asymptotic formula concerning the distribution of prime numbers. Math. Comp., 16 (1962), 363–367. · Zbl 0105.03302 [4] Bergelson, V., Weakly mixing PET. Ergodic Theory Dynam. Systems, 7 (1987), 337–349. · Zbl 0645.28012 [5] Bergelson, V., Host, B., McCutcheon, R. & Parreau, F., Aspects of uniformity in recurrence. Colloq. Math., 84/85 (2000), 549–576. · Zbl 0966.28009 [6] Bergelson, V. & Leibman, A., Polynomial extensions of van der Waerden’s and Szemerédi’s theorems. J. Amer. Math. Soc., 9 (1996), 725–753. · Zbl 0870.11015 [7] Deligne, P., La conjecture de Weil. I. Inst. Hautes Études Sci. Publ. Math., 43 (1974), 273–307. · Zbl 0287.14001 [8] – La conjecture de Weil. II. Inst. Hautes Études Sci. Publ. Math., 52 (1980), 137–252. · Zbl 0456.14014 [9] Frantzikinakis, N. & Kra, B., Polynomial averages converge to the product of integrals. Israel J. Math., 148 (2005), 267–276. · Zbl 1155.37303 [10] Furstenberg, H., Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. J. Anal. Math., 31 (1977), 204–256. · Zbl 0347.28016 [11] – Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton University Press, Princeton, NJ, 1981. · Zbl 0459.28023 [12] Furstenberg, H. & Katznelson, Y., An ergodic Szemerédi theorem for commuting transformations. J. Anal. Math., 34 (1978), 275–291 (1979). · Zbl 0426.28014 [13] Goldston, D. A., Pints, J. & Yıldırım, C. Y., Small gaps between primes. II. Preprint, 2008. [14] Goldston, D. A. & Yıldırım, C. Y., Higher correlations of divisor sums related to primes. I. Triple correlations. Integers, 3 (2003), A5, 66 pp. · Zbl 1118.11039 [15] Gowers, W. T., A new proof of Szemerédi’s theorem. Geom. Funct. Anal., 11 (2001), 465–588. · Zbl 1028.11005 [16] Green, B., On arithmetic structures in dense sets of integers. Duke Math. J., 114 (2002), 215–238. · Zbl 1020.11010 [17] Green, B. & Tao, T., An inverse theorem for the Gowers U 3 (G) norm. Proc. Edinb. Math. Soc., 51 (2008), 73–153. · Zbl 1202.11013 [18] – The primes contain arbitrarily long arithmetic progressions. Ann. of Math., 167 (2008), 481–547. · Zbl 1191.11025 [19] – Linear equations in primes. To appear in Ann. of Math. · Zbl 0774.11058 [20] Host, B., Progressions arithmétiques dans les nombres premiers (d’après B. Green et T. Tao). Astérisque, 307 (2006), viii, 229–246. · Zbl 1175.11052 [21] Host, B. & Kra, B., Convergence of polynomial ergodic averages. Israel J. Math., 149 (2005), 1–19. · Zbl 1085.28009 [22] Janusz, G. J., Algebraic Number Fields. Pure and Applied Mathematics, 55. Academic Press, New York–London, 1973. · Zbl 0307.12001 [23] Leibman, A., Convergence of multiple ergodic averages along polynomials of several variables. Israel J. Math., 146 (2005), 303–315. · Zbl 1080.37002 [24] Pintz, J., Steiger, W. L. & Szemerédi, E., On sets of natural numbers whose difference set contains no squares. J. London Math. Soc., 37 (1988), 219–231. · Zbl 0651.10031 [25] Ramaré, O., On Shnirel’man’s constant. Ann. Scuola Norm. Sup. Pisa Cl. Sci., 22 (1995), 645–706. · Zbl 0851.11057 [26] Ramaré, O. & Ruzsa, I. Z., Additive properties of dense subsets of sifted sequences. J. Théor. Nombres Bordeaux, 13 (2001), 559–581. · Zbl 0996.11057 [27] Ruzsa, I. Z., An analog of Freiman’s theorem in groups. Astérisque, 258 (1999), xv, 323–326. · Zbl 0946.11007 [28] Sárközy, A., On difference sets of sequences of integers. I. Acta Math. Acad. Sci. Hungar., 31 (1978), 125–149. · Zbl 0387.10033 [29] Slijepčević, S., A polynomial Sárközy–Furstenberg theorem with upper bounds. Acta Math. Hungar., 98 (2003), 111–128. · Zbl 1059.11060 [30] Szemerédi, E., On sets of integers containing no k elements in arithmetic progression. Acta Arith., 27 (1975), 199–245. · Zbl 0303.10056 [31] Tao, T., The Gaussian primes contain arbitrarily shaped constellations. J. Anal. Math., 99 (2006), 109–176. · Zbl 1160.11006 [32] – Obstructions to uniformity and arithmetic patterns in the primes. Pure Appl. Math. Q., 2 (2006), 395–433. · Zbl 1105.11032 [33] – A quantitative ergodic theory proof of Szemerédi’s theorem. Electron. J. Combin., 13 (2006), Research Paper 99, 49 pp. [34] – A variant of the hypergraph removal lemma. J. Combin. Theory Ser. A, 113 (2006), 1257–1280. · Zbl 1105.05052 [35] – An ergodic transference theorem. Unpublished notes. http://www.math.ucla.edu/ao/preprints/Expository/limiting.dvi . [36] – A remark on Goldston–Yıldırım correlation estimates. Preprint, 2007. http://www.math.ucla.edu/ao/preprints/Expository/gy-corr.dvi . [37] Titchmarsh, E. C., The Theory of the Riemann Zeta-Function. Oxford University Press, New York, 1986. · Zbl 0601.10026 [38] Varnavides, P., On certain sets of positive density. J. London Math. Soc., 34 (1959), 358–360. · Zbl 0088.25702
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.