Some observations on the Baireness of \(C_{k}(X)\) for a locally compact space \(X\) (Q330067)

We say that a space \(X\) satisfies the \textit{Moving Off Property} (MOP) if each moving off collection \(\mathcal{K}\) includes an infinite subcollection \(\mathcal{K}_0\) with a discrete open expansion. Here {\parindent=0.6cm\begin{itemize}\item[--] \textit{a moving off collection} for \(X\) is a collection \(\mathcal{K}\) of non-empty compact sets such that for each compact \(L\subset X\) there is a \(K \in\mathcal{K}\) disjoint from \(L\); \item[--] a discrete family \(\mathcal{U}_0\) of open sets is called \textit{a discrete open expansion} of \(\mathcal{K}_0\) if each \(K\in\mathcal{K}_0\) is contained in some \(U(K)\in \mathcal{U}_0\). \end{itemize}} \textit{G. F. Gruenhage} and \textit{D. K. Ma} [Topology Appl. 80, No. 1--2, 131--139 (1997; Zbl 0886.54013)] proved that a locally compact space \(X\) satisfies the MOP if and only if \(C_k(X)\) is Baire, i.e. it satisfies the Baire Category Theorem (countable intersections of open dense sets are dense in \(X\)), and \textit{G. F. Gruenhage} [Rocky Mt. J. Math. 36, 1885--1914 (2006; Zbl 1141.54020)] proved that if \(X\) is a locally compact space then \(X\) has the MOP if and only if every moving off collection for \(X\) includes an infinite discrete subcollection. In the paper under review the author presents some consistency results concerning the relationship between the MOP and other topological properties. For example, it is shown that in some models of ZFC all locally compact, perfectly normal spaces are paracompact and hence satisfy the MOP. But there is also a model of ZFC in which there is a locally compact, perfectly normal space without the MOP. The author also discusses the interesting open problem whether or not there is in ZFC a locally compact, normal space with the MOP which is not paracompact (equivalently, \(C_k(X)\) is not \textit{weakly \(\alpha\)-favorable}). In the last section the author considers Baire powers of function spaces \(C_k(X)\), and proves the following theorem: if \(X\) is a locally compact space then \( (C_k(X))^\lambda\) is Baire if and only if countable sums of copies of \(X\) have the MOP.