[論文レビュー] A Dividing Line Within Simple Unstable Theories

M. Malliaris, Saharon Shelah|arXiv (Cornell University)|Aug 10, 2012

Advanced Topology and Set Theory参考文献 9被引用数 6

ひとこと要約

本論文は、非安定理論におけるケイズラー順序において、ZFCにおける最初の分割線を確立した。これは、$\mu < \lambda \leq 2^\mu$ を満たす基数 $\lambda$ 上に存在する正則超フィルター $\pi$ を構成することにより達成された。この超フィルターに関して、安定理論およびランダムグラフの超べきは $\lambda^+$-飽和的であるが、非低または非単純理論の超べきはそうではない。この結果は、単純理論における ${\operatorname{Qr}_1}$ 性質の導入と、集合論的フィルターの優れた性質とモデル理論的超フィルターの道徳性の間の新たな変数分離に依拠している。

ABSTRACT

We give the first (ZFC) dividing line in Keisler's order among the unstable theories, specifically among the simple unstable theories. That is, for any infinite cardinal $λ$ for which there is $μ&lt; λ\leq 2^μ$, we construct a regular ultrafilter D on $λ$ such that (i) for any model $M$ of a stable theory or of the random graph, $M^λ/D$ is $λ^+$-saturated but (ii) if $Th(N)$ is not simple or not low then $N^λ/D$ is not $λ^+$-saturated. The non-saturation result relies on the notion of flexible ultrafilters. To prove the saturation result we develop a property of a class of simple theories, called Qr1, generalizing the fact that whenever $B$ is a set of parameters in some sufficiently saturated model of the random graph, $|B| = λ$ and $μ&lt; λ\leq 2^μ$, then there is a set $A$ with $|A| = μ$ such that any non-algebraic $p \in S(B)$ is finitely realized in $A$. In addition to giving information about simple unstable theories, our proof reframes the problem of saturation of ultrapowers in several key ways. We give a new characterization of good filters in terms of "excellence," a measure of the accuracy of the quotient Boolean algebra. We introduce and develop the notion of {moral} ultrafilters on Boolean algebras. We prove a so-called "separation of variables" result which shows how the problem of constructing ultrafilters to have a precise degree of saturation may be profitably separated into a more set-theoretic stage, building an excellent filter, followed by a more model-theoretic stage: building moral ultrafilters on the quotient Boolean algebra, a process which highlights the complexity of certain patterns, arising from first-order formulas, in certain Boolean algebras.

研究の動機と目的

• 単純で非安定な理論のクラス内で、ZFCにおける分割線を同定すること。
• 任意の安定理論およびランダムグラフに対して $M^\lambda/\mathcal{D}$ が $\lambda^+$-飽和的となるような $\lambda$ 上の正則超フィルター $\mathcal{D}$ を構成すること。
• フィルターの優れた性質と、商ブール代数上の超フィルターの道徳性の概念を導入・発展させること。
• ${\operatorname{Qr}_1}$ 性質を定義・特徴づけ、ランダムグラフの飽和性の挙動を一般化すること。
• 超べきの飽和性問題を二段階のプロセスに再定式化すること：まず優れたフィルターを構築し、次にそれを道徳的超フィルターに拡張すること。

提案手法

• フィルターの優れた性質を、商ブール代数の正確さの尺度として定義し、それを「良い性質」の一般化として導入する。
• 商ブール代数上の道徳的超フィルターを、第一階論理式の複雑さを代数的に反映するものとして定義する。
• 「変数の分離」の原則を確立する：飽和超べきの構成を、集合論的段階（優れたフィルターの構築）とモデル理論的段階（道徳的超フィルターへの拡張）に分解する。
• 独立族と帰納的精錬技術を用いて優れたフィルターを構成し、必要なホモモーフィズムを支持することを保証する。
• ${\lambda^+}$-優れた性質が ${\lambda^+}$-良い性質を含むこと、逆にそれも成り立つことを、特徴づけ定理により示す。
• ${\operatorname{Qr}_1}$ 性質を用いて、ランダムグラフおよび他の単純理論が、構築された超フィルターのもとで所望の飽和条件を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ケイズラー順序における単純で非安定な理論のクラス内で、ZFCにおける分割線を確立できるか？
• RQ2 単純理論のどの構造的性質が、その超べきが単一の超フィルターによって飽和可能であるのを保証するか？
• RQ3 正確な飽和性を持つ超フィルターを構成する問題を、集合論的およびモデル理論的側面にどのように分解できるか？
• RQ4 フィルターの優れた性質と超フィルターの道徳性が、超べきの飽和性を制御する上で果たす役割は何か？
• RQ5 ${\operatorname{Qr}_1}$ 性質は、ランダムグラフおよび関連する理論の本質的なモデル理論的挙動を捉えているか？

主な発見

• 任意の無限基数 $\lambda$ に対して $\mu < \lambda \leq 2^\mu$ を満たすならば、$M^\lambda/\mathcal{D}$ がすべての安定理論およびランダムグラフに対して $\lambda^+$-飽和的となるような $\lambda$ 上の正則超フィルター $\mathcal{D}$ が存在する。
• 同じ超フィルター $\mathcal{D}$ は、非低または非単純な理論の超べきを飽和させないため、ケイズラー順序におけるZFCの分割線が確立される。
• ${\operatorname{Qr}_1}$ 性質はランダムグラフの理論に成立し、大きなパラメータ集合上での型の有限実現性を一般化する。
• フィルターの優れた性質は、$\lambda^+$-良い性質と同値であり、商代数の正確さに基づく、良いフィルターの新たな特徴づけを提供する。
• 変数の分離フレームワークにより、飽和問題が (1) 優れたフィルターの構築、(2) 商上での道徳的超フィルターの構築という二段階に分割可能であり、集合論とモデル理論の相互作用を強調する。
• 証明により、超フィルターの非柔軟性が非飽和性を意味することを示し、これが否定的飽和結果の主要なメカニズムである。