Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.00790 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909824025886720 |
|---|---|
| author | González, J. de la Nuez |
| author_facet | González, J. de la Nuez |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_00790 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Group topologies on groups of bi-absolutely continuous homeomorphisms González, J. de la Nuez General Topology 54H15 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. |
| title | Group topologies on groups of bi-absolutely continuous homeomorphisms |
| topic | General Topology 54H15 |
| url | https://arxiv.org/abs/2401.00790 |