Let be an ergodic discrete equivalence relation on a Lebesgue space and . We say that an automorphism of if it preserves the cohomology class of . We introduce a quasi-order relation on the set of all cocycles of by means of comparison of the corresponding groups of all automorphisms being compatible with them. We find simple necessary and sufficient conditions under which two cocycles of a hyperfinite measure-preserving equivalence relation with values in compact (possibly different) groups are connected by this relation. Next, given an ergodic subrelation , we investigate the problem of extending -cocycles up to -cocycles and improve the recent results of Gabriel–Lemańczyk–Schmidt. As an application we study the problem of lifting of automorphisms of up to automorphisms of the skew product , provide new short proofs of some known results and answer several questions from [ALV, ALMN].
Read full abstract