The Hurewicz dichotomy for generalized Baire spaces (Q503280)

A classical theorem of Hurewicz states that a Polish space is \(\sigma\)-compact if and only if it does not contain a closed subset homeomorphic to the Baire space \(\omega^\omega\). Kechris and Saint-Raymond (see [\textit{A. S. Kechris}, Classical descriptive set theory. Berlin: Springer-Verlag (1995; Zbl 0819.04002)]) extended this result by showing that if \(A\) is an analytic subset of a Polish space \(X\), then either \(A\) is contained in a \(\sigma\)-compact subset of \(X\), or else \(A\) contains a closed-in-\(X\) set homeomorphic to \(\omega^\omega\). This is a sort of dichotomy for analytic subsets of \(X\): each one is either contained in a ``small'' subset of \(X\), or else it contains a ``large'' subset of \(X\). This paper explores whether an analogous dichotomy can hold for the generalized Baire spaces of the form \(\kappa^\kappa\), where \(\kappa\) is a regular uncountable cardinal satisfying \(\kappa = \kappa^{<\kappa}\). They show that whether this higher version of the dichotomy holds for the generalized Baire spaces is independent of ZFC.