[論文レビュー] Dependent theories and the generic pair conjecture

Saharon Shelah|arXiv (Cornell University)|Feb 10, 2007

Advanced Topology and Set Theory参考文献 6被引用数 4

ひとこと要約

この論文は、依存性（NIP）な一階理論における $\kappa$-飽和モデル上の完全型に対して、安定的でかつ木構造的な構造的特徴を併せ持つ分解定理を確立する。$2^\kappa = \kappa^+$ の下で、測度を持つ基数 $\kappa$ に対する一般化型ペア予想を証明し、$\kappa^+$-飽和なモデルの鎖に対して、$\text{cf}(\delta) = \kappa$ を満たす一般化型ペア $(M_\delta, M_\alpha)$ が同型であることを示し、$\mathbb{L}_{\infty,\kappa}(\tau_T)$-同値性を導く。

ABSTRACT

We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory is the combination of the one for stable theories and the one for the theory of dense linear order or trees (and first we should try to understand the quite saturated case). As a measure of our progress, we give several applications considering some test questions; in particular we try to prove the generic pair conjecture and do it for measurable cardinals.

研究の動機と目的

• 依存性（NIP）理論における $\kappa$-飽和モデル上の完全型を、安定的でかつ木構造的な成分に分解することで理解すること。
• 依存理論を、安定理論と稠密な線形順序または木構造のハイブリッドとしての構造的像を描くこと。
• 測度を持つ基数に対して一般化型ペア予想を証明し、特定の飽和性および基数条件の下で、同一の理論に属するモデルの一般化型ペアが同型であることを確認すること。
• GCHの下で、依存理論における正確な $\kappa$-飽和性および無限可換集合の存在を特徴づけること。
• 測度を持つ $\kappa$ に対して、$\kappa$-飽和モデル上の型の厳密な分解フレームワークを構築し、一般化型ペアの分析を可能にすること。

提案手法

• $\kappa$-飽和モデルの概念を導入し、型の振る舞いを分析するために $\kappa$-正確飽和の概念を用いる。
• クラス $K_\ell$ および $\text{mx}K^\ell_{\lambda,\kappa,\theta}$ を用いて、型の2段階的分解（擬似安定部と木構造部）を構築する。
• 埋め込みの分析と分解の鎖の構成を目的として、'近似ペア'（AP）上の部分順序 $\leq_{\text{AP}}$ を定義する。
• 共終性 $\kappa$ の順序数のクラブ集合を用いて、$\kappa^+$-飽和な鎖における一般化型ペアの同型型を同定する。
• 厳密な分解定理を適用し、厳密な $(\kappa,\theta)$-分解の増加列が極限を持つことを示し、帰納的構成を可能にする。
• $2^\kappa = \kappa^+$ および $\kappa = \kappa^{<\kappa}$ の下で、一般化型ペアの $\mathbb{L}_{\infty,\kappa}(\tau_T)$-同値性を確立し、導出された一階理論を導く。

実験結果

リサーチクエスチョン

• RQ1 依存理論における $\kappa$-飽和モデル上の完全型は、安定的でかつ木構造的な成分に分解可能か？
• RQ2 依存理論における測度を持つ基数に対して、一般化型ペア予想は成立するか？
• RQ3 どのような条件下で、依存理論が特異的正確飽和性を持つモデルを有するか？
• RQ4 依存理論における十分に飽和したモデル上の1型のスペクトルはどのように特徴づけられるか？
• RQ5 一般化型ペアの構造は、$\mathbb{L}_{\infty,\kappa}(\tau_T)$-同値性によって捉えられるか？

主な発見

• 型分解定理（2.4）は、$\kappa$-飽和モデル上の型が擬似安定部と木構造部の2部に分解可能であることを確立する。
• 測度を持つ基数 $\kappa > |T|$ で $2^\kappa = \kappa^+$ を満たすとき、一般化型ペア予想が成立する：$\text{cf}(\delta) = \kappa$ を満たす一般化型ペア $(M_\delta, M_\alpha)$ は同型である。
• 共終性 $\kappa$ の順序数のクラブ $E \subseteq \kappa^+$ が存在し、$E$ の $\alpha < \beta$ に対してペア $(M_\beta, M_\alpha)$ が同型である。
• 一般化型ペア予想は、そのペアの $\mathbb{L}_{\infty,\kappa}(\tau_T)$-同値性を示し、導出された一階理論をもたらす。
• 依存理論に無限可換集合が存在するならば、GCHの下で正確な $\kappa$-飽和性が保証され、そのようなモデルは明確な特徴づけが可能である。
• 厳密な $(\kappa,\theta)$-分解の増加列は極限を持ち、一般化型ペア間の同型写像の構成を可能にする。