English

On Borel maps, calibrated $\sigma$-ideals and homogeneity

Logic 2017-06-16 v1 General Topology

Abstract

Let μ\mu be a Borel measure on a compactum XX. The main objects in this paper are σ\sigma-ideals I(dim)I(dim), J0(μ)J_0(\mu), Jf(μ)J_f(\mu) of Borel sets in XX that can be covered by countably many compacta which are finite-dimensional, or of μ\mu-measure null, or of finite μ\mu-measure, respectively. Answering a question of J. Zapletal, we shall show that for the Hilbert cube, the σ\sigma-ideal I(dim)I(dim) is not homogeneous in a strong way. We shall also show that in some natural instances of measures μ\mu with non-homogeneous σ\sigma-ideals J0(μ)J_0(\mu) or Jf(μ)J_f(\mu), the completions of the quotient Boolean algebras Borel(X)/J0(μ)Borel(X)/J_0(\mu) or Borel(X)/Jf(μ)Borel(X)/J_f(\mu) may be homogeneous. We discuss the topic in a more general setting, involving calibrated σ\sigma-ideals.

Keywords

Cite

@article{arxiv.1706.04773,
  title  = {On Borel maps, calibrated $\sigma$-ideals and homogeneity},
  author = {Roman Pol and Piotr Zakrzewski},
  journal= {arXiv preprint arXiv:1706.04773},
  year   = {2017}
}