Almost homomorphisms and measurable cocycles

Abstract: Several results regarding the rigidity of maps and cocycles in the setting of Polish groups are established. Firstly, if $G\overset{\phi}\longrightarrow H$ is a map from a locally compact second countable group $G$ into a group $H$ and such that there is a conull subset $Z\subseteq G\times G$ satisfying $$ \phi(xy)=\phi(x)\cdot \phi(y) $$ for all $(x,y)\in Z$, then there is a homomorphism $G\overset{\pi}\longrightarrow H$ agreeing with $\phi$ almost everywhere. A similar statement holds for Baire category. Secondly, if $G\times X\overset{\psi}\longrightarrow H$ is a Baire measurable cocycle associated with a Polish group action $G\curvearrowright X$ and $\psi$ is continuous in the second variable, then $\psi$ is jointly continuous. Again, a related statement holds for measure.