Coordinatewise decomposition, Borel cohomology, and invariant measures
Given Polish spaces X and Y and a Borel set S ⊆ X × Y with countable sections, we describe the circumstances under which a Borel function f: S → ℝ is of the form f(x,y) = u(x) + v(y), where u: X → ℝ and v: Y → ℝ are Borel. This turns out to be a special case of the problem of determining whether a real-valued Borel cocycle on a countable Borel equivalence relation is a coboundary. We use several Glimm-Effros style dichotomies to give a solution to this problem in terms of certain σ-finite measures...