[论文解读] Survey on the Tukey theory of ultrafilters

Natasha Dobrinen|arXiv (Cornell University)|Jan 31, 2014

Advanced Topology and Set Theory参考文献 14被引用 7

一句话总结

本综述确立了可数集上超滤子的Tukey结构，特别关注Laflamme的超滤子及其共终类型。通过结合Ramsey理论与拓扑Ramsey空间，证明了每个$υ_\alpha$之下的Tukey类型构成一个序类型为$(\alpha+1)^*$的递减链，并且所有Tukey可约化至$\mathcal{U}_\alpha$的超滤子均为快速p-点的迭代Fubini积，且精确刻画了Rudin-Keisler与Tukey可约化关系的作用机制。

ABSTRACT

This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey reducibilities are. We review work on the possible structures of cofinal types and conditions which guarantee that an ultrafilter is below the Tukey maximum. The known canonical forms for cofinal maps on ultrafilters are reviewed, as well as their applications to finding which structures embed into the Tukey types of ultrafilters. With the addition of some Ramsey theory, fine analyses of the structures at the bottom of the Tukey hierarchy are made.

研究动机与目标

• 分析可数集上超滤子的Tukey可约化结构，尤其关注Isbell问题，以及Rudin-Keisler与Tukey可约化之间的比较。
• 确定超滤子的共终类型，并识别超滤子为Tukey极大时的条件。
• 刻画超滤子上共终映射的典范形式及其在将结构嵌入Tukey类型中的作用。
• 应用Ramsey理论方法，以细化Tukey层次中下部的分析，特别是与拓扑Ramsey空间相关的超滤子。

提出的方法

• 利用拓扑Ramsey空间$\mathcal{R}_\alpha$，通过典范等价关系与投影映射分析超滤子$\mathcal{U}_\alpha$的结构。
• 应用Todorčević的Ramsey分类定理，解码Tukey类型中的Rudin-Keisler类型，从而实现对$\mathcal{U}_\alpha$以下超滤子的精确分类。
• 使用共终映射与Tukey映射比较偏序结构，其中Tukey可约化通过共终集的像或无界集的原像来定义。
• 利用快速p-点的Fubini迭代构造超滤子，并证明每个Tukey可约化至$\mathcal{U}_\alpha$的超滤子均可表示为这类p-点的迭代Fubini积。
• 应用力迫与通用扩张，特别是在$L(\mathbb{R})$上，分析块基超滤子及其Tukey类型。
• 利用有向偏序集中Tukey可约化与共终相似性的等价性，将Tukey类型解释为共终相似类。

实验结果

研究问题

• RQ1 对于$1 \leq \alpha < \omega_1$，超滤子Tukey可约化至$\mathcal{U}_\alpha$的Tukey类型的确切结构是什么？
• RQ2 在$\omega$上的超滤子背景下，Rudin-Keisler与Tukey可约化之间有何关系？在何种情况下二者一致？
• RQ3 一个超滤子的Tukey类型能否通过其快速p-点的迭代Fubini积完全刻画？
• RQ4 在$L(\mathbb{R})$上通过力迫构造的通用超滤子的Tukey类型的基数是多少？
• RQ5 是否可能在不依赖额外集合论公理的情况下，构造一个$\omega$上的超滤子，使其Tukey类型包含不可数个不同的Tukey类型？

主要发现

• 在$\mathcal{U}_\alpha$之下的初始Tukey结构是一个序类型为$(\alpha+1)^*$的递减链，最小的Tukey类型为Ramsey超滤子的类型。
• 每个满足$\mathcal{V} \leq_T \mathcal{U}_\alpha$的超滤子$\mathcal{V}$，都与某个固定可数快速p-点族的迭代Fubini积Tukey等价。
• 当$\alpha = 1$时，$\mathcal{U}_1$的Tukey类型中的快速p-点构成一个序类型为$\omega$的Rudin-Keisler严格递增链，扩展了Raghavan与Todorčević的早期结果。
• 当$\alpha \geq 2$时，结构中包含Rudin-Keisler不可比较的p-点，这是该背景下此类现象的首次已知示例。
• $\mathcal{U}_1$的Tukey类型中恰好包含$\omega$个快速p-点的同构类，且全部按Rudin-Keisler可约化严格排序。
• 在假定存在超紧基数的条件下，对于$\mathrm{FIN}$上的块基超滤子$\mathcal{U}$，其内模型$L(\mathbb{R})[\mathcal{U}]$在可数指标集上恰好有五个Tukey类型的超滤子。