[논문 리뷰] Independence in abstract elementary classes

Sebastien Vasey|arXiv (Cornell University)|2015. 03. 04.

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)와 분할을 갖는 경우에 개발하기 위해.
• 고기수에서의 분류성과 AECs에서 안정적이고 잘 정의된 고립성 관계의 존재 사이의 관계를 조사하기 위해.
• 지역 고립성 개념(프레임)을 추가적인 국소성 조건 하에 임의의 길이의 유형에 대한 전역 고립성 관계로 확장하기 위해.
• 유 boundlessly 많은 기수에서의 분류성과 전역 고립성 관계의 존재를 연결함으로써 셸라의 분류성 추측에 대한 증거를 제공하기 위해.

제안 방법

• 유형의 복잡성을 제어하고 분할의 국소성을 보장하기 위해 티밍성과 유형 단순화를 사용하기 위해.
• 분류성 조건 $\lambda > \kappa = \text{LS}(K)$ 하에서 $K_\lambda$ 위에 양호한 프레임을 구성하기 위해 안정성과 분할을 활용하기 위해.
• 밀도 있는 유형 국소성의 개념을 적용하여 지역 프레임을 전역 고립성 관계로 확장하기 위해.
• 전역 분류성 도출을 위해 약한 일반화된 연속체 가설(WGCH)과 무한히 많은 강한 컴팩트 기수의 존재를 집합론적 가정으로 사용하기 위해.
• 양호한 프레임이 존재하지 않을 경우 셸라의 미증명된 주장(즉, 표준 모델의 존재)을 활용하여 분류성에 대한 함의를 도출하기 위해.

실험 결과

연구 질문

• RQ1 어떤 조건 하에서 분할과 티밍성을 갖는 AEC에서 고기수 $\lambda > \text{LS}(K)$ 에서의 분류성이, 그 AEC에서의 양호한 프레임 존재를 암시하는가?
• RQ2 AEC에서 지역 고립성 개념(양호한 프레임)은 추가적인 국소성 조건 하에 임의의 길이의 유형에 대한 전역 고립성 관계로 확장될 수 있는가?
• RQ3 어떤 집합론적 가정이 유 boundlessly 많은 기수에서의 분류성으로부터 셸라의 분류성 추측을 도출하는 데 충분한가?
• RQ4 티밍성, 유형 단순화, 밀도 있는 유형 국소성은 어떻게 상호작용하여 전역 고립성 관계의 존재를 보장하는가?

주요 결과

• 만약 $K$ 가 기수 $\lambda > \text{LS}(K)$ 에서 분류되어 있다면, $K$ 는 모든 기수 $\ge \kappa = \text{LS}(K)$ 에서 안정적이며, $\kappa$ 에서도 분류되어 있다.
• 모든 $\lambda > \text{LS}(K)$ 에서 분류되어 있는 경우, $K_\lambda$ 를 기저 클래스로 갖는 유형을 포함하는 양호한 $\lambda$-프레임이 존재한다.
• 만약 $K$ 가 밀도 있는 유형 국소성 조건을 만족하고, 완전히 티밍되어 있으며, 유형 단순화 조건을 갖으며, 분할 조건을 만족하고, 유 boundlessly 많은 기수에서 분류되어 있다면, $\text{LS}(K)$ 이상인 어떤 $\lambda$ 에 대해 $K_{\ge \lambda}$ 가 초등 이론에서의 분할과 유사한 성질을 갖는 전역 고립성 관계를 갖는다.
• 약한 일반화된 연속체 가설과 무한히 많은 강한 컴팩트 기수의 존재 조건 하에서, 셸라의 분류성 추측는 이러한 전역 고립성 관계의 존재로부터 도출된다.