$G_δ$ semifilters and $ω^*$

Abstract

The ultrafilters on the partial order $([ω]^ω,\subseteq^*)$ are the free ultrafilters on $ω$, which constitute the space $ω^*$, the Stone-Cech remainder of $ω$. If $U$ is an upperset of this partial order (i.e., a semifilter), then the ultrafilters on $U$ correspond to closed subsets of $ω^*$ via Stone duality. If, in addition, $U$ is sufficiently "simple" (more precisely, $G_δ$ as a subset of $2^ω$), we show that $U$ is similar to $[ω]^ω$ in several ways. First, $\mathfrak{p}_U = \mathfrak{t}_U = \mathfrak{p}$ (this extends a result of Malliaris and Shelah). Second, if $\mathfrak{d} = \mathfrak{c}$ then there are ultrafilters on $U$ that are also $P$-filters (this extends a result of Ketonen). Third, there are ultrafilters on $U$ that are weak $P$-filters (this extends a result of Kunen). By choosing appropriate $U$, these similarity theorems find applications in dynamics, algebra, and combinatorics. Most notably, we will prove that $(ω^*,+)$ contains minimal left ideals that are also weak $P$-sets.