Cohomology relation for cocyles that correspond to ergodic skew products (Q679516)

Let \((X,B,\mu)\) be a Lebesgue measure space, \(\mu(X)=1\), let \(\Aut(\mu)\) denote the group of all invertible measurable measure preserving transformations (automorphisms) defined up to \(\mu\)-mod 0 on \(X\), and \(E\) denote the identical automorphism on \(X\). Fix a family \(\{T_x, x\in X\}\subset\Aut(\mu)\) measurable with respect to \((X,B)\), and let \(S\in\Aut(\mu)\). The map \(R: X^2\to X^2\) acting as \(R(x,y)= (S(x),T_x(y))\) is called a skew product over \(S\) and denoted by \(S\times\{T_x\}\). Two skew products \(R= S\times\{T_x\}\) and \(\widetilde R= S\times\{\widetilde T_x\}\) are said to be equivalent if \(\widetilde T_x= J^{-1}_{S(x)}T_x J_x\) for some family \(\{J_x, x\in X\}\subset\Aut(\mu)\) measurable with respect \((X,B)\). Theorem. Let \(S\in\Aut(\mu)\) be an ergodic automorphism on \((X,B,\mu)\) and let a skew product \(R= S\times\{T_x\}\) be given. Then \(R\) is equivalent to some \(\overline R= S\times\{P_x\}\) such that \(P^2_x= E\).