[論文レビュー] Model theoretic stability and definability of types, after A. Grothendieck

Itaï Ben Yaacov|arXiv (Cornell University)|Jun 25, 2013

Advanced Topology and Set Theory参考文献 15被引用数 18

ひとこと要約

本稿は、安定性理論の基本定理—タイプの定義可能性と非順序性条件（NOP）の同値性—が、バナッハ空間における相対的弱コンパクト性に関するグロテンディークの1952年基準の直接的帰結であることを示している。グロテンディークの定理とマズールの補題を適用することで、安定な論理式は、一様極限としての論理式の列により定義可能であることが導かれる。具体的には、多数決ルールや凸結合を用いた構成が可能である。

ABSTRACT

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Crit{\\`e}res de compacit{\\'e}" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.

研究の動機と目的

• 安定性理論の中心的である非順序性条件（NOP）とタイプの定義可能性の同値性が、バナッハ空間における相対的弱コンパクト性に関するグロテンディークの1952年結果の直接的帰結であることを確立すること。
• モデル理論的安定性を位相的および関数解析的概念、特に $ C_b(X) $ における相対的弱コンパクト性の観点から再定式化し、モデル理論と関数解析学を結びつけること。
• 従来のモデル理論的道具を避けて、グロテンディークの定理とマズールの補題を用いて安定性理論の基本定理の新たな簡潔な証明を与えること。
• 安定理論における定義可能タイプが、凸結合や論理式の列の極限を用いて一様に表現可能であることを示すこと。
• 古典的な定義可能性結果を連続論理へと拡張し、安定理論におけるすべてのモデルにわたる一様な定義可能性を示すこと。

提案手法

• 関数空間 $ C_b(X) $ における相対的弱コンパクト性に関するグロテンディークの定理6（1952年）を適用し、列に関する二重極限条件を用いて弱コンパクト集合を特徴付ける。
• 各タイプを $ C_b(S_\varphi(M)) $ における関数として特定することで、モデル理論的概念（例：$ \varphi $-タイプ、定義可能性）を関数解析的用語に翻訳する。
• $ \varphi $-タイプと評価汎関数 $ \varphi_a(y) = \varphi(a,y) $ の対応を用い、これらを $ C_b(S_{\tilde{\varphi}}(M)) $ の元とみなす。
• マズールの補題を用いて、論理式の集合の弱閉包がすべての凸結合の極限を含むことを示し、定義可能述語の一様近似を可能にする。
• エーベルライン＝シュムリアンの定理を用いて、関数の点별収束を $ C_b(X) $ における弱収束に結びつけ、相対的弱コンパクト性を確立する。
• 有限個の $ \varphi(a_i, y) $ の組み合わせとしての定義可能述語を、多数決ルールや凸結合の形で明示的に構成する。

実験結果

リサーチクエスチョン

• RQ1 モデル理論における非順序性条件とタイプの定義可能性の同値性は、関数解析学の結果から導けるか？
• RQ2 グロテンディークの1952年基準—$ C_b(X) $ における相対的弱コンパクト性—は、安定性理論の基本定理をどの程度まで含意するか？
• RQ3 安定理論における定義可能タイプは、凸結合や論理式の極限を用いて一様に表現可能か？
• RQ4 マズールの補題は、論理式の列の極限として定義可能述語を構成する際に果たす役割は何か？
• RQ5 安定理論におけるすべてのモデルにわたるタイプの一様定義可能性は、コンパクト性および関数解析的技法を用いて確立可能か？

主な発見

• 安定性理論の基本定理—NOPであることとすべてのタイプが定義可能であることの同値性—は、$ C_b(X) $ におけるグロテンディークの1952年基準による相対的弱コンパクト性の直接的系である。
• 構造 $ \mathbf{M} $ における安定な論理式は、$ C_b(S_\varphi(M)) $ に属する関数の族 $ \varphi_a $ の相対的弱コンパクト集合に対応し、グロテンディークの二重極限条件を介して同値性が確立される。
• 安定構造 $ \mathbf{M} $ における定義可能タイプは、点別収束する列 $ \varphi_{a_{n_k}} $ の極限として表現可能であり、弱コンパクト性とエーベルライン＝シュムリアンの定理により収束が保証される。
• マズールの補題を用いることで、定義可能述語は論理式 $ \varphi(a_i, y) $ の凸結合の極限として一様に表現可能であり、構成的表現が得られる。
• $ \{0,1\} $-値の場合には、定義可能タイプは、インスタンス $ \varphi(a_i, y) $ の「多数決ルール」の組み合わせとして表現可能であり、定義可能性の文法的解釈が得られる。
• 安定理論 $ T $ において、モデル上での $ \varphi $-タイプの定義可能性は一様である：$ \varepsilon $-近似に必要な論理式の数は、モデルに依存せず一様に有界である。