Title:Partial difference equations over compact Abelian groups, I: modules of solutions

Abstract:Consider a compact Abelian group Z and closed subgroups U_1, ..., U_k \leq Z. Let \bbT := \bbR / \bbZ. Given f : Z \to \bbT and w \in Z, the resulting differenced function is d_wf(z) := f(z-w) - f(z).
First, we study solutions to the system of difference equations d_{u_1}...d_{u_k}f = 0 for all u_1 \in U_1, u_2 \in U_2, ... u_k \in U_k.
Secondly, we study tuples of measurable functions f_i:Z\to \bbT such that f_i is invariant under translation by U_i and also f_1 + ... + f_k = 0.
For either problem, the solutions form a Z-invariant subgroup of the group \F(Z) of all measurable functions Z\to \bbT (modulo equality Haar-a.e.). We give a recursive description of the structure of this topological Z-module in terms of the solution-modules of lower-degree equations of the same type.
Loosely, these results are obtained from an abstract theory of a special class of Z-modules, assembled out of modules of functions on Z and related groups. Most of our work will go into showing that this class of modules is closed under various natural operations. From that the above descriptions follow easily.
The motivation for this work is the problem of setting up a higher-dimensional analog of the inverse theory for the Gowers uniformity norms. In the setting of the higher-dimensional Szemerédi Theorem, one can generalize the definition of Gowers norms to a `directional' notion which give the right kind of control over counting patterns. The partial difference equations studied here characterize those functions whose directional Gowers norms take the maximum possible value. As such, their description provides a modest first step towards a general inverse theory. We also prove a stability result, asserting that functions whose directional Gowers norm is close to maximal are themselves close to strict maximixers.