2024/01/01 by J. de la Nuez González, González, J. de la Nuez
Mathematics · #54H15 #Advanced Topology and Set Theory #FOS: Mathematics #General Topology (math.GN) #Mathematical Dynamics and Fractals
paper · pdf · doi:10.48550/arxiv.2401.00790
openalex publication_date 2024/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The group of homeomorphisms of the closed interval that are absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology τac. We show that, under mild conditions on a compact space endowed with a finite Borel measure such a topology can be defined on the subgroup of the homeomorphism group consisting of those elements g such that g and g-1 preserve the class of null sets. We use a probabilistic argument to show that in the case of a compact topological manifold equipped with an Oxtoby-Ulam measure, as well as in that of the Cantor space endowed with some natural Borel measures there is no group topology between τac and the restriction τco of the compact-open topology. In fact, we show that any separable group topology strictly finer than τco must be also finer than τac. For one-dimensional manifolds we also show that τco and τac are the only Hausdorff group topologies coarser than τac, and one can read our result as evidence for the non-existence of a good notion of regularity between continuity and absolute continuity. 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.