Abstract
Consider a system Ψ of nonconstant affine-linear forms ψ1,…,ψt:ℤd→ℤ, no two of which are linearly dependent. Let N be a large integer, and let K⊆[−N,N]d be convex. A generalisation of a famous and difficult open conjecture of Hardy and Littlewood predicts an asymptotic, as N→∞, for the number of integer points n∈ℤd∩K for which the integers ψ1(n),…,ψt(n) are simultaneously prime. This implies many other well-known conjectures, such as the twin prime conjecture and the (weak) Goldbach conjecture. It also allows one to count the number of solutions in a convex range to any simultaneous linear system of equations, in which all unknowns are required to be prime.
In this paper we (conditionally) verify this asymptotic under the assumption that no two of the affine-linear forms ψ1,…,ψt are affinely related; this excludes the important “binary” cases such as the twin prime or Goldbach conjectures, but does allow one to count “nondegenerate” configurations such as arithmetic progressions. Our result assumes two families of conjectures, which we term the inverse Gowers-norm conjecture (GI(s)) and the Möbius and nilsequences conjecture (MN(s)), where s∈{1,2,…} is the complexity of the system and measures the extent to which the forms ψi depend on each other. The case s=0 is somewhat degenerate, and follows from the prime number theorem in APs.
Roughly speaking, the inverse Gowers-norm conjecture GI(s) asserts the Gowers Us+1-norm of a function f:[N]→[−1,1] is large if and only if f correlates with an s-step nilsequence, while the Möbius and nilsequences conjecture MN(s) asserts that the Möbius function μ is strongly asymptotically orthogonal to s-step nilsequences of a fixed complexity. These conjectures have long been known to be true for s=1 (essentially by work of Hardy-Littlewood and Vinogradov), and were established for s=2 in two papers of the authors. Thus our results in the case of complexity s≤2 are unconditional.
In particular we can obtain the expected asymptotics for the number of 4-term progressions p1

ABOUT THE AUTHOR

### 数学年刊（Annals of Mathematics）

0 Following
0 Fans
0 Projects
674 Articles

SIMILAR ARTICLES

Abstract
For any nondegenerate, quasi-homogeneous hypersurface singularity, we describe a family of moduli spaces, a virtual cycle, and a correspondin

Read More
Abstract
For a large class of nonlinear Schrödinger equations with nonzero conditions at infinity and for any speed c less than the sound velocity, we

Read More
Abstract
Let L2,p(ℝ2) be the Sobolev space of real-valued functions on the plane whose Hessian belongs to Lp. For any finite subset E⊂ℝ2 and p>2, let

Read More
Abstract
We prove that for any group G in a fairly large class of generalized wreath product groups, the associated von Neumann algebra LG completely

Read More
Abstract
We study the parity of 2-Selmer ranks in the family of quadratic twists of an arbitrary elliptic curve E over an arbitrary number field K. We

Read More
Abstract
This paper has two main results. Firstly, we complete the parametrisation of all p-blocks of finite quasi-simple groups by finding the so-cal

Read More
Abstract
We derive sharp Moser-Trudinger inequalities on the CR sphere. The first type is in the Adams form, for powers of the sublaplacian and for ge

Read More
Abstract
We prove that isoparametric hypersurfaces with (g,m)=(6,2) are homogeneous, which answers Dorfmeister-Neher’s conjecture affirmatively and so

Read More
Abstract
We prove the periodicity conjecture for pairs of Dynkin diagrams using Fomin-Zelevinsky’s cluster algebras and their (additive) categorificat

Read More
Abstract
If F(x,y)∈ℤ[x,y] is an irreducible binary form of degree k≥3, then a theorem of Darmon and Granville implies that the generalized superellipt

Read More