English

Every finite-dimensional analytic space is $\sigma$-homogeneous

General Topology 2024-03-22 v1 Logic

Abstract

All spaces are assumed to be separable and metrizable. Building on work of van Engelen, Harrington, Michalewski and Ostrovsky, we obtain the following results: (1) Every finite-dimensional analytic space is σ\sigma-homogeneous with analytic witnesses, (2) Every finite-dimensional analytic space is σ\sigma-homogeneous with pairwise disjoint Δ21\mathbf{\Delta}^1_2 witnesses. Furthermore, the complexity of the witnesses is optimal in both of the above results. This completes the picture regarding σ\sigma-homogeneity in the finite-dimensional realm. It is an open problem whether every analytic space is σ\sigma-homogeneous. We also investigate finite unions of homogeneous spaces.

Keywords

Cite

@article{arxiv.2403.14378,
  title  = {Every finite-dimensional analytic space is $\sigma$-homogeneous},
  author = {Claudio Agostini and Andrea Medini},
  journal= {arXiv preprint arXiv:2403.14378},
  year   = {2024}
}

Comments

10 pages. arXiv admin note: text overlap with arXiv:2107.07747

R2 v1 2026-06-28T15:28:36.764Z