Topological Ramsey numbers and countable ordinals

Abstract

We study the topological version of the partition calculus in the setting of countable ordinals. Let $α$ and $β$ be ordinals and let $k$ be a positive integer. We write $β\to_{top}(α,k)^2$ to mean that, for every red-blue coloring of the collection of 2-sized subsets of $β$, there is either a red-homogeneous set homeomorphic to $α$ or a blue-homogeneous set of size $k$. The least such $β$ is the topological Ramsey number $R^{top}(α,k)$. We prove a topological version of the Erdős-Milner theorem, namely that $R^{top}(α,k)$ is countable whenever $α$ is countable. More precisely, we prove that $R^{top}(ω^{ω^β},k+1)\leqω^{ω^{β\cdot k}}$ for all countable ordinals $β$ and finite $k$. Our proof is modeled on a new easy proof of a weak version of the Erdős-Milner theorem that may be of independent interest. We also provide more careful upper bounds for certain small values of $α$, proving among other results that $R^{top}(ω+1,k+1)=ω^k+1$, $R^{top}(α,k)< ω^ω$ whenever $α<ω^2$, $R^{top}(ω^2,k)\leqω^ω$ and $R^{top}(ω^2+1,k+2)\leqω^{ω\cdot k}+1$ for all finite $k$. Our computations use a variety of techniques, including a topological pigeonhole principle for ordinals, considerations of a tree ordering based on the Cantor normal form of ordinals, and some ultrafilter arguments.