On properties of \(h\)-homogeneous spaces with the Baire property (Q409502)

The author describes how to canonically assign to each strongly zero-dimensional metrizable space \(X\) of weight \(\leq \kappa\), where \(\kappa\) is a fixed cardinal, an \(h\)-homogeneous space \(b(X,\kappa)\) of weight \(\kappa\) containing a dense complete subspace (Theorem 12 and Definition 3). The definition involves the technical notion of the family \(\mathcal{P}_X\) of all \(X\)-scattered spaces, which consists of all strongly zero-dimensional metrizable spaces \(Z\) such that each nonempty closed \(F \subseteq Z\) has a nonempty open (in \(F\)) subset \(U \subseteq F\) such that \(U\) is homeomorphic to a closed subset of \(X\) (this generalizes the notion of a scattered space, which is obtained by letting \(X\) be a singleton). One of the main results of the paper is that for two spaces \(X_1\) and \(X_2\) as above, \(b(X_1,\kappa)\) is homeomorphic to \(b(X_2,\kappa)\) if and only if \(X_2 \in \mathcal{P}_{X_1}\) and \(X_1 \in \mathcal{P}_{X_2}\) (see Theorem 10). In particular, when \(X_1\) and \(X_2\) are both \(h\)-homogeneous spaces of the first category this implies that \(b(X_1,\kappa)\) is homeomorphic to \(b(X_2,\kappa)\) if and only if \(X_1\) and \(X_2\) are homeomorphic (see Theorem 6). The construction of the \(b(X,\kappa)\)'s also allows to generalize to the non-separable context some canonical constructions of \textit{F. van Engelen} and \textit{J. van Mill} [Fundam. Math. 124, 271--286 (1984; Zbl 0559.54034)] and \textit{J. van Mill} [ibid. 118, 81--91 (1983; Zbl 0533.54020)]. Finally, the author presents some results relating \(h\)-homogeneity, \(\omega\)-powers of topological spaces, and Baire category: for example, it is shown that if \(X\) is a subset of the generalized Baire space \(B(\kappa) = \kappa^\omega\) having the Baire property, then \(X^\omega\) is an \(h\)-homogeneous space which is either of the first category or contains a dense complete subspace (Theorem 25).