[論文レビュー] Posets of Copies of Countable Scattered Linear Orders

Miloš S. Kurilić|arXiv (Cornell University)|Mar 11, 2013

Advanced Topics in Algebra参考文献 1被引用数 5

ひとこと要約

本稿は、任意の可算な散らばった線形順序 $L$ に対して、その同型な部分順序の包摂順序の集合が、$\sigma$-閉かつアトームレスである分離的商を持つことを確立する。連続体仮説（CH）のもとでは、このようなすべての順序は $(P(\omega)/\text{Fin})^+$ と強制同値であり、可算な線形順序の強制型の分類が完成する。

ABSTRACT

We show that the separative quotient of the poset (P(L),\subset) of isomorphic suborders of a countable scattered linear order L is σ-closed and atomless. So, under the CH, all these posets are forcing-equivalent (to P(ω)/Fin).

研究の動機と目的

• 可算な線形順序の部分順序の順序集合を分析することで、可算な線形順序の強制型の分類を完成させること。
• 可算な散らばった線形順序 $L$ に対して、順序 $\langle \mathbb{P}(L), \subset \rangle$ の強制的性質を同定すること。
• この順序の分離的商が $\sigma$-閉かつアトームレスであることを示し、この文脈において最も強い閉包性質であることを示すこと。
• 非散らばった順序に関する先行結果を散らばった場合にまで拡張し、引用文献の図1の図像を完全に完成させること。

提案手法

• 任意の可算な散らばった線形順序が、ヒエラルキー的分解不能（ha）順序の有限和として表せることを示すラーヴァーの定理を用い、このような順序の構造に基づく帰納法で証明を進める。
• まずha順序に対して結果を確立し、次にha順序の特別なブロックに拡張し、最終的にブロックの有限和にまで拡張する。
• 鍵となる技術的段階は、$\langle \mathbb{P}(L), \subset \rangle$ の分離的商が $\sigma$-閉であることを示すことであり、これには部分順序の埋め込みとイデアル構造の詳細な分析が必要である。
• 証明では、$\sigma$-閉順序がCHのもとで $(P(\omega)/\text{Fin})^+$ と強制同値であるという事実を用いる。
• ハウスドルフ階層に依存しないように、ha順序とその和への構造的分解を用いる。
• 既知の結果（例えば $\text{Fin} \times \text{Fin}$）を用いて、$P(\omega)/\text{Fin}$ のようなイデアル商を用いた、特定の順序（例：$\omega \cdot \omega$）の分離的商を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 可算な散らばった線形順序の同型部分順序の順序集合の分離的商は、常に $\sigma$-閉かつアトームレスであるか？
• RQ2 連続体仮説のもとで、このような順序集合の強制同値性は完全に分類可能か？
• RQ3 $\sigma$-閉性質は、その複雑さに関係なく、すべての可算な散らばった線形順序に一様に成り立つか？
• RQ4 部分順序の順序構造は、$P(\omega)/\text{Fin}$ のようなイデアル商を用いて完全に特徴付け可能か？
• RQ5 散らばった順序の強制的挙動は、非散らばった順序（例：$\mathbb{S} \ast \pi$ の既知の事例）と比較してどのように異なるか？

主な発見

• 任意の可算な散らばった線形順序 $L$ に対して、順序 $\langle \mathbb{P}(L), \subset \rangle$ は均一的で、アトームレスであり、濃度が $\mathfrak{c}$ である。
• 順序 $\langle \mathbb{P}(L), \subset \rangle$ の分離的商は $\sigma$-閉であり、この閉包性質は最良（$\omega_2$-閉に強化できない）である。
• 連続体仮説（CH）のもとでは、すべてのこのような順序集合は $(P(\omega)/\text{Fin})^+$ と強制同値であり、標準的な $\sigma$-閉かつアトームレスな順序である。
• $L = \omega \cdot \omega$ の場合、分離的商は $(P(\omega \times \omega)/(\text{Fin} \times \text{Fin}))^+$ と同型であり、これは $\omega_1$-閉だが $\omega_2$-閉ではない。
• 式（38）に示すように、繰り返しの縮小冪を用いた式によって、すべての可算順序数にまで拡張可能である。
• 順序 $L$ が散らばっている場合、$L$ のコピーの順序集合は $\sigma$-閉かつアトームレスな強制と強制同値であり、$L$ が非散らばっている場合、$\mathbb{S} \ast \pi$（$\pi$ が $\sigma$-閉）と強制同値である。