[論文レビュー] PFA(S)[S] and the Arhangel'skii-Tall problem

Franklin D. Tall|arXiv (Cornell University)|Apr 14, 2011

Advanced Topology and Set Theory参考文献 27被引用数 3

ひとこと要約

この論文は、超コンパクト基数の整合性を仮定することで、任意の局所コンパクト正規空間が、金属リンデルォーフであるか、すべての閉集合が $G_{\delta}$-集合である場合、その空間がパラコンパクトであることを示すことにより、集合論的位相幾何学における長年の問題を解決する。この結果は、一貫性のあるコherentな数え上げツリー $S$ を用いた強制法によって得られるモデル $\mathrm{PFA}(S)[S]$ において達成され、このモデルでは $\aleph_1$-可分集合族ハウスドルフ性が保証され、反射と被覆の議論を用いた証明が可能になる。

ABSTRACT

We discuss the Arhangel'skii-Tall problem and related questions in models obtained by forcing with a coherent Souslin tree.

研究の動機と目的

• 弱められた条件下で局所コンパクト正規空間のパラコンパクト性を確立することで、アールガネルスキー＝タール問題を解決すること。
• 従来の $\mathrm{PFA}(S)[S]$ の結果を、完全正規空間に限らない金属リンデルォーフ空間へと拡張すること。
• 大基数仮定（超コンパクト性）を削除可能かどうかを検討し、それが到達可能基数にまで弱め可能であると予想すること。
• 初期の強制ステップの必要性と、$\mathrm{PFA}(S)[S]$ を構成する際の標準的反復の役割を分析すること。
• 局所コンパクトかつ完全正規な空間における $S$-空間と $Q$-集合の存在に対する $\mathrm{PFA}(S)[S]$ の意味を調査すること。

提案手法

• 一貫性のあるコherentな数え上げツリー $S$ を用いた強制法により、モデル $\mathrm{PFA}(S)[S]$ を構成し、このモデルは $S$ を保存し、$S$ を保存する proper poset に対する $\mathrm{PFA}$ を満たす。
• 定理6で示されたように、$\mathrm{PFA}(S)[S]$ は局所コンパクト正規空間が $\aleph_1$-可分集合族ハウスドルフであることを示す。
• 補題7を用いて、$\aleph_1$-可分集合族ハウスドルフで、金属リンデルォーフで、局所コンパクト正規な空間がパラコンパクトであることを示す。
• $\mathrm{MA}_{\omega_1}(S)[S]$ の使用とその結果、特に $\mathfrak{b} \leq \aleph_1$ の失敗と、第一可算正則空間における正規性の性質を分析する。
• 既知の結果を活用：$\mathrm{PFA}(S)[S]$ は $\mathfrak{b} > \aleph_1$ を示し、これは第一可算正則空間において、互いに交わらない閉集合（片方が可算）が互いに交わらない開近傍を持つことを示唆する。
• ソウクープによる構成：$2^{\aleph_1} = \aleph_2$ の下で、第一可算、完全正規でない、非リンデルォーフ的、$0$-次元の空間が構成可能であり、この空間は $\mathrm{PFA}(S)[S]$ において完全正規になる。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{PFA}(S)[S]$ は、金属リンデルォーフであるか、すべての閉集合が $G_\delta$-集合であるような任意の局所コンパクト正規空間がパラコンパクトであることを示すか？
• RQ2 アールガネルスキー＝タール問題の整合性証明における大基数仮定（超コンパクト性）を削除可能か？
• RQ3 以前の $\mathrm{PFA}(S)[S]$ の構成において用いられた初期の強制ステップは、本研究の結果にとって必要か？
• RQ4 $\mathrm{PFA}(S)[S]$ は、局所コンパクトかつ完全正規な空間における第一可算 $S$-空間や $Q$-集合の非存在を示唆するか？
• RQ5 $\mathrm{PFA}(S)[S]$ は、第一可算、完全正規でない、リンデルォーフ的、正則な空間が完全正規であることを示唆するか？

主な発見

• ZFCに対して超コンパクト基数が整合的であると仮定すると、$\mathrm{PFA}(S)[S]$ は、金属リンデルォーフであるか、すべての閉集合が $G_\delta$-集合であるような任意の局所コンパクト正規空間がパラコンパクトであることを示す。
• $\mathrm{PFA}(S)[S]$ は、局所コンパクト正規空間が $\aleph_1$-可分集合族ハウスドルフであることを示し、証明の鍵となるステップである。
• モデル $\mathrm{PFA}(S)[S]$ は $\mathfrak{b} > \aleph_1$ を保証し、第一可算正則空間において、互いに交わらない閉集合（片方が可算）が互いに交わらない開近傍を持つことを示唆する。
• $\mathrm{PFA}(S)[S]$ において、$2^{\aleph_1} = \aleph_2$ の下で構成された第一可算、完全正規でない、非リンデルォーフ的、$0$-次元の空間は完全正規になる。
• モデル $\mathrm{PFA}(S)[S]$ は、$\aleph_1$ の濃度の分離可能で完全正規かつ局所コンパクトな空間が存在しないことを示し、$Q$-集合や $S$-空間の欠如に起因する。
• 本論文は、$\mathrm{PFA}(S)[S]$ が第一可算 $S$-空間の非存在を示すと予想しており、既知の結果である $\mathrm{MA}_{\omega_1}(S)[S]$ がこのような空間の存在を除外しないことへの拡張である。