[論文レビュー] A topos-theoretic proof of Shelah's eventual categoricity conjecture for abstract elementary classes

Christian Espíndola|arXiv (Cornell University)|Jun 21, 2019

Advanced Topology and Set Theory被引用数 1

ひとこと要約

本稿は、GCHおよび可測基数の仮定の下で、抽象的小学校クラス（AECs）におけるシャレーの最終的分類性予想に対するトポス論的証明を提供する。2つの十分に大きな基数における分類性が、それらの間のすべての基数における分類性を示し、最終的分類性に至る。大基数の仮定は、強化された埋め込み性条件が成り立つ場合に取り除ける。

ABSTRACT

Assuming $GCH$ and that there is a measurable cardinal, we give a topos-theoretic proof of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). We also show that the large cardinal assumption can be spared assuming instead that the AEC satisfies a certain version of the amalgamation property, which together with categoricity in a high enough cardinal is actually equivalent to eventual categoricity. This improves the state of knowledge about the open problems stated by Shelah, including one for $\mathcal{L}_{\omega_1, \omega}$ sentences, dating back to the 1970's. Using results of Kueker about the axiomatization of AEC's in infinitary logic, we then use the machinery of categorical logic to study the problem of eventual categoricity. By means of a topos-theoretic characterization of $\kappa$-categorical theories, together with some results on $\kappa$-classifying toposes, we then prove under our assumptions that if an AEC is categorical in two cardinals, it is also categorical in all cardinals in between. As a corollary we get information about the categoricity spectrum of an AEC, and using Hanf numbers, we also get eventual categoricity.

研究の動機と目的

• AECにおけるシャレーの最終的分類性予想をトポス論的手法を用いて証明すること。
• 大基数の仮定を減らすために、それが強化された埋め込み性条件に置き換え可能であることを示すこと。
• 無限型論理とトポス論的ツールを用いてAECの分類性スケーラムを特徴付けること。
• 2つの高い基数における分類性が、それらの間のすべての基数における分類性を示すこと。
• ハンフ数の議論を用いて、2つの十分に大きな基数における分類性から最終的分類性を導出すること。

提案手法

• κ-分類的理論のトポス論的特徴づけを用いて、AECにおける分類性を分析する。
• κ-分類的トポスに関する結果を用いて、モデル理論的分類性と圏論的論理の間の関係を結ぶ。
• Kuekerの無限型論理におけるAECの公理化に関する研究を応用し、AECをトポス論的分析に適した論理的枠組みに埋め込む。
• GCHおよび可測基数の仮定を用いて、適切な分類的トポスの存在を確立する。
• 強化された埋め込み性条件の下でAECの構造を分析し、大基数の必要性を排除する。
• ハンフ数の技法を用いて、2つの十分に大きな基数における分類性から最終的分類性を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、AECにおけるシャレーの最終的分類性予想をトポス論的手法を用いて証明できるか？
• RQ2 AECにおける最終的分類性の証明から、可測基数の仮定を除去できるか？
• RQ3 2つの十分に大きな基数における分類性が、AECにおけるそれらの間のすべての基数における分類性を示すのに十分か？
• RQ4 κ-分類的理論のトポス論的特徴づけは、AECの分類性スケーラムとどのように関係するか？
• RQ5 埋め込み性条件は、最終的分類性のための大基数仮定を弱める役割を果たすか？

主な発見

• GCHおよび可測基数の存在の下で、AECが2つの十分に大きな基数で分類的であれば、それらの間のすべての基数でも分類的である。
• 大基数の仮定は、強化された埋め込み性条件に置き換え可能であり、これは十分高い基数での分類性と組み合わせると最終的分類性と同値である。
• 2つの高い基数における分類性が、それらの間のすべての基数における分類性を示し、最終的分類性に至る。
• 与えられた仮定の下で、AECの分類性スケーラムは、2つの十分に大きな基数における分類性によって完全に決定される。
• ハンフ数を用いて、可測基数の仮定がなくても、埋め込み性条件が成り立つ場合には、2つの高い基数における分類性から最終的分類性を導出できる。