[論文レビュー] Jensen's diamond principle and its relatives

Assaf Rinot|arXiv (Cornell University)|Nov 11, 2009

Advanced Topology and Set Theory参考文献 48被引用数 11

ひとこと要約

このサーベイは、後続基数におけるジェンセンのダイアモンド原理とその一般化を調査し、クラブ推測、均一化、非正則性イデアルの飽和性との関係を分析する。最近のダイアモンドに類似した原理とアンチダイアモンド性質に関する結果を統合し、特にスーサリン木と後続基数上のイデアルに関する未解決問題の包括的概要を提示する。

ABSTRACT

We survey some recent results on the validity of Jensen's diamond principle at successor cardinals. We also discuss weakening of this principle such as club guessing, and anti-diamond principles such as uniformization. A collection of open problems is included.

研究の動機と目的

• ZFCと大基数仮定の文脈において、後続基数におけるダイアモンド原理とその変種を包括的にサーベイすること。
• 集合論的組合せ論におけるダイアモンド原理、弱ダイアモンド、クラブ推測、および反射性の性質の相互作用を検討すること。
• 均一化性質や非正則性イデアルの飽和性を含むアンチダイアモンド原理を、後続基数において調査すること。
• 強制法とスケワーパリンプルと関連する、$\operatorname{NS}_{\lambda^+}\restriction S$ などのイデアルの非飽和性に関する最近の結果を提示すること。
• スーサリン木の存在、クラブ推測列、特異基数におけるダイアモンドの振る舞いに関連する未解決問題を整理・分析すること。

提案手法

• 後続基数 $\lambda^+$ の静的部分集合 $S \subseteq \lambda^+$ に対して、$\diamondsuit_S$, $\diamondsuit^*_S$, $\diamondsuit^{+}_S$ の基礎的結果を体系的にレビューし、その整合性と独立性に関する結果を含む。
• 基数算術と強制法の技法を用いて、弱ダイアモンド ($\Phi_S$) を特徴付け、特異基数の後続におけるその失敗を分析する。
• クラブ推測原理およびその強化を応用し、静的部分集合の構造とそのイデアル的性質を研究する。
• 特にギティク＝シャールおよびクルーガーの結果を踏まえ、弱スケワーパラメータや反射性を介して、$\operatorname{NS}_{\lambda^+}\restriction S$ の非飽和性を組合せ的原理を用いて分析する。
• 強制構成（例：$\operatorname{Add}(\lambda,\kappa)$）と内部モデル理論的技法を用いて、飽和イデアルと強力なクラブ推測の整合性結果を確立する。
• $\operatorname{AD}^{L(\mathbb{R})}$ および大基数仮定（例：ほとんど巨大基数）の結果を統合し、飽和イデアルと強力なクラブ推測が同時に成立する整合性を示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $2^\lambda = \lambda^+$ が、$\lambda^+$ の静的集合 $S$ に対して $\diamondsuit_S$ を含むか？
• RQ2 特異基数の後続において、均一化性質が失敗することは可能であり、その場合の弱ダイアモンド原理への影響は何か？
• RQ3 特異基数 $\lambda$ に対して、$\operatorname{NS}_{\lambda^+}\restriction S$ が $E^{\lambda^+}_{\operatorname{cf}(\lambda)}$ の静的集合 $S$ に対して飽和であることは、一貫的か？
• RQ4 特異基数 $\lambda$ に対して、$E^{\lambda^+}_{>\operatorname{cf}(\lambda)}$ のすべての静的部分集合が部分的弱スケワーシーケンスを保持するか？
• RQ5 強力なクラブ推測、イデアルの非飽和性、および特異基数におけるダイアモンド原理の失敗との関係は何か？

主な発見

• $V = L$ では、任意の静的集合 $S \subseteq \lambda^+$ に対して $\diamondsuit_S$ が成立し、$\diamondsuit^*_S$ も成立する。これは、ダイアモンド原理が完全に実現される標準的モデルを提供する。
• ギティク＝シャールの定理は、任意の特異基数 $\lambda$ に対して、$\operatorname{NS}_{\lambda^+}\restriction E^{\lambda^+}_{\operatorname{cf}(\lambda)}$ が非飽和であることを示しており、ZFCレベルのクラブ推測原理を用いている。
• クルーガーの結果は、$\operatorname{NS}_{\lambda^+}\restriction S$ が飽和であるならば、$S$ は「共太い」でなければならないことを示しており、これはすべての $\kappa < \lambda$ に対して、$S$ がすべてのクラブと $\kappa$ の順序型の集合で交わることを意味する。
• フォーマンとコムジャートの強制構成により、$\kappa = \lambda^+$ に対して、$\operatorname{NS}_{\lambda^+}\restriction S$ が飽和であり、かつすべての $\mu \leq \lambda$ に対して $E^{\lambda^+}_\mu$ が強力なクラブ推測列を持つことは一貫的であることが示された。
• $\operatorname{AD}^{L(\mathbb{R})}$ の下でウッドインの結果により、$\operatorname{NS}_{\omega_1}$ が飽和であり、かつ $E^{\omega_1}_\omega$ が $L(\mathbb{R})$ の強制拡張で強力なクラブ推測列を持つことは可能である。
• $E^{\lambda^+}_{\operatorname{cf}(\lambda)}$ に強力なクラブ推測列が存在することは、特定の $S$ に対して $\operatorname{NS}_{\lambda^+}\restriction S$ が飽和であることに一貫的であるが、すべてのモデルでそうではない。特に、強力なクラブ推測と飽和イデアルを同時に組み合わせることは、一部の状況では不整合であることが示された。