Automatic continuity of measurable homomorphisms on Cech-complete topological groups (2206.02481v3)

Abstract: We prove that a homomorphism $h:X\to Y$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only if $h$ is Haar-measurable). This answers a problem of Kuznetsova and extends a result of Kleppner on the continuity of Haar-measurable homomorphisms between locally compact groups and a result of Rosendal on the continuity of universally measurable homomorphisms between Polish groups.