Preservation of the Borel class under countable-compact-covering mappings (Q880141)

The author proves that if \(X\) is a metric Borel space of class \(\xi\), \(Y\) is a separable metric space and there exists a continuous countable-compact-covering mapping \(f \colon X \rightarrow Y\) with Polish fibers then \(Y\) is also Borel of class \(\xi\). Let \(X\) and \(Y\) be separable metric spaces. A continuous mapping \(f \colon X \rightarrow Y\) is said to be a compact-covering mapping if for every compact subset \(L\) of \(Y\) there is a compact subset \(K\) of \(X\) such that \(f(K) = L\). The mapping \(f\) is said to be countable-compact-covering if for every countable compact subset \(L\) of \(Y\) there is a compact subset \(K\) of \(X\) such that \(f(K) = L\). A separable metric space \(X\) is of Borel class \({\boldsymbol \Pi}^{0}_{\xi}\) (resp. \({\boldsymbol \Sigma}^{0}_{\xi}\)) if \(X\) is a \({\boldsymbol \Pi}^{0}_{\xi}\) (resp.\ \({\boldsymbol \Sigma}^{0}_{\xi}\)) subset of one/any of its metric compactifications. The author obtains that if \(X,Y\) are separable metric spaces and there exists a continuous countable-compact-covering mapping \(f \colon X \rightarrow Y\) such that for every \(y \in Y\) the fiber \(f^{-1}(y) \subseteq X\) is Polish then \(X\) is \({\boldsymbol \Pi}^{0}_{\xi}\) (resp.\ \({\boldsymbol \Sigma}^{0}_{\xi}\)) implies \(Y\) is \({\boldsymbol \Pi}^{0}_{\xi}\) (resp.\ \({\boldsymbol \Sigma}^{0}_{\xi}\)). Unlike for compact-covering mappings, the assumption on the fibers cannot be dropped. For the special case when the fibers are assumed to be complete the proof is based on the existence of special Baire-one sections of Baire-one functions. Also in the special case of complete sections a similar but weaker result was obtained by \textit{A.\ V.\ Ostrovsky} [Topology Appl.\ 102, No.\ 1, 1--11 (2000; Zbl 0981.54011)].