[論文レビュー] Survey on the Tukey theory of ultrafilters

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

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

ひとこと要約

本調査は、可算集合上のフィルターのツーキー構造を確立し、特にラフラムのフィルターとその共終型に焦点を当てる。ラマヌジャン理論と位相的ラマヌジャン空間を組み合わせることで、各 $\upsilon_\alpha$ 以下のツーキー型が順序型 $(\alpha+1)^*$ の減少鎖をなしており、$\mathcal{U}_\alpha$ にツーキー還元可能なすべてのフィルターが、高速 p-ポイントの反復フィビニ積であることが示され、ラウディン＝キースラーおよびツーキー還元関係の明確な特徴づけがなされている。

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.

研究の動機と目的

• 可算集合上のフィルターのツーキー還元構造を分析し、特にイズベルの問題およびラウディン＝キースラー還元とツーキー還元の比較に関連して検討する。
• フィルターの共終型を特定し、フィルターがツーキー最大である条件を同定する。
• フィルター上の共終写像の標準形を特徴づけ、それがツーキー型への埋め込み構造に果たす役割を明らかにする。
• ラマヌジャン的技法を応用して、ツーキー階層の下部の分析を精緻化し、特に位相的ラマヌジャン空間に関連するフィルターに対して特に焦点を当てる。

提案手法

• ツーキー型 $\mathcal{U}_\alpha$ の構造を、標準的同値関係と射影写像を用いて分析するため、位相的ラマヌジャン空間 $\mathcal{R}_\alpha$ を用いる。
• トドルチェビッチのラマヌジャン分類定理を適用し、ツーキー型内でのラウディン＝キースラー型を解読することで、$\mathcal{U}_\alpha$ 以下のフィルターの明確な分類を可能にする。
• 共終写像とツーキー写像を用いて部分順序を比較し、ツーキー還元は共終集合の像または有界集合の逆像によって定義される。
• 高速 p-ポイントのフィビニ反復を用いてフィルターを構成し、$\mathcal{U}_\alpha$ にツーキー還元可能なすべてのフィルターが、このような p-ポイントの反復フィビニ積として生じることを示す。
• 特に $L(\mathbb{R})$ 上での強制法と一般化拡大を用いて、ブロック基本フィルターとそのツーキー型を分析する。
• 有向部分順序におけるツーキー還元と共終類似性の同値性を活用し、ツーキー型を共終類似性類として解釈する。

実験結果

リサーチクエスチョン

• RQ1 可算順序型 $1 \leq \alpha < \omega_1$ に対して、$\mathcal{U}_\alpha$ にツーキー還元可能なフィルターのツーキー型の正確な構造は何か？
• RQ2 可算集合 $\omega$ 上のフィルターの文脈において、ラウディン＝キースラー還元とツーキー還元はどのように関係するか。また、どのような場合に一致するか？
• RQ3 フィルターのツーキー型は、高速 p-ポイントの反復フィビニ積によって完全に特徴づけられるか？
• RQ4 $L(\mathbb{R})$ 上での強制法によって構成された一般化フィルターのツーキー型の濃度は何か？
• RQ5 追加の集合論的公理を用いずに、連続体個の異なるツーキー型を持つ $\omega$ 上のフィルターを構成することは可能か？

主な発見

• $\mathcal{U}_\alpha$ 以下の初期ツーキー構造は、順序型 $(\alpha+1)^*$ の減少鎖であり、最小のツーキー型はラマヌジャンフィルターのものである。
• 任意のフィルター $\mathcal{V} \leq_T \mathcal{U}_\alpha$ は、固定された可算個の高速 p-ポイントの族からの反復フィビニ積とツーキー同値である。
• $\alpha = 1$ の場合、$\mathcal{U}_1$ のツーキー型に含まれる高速 p-ポイントは、順序型 $\omega$ のラウディン＝キースラーの厳密に増加する鎖をなし、ラガヴァンとトドルチェビッチの先行結果を拡張する。
• $\alpha \geq 2$ の場合、ラウディン＝キースラーで比較不能な p-ポイントを含む構造が現れ、この文脈で初めてそのような現象が観察された。
• $\mathcal{U}_1$ のツーキー型には、正確に $\omega$ 個の高速 p-ポイントの同型類が含まれており、それらはすべてラウディン＝キースラー還元に関して厳密に順序付けられている。
• スーパー合成基数の仮定のもと、$\mathrm{FIN}$ 上のブロック基本フィルター $\mathcal{U}$ に対して、内モデル $L(\mathbb{R})[\mathcal{U}]$ は、可算添え字集合上のフィルターについて正確に五つのツーキー型を持つ。