$G_\delta$ semifilters and $\omega^*$

TL;DR

This paper studies $G_\delta$ semifilters related to ultrafilters on the Stone-Cech remainder of $eta\omega$, extending known results and applying them to dynamics, algebra, and combinatorics.

Contribution

It extends results on ultrafilters and semifilters, showing their similarities to $[\omega]^{\omega}$ and applications to minimal left ideals in $\omega^*$.

Findings

$ ext{p}_U = ext{t}_U = ext{p}$ for $G_\delta$ semifilters

Existence of ultrafilters that are $P$-filters when $ ext{d}= ext{c}$

Existence of ultrafilters that are weak $P$-filters

Abstract

The ultrafilters on the partial order $([\omega]^{\omega},\subseteq^*)$ are the free ultrafilters on $\omega$, which constitute the space $\omega^*$, the Stone-Cech remainder of $\omega$. If $U$ is an upperset of this partial order (i.e., a semifilter), then the ultrafilters on $U$ correspond to closed subsets of $\omega^*$ via Stone duality. If, in addition, $U$ is sufficiently "simple" (more precisely, $G_\delta$ as a subset of $2^\omega$), we show that $U$ is similar to $[\omega]^{\omega}$ 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 $(\omega^*,+)$ contains minimal left ideals that are also weak $P$-sets.