Measurability of automorphisms of topological groups (Q5930775)

This contribution contains two particularly interesting theorems on the continuity of automorphisms of a locally compact group \(G\). In more detail: Let \({\mathfrak B}(G)\) denote the Borel \(\sigma\)-algebra of \(G\). For any Borel measure \(\mu\) on \(G\) the \(\mu\)-completion of \({\mathfrak B}(G)\) is denoted by \({\mathfrak B}^\mu(G)\). \(\mu\)-measurability of an automorphism \(g\) of \(G\) means that \(g^{-1}({\mathfrak B}(G))\subset{\mathfrak B}^\mu(G)\). Theorem 1 of the paper under review states that for a given left-invariant Haar measure \(\mu\) of a separable locally compact group \(G\) any \(\mu\)-measurable automorphism of \(G\) is continuous. In Theorem 3 the author shows that for a separable non-meager topological group \(G\) any automorphism of \(G\) admitting the Baire property is continuous. Besides these main results classes of topological groups are described for which discontinuous \(\mu\)-measurable automorphisms exist. The progress achieved in the present paper is based on a profound knowledge of the structure theory of locally compact groups and of non-locally compact Banach Lie groups.