[論文レビュー] Seven characterizations of non-meager P-filters

Kenneth Kunen, Andrea Medini+1 more|arXiv (Cornell University)|Nov 7, 2013

Advanced Topology and Set Theory参考文献 12被引用数 5

ひとこと要約

この論文は、ω 上の非可縮 P-フィルターについて、7 つの同値な特徴付けを確立し、それらが正確に可算稠密同型 (CDH)、完全な Baire 性 (CB)、ミラー性およびカントール＝ベンディクソン性を満たすものであることを示している。主な結果は、フィルターが非可縮 P-フィルターであるための必要十分条件が CDH であることであり、これは集合論的位相幾何学における長年の位相的・組合せ的同値性を解消し、メディーニ、ミロヴィッチ、およびエルナンデス＝ギティエルス–フシュァクの未解決問題を解決する。

ABSTRACT

We give several topological/combinatorial conditions that, for a filter on $ω$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a non-meager $\mathsf{P}$-filter. Here, we identify a filter with a subspace of $2^ω$ through characteristic functions. Along the way, we generalize to non-meager $\mathsf{P}$-filters a result of Miller about $\mathsf{P}$-points, and we employ and give a new proof of results of Marciszewski. We also employ a theorem of Hernández-Gutiérrez and Hrušák, and answer two questions that they posed. Our result also resolves several issues raised by Medini and Milovich, and proves false one "theorem" of theirs. Furthermore, we show that the statement "Every non-meager filter contains a non-meager $\mathsf{P}$-subfilter" is independent of $\mathsf{ZFC}$ (more precisely, it is a consequence of $\mathfrak{u}

研究の動機と目的

• ω 上のフィルターについて、特に非可縮 P-フィルターに注目し、複数の位相的および組合せ的性質の同値性を同定し、証明すること。
• メディーニ、ミロヴィッチ、およびエルナンデス＝ギティエルス–フシュァクが提起した、フィルターおよび超フィルターの構造と分類に関する未解決問題を解消すること。
• 非可縮 P-フィルターの存在の整合性の強さを、ZFC、♢、および基数不変量 𝔪 と 𝔤 と関連して調査すること。
• 「任意の非可縮フィルターは非可縮 P-部分フィルターを含む」という主張が ZFC に独立であることを示し、𝔪 < 𝔤 および ♢ からの帰結を提示すること。
• 𝔪 < 𝔤 の下で、フィルターが 𝔠 より少ない数の可算稠密部分集合の型を持つことと、それが非可縮 P-フィルターであることの必要十分条件が同値であることを示すこと。

提案手法

• ♢-系列を用いた超限再帰を用いて、任意の部分フィルターが可縮または P-フィルターでないような超フィルター 𝒰 を構成する。
• 圧縮下降補題と鳩の巣原理を用いて、超フィルターの構成における非可算な一様族を抽出する。
• 位相的性質（CDH、CB、ミラー性、カントール＝ベンディクソン性）を用いた非可縮 P-フィルターの特徴付けを適用する。
• マリシエフスキー、ミラー、およびエルナンデス＝ギティエルス–フシュァクの既知の結果を用い、非可縮 P-フィルターの文脈で一般化および再証明する。
• ♢-系列からの集合列を用いた擬似交差集合を介して定義されるイデアル 𝒫ξ を用いて、超フィルターの所望の性質を強制する。
• 強制法風の議論と組合せ的原理（例：𝔪 < 𝔤 および ♢）を用いて、部分フィルターおよび可算稠密部分集合の型に関する主張の整合性を分析する。

実験結果

リサーチクエスチョン

• RQ1 任意の非可縮フィルターは、非可縮 P-部分フィルターを含むと保証されるか？ もし非保証ならば、この主張の整合性条件は何か？
• RQ2 CDH、CB、ミラー性、カントール＝ベンディクソン性という位相的性質は、ω 上のフィルターについて同値であるか？ もしそうならば、どのような条件下で成立するか？
• RQ3 MA(countable) より弱い仮定の下で、CDH 超フィルターの存在を示せるか？ また、この文脈で ♢ が果たす役割は何か？
• RQ4 フィルターの可算稠密部分集合の型の数と、それが非可縮 P-フィルターであることの関係は何か？
• RQ5 「任意の非可縮フィルターは非可縮 P-部分フィルターを含む」という主張は ZFC で証明可能か、それとも ZFC に独立であるか？

主な発見

• フィルターが非可縮 P-フィルターであることと、可算稠密同型 (CDH) であり、完全な Baire 性 (CB) を持ち、ミラー性およびカントール＝ベンディクソン性を満たすことは同値である。
• 「任意の非可縮フィルターは非可縮 P-部分フィルターを含む」という主張は ZFC に独立である：𝔪 < 𝔤 の下では成立し、♢ の下では不成立である。
• 𝔪 < 𝔤 の下で、フィルターが 𝔠 より少ない数の可算稠密部分集合の型を持つことと、それが非可縮 P-フィルターであることの必要十分条件が同値である。
• MA(countable) の下で、可算稠密部分集合の型が 𝔠 個ある超フィルターが存在する。これはフシュァクとヴァン・ミルの予想を確認する。
• ♢ の下で、任意の部分フィルターが可縮または P-フィルターでないような超フィルターを構成した。このことから、この場合に非可縮 P-部分フィルターは存在しないことが示された。
• メディーニとミロヴィッチの誤った「定理」を証明により否定し、エルナンデス＝ギティエルスとフシュァクが提起した 2 つの未解決問題に答えを提示した。