An inverse theorem for the uniformity seminorms associated with the action of $F^{\omega }$

Abstract

Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $\varphi :X\to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\mathbb{Z}$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.

59 pages, 2 figures, to appear, GAFA. Referee suggestions incorporated. Also, the paper has been shortened at the request of the journal; previous versions on the arXiv can thus be viewed as extended versions

References in corpus (1)

• Universal Characteristic Factors and Furstenberg Averages

Cited by in corpus (11)

• Linear forms and higher-degree uniformity for functions on ${\mathbb{F}}_p^n$
• An inverse theorem for the Gowers U^4 norm
• Linear forms and quadratic uniformity for functions on ${\mathbb{Z}}_N$
• On uniformity of $q$-multiplicative sequences
• Khintchine-type recurrence for 3-point configurations
• Host-Kra theory for ${⨁}_{p\in P}{\mathbb{F}}_p$- Systems and multiple recurrence
• Partition and Analytic Rank are Equivalent over Large Fields
• Testing linear-invariant properties
• Host-Kra factors for ${⨁}_{p\in P}\mathbb{Z}/p\mathbb{Z}$ actions and finite dimensional nilpotent systems
• Non-classical polynomials and the inverse theorem
• Khintchine-type double recurrence in abelian groups