[論文レビュー] Independence in abstract elementary classes

Sebastien Vasey|arXiv (Cornell University)|Mar 4, 2015

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

ひとこと要約

この論文は、結合性と十分な手頃さの性質を持つカテゴリカルな抽象的エレメンタリークラス（AECs）が、超限的安定な一階理論における分割に類似した独立性関係を備えることを確立している。主な結果は、任意の基数においてのカテゴリー性が、弱い局所性仮定のもとで、グローバルな独立性概念の存在を示している。これは、追加の集合論的仮定のもとでシャレルのカテゴリー性予想を支持するものである。

ABSTRACT

We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements. $\mathbf{Theorem}$ (Superstability from categoricity) Let $K$ be a $( ext{LS} (K)$ and $K$ is categorical in a $\lambda > \kappa$, then: * $K$ is stable in all cardinals $\ge \kappa$. * $K$ is categorical in $\kappa$. * There is a type-full good $\lambda$-frame with underlying class $K_\lambda$. Under more locality conditions, we prove that the frame extends to a global independence notion (for types of arbitrary length). $\mathbf{Theorem}$ (A global independence notion from categoricity) Let $K$ be a densely type-local, fully tame and type short AEC with amalgamation. If $K$ is categorical in unboundedly many cardinals, then there exists $\lambda \ge ext{LS} (K)$ such that $K_{\ge \lambda}$ admits a global independence relation with the properties of forking in a superstable first-order theory. Modulo an unproven claim of Shelah, we deduce that Shelah's categoricity conjecture follows from the weak generalized continuum hypothesis and the existence of unboundedly many strongly compact cardinals.

研究の動機と目的

• 結合性と手頃さを備えた手頃な抽象的エレメンタリークラス（AECs）における分割に類似した独立性概念を構築する一般的手法を開発すること。
• 高基数におけるカテゴリー性とAECにおける安定的かつ良好に振る舞う独立性関係の存在との関係を調査すること。
• 追加の局所性条件のもとで、局所的独立性概念（フレーム）を任意の長さの型に対するグローバルな独立性関係に拡張すること。
• 任意の基数においてのカテゴリー性とグローバルな独立性関係の存在を結びつけることにより、シャレルのカテゴリー性予想に対する証拠を提供すること。

提案手法

• タイプ短縮性と手頃さを用いて型の複雑さを制御し、分割の局所性を保証すること。
• 安定性と結合性を活用して、$K_\lambda$ 上に良いフレームを構成する。ここで $\lambda > \kappa = \text{LS}(K)$ かつ $K$ が $\lambda$ でカテゴリー的であると仮定する。
• 密なタイプ局所性の概念を用いて、局所的フレームをグローバルな独立性関係に拡張すること。
• 弱い一般化された連続体仮説（WGCH）と、無限に多くの強いコンパクト基数の存在を集合論的仮定として用い、グローバルなカテゴリー性を導出すること。
• 良いフレームが存在しない場合におけるシャレルの未証明の主張（標準モデルの存在）を活用し、カテゴリー性への帰結を導出すること。

実験結果

リサーチクエスチョン

• RQ1 結合性と手頗さを備えたAECにおいて、高基数におけるカテゴリー性が、良いフレームの存在を示す条件は何か？
• RQ2 AECにおいて、局所的独立性概念（良いフレーム）を任意の長さの型に対してグローバルな独立性関係に拡張できるか？
• RQ3 任意の基数においてのカテゴリー性からシャレルのカテゴリー性予想を導くために十分な集合論的仮定は何か？
• RQ4 手頗さ、タイプ短縮性、および密なタイプ局所性が、グローバルな独立性関係の存在を保証するためにどのように作用するか？

主な発見

• $K$ が基数 $\lambda > \text{LS}(K)$ でカテゴリー的であるならば、$K$ はすべての基数 $\ge \kappa = \text{LS}(K)$ で安定であり、かつ $\kappa$ でカテゴリー的である。
• $K$ が $\lambda > \text{LS}(K)$ でカテゴリー的であるならば、$K_\lambda$ を基礎クラスとするタイプを含む良い $\lambda$-フレームが存在する。
• $K$ が密なタイプ局所性を満たし、完全に手頗で、タイプ短縮性を満たし、結合性を備え、無限に多くの基数でカテゴリー的であるならば、$\text{LS}(K) \le \lambda$ となる $\lambda$ が存在し、$K_{\ge \lambda}$ は、超限的安定な一階理論における分割に類似した性質を備えたグローバルな独立性関係を備える。
• 弱い一般化された連続体仮説と、無限に多くの強いコンパクト基数の存在のもとで、このようなグローバルな独立性関係の存在から、シャレルのカテゴリー性予想が導かれる。