arXiv++ Combinatorics

In this paper we develop Host--Kra and inverse Gowers theory for abelian groups of bounded exponent. We show that the Host--Kra factors $Z^{\leq k}(\mathrm{X})$ associated with actions of such groups admit extensions with the structure of \emph{polynomial towers}. This new notion is a system obtained as a finite iteration of abelian extensions of the trivial system by polynomial cocycles; crucially, the intermediate extensions in this system are not required to agree with the Host--Kra factors. We prove that all such extensions are Abramov (generalizing a recent result of Candela, González-Sánchez, and Szegedy), but not necessarily Weyl, and have the structure of k-step translational systems. Combining this structure theorem with a correspondence principle due to the first and third authors, we derive an inverse theorem for the Gowers norms on finite abelian groups of bounded exponent: large $U^{k+1}$-norm implies large correlation with a polynomial of degree $\le k$ (on the same group), even when the exponent is not square-free or is divisible by small primes. This resolves a conjecture of the first and third authors for such groups, and also answers a question of Candela, González-Sánchez, and Szegedy.

The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with $2$-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.

It was conjectured by Bergelson, Tao, and Ziegler \cite{btz} that every Host--Kra $\F_p^ω$-system of order $k$ is an Abramov system of order $k$. This conjecture has been verified for $k \leq p+1$. In this paper we show that the conjecture fails when $k=5, p=2$. We in fact establish a stronger (combinatorial) statement, in that we produce a bounded function $f: \F_2^n \to \C$ of large Gowers norm $\|f\|_{U^6(\F_2^n)}$ which (as per the inverse theorem for that norm) correlates with a non-classical quintic phase polynomial $e(P)$, but with the property that all such phase polynomials $e(P)$ are ``non-measurable'' in the sense that they cannot be well approximated by functions of a bounded number of random translates of $f$. A simpler version of our construction can also be used to answer a question of Candela, González-Sánchez, and Szegedy \cite{CGSS}.

Let $Γ$ be a countable abelian group, let $k\geq 1$, and let $\mathrm{X}=(X,\mathcal{X},μ,T)$ be an ergodic $Γ$-system of order $k$ in the sense of Host--Kra--Ziegler. The $Γ$-system $\mathrm{X}$ is said to be totally disconnected if all its structure groups are totally disconnected. We show that any totally disconnected $Γ$-system of order $k$ is a generalized factor of a $\mathbb{Z}^ω$-system with the structure of a Weyl system. As a consequence of this structure theorem, we show that totally disconnected $Γ$-systems of order $k$ are represented by translations on double cosets of nilpotent Polish groups. By a correspondence principle of two of us, we can use this representation to establish a (weak) inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion.

We state and prove a quantitative inverse theorem for the Gowers uniformity norm $U^3(G)$ on an arbitrary finite abelian group $G$; the cases when $G$ was of odd order or a vector space over ${\mathbf F}_2$ had previously been established by Green and the second author and by Samorodnitsky respectively by Fourier-analytic methods, which we also employ here. We also prove a qualitative version of this inverse theorem using a structure theorem of Host--Kra type for ergodic ${\mathbf Z}^ω$-actions of order $2$ on probability spaces established recently by Shalom and the authors.

We establish an uncountable amenable ergodic Roth theorem, in which the acting group is not assumed to be countable and the space need not be separable. This generalizes a previous result of Bergelson, McCutcheon and Zhang, and complements a result of Zorin-Kranich. We establish the following two additional results: First, a combinatorial application about triangular patterns in certain subsets of the Cartesian square of arbitrary amenable groups, extending a result of Bergelson, McCutcheon and Zhang for countable amenable groups. Second, a new uniformity aspect in the double recurrence theorem for $Γ$-systems for arbitrary uniformly amenable groups $Γ$. Our uncountable Roth theorem is crucial in the proof of both of these results.