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

Publication date 30 May 2013

Arithmetic combinatorics; higher degree uniformity (11B30) Polynomials over finite fields (11T06) Homological methods in commutative ring theory (13D99) Homological algebra in category theory, derived categories and functors (18G99) Cohomology of groups (20J06) Compact groups (22C05) Partial difference equations (39A14) Categorical methods for abstract harmonic analysis (43A95)

Abstract: Consider a compact Abelian group

Z

and closed subgroups

U_{1}

, ldots,

U_{k} l e q Z

. Let

m a t h b b T := m a t h b b R / m a t h b b Z

. This paper examines two kinds of functional equation for measurable functions

Z o m a t h b b T

. First, given

f : Z o m a t h b b T

and

w i n Z

, the resulting differenced function is [d_wf(z) := f(z-w) - f(z).] In this notation, we study solutions to the system of difference equations [d_{u_1}cdots d_{u_k}f equiv 0 quad forall u_1 in U_1, u_2 in U_2, ldots u_k in U_k.] Second, we study tuples of measurable functions

f_{i} : Z o m a t h b b T

such that

f_{i}

is invariant under translation by

U_{i}

and also [f_1 + cdots + f_k = 0.] For these equations, the solutions form a subgroup of

m a t h c a l F (Z)

or

m a t h c a l F (Z)^{k}

, where

m a t h c a l F (Z)

is the group of measurable functions

Z o m a t h b b T

modulo Haar-a.e. equality. The subgroup of solutions is closed under convergence in probability and is globally invariant under rotations of

Z

, so it is a complete metrizable

Z

-module. We will give a recursive description of the structure of this

Z

-module relative to the solution-modules of lower-order equations of the same kind. These results are obtained as applications of an abstract theory of a special class of

Z

-modules. Most of our work will go into showing that this class of modules is closed under various natural operations. Knowing that, the above descriptions follow as easy consequences. Partial difference equations of the above kind can be seen as an extremal version of the inverse problem for the higher-dimensional, directional analogs of Gowers' uniformity norms. Our methods also give some information about the `stability' version of this inverse problem, which concerns functions whose Gowers norm is sufficiently close to being maximal.

This page was built for publication: Partial difference equations over compact Abelian groups, I: modules of solutions

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