English

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

Logic 2018-01-11 v2 General Topology

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 UU is an upperset of this partial order (i.e., a semifilter), then the ultrafilters on UU correspond to closed subsets of ω\omega^* via Stone duality. If, in addition, UU is sufficiently "simple" (more precisely, GδG_\delta as a subset of 2ω2^\omega), we show that UU is similar to [ω]ω[\omega]^{\omega} in several ways. First, pU=tU=p\mathfrak{p}_U = \mathfrak{t}_U = \mathfrak{p} (this extends a result of Malliaris and Shelah). Second, if d=c\mathfrak{d} = \mathfrak{c} then there are ultrafilters on UU that are also PP-filters (this extends a result of Ketonen). Third, there are ultrafilters on UU that are weak PP-filters (this extends a result of Kunen). By choosing appropriate UU, 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 PP-sets.

Keywords

Cite

@article{arxiv.1503.06092,
  title  = {$G_\delta$ semifilters and $\omega^*$},
  author = {Will Brian and Jonathan Verner},
  journal= {arXiv preprint arXiv:1503.06092},
  year   = {2018}
}

Comments

23 pages

R2 v1 2026-06-22T08:58:04.890Z