arXiv++ Combinatorics

We prove a number field analogue of the Green--Tao--Ziegler theorem on simultaneous prime values of degree 1 polynomials whose linear parts are pairwise linearly independent. This can be used to prove a Hasse principle result for certain fibrations $X\to \mathbb{P}^1$ over a number field $K$ extending a result of Harpaz--Skorobogatov--Wittenberg which was only available over $\mathbb Q $. The main technical content is the proof that the von Mangoldt function $Λ_K$ of a number field $K$ is well approximated by its Cramer/Siegel models in the Gowers norm sense. Via the inverse theory of the Gowers norm, this is achieved by showing that the difference of $Λ_K$ and its model is asymptotically orthogonal to nilsequences. To prove the asymptotic orthogonality, we use Mitsui's Prime Element Theorem as the base case and proceed by upgrading Green--Tao's type I/II sum computation to the general number field. Other applications of our results include the negative resolution of Hilbert's Tenth Problem over all number rings by Koymans--Pagano.

Green and Tao famously proved in a 2008 paper that there are arithmetic progressions of prime numbers of arbitrary lengths. Soon after, analogous statements were proved by Tao for the ring of Gaussian integers and by Lê for the polynomial rings over finite fields. In 2020 this was extented to orders of arbitrary number fields by Kai-Mimura-Munemasa-Seki-Yoshino. We settle the case of the coordinate rings of affine curves over finite fields. The main contribution of this paper is subtle choice of a polynomial subring of the given ring which plays the role of $\mathbb Z$ in the number field case. This choice and the proof of its pleasant properties eventually depend on the Riemann-Roch formula.

Given any number field, we prove that there exist arbitrarily shaped constellations consisting of pairwise non-associate prime elements of the ring of integers. This result extends the celebrated Green-Tao theorem on arithmetic progressions of rational primes and Tao's theorem on constellations of Gaussian primes. Furthermore, we prove a constellation theorem on prime representations of binary quadratic forms with integer coefficients. More precisely, for a non-degenerate primitive binary quadratic form $F$ which is not negative definite, there exist arbitrarily shaped constellations consisting of pairs of integers $(x,y)$ for which $F(x,y)$ is a rational prime. The latter theorem is obtained by extending the framework from the ring of integers to the pair of an order and its invertible fractional ideal.