Title:Groups of measurable functions

Abstract:Let $G$ be a topological group $G$, and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$, taken with the pointwise multiplication and the topology of convergence in measure. We show that for a Polish group $G$, if $L_0(G)$ has ample generics, then $G$ has ample generics, thus the converse to a result of Kaïchouh and Le Maître. We further study topological similarity classes and topological generators for many groups $\rm{Aut}(M)$ and $L_0(\rm{Aut}(M))$, where $M$ is a countable structure. We formulate general conditions for such groups to have, for a given $n$, all topological $n$-similarity classes meager, hence to have all $n$-diagonal conjugacy classes meager, as well as to have a cyclically dense conjugacy class, hence to be topologically 2-generated. This provides a number of new examples of groups with these properties.