Table of Contents
Fetching ...

The Bombieri-Vinogradov theorem for nilsequences

Xuancheng Shao, Joni Teräväinen

Abstract

We establish results of Bombieri-Vinogradov type for the von Mangoldt function $Λ(n)$ twisted by a nilsequence. In particular, we obtain Bombieri-Vinogradov type results for the von Mangoldt function twisted by any polynomial phase $e(P(n))$; the results obtained are as strong as the ones previously known in the case of linear exponential twists. We derive a number of applications of these results. Firstly, we show that the primes $p$ obeying a "nil-Bohr set" condition, such as $\|αp^k\|<\varepsilon$, exhibit bounded gaps. Secondly, we show that the Chen primes are well-distributed in nil-Bohr sets, generalizing a result of Matomäki. Thirdly, we generalize the Green-Tao result on linear equations in the primes to primes belonging to an arithmetic progression to large modulus $q\leq x^θ$, for almost all $q$.

The Bombieri-Vinogradov theorem for nilsequences

Abstract

We establish results of Bombieri-Vinogradov type for the von Mangoldt function twisted by a nilsequence. In particular, we obtain Bombieri-Vinogradov type results for the von Mangoldt function twisted by any polynomial phase ; the results obtained are as strong as the ones previously known in the case of linear exponential twists. We derive a number of applications of these results. Firstly, we show that the primes obeying a "nil-Bohr set" condition, such as , exhibit bounded gaps. Secondly, we show that the Chen primes are well-distributed in nil-Bohr sets, generalizing a result of Matomäki. Thirdly, we generalize the Green-Tao result on linear equations in the primes to primes belonging to an arithmetic progression to large modulus , for almost all .

Paper Structure

This paper contains 21 sections, 43 theorems, 237 equations.

Key Result

Theorem 1.3

Let an integer $s\geq 1$, large real numbers $A, \Delta\geq 2$, and a small real number $\varepsilon\in (0,1/4)$ be given. Then for any $x \geq 2$, we have where $W = \mathscr{P}((\log x)^C)$ for some constant $C = C(A,s,\Delta,\varepsilon)$.

Theorems & Definitions (84)

  • Definition 1.1: Nilsequences
  • Definition 1.2: Bounded complexity nilsequences
  • Theorem 1.3
  • Theorem 1.4
  • Definition 1.5: Well-factorable sequences
  • Theorem 1.6
  • Remark 1.7
  • Remark 1.8
  • Corollary 1.9
  • Corollary 1.10
  • ...and 74 more