The open dihypergraph dichotomy for generalized Baire spaces and its applications

The open graph dichotomy for a subset X of the Baire space ωω states that any open graph on X either admits a coloring in countably many colors or contains a perfect complete subgraph. This strong version of the open graph axiom for X was introduced by Feng and Todorˇcevi´c to study definable sets of reals. We first show that its recent generalization to infinite dimensional directed hypergraphs by Carroy, Miller and Soukup holds for all subsets of the Baire space in Solovay’s model, extending a theorem of Feng in dimension 2. The main theorem lifts this result to generalized Baire spaces κκ in two ways. (1) For any regular infinite cardinal κ, the following holds after a L´evy collapse of an inaccessible cardinal λ > κ to κ+. Suppose that H is a κ-dimensional box-open directed hypergraph on a subset of κκ such that H is definable from a κ-sequence of ordinals. Then either H admits a coloring in κ many colors or there exists a continuous homomorphism from a canonical large directed hypergraph to H. (2) If λ is a Mahlo cardinal, then the previous result extends to all box-open directed hypergraphs on any subset of κκ that is definable from a κ-sequence of ordinals. This approach is applied to solve several problems about definable subsets of generalized Baire spaces. For instance, we obtain variants of the Hurewicz dichotomy that characterizes subsets of Kσ sets, strong variants of the Kechris-Louveau-Woodin dichotomy that characterizes when two disjoint sets can be separated by an Fσ set, the determinacy of V¨a¨an¨anen’s perfect set game for all subsets of κκ, an asymmetric version of the Baire property and an analogue of the Jayne-Rogers theorem that characterizes Gδ-measurable functions.