Tukey-idempotency and strong p-points

TL;DR

This paper characterizes strong p-point ultrafilters via Tukey order properties, showing their equivalence to non-Tukey-idempotent p-points, and explores the existence of Canjar ultrafilters on measurable cardinals.

Contribution

It provides a characterization of strong p-point ultrafilters in terms of Tukey order and idempotency, and investigates the presence of Canjar ultrafilters on measurable cardinals.

Findings

Strong p-point ultrafilters are exactly those not Tukey above (omega^omega, c)

No Canjar ultrafilters exist on measurable cardinals

Ultrafilters from most topological Ramsey spaces are Tukey-idempotent

Abstract

We characterize strong $p$-point ultrafilters by showing that they are exactly those $p$-points that are not Tukey above $(\omega^\omega,\leq)$; or equivalently, those $p$-points that are not Tukey-idempotent. Moreover, we show that there are no Canjar ultrafilters on measurable cardinals. We make use of tools which were motivated by topological Ramsey spaces, developed in \cite{Benhamou/Dobrinen24}, and furthermore, show that ultrafilters arising from most of the known topological Ramsey spaces are Tukey-idempotent. Our results answer questions of Hru\v{s}\'ak and Verner \cite[Question 5.7]{Hrusak/Verner11}, Brook-Taylor \cite[Question 3.6]{{QuestionGeneralized}}, and partially Benhamou and Dobrinen \cite[Question 5.6]{Benhamou/Dobrinen24}.