An inverse theorem for the uniformity seminorms associated with the action of F_p^

DOI10.1007/S00039-010-0051-1MaRDI QIDQ2379372zbMATH OpenOpenAlexWikidataFDO

Authors Tamar Ziegler, V. Bergelson, Terence Tao

Publication date 19 March 2010

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://arxiv.org/abs/0901.2602

zbMATH Keywords

characteristic factorsGowers uniformity normspolynomials over finite fields.

Mathematics Subject Classification ID

Arithmetic combinatorics; higher degree uniformity (11B30) Polynomials over finite fields (11T06)

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{)}_{gin{F}^{o}mega}$ of the infinite abelian group $F^{o}mega$ on a probability space $X=(X,B,mu)$ is generated by phase polynomials $phi:Xo{S}^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $kleqcharac(F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $$ 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 $kleqcharac(F)$, with a partial result in low characteristic.

Review text

The authors study the structure theory of measure preserving actions of abelian groups. The paper relies heavily on the language of abelian cohomology of dynamical systems. The main result is the following. Given a finite field \(\mathbb F\) and an ergodic action \((T_g)_{g\in\mathbb F^\omega}\) of the infinite abelian subgroup \(\mathbb F^\omega\) on a probability space \((X,\mathbb B,\mu)\), the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm \(U^k(X)\) is generated by phase polynomials of degrees \(\leq C(k)\) on \(X\), where \(C(k)\) depends only on \(k\). In the case where \(k\leq \text{char}(\mathbb F)\), they obtain the sharp result \(C(k)=k\). This result is a finite field counterpart of a result for \(\mathbb Z\) by \textit{B. Host} and \textit{B. Kra}, Ann. Math. (2) 161, No.~1, 397--488 (2005; Zbl 1077.37002)]. Tao and Ziegler use the results of the paper under review, together with a version of the Furstenberg correspondence principle and an equidistribution theorem by Green and Tao, to obtain the inverse theorem for the Gowers norm in finite fields in the high characteristic case \(k\leq \text{char}(\mathbb F)\), with a partial result in low characteristoc, see [\textit{T. Tao} and \textit{T. Ziegler}, Anal. PDE 3, No. 1, 1--20 (2010; Zbl 1252.11012)]. The paper ends with five appendices on the following subjects: the general theory of Gowers-Host-Kra seminorms, abelian cohomology, a measurable selection lemma, algebraic facts related to the fact that the underlying field \(\mathbb{F}\) has finite characteristic, and on the connection between the notions of polynomiality and type used in this paper with the theory of cubic complexes as used in topology.

Recommendations

• The inverse conjecture for the Gowers norm over finite fields via the correspondence principle
• A correspondence principle for the Gowers norms
• Large values of the Gowers-Host-Kra seminorms
• The inverse conjecture for the Gowers norm over finite fields in low characteristic
• The distribution of polynomials over finite fields, with applications to the Gowers norms
• Polynomial ergodic averages for certain countable ring actions
• Module de continuité des fonctions \(L\) 2-adiques des caractères quadratiques. (Modulus of continuity of 2-adic L-functions of quadratic characters)
• Exposé Bourbaki 1174 : Quantitative inverse theory of Gowers uniformity norms (after F. Manners)
• A directional uniformity of periodic point distribution and mixing
• Linear forms and quadratic uniformity for functions on \(\mathbb{Z}_{N}\)

Cites work

