[論文レビュー] Theories without the tree property of the second kind

Artem Chernikov|HAL (Le Centre pour la Communication Scientifique Directe)|Apr 3, 2012

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

ひとこと要約

この論文は、第二種の木の性質をもたない理論（NTP₂）の基礎的性質を確立し、負担（burden）が部分乗法的であること、NTP₂は一般化されたキムの補題および有界な ist-重みと同値であること、任意の1型のdpランクが単一の元の互いに区別不能な列によって実現されることを証明する。さらに、NTP₂理論において、単純な型は共通単純であり、分岐（forking）は完全な対称性を満たすことが示され、特徴が (0,0) のヘンゼル的付値体がNTP₂であるための必要十分条件は、その残渣体と値群がNTP₂であることであることを示す。

ABSTRACT

We initiate a systematic study of the class of theories without the tree property of the second kind - NTP2. Most importantly, we show: the burden is "sub-multiplicative" in arbitrary theories (in particular, if a theory has TP2 then there is a formula with a single variable witnessing this); NTP2 is equivalent to the generalized Kim's lemma and to the boundedness of ist-weight; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters - so the dp-rank of a 1-type in any theory is always witnessed by sequences of singletons; in NTP2 theories, simple types are co-simple, characterized by the co-independence theorem, and forking between the realizations of a simple type and arbitrary elements satisfies full symmetry; a Henselian valued field of characteristic (0,0) is NTP2 (strong, of finite burden) if and only if the residue field is NTP2 (the residue field and the value group are strong, of finite burden respectively), so in particular any ultraproduct of p-adics is NTP2; adding a generic predicate to a geometric NTP2 theory preserves NTP2.

研究の動機と目的

• 第二種の木の性質を含まない理論のクラスとしてのNTP₂理論の体系的考察を開始すること。
• 任意の理論における複雑さの尺度としての負担の役割を明確にし、それが部分乗法的であることを示すこと。
• 安定性と単純性の概念を統合するために、一般化されたキムの補題および有界な ist-重みを用いてNTP₂理論を特徴づけること。
• 任意の理論における1型のdpランクが、パラメータを追加した後に、互いに区別不能な列の実現によって常に実現されることを確立すること。
• NTP₂理論において、単純な型が共通単純であり、単純な型の実現と任意の元との間の分岐が完全な対称性を満たすことを証明し、ヘンゼル的付値体およびp進数の超積のモデル理論的性質を分析すること。

提案手法

• 部分型への相対化を用いて、inpパターンと負担を基数的不変量として導入・分析する。
• 論理式の配列に対する帰納的構成を用いて、深さκのinpパターンの存在が、変数依存度が少ないパターンをもたらすことを示す。
• ヘンゼル的付値体におけるDenef-Pas言語におけるセル分解を用いて、論理式を値群と残渣体の論理式の組み合わせに還元する。
• 値群と残渣体の間の安定的埋め込みと直交性を用いて、inpパターンを有界化する。
• 誠実な定義と[CS13]の結果を活用して、任意の理論におけるdpランクの実現を拡張する。
• Keisler順序と飽和性の議論を用いて、p進数の超積およびそのモデル理論的性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 理論の負担は部分乗法的であり、これはTP₂が単一変数の論理式によって実現されることを意味するか？
• RQ2 任意の理論における1型のdpランクは、パラメータを追加した後に、互いに区別不能な列の実現によって常に実現可能か？
• RQ3 NTP₂理論において、単純な型の実現と任意の元との間の分岐関係は完全に対称的か？
• RQ4 特徴が (0,0) のヘンゼル的付値体がNTP₂であるための必要十分条件は、その残渣体と値群がNTP₂であることか？
• RQ5 p進数の超積の理論において、純粋な体言語では負担が1であるが、Denef-Pas言語では少なくとも2である。この負担は純粋な体言語で1に等しいか？

主な発見

• 理論の負担は部分乗法的である：bnd(a/C) < κ かつ bnd(b/aC) < λ ならば、bnd(ab/C) < κ × λ である。
• 理論にTP₂があるならば、xが単一の変数であるような論理式φ(x,y)がTP₂を実現する。
• NTP₂理論において、パラメータを追加した後に、1型のdpランクは常に互いに区別不能な単一の元の列によって実現される。
• NTP₂理論において、単純な型は共通単純であり、単純な型の実現と任意の元との間の分岐は完全な対称性を満たす。
• 特徴が (0,0) のヘンゼル的付値体がNTP₂（かつ有限の負担をもつ）であるための必要十分条件は、その残渣体がNTP₂であり、値群が有限の負担をもつ強さを持つことである。
• p進数の超積は純粋な体言語においてNTP₂であり、Denef-Pas言語では負担が少なくとも2であるが、負担が1であると予想されている。