[論文レビュー] More on cardinal invariants of analytic P-ideals

Barnabás Farkas, Lajos Soukup|arXiv (Cornell University)|Feb 10, 2010

Advanced Topology and Set Theory参考文献 1被引用数 15

ひとこと要約

この論文は、特に非可算バージョンの almost disjointness 数 𝔟(𝕀) を含む、解析的 P-イデアルに関連する基数不変量を調査する。summable イデアルに対しては 𝔞(𝕀) > ω が成り立ち、高密度イデアル（例：密度ゼロイデアル 𝕫）に対しては 𝔞(𝕀) = ω である。主な貢献は、密度ゼロイデアルに対して、強制法的性質が 𝕫-有界性と同値であることを示したことである。すなわち、強制法的性質とイデアルに基づく不変量との関係を確立した。

ABSTRACT

Given an ideal $I$ on $ω$ let $a(I) $ ($\bar{a}(I)$) be minimum of the cardinalities of infinite (uncountable) maximal $I$-almost disjoint subsets of $[ω]^ω$, and denote $b_I$ and$d_I$ the unbounding and dominating numbers of $(ω^ω,\le_I)$. We show that (1) $a(I)>omega$ if $I$ is a summable ideal; (2) $a(Z)=ω$ and $\bar{a}(Z)\le a$ if $Z$ is a tall density ideal, (3) $b\le \bar{a}(I)$, and $b_I=b$ and $d_I=d$, for any analytic P-ideal $I$ on $ω$. Given an analytic $P$-ideal $I$ we investigate the relationship between the Sack, the $I$-bounding, $I$-dominating and $ω^ω$-bounding properties of a given poset $P$. For example, for the density zero ideal $Z$ we can prove: (i) a poset $P$ is $Z$-bounding iff it has the Sacks property, (ii) if $P$ adds a slalom capturing all ground model reals then $P$ is $Z$-dominating.

研究の動機と目的

• 解析的 P-イデアルの構造と基数不変量、特に almost disjointness 数 𝔞(𝕀) 及びその非可算版 𝔟(𝕀) の分析を目的とする。
• 強制法的性質とイデアルに基づく有界性・支配性の関係、特に密度ゼロイデアル 𝕫 についての調査を目的とする。
• イデアルに基づく不変量と古典的基数特性（例：𝔟 や 𝔡）との論理的・集合論的関係を明確化することを目的とする。
• Sacks 性質やスラローム捕獲性といった特定の性質を持つ強制法的性質が、イデアルに基づく有界性・支配性をどのように導くかを同定することを目的とする。

提案手法

• 著者らは、イデアルに基づく almost disjoint 家族を定義・分析し、∞ な 𝕀-MAD 家族の最小サイズを 𝔞(𝕀) として導入。非可算版については 𝔟(𝕀) を導入する。
• Galois-Tukey 接続と Borel 関係を用いて、イデアルに基づく構造と古典的対象（例：ℓ₁⁺ や ω^ω）を比較する。
• 特に Sacks 性質とその密度ゼロイデアル 𝕫 に対する有界性との同値性を分析する強制法的技法を用いる。
• Fremlin の Borel GT-接続に関する深い結果を応用し、ℓ₁⁺ の構造とイデアル 𝕫 の関係を結びつける。
• 解析的 P-イデアルに対しては、unbounding 数 𝔟𝕀 と dominating 数 𝔡𝕀 が古典的 𝔟 と 𝔡 に一致することを証明する。
• 超限反復と一般化拡大を用いて、強制法的性質（例：Sacks、局所化）とイデアルに基づく有界性・支配性の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの解析的 P-イデアル 𝕀 に対して almost disjointness 数 𝔞(𝕀) が ω より大きいのか？
• RQ2 強制法的性質が Sacks 性質を満たすならば、任意の高密度解析的 P-イデアル 𝕀 に対して 𝕀-有界性が成り立つか？
• RQ3 スラローム捕獲性やその他の組合せ的性質を用いて、𝕀-支配的強制法的性質を特徴づけることは可能か？
• RQ4 イデアルに基づく unbounding 数 𝔟𝕀 と dominating 数 𝔡𝕀 は、古典的基数特性 𝔟 と 𝔡 とどのように関係しているか？
• RQ5 すべての地上モデルの実数をスラロームで捕獲する強制法的性質を加えると、与えられた解析的 P-イデアル 𝕀 に対して 𝕀-支配的性質が成り立つか？

主な発見

• 任意の summable イデアル 𝕀ₕ に対して、almost disjointness 数は 𝔞(𝕀ₕ) > ω を満たす。
• 任意の高密度イデアル 𝕫_μ（密度ゼロイデアル 𝕫 を含む）に対して、almost disjointness 数は正確に 𝔞(𝕫_μ) = ω である。
• 任意の解析的 P-イデアル 𝕀 に対して、非可算 almost disjointness 数は 𝔟 ≤ 𝔟(𝕀) を満たし、密度イデアルに対しては 𝔟(𝕫_μ) ≤ 𝔞 が成り立つ。
• イデアルに基づく構造 ⟨ω^ω, ≤𝕀⟩ の unbounding 数と dominating 数は、古典的 𝔟 と 𝔡 に一致する。すなわち、𝔟𝕀 = 𝔟 かつ 𝔡𝕀 = 𝔡 である。
• 密度ゼロイデアル 𝕫 に対して、強制法的性質が 𝕫-有界性であることは、Sacks 性質を満たすことと同値である。
• 強制法的性質がすべての地上モデルの実数をスラロームで捕獲するものであれば、それは 𝕫-支配的であり、これは (ℓ₁⁺, ≤*, ℓ₁⁺)-支配的であることと同値である。