• A Hardy field extension of Szemerédi's theorem
• A new proof of Szemerédi's theorem
• AN INVERSE THEOREM FOR THE GOWERS U^3(G) NORM
• Coboundaries and Homomorphisms for Non-Singular Actions and a Problem of H. Helson
• Distribution of values of bounded generalized polynomials
• Dynamical Systems on Nilmanifolds
• Ergodic behavior of diagonal measures and a theorem of Szemeredi on arithmetic progressions
• scientific article; zbMATH DE number 3697402 (Why is no real title available?)
• scientific article; zbMATH DE number 3719449 (Why is no real title available?)
• scientific article; zbMATH DE number 3523693 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1886614 (Why is no real title available?)
• scientific article; zbMATH DE number 936384 (Why is no real title available?)
• Inverse conjecture for the Gowers norm is false
• Linear equations in primes
• Low-degree tests at large distances
• Multiple recurrence and convergence for sequences related to the prime numbers
• Multiple recurrence and nilsequences (with an appendix by Imre Ruzsa)
• New bounds for Szemerédi's theorem, I: progressions of length 4 in finite field geometries
• Nonconventional ergodic averages and nilmanifolds
• The distribution of polynomials over finite fields, with applications to the Gowers norms
• The inverse conjecture for the Gowers norm over finite fields via the correspondence principle
• The primes contain arbitrarily long arithmetic progressions
• The true complexity of a system of linear equations
• Théorèmes ergodiques pour des mesures diagonales
• Théorèmes ergodiques pour une translation sur un nilvariété
• Universal characteristic factors and Furstenberg averages

Cited in

(42)

• Uniformity seminorms on \(\ell^{\infty}\) and applications
• Polynomial functions as splines
• Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds
• Properties of high rank subvarieties of affine spaces
• Linear forms and quadratic uniformity for functions on \(\mathbb{Z}_{N}\)
• Pleasant extensions retaining algebraic structure. II
• Approximate cohomology
• Finite field models in arithmetic combinatorics -- ten years on
• Concatenation theorems for anti-Gowers-uniform functions and Host-Kra characteristic factors
• An inverse theorem for the Gowers U^4-norm
• Large values of the Gowers-Host-Kra seminorms
• Equivalence of polynomial conjectures in additive combinatorics
• The inverse conjecture for the Gowers norm over finite fields in low characteristic
• On uniformity of \(q\)-multiplicative sequences
• Multiple recurrence and large intersections for abelian group actions
• Non-classical polynomials and the inverse theorem
• Khintchine-type recurrence for 3-point configurations
• Testing Linear-Invariant Properties
• Multiple ergodic averages in abelian groups and Khintchine type recurrence
• Approximately symmetric forms far from being exactly symmetric
• An inverse theorem for the Gowers \(U^{s+1}[N]\)-norm
• General systems of linear forms: equidistribution and true complexity
• On higher-order Fourier analysis in characteristic p
• Inverse theorem for certain directional Gowers uniformity norms
• An uncountable Moore–Schmidt theorem
• Nilspace Factors for General Uniformity Seminorms, Cubic Exchangeability and Limits
• Host–Kra theory for -systems and multiple recurrence
• Partition and analytic rank are equivalent over large fields
• Linear forms and higher-degree uniformity for functions on \(\mathbb F^n_p\)
• The structure of arbitrary Conze-Lesigne systems
• Higher-order Fourier analysis of \(\mathbb F_p^n\) and the complexity of systems of linear forms
• Host-Kra factors for \(\bigoplus_{p \in P} \mathbb{Z} / p \mathbb{Z}\) actions and finite-dimensional nilpotent systems
• Quantitative inverse theorem for Gowers uniformity norms \(\mathsf{U}^5\) and \(\mathsf{U}^6\) in \(\mathbb{F}_2^n\)
• CF-Nil systems and convergence of two-dimensional ergodic averages
• A Host-Kra \(\mathbb{F}_2^\omega\)-system of order 5 that is not abramov of order 5, and non-measurability of the inverse theorem for the \(U^6(\mathbb{F}_2^n)\) norm
• On measure-preserving \(\mathbb{F}_p^{\omega}\)-systems of order \(k\)
• On compact extensions of tracial W^-dynamical systems
• Khintchine-type double recurrence in abelian groups
• On \(\mathbb{F}_2^\omega \)-affine-exchangeable probability measures
• Free nilspaces, double-coset nilspaces, and Gowers norms
• On approximability of satisfiable k-CSPs: V
• Multiple recurrence and convergence results associated to F_P^-actions

This page was built for publication: An inverse theorem for the uniformity seminorms associated with the action of \(\mathbb F_p^\infty\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2379372)