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.

A topological version of the Bergman property

Group topologies on groups of bi-absolutely continuous homeomorphisms

Generic properties of topological groups

Spin alignments of vector mesons in deeply inelastic lepton-nucleon scattering

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Polish Topologies for Graph Products of Groups

Group actions on orbits of an amenable equivalence relation and topological versions of Kesten's theorem

Polish topologies on groups of non-singular transformations

Every Polish group has a non-trivial topological group automorphism

Borsik's properties of topological spaces and their applications

On some kinds of completeness and semitopological groups with property ( w ⁎)

A Note on Paratopological Loops

Borsuk--Ulam property for graphs II: The $\mathbb{Z}_n$-action

Graphical models for topological groups: A case study on countable Stone spaces

Topological AE(0)-groups

An automorphism group of an omega-stable structure that is not locally (OB)

Topological amenability of semihypergroups

Wreath products of groups acting with bounded orbits

Notes on K-Topological Groups and Homeomorphisms of Topological Groups