A model for global compactness
Sittinon Jirattikansakul, Inbar Oren, Assaf Rinot · arXiv (Cornell University) · 2024
In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{ω+1}$ carries a uniform ultrafilter that is $θ$-indecomposable for every uncountable cardinal $θ<\aleph_ω$. In this paper, we give a global version of this result, as follows: Assuming the consistency of a supercompact cardinal, we produce a model of set theory in which for every singular cardinal $λ$, there exists a uniform ultrafilter on $λ^+$ that is $θ$-indecomposable for every cardinal $θ$ such that $cf(λ)<θ<λ$. In our model, many instances of compactness for chromatic numbers hold, from which we infer that Hajnal's gap-1 counterexample to Hedetniemi's conjecture is best possible on the grounds of ZFC.