[論文レビュー] The free pseudospace is n-ample, but not (n+1)-ample

Katrin Tent|arXiv (Cornell University)|Sep 29, 2011

Algebraic structures and combinatorial models参考文献 4被引用数 3

ひとこと要約

本稿では、特定のインシデントおよびサイクル公理を満たす $n+1$-色付きグラフに基づく一様な帰納的メソッドを用いて、次元 $n$ の自由擬空間を構成する。これらの構造が $n$-豊かであるが $(n+1)$-豊かでないことを証明し、$ heta$-安定な理論で $n$-豊かだが $(n+1)$-豊かでない最初の既知の例を提供する。また、これらの理論の素モデルは、特定の右側アングルコクセター群に対応するティーツの建物に一致する。

ABSTRACT

We give a uniform construction of free pseudospaces of dimension n extending work by Baudisch and Pillay. This yields examples of $ω$-stable theories which are n-ample, but not (n+1)-ample. The prime models of these theories are buildings associated to certain right-angled Coxeter groups.

研究の動機と目的

• 任意の $n \geq 1$ に対して、次元 2 の既知の結果を一般化する、次元 $n$ の自由擬空間の一様族を構成すること。
• 自由擬空間の理論が $n$-豊かであるが $(n+1)$-豊かでないことを証明し、安定理論における豊かさの理解における空白を埋めること。
• これらの擬空間と右側アングルコクセター群に関連するティーツの建物との間の関係を確立し、特に素モデルがそのような建物に一致することを特定すること。
• 理論内の正則型を分類し、ちょうど二つの直交性類が存在することを示し、これらの構造のモデル理論的理解に貢献すること。

提案手法

• $n+1$ 個の頂点型 $V_0, \ldots, V_n$ と、連続する型間の辺関係 $E$ を持つ $L_n$ 言語を定義する。
• 自由擬空間を定義する帰納的公理 $(\Sigma1)_n$ から $(\Sigma4)_n$ を用いる：低次元部分構造への閉包、残留条件、交差および生成公理、サイクルパス条件。
• これらの構造の一次論理的理論 $T_n$ を構成し、帰納的強拡張系を用いてその整合性と完全性を証明する。
• モデルが $E_i$-接続性および最大フラッグ包含性によって特徴づけられる $A_{\infty,n+1}$ 型の建物であることを証明することで、$T_n$ のモデルが $A_{\infty,n+1}$ 型の建物であることを示す。
• 頂点型 $V_i$ と $V_j$ 間のウェイル距離 $\delta_w^{i,j}$ を表す述語を含む言語において、量化子除去を用いて型空間を分析する。
• 分岐行動および $U$-ランク分析により正則型を分類し、パラメータの代数的閉包 $\operatorname{acl}(A)$ への接続性に基づいて型を区別する。

実験結果

リサーチクエスチョン

• RQ1 次元 $n$ の自由擬空間の一様な構成法は、既知の次元 2 の場合を一般化できるか？
• RQ2 自由擬空間の理論が $n$-豊かであるが $(n+1)$-豊かでないか？
• RQ3 この理論の素モデルのモデル理論的構造は何か？ そして、建物とどのように関係するか？
• RQ4 自由擬空間の理論における正則型の直交性類はいくつ存在するか？
• RQ5 $U$-ランクおよびモーリー次元が、パラメータの代数的閉包への接続性の観点から正確に特徴づけられるか？

主な発見

• 理論 $T_n$ は、$n$-豊かであるが $(n+1)$-豊かでない。これは、$ heta$-安定な理論でこの豊かさの性質を持つ最初の既知の例を提供する。
• 理論 $T_n$ の素モデルは、型 $A_{\infty,n+1}$ の右側アングルコクセター群に関連する建物 $M_n^0$ に同型であり、ティーツの建物への構造的関係を確認する。
• 理論 $T_n$ は、頂点型 $V_i$ と $V_j$ 間のウェイル距離 $\delta_w^{i,j}$ を表す述語を含む言語において量化子除去を有する。
• 正則型の直交性類はちょうど二つである：$\operatorname{acl}(A)$ に接続のないパラメータの上での分岐しない型、およびフラッグまたは残留物を介して接続される型。
• 正則型 $\operatorname{tp}(a/A)$ のモーリー次元は、$a$ が $\operatorname{acl}(A)$ に接続されていない場合 $\omega^n$、残留物を介して接続されている場合 $\omega^{n-j-1}$ または $\omega^{j-1}$、その他の場合 $\omega^{|k-j|-2}$ である。
• 任意の正則型は、種別 (I) または (IV) の型と非直交的である。ここで (IV) は、$\operatorname{acl}(A)$ の近傍に頂点を持つ密度の高いフラッグによって実現される型に対応する。