The topology of ultrafilters as subspaces of $2^{\omega }$

Abstract

Using the property of being completely Baire, countable dense homogeneity and the perfect set property we will be able, under Martin's Axiom for countable posets, to distinguish non-principal ultrafilters on $\omega$ up to homeomorphism. Here, we identify ultrafilters with subpaces of $2^{\omega }$ in the obvious way. Using the same methods, still under Martin's Axiom for countable posets, we will construct a non-principal ultrafilter $\UU\subseteq 2^ω$ such that $\UU^ω$ is countable dense homogeneous. This consistently answers a question of Hrušák and Zamora Avilés. Finally, we will give some partial results about the relation of such topological properties with the combinatorial property of being a $\mathrm{P}$-point.

arXiv comment22 pages