Abstract:The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $\tau_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of the homeomorphism group which push forward the measure to another one with which it is mutually absolutely continuous. We use a probabilistic argument involving approximations by supmartingale processes to show that in many cases there is no group topology between $\tau_{ac}$ and the restriction $\tau_{co}$ of the compact-open topology. This applies, in particular, to any compact topological manifold equipped with an Oxtoby-Ulam measure and to the Cantor space endowed with some natural Borel measures. In fact, we show that in such cases any separable group topology strictly finer than $\tau_{co}$ has to be also finer than $\tau_{ac}$. For one-dimensional manifolds well-known arguments show that the compact-open topology is a minimum Hausdroff group topology on the group, which implies that $\tau_{co}$ and $\tau_{ac}$ are the only Hausdorff group topologies coarser than $\tau_{ac}$. We also show that while Solecki's example is not Roelcke precompact, the group of bi-absolutely continuous homeomorphisms of the Cantor space endowed with the measure given by the Fräissé limit of the class of measured boolean algebras with rational probability measures is Roelcke precompact.

The Baire property and precompact duality

Baire property of space of Baire-one functions

On Baire property of spaces of compact-valued measurable functions

Borsuk-Ulam property and Sectional Category

On Baire category properties of function spaces $C_k'(X,Y)$

Grothendieck's theorem on the precompactness of subsets functional spaces over pseudocompact spaces

Barr-coexactness for metric compact Hausdorff spaces

Grothendieck's compactness principle for the absolute weak topology

Partitions of Baire space into compact sets

Property $(FL_p)$ implies property $(FL_q)$ for $1<q<p<\infty$

Groups with few finite dimensional unitary representations

Tensor products of topological abelian groups and Pontryagin duality

Group topologies on groups of bi-absolutely continuous homeomorphisms

Compactifications of pseudofinite and pseudo-amenable groups

Pragmatic finiteness properties of locally compact groups

Coarse structures on locally compact abelian groups

Stable functions and Følner's Theorem

Generic properties of topological groups

Pro-$p$ Poincaré-Duality groups of infinite rank

Abelian $p$-groups with a $p$-bounded factor or a $p$-bounded subgroup

Bauer simplices and the small boundary property