Zero-dimensional \(\sigma \)-homogeneous spaces (Q6073909)

From MaRDI portal
scientific article; zbMATH DE number 7748757
Language Label Description Also known as
English
Zero-dimensional \(\sigma \)-homogeneous spaces
scientific article; zbMATH DE number 7748757

    Statements

    Zero-dimensional \(\sigma \)-homogeneous spaces (English)
    0 references
    0 references
    0 references
    12 October 2023
    0 references
    All spaces are assumed to be separable and metrizable. A~space~\(X\) is homogeneous if for every \(x,y\in X\) there is a~homeomorphism \(h:X\to X\) such that \(h(x)=y\). A~space~\(X\) is \(\sigma\)-homogeneous if it is the union of countably many homogeneous subspaces. A~space~\(X\) is strongly homogeneous if every non-empty clopen subspace of~\(X\) is homeomorphic to~\(X\). \(X\)~is rigid if \(|X|\ge2\) and the only homeomorphism is the identity. In [\textit{F. van Engelen} et al., Contemp. Math. 65, 199--222 (1987; Zbl 0646.03045)] the authors have proved that if V = L, there exist analytic and coanalytic zero-dimensional rigid spaces and if AD holds, there is no zero-dimensional rigid space. It is an open problem whether every analytic zero-dimensional space is \(\sigma\)-homogeneous. \textit{A. Ostrovsky} [Arch. Math. Logic 50, No. 5--6, 661--664 (2011; Zbl 1230.03078)] proved that every zero-dimensional Borel space is \(\sigma\)-homogeneous. Inspired by the last result the authors prove in the reviewed article the following theorems: (1) Assuming AD every zero-dimensional space can be written as a~countable disjoint union of closed strongly homogeneous subspaces; in particular every zero-dimensional space is \(\sigma\)-homogeneous. (2) In ZFC there exists a~zero-dimensional space that is not \(\sigma\)-homogeneous. (3) Assuming \(V = L\) there exists a~coanalytic zero-dimensional space that is not \(\sigma\)-homogeneous. They introduce two notions of hereditary rigidity, and give alternative proofs of results of van Engelen, Miller and Steel [\textit{F. van Engelen} et al., Contemp. Math. 65, 199--222 (1987; Zbl 0646.03045)].
    0 references
    homogeneous
    0 references
    zero-dimensional
    0 references
    determinacy
    0 references
    Wadge theory
    0 references
    constructible
    0 references
    rigid
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references