{
  "id": "1309.3577",
  "version": "v2",
  "published": "2013-09-13T20:21:24.000Z",
  "updated": "2014-10-23T03:02:07.000Z",
  "title": "Partial difference equations over compact Abelian groups, II: step-polynomial solutions",
  "authors": [
    "Tim Austin"
  ],
  "comment": "89 pages. [v.2] Many minor corrections, and the main proofs re-arranged and substantially simplified",
  "categories": [
    "math.FA",
    "math.AC",
    "math.CO",
    "math.DS"
  ],
  "abstract": "This paper continues an earlier work on the structure of solutions to two classes of functional equation. Let $Z$ be a compact Abelian group and $U_1$, \\ldots, $U_k \\leq Z$ be closed subgroups. Given $f:Z\\to\\mathbb{T}$ and $w \\in Z$, one defines the differenced function \\[d_wf(z) := f(z+w) - f(z).\\] In this notation, we shall study solutions to the system of difference equations \\[d_{u_1}\\cdots d_{u_k}f \\equiv 0 \\quad \\forall (u_1,\\ldots,u_k) \\in \\prod_{i\\leq k}U_i,\\] and to the zero-sum problem \\[f_1 + \\cdots + f_k = 0\\] for functions $f_i:Z\\to \\mathbb{T}$ that are $U_i$-invariant for each $i$. Part I of this work showed that the $Z$-modules of solutions to these problems can be described using a general theory of `almost modest $\\P$-modules'. Much of the global structure of these solution $Z$-modules could then be extracted from results about the closure of this general class under certain natural operations, such as forming cohomology groups. The main result of the present paper is that solutions to either problem can always be decomposed into summands which either solve a simpler system of equations, or have some special `step polynomial' structure. This will be proved by augmenting the definition of `almost modest $\\mathcal{P}$-modules' further, to isolate a subclass in which elements can be represented by the desired `step polynomials'. We will then find that this subclass is closed under the same operations.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2013-09-13T20:21:24.000Z",
      "abstract": "This paper continues an earlier work (arXiv.org:1305.7269) on the structure of solutions to the system of partial difference equations d_{u_1}...d_{u_k}f = 0 \\forall (u_1,\\ldots,u_k) \\in \\prod_{i\\leq k}U_i associated to a compact Abelian group Z, closed subgroups U_1, ..., U_k and a measurable function f:Z\\to \\bbT, and to the related zero-sum problem f_1 + ... + f_k = 0 for functions f_i:Z\\to \\bbT that are U_i-invariant for each i. Our main result is that solutions to either problem can always be decomposed into pieces which either solve a simpler system of equations, or have some special `step polynomial' structure. The proof extends the work from that earlier paper on the general theory of `almost modest \\Delta-modules'. We will augment the definition of `almost modest \\Delta-modules' further, to isolate a subclass in which elements can be represented by the desired `step polynomials'. We shall then find that this subclass is closed under the same operations as in that previous work, which will again lead to the desired conclusions about the solutions to partial difference equations and zero-sum problems.",
      "comment": "112 pages",
      "journal": null,
      "doi": null
    },
    {
      "version": "v2",
      "updated": "2014-10-23T03:02:07.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "39A14",
      "11B30",
      "11T06",
      "13D99",
      "18G99",
      "20J06",
      "22C05",
      "43A95"
    ],
    "keywords": [
      "partial difference equations",
      "compact abelian group",
      "step-polynomial solutions",
      "zero-sum problem",
      "step polynomial"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 89,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2013arXiv1309.3577A"
    }
  }
}