[論文レビュー] A Boolean Algebraic Approach to Semiproper Iterations

Matteo Viale, Giorgio Audrito+1 more|arXiv (Cornell University)|Feb 7, 2014

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

ひとこと要約

本稿は、反復強制法における半正則性と見直された可算補題反復について焦点を当てた、新しいブール代数的枠組みを提示する。強制法をアトムを持たない完全ブール代数間の完全同型写像としてモデル化し、特に重要なリトラクション恒等式を活用することで、マーティンの最大性（MM）の整合性に対する洗練された、自己完結的な証明を提供する。これは、半正則強制に対する保存定理について、詳細かつ代数的に根ざした記述を文献に埋め込むものである。

ABSTRACT

These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any scholar who has some familiarity with forcing and boolean valued models and full details of all proofs are given. We focus our presentation using the boolean algebra language and defining an iteration system as a directed and commutative system of complete and injective homomorphisms between complete and atomless boolean algebras. It is well known that the boolean algebra approach to forcing and iterations is fully equivalent to the standard one. While there are several monographs where forcing is introduced by means of boolean valued models, to our knowledge no detailed account of iterated forcing following a boolean algebraic approach has yet appeared. We believe that this different approach is fruitful since the richness of the algebraic language simplifies many calculations and definitions, among which that of RCS-limits. Some of the advantages of this approach have been already outlined by Donder and Fuchs in http://arxiv.org/abs/math/9207204. The first part of these notes present the general framework needed to develop the notion of limit of an iterated system of forcings in the boolean algebraic language. The second part contains a proof of the main result of Shelah on semiproper iterations, i.e. that RCS-limit of semiproper iterations are semiproper.

研究の動機と目的

• 完全なブール代数と完全同型写像を用いた反復強制法の包括的かつ自己完結的な理論の構築を図り、部分順序に依存しないこと。
• ブール価値モデルとリトラクション恒等式を用いた、半正則性の新しい代数的特徴付けの提供。
• 見直された可算補題反復を用いて、マーティンの最大性（MM）の詳細かつ体系的な証明の提示。
• 半正則性の反復における保存定理に関して、文献に存在するギャップを明確にし、埋める。
• ブール完備化と代数的技法が、メタ数学的強制問題における計算を簡略化し、直感を保つことの証明。

提案手法

• アトムを持たない完全ブール代数間の完全かつ単射な同型写像の有向系を用いて、反復強制法をモデル化する。
• リトラクション恒等式 $\pi(i(b) \wedge q) = b \wedge \pi(q)$ を、半正則性と反復拡張の分析の基盤として用いる。
• リトラクションの木における分岐を用いて見直された可算補題反復を定義し、分岐がリトラクションの下で安定化すれば最終的に定数となることを仮定する。
• 完全同型写像が、ブール価値モデル上に $\Delta_1$-保存埋め込み $\hat{\imath}: V^{\mathbb{B}} \to V^{\mathbb{C}}$ を誘導することを確立する。
• 一般化された静的集合とウラム行列を用いて、部分集合間での静的性の転送を分析し、静的集合の分割結果を証明する。
• フォドールの補題とクラブ/クラブ的性質を適用して、特にMMの文脈において、拡張モデルにおける静的性の確認を行う。

実験結果

リサーチクエスチョン

• RQ1 完全ブール代数とその同型写像の観点から、半正則性はどのように代数的に特徴付けられるか？
• RQ2 リトラクション写像は、見直された可算補題反復を通じて半正則性をどのように保存するか？
• RQ3 ブール価値モデルは、反復における半正則性の保存をどのように簡略化・明確化できるか？
• RQ4 見直された可算補題を用いた場合、マーティンの最大性の整合性を保証する代数的メカニズムは何か？
• RQ5 一般化された静的集合とウラム行列は、反復強制拡張における静的性の保存と転送にどのように寄与するか？

主な発見

• 本稿は、半正則強制の見直された可算補題反復を用いて、マーティンの最大性（MM）の整合性に対する完全かつ自己完備な証明を提供する。
• 本稿は、リトラクション恒等式に基づくブール代数的特徴付けにより、見直された可算補題反復における半正則性の保存を確立する。
• 著者らは、ウラム行列構成を用いて、任意の $\kappa^+$ 上の静的集合が $\kappa^+$ 個の互いに素な静的集合に分割可能であることを証明する。
• 本稿は、任意の静的集合 $S \subseteq \mathcal{P}(X)$ に対して、$S\uparrow Y = \{B \subseteq Y : B \cap X \in S\}$ が $\mathcal{P}(Y)$ 上で静的であることを示し、拡張における静的性の保存を保証する。
• 本稿は、完全同型写像による一般化フィルターの逆像が、定義域において一般化フィルターであることを示し、標準的強制における完全埋め込みの役割を模倣する。
• 本稿は、$S$ が $\mathcal{P}(Y)$ 上で静的であれば、$S\downarrow X = \{B \cap X : B \in S\}$ が $\mathcal{P}(X)$ 上で静的であることを証明し、制限における静的性の保存を保証する。