On the ratio ergodic theorem for group actions

We study the ratio ergodic theorem (RET) of Hopf for group actions. Under a certain technical condition, if a sequence of sets {Fn} in a group satisfy the RET, then there is a finite set E such that {EFn} satisfies the Besicovitch covering property. Consequently for the abelian group G = ⊕n=1Z there is no sequence Fn ⊆ G along which the RET holds, and in many finitely generated groups, including the discrete Heisenberg group and the free group on ≥ 2 generators, there is no (sub)sequence of balls, in the standard generators, along which the RET holds. On the other hand, in groups with polynomial growth (including the Heisenberg group, to which our negative results apply) there always exists a sequence of balls along which the RET holds if convergence is understood as a.e. convergence in density (i.e. omitting a sequence of density zero).