Ramsey theory on generalized Baire space (Q683976)

In what follows, \(\kappa\) is an uncountable cardinal. The family of all subsets of \(\kappa\) of size \(\kappa\) is denoted by \([\kappa]^{\kappa}\). The generalized Baire space of height \(\kappa\) is the set \(^\kappa \kappa\) of all functions from \(\kappa\) into \(\kappa\) endowed with the topology generated by the sets of the form \([p] = \{f \in\,{^\kappa} \kappa: p \subseteq f\}\), where \(p \in\,^{< \kappa} \kappa = \bigcup\limits_{\alpha < \kappa}\, ^\alpha \kappa\). A collection \(\mathcal{S} \subseteq [\kappa]^\kappa\) is Ramsey as witnessed by \(H \in [\kappa]^\kappa\) if either (i) \((\forall X \in [H]^\kappa)[X \in \mathcal{S}]\); or (ii) \((\forall X \in [H]^\kappa)[X \notin \mathcal{S}]\). More generally, a colouring \(c:[\kappa]^\kappa \to \lambda\) is Ramsey if there is \(H \in [\kappa]^\kappa\) which is homogeneous for \(c\), meaning that \(c\) is constant when restricted to the family of all \(\kappa\)-sized subsets of \(H\). It is well-known that, assuming the axiom of choice, there is a collection \(\mathcal{S} \subseteq [\omega]^{\omega}\) which is not Ramsey. However, \textit{F. Galvin} and \textit{K. Prikry} have shown in [J. Symb. Log. 38, 193--198 (1973; Zbl 0276.04003)] that all Borel subsets of the Borel space\, \(^\omega \omega\) are Ramsey. In the paper under review, the author shows that, although the analogous of the Galvin-Prikry theorem does not hold on generalized Baire spaces, there are several similar theorems which do hold when one considers certain natural coarser topologies on the set \(^\kappa \kappa\).