We describe some highlights of developments by the research group funded by the grant:
Together with T. Tao we established a number of "concatenation theorems" that assert, roughly speaking, that if a function exhibits "Gowers anti-uniform",behaviour in two different directions separately, then it also exhibits the same behavior (but at higher degree) in both directions jointly. Among other things, this allows one to control averaged local Gowers uniformity norms by global Gowers uniformity norms. In a sequel to this paper, we will apply such control to obtain asymptotics for "polynomial progressions" n+P1(r),…,n+Pk(r) in various sets of integers, such as the prime numbers.
Together with D. Kazhdan we discover new interesting connections between algebraic geometry and additive combinatorics. We define a new algebraic notion of Approximate cohomology and calculate it in a special case using techniques from additive combinatorics. We prove several important properties of high rank varieties; in particular we give a new proof Stilman’s conjecture in algebra using techniques from finite fields.
Together with my graduate student A. Lampert we developed the notion of relative rank for polynomials and proved important results relating relative rank and bias. In particular we proved the any variety defined over a field which is either finite or of bounded is the locus of r polynomials of bounded degree contains a high (relative) rank sub variety of codimension that is bounded polynomial in terms of the number of polynomials genre. We expect this notion to have strong significance in diophantine geometry.
My graduate student O. Shalom developed structure theory for the Host-Kra uniformity norms for the action of groups that are infinitely generated and but with unbounded torsion, extending results of Bergelson-Tao-Ziegler.
In joint work with K. Matomäki, M. Radziwiłł, T. Tao, and J. Teräväinen, we prove uniformity results for bounded multiplicative functions in short intervals on average. As a consequence we show that the number of sign patterns of the Liouville function is superpolynomial, making progress on a conjecture of Sarnak about the Liouville sequence having positive entropy. Secondly, we obtain cancellation in averages of Liouville over short polynomial progressions, which in the case of linear polynomials yields a new averaged version of Chowla's conjecture.