[論文レビュー] Externally definable sets and dependent pairs II

Artem Chernikov, Pierre Simon|arXiv (Cornell University)|Feb 13, 2012

Advanced Topology and Set Theory参考文献 21被引用数 5

ひとこと要約

この論文は、NIP（依存性）理論におけるモデル理論的理解を進めるものであり、有限集合上の型の均一定義可能性を確立し、モデル上の公式の非分岐的インスタンスが有限個の不変型によって被覆可能であることを証明している。さらに、小さな無限交差列を名付けるとNIPが保たれるが、大きな無限交差列を名付けると保たれないこと、および、予測子による理論拡張がNIPを保つ条件を提示しており、特に歪み理論における有界性を特徴付けるための「dnfcp’」条件を導入している。

ABSTRACT

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of non-forking instances of a formula (with parameters ranging over a type-definable set) can be covered with finitely many invariant types; we give some criteria for the boundedness of an expansion by a new predicate in a distal theory; naming an arbitrary small indiscernible sequence preserves NIP, while naming a large one doesn't; there are models of NIP theories over which all 1-types are definable, but not all n-types.

研究の動機と目的

• NIP理論において、有限集合上の型の均一定義可能性を確立し、Laskowskiの予想を確認する。
• モデル上の公式の非分岐的インスタンスの構造を分析し、それらが有限個のグローバル不変型によって被覆可能であることを示す。
• 予測子による理論拡張の有界性に関する十分条件を提供するが、特に歪み理論および安定的に埋め込まれた設定において重点を置く。
• 無限交差列を名付ける際のNIPの保存性を明確にし、小さな列と大きな列の違いを区別する。
• NIP理論において1型の定義可能性がn型の定義可能性を含むかどうかを調査し、モデルに対してMarker-Steinhorn型の定理を一般化する。

提案手法

• Alon-KleitmanおよびMatoušekの(p,k)-定理を用いて、NIP理論における外部的に定義可能な集合の均一誠実定義を確立する。
• コンパクト性および組合せ的議論を適用して、有限集合上の型の均一定義可能性を導出する。
• [CK12]におけるNIP理論における分岐に関する結果と均一誠実定義を組み合わせ、不変型による非分岐インスタンスの有限被覆を示す。
• 予測子による拡張における有界性を特徴付けるために、定義可能なパラメータ集合に対する弱化された有限被覆性条件（dnfcp’）を導入する。
• モデル理論的概念（安定的埋め込み、不変性、誘導構造における量化記号の除去）を用いて、名付けられた部分集合上の誘導構造を分析する。
• Pillayの1-安定的埋め込み集合に関する議論を適応し、均一(1,∞)-安定的埋め込みの下で、モデル上の型の均一定義可能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 NIP理論において、有限集合上の型は均一に定義可能か。Laskowskiの予想を確認できるか。
• RQ2 タイプ定義可能な集合をパラメータとする公式の非分岐的インスタンスの族は、有限個のグローバルM不変型によって被覆可能か。
• RQ3 歪みNIP理論を予測子によって拡張する場合、NIPおよび有界性が保存される条件は何か。
• RQ4 小さな無限交差列を名付けるとNIPが保存されるか。大きな列を名付けるとどうなるか。
• RQ5 モデル上でのすべての1型の定義可能性が、すべてのn型の定義可能性を含むか。

主な発見

• 任意のNIP理論において、有限集合上の型は均一に定義可能（UDTFS）であり、Laskowskiの予想が確認された。
• モデル上、タイプ定義可能な集合をパラメータとする公式の非分岐的インスタンスの族は、有限個のグローバルM不変型によって被覆可能である。
• 小さな無限交差列（任意の順序型）を名付けるとNIPが保たれ、有界な拡張が得られる。
• 大きな無限交差列を名付けるとNIPが保たれず、拡張は有界でない。
• すべての1型が定義可能であるが、すべてのn型が定義可能でないNIP理論のモデルが存在する。これは、1型の定義可能性がn型の定義可能性を含まないことを示している。
• モデルが均一(1,∞)-安定的埋め込まれており、誘導構造がロージィであるならば、それは均一に安定的埋め込まれており、Marker-Steinhornの定理がNIP理論へ一般化される。