[論文レビュー] Fallen Cardinals

Menachem Kojman, Saharon Shelah|arXiv (Cornell University)|Sep 7, 2000

Advanced Topology and Set Theory被引用数 4

ひとこと要約

この論文は、連続的順序型 ω を持つ特異基数 μ に対して、完全なブール代数 ℘_μ(μ) がコロール代数 Coll(ω₁, μ^ℵ₀) に同型な完全な部分代数を含むことを証明しており、商代数 ℘(μ)/[μ]^{<μ} による強制法が μ^ℵ₀ を ℵ₁ に崩壊させることを示している。また、Balcar と Simon が提起した、μ 上の均一超フィルター空間のベール数に関する2つの予想を確認している。

ABSTRACT

We prove that for every singular cardinal mu of cofinality omega, the complete Boolean algebra compP_mu(mu) contains as a complete subalgebra an isomorphic copy of the collapse algebra Comp Col(omega_1,mu^{aleph_0}). Consequently, adding a generic filter to the quotient algebra P_mu(mu)=P(mu)/[mu]^{<mu} collapses mu^{aleph_0} to aleph_1. Another corollary is that the Baire number of the space U(mu) of all uniform ultrafilters over mu is equal to omega_2. The corollaries affirm two conjectures by Balcar and Simon. The proof uses pcf theory.

研究の動機と目的

• 特異基数 μ が連続的順序型 ω を持つ場合に、℘_μ(μ) 内に Coll(ω₁, μ^ℵ₀) に同型な完全な部分代数が存在することを確立すること。
• 商代数 ℘(μ)/[μ]^{<μ} による強制法が μ^ℵ₀ を ℵ₁ に崩壊させることを示すこと。
• Balcar と Simon の予想、すなわち μ 上の均一超フィルター空間 U(μ) のベール数が ω₂ であることの確認。
• pcf理論を応用して、ブール代数および集合論的位相幾何学における長年の予想を解決すること。

提案手法

• 連続的順序型 ω を持つ特異基数上のイデアルの構造を分析するために pcf理論を用いる。
• コロール代数 Coll(ω₁, μ^ℵ₀) を完全なブール代数 ℘_μ(μ) に埋め込む構成を行う。
• 商代数 ℘(μ)/[μ]^{<μ} を分析し、その強制的効果が基数算術に与える影響を特定する。
• 均一超フィルターの性質およびその位相的ベール数を応用して最終的な結果を導出する。
• 埋め込みの完全性を確立することで、強制的性質の保存を保証する。
• pcf理論からのモデル理論的および組合せ的技法を組み合わせ、必要な部分代数の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 特異基数 μ が連続的順序型 ω を持つ場合に、完全なブール代数 ℘_μ(μ) は Coll(ω₁, μ^ℵ₀) に同型な完全な部分代数を含むか？
• RQ2 商代数 ℘(μ)/[μ]^{<μ} による強制法は、基数 μ^ℵ₀ にどのような影響を与えるか？
• RQ3 μ 上の均一超フィルター空間 U(μ) のベール数は ω₂ に等しいか？
• RQ4 pcf理論を用いて、Balcar と Simon の均一超フィルターの構造に関する予想を解決できるか？

主な発見

• 連続的順序型 ω を持つ任意の特異基数 μ に対して、ブール代数 ℘_μ(μ) は Coll(ω₁, μ^ℵ₀) に同型な完全な部分代数を含む。
• 商代数 ℘(μ)/[μ]^{<μ} による強制法は、μ^ℵ₀ を ℵ₁ に崩壊させる。
• μ 上の均一超フィルター空間 U(μ) のベール数は正確に ω₂ である。
• 結果は、Balcar と Simon が提起した、均一超フィルターの位相的および強制的性質に関する2つの予想を確認している。
• 必要な部分代数埋め込みの存在を確立するため、pcf理論からの深い構造的結果に依存している。
• μ^ℵ₀ への崩壊効果は、℘_μ(μ) 内の部分代数構造の直接的結果であることが示された。