[論文レビュー] Morley sequences in dependent theories

Alexander Usvyatsov|ArXiv.org|Oct 3, 2008

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

ひとこと要約

この論文は、依存的（NIP）理論において、モーリー列—無限列の一般化—がその「最終型」を通じて一意なグローバル非分岐拡張を決定することを確立し、任意の型に対して非分岐拡張が一意でない問題を解決する。また、ある列が集合A上でのモーリー列であることと、それがA上で弱く特別であることとは同値であることを証明し、シャラの厳密な非分岐に基づく「厳密モーリー列」を導入することで、依存的理論におけるキムの補題を正当化し、単純理論における主要な結果を一般化する。

ABSTRACT

We characterize nonforking (Morley) sequences in dependent theories in terms of a generalization of Poizat's special sequences and show that average types of Morley sequences are stationary over their domains. We characterize generically stable types in terms of the structure of the "eventual" type. We then study basic properties of "strict Morley sequences", based on Shelah's notion of strict nonforking. In particular we prove "Kim's lemma" for such sequences, and a weak version of local character.

研究の動機と目的

• 任意の型が一意に非分岐拡張を決定しない場合でも、グローバル非分岐拡張の一意性を保証するため、依存的理論における非分岐拡張の非一意性を解決し、その拡張を決定する標準的対象としてモーリー列を同定すること。
• ポアザの特別列の概念を「弱く特別な列」に一般化し、依存的理論においてそれがモーリー列と同値であることを示すこと。
• モーリー列の最終型とその無限列性の性質に基づき、一般に安定な型を特徴付けること。
• シェラの厳密な非分岐に基づいて「厳密モーリー列」を導入し、依存的理論におけるキムの補題のバージョンを可能にすること。
• 依存的理論における厳密モーリー列の局所的性質およびその他の構造的性質を確立すること。

提案手法

• ポアザの特別列の一般化として「弱く特別な列」を定義し、列Iの『最終型』Ev(I)を用いた構成により、列Iの平均型を拡張する。
• 列Iが集合A上でのモーリー列であることと、A上で弱く特別であることとは同値であることを証明し、モデル理論的非分岐の概念とポアザの最終型構成を結びつける。
• シェラの『厳密な非分岐』の概念を用いて『厳密モーリー列』を定義し、それがキムの補題を満たすことを示す：φ(x,a)がA上で分裂するならば、任意のtp(a/A)に属する厳密モーリー列Iに対してφ(x,I)は一貫しない。
• 自己同型による無限列性の保存性を応用し、非分岐の推移性と対称性を用いて、所望の性質を満たす列を構成する。
• チェルニコフとカプランの最近の結果を活用し、非分岐の相続子の存在を導出し、それが厳密モーリー列であることを示す。
• 最終型Ev(I)を用いてグローバル非分岐拡張を特徴付け、Av(I, A ∪ I)がA上で一意な非分岐拡張を持ち、それがちょうどEv(I)に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 依存的理論における非分岐列は、型が一意に非分岐拡張を決定しない場合でも、一意なグローバル非分岐拡張を保証する方法で特徴付けられるか？
• RQ2 モーリー列Iの最終型Ev(I)は、平均型Av(I, C)および定義域上のグローバル非分岐拡張とどのように関係するか？
• RQ3 キムの補題が依存的理論で成り立つような、より強いモーリー列の概念—例えば「厳密モーリー列」—は存在するか？
• RQ4 依存的理論において、弱く特別な列とモーリー列の関係は何か？
• RQ5 特にモデル上において、厳密モーリー列の存在は依存的理論で保証されるか？

主な発見

• 列Iが集合A上でのモーリー列であることと、A上で弱く特別であることとは同値である。これは、依存的理論におけるモーリー列のモデル理論的特徴付けを確立する。
• モーリー列Iの平均型Av(I, A ∪ I)は、A上で一意なグローバル非分岐拡張を持ち、それはまさに最終型Ev(I)に等しい。
• 厳密モーリー列に対してキムの補題が成り立つ：φ(x,a)がA上で分裂するならば、任意のtp(a/A)に属する厳密モーリー列Iに対してφ(x,I)は一貫しない。
• すべてのグローバル非分岐相続子は厳密モーリー列であり、最近の非分岐相続子に関する結果を用いることで、依存的理論においてモデル上にそのような列が存在することが示された。
• モーリー列Iの最終型Ev(I)はA上で安定的であり、Av(I, C) = Ev(I)であることと、Iが無限列集合であることとは同値である。
• Av(I, C)がA上で非分岐するという条件は、Iが無限列集合であることと同値である。これは、無限列性と非分岐性を用いた、一般に安定な型の新しい特徴付けを提供する。