[논문 리뷰] An independence theorem for NTP2 theories

Itaï Ben Yaacov, Artem Chernikov|arXiv (Cornell University)|2012. 07. 02.

Advanced Topology and Set Theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 NTP2 이론에 대해 기본적인 독립 정리(Independence Theorem)를 수립하며, 나누기(dividing)가 배열-나누기(array-dividing)와 일치하고, 분할(forking)이 확장 기반(Extension bases)에서 체인 조건(Chain condition)을 만족함을 증명한다. 또한 Lascar 강한 유형과 콪 pact 강한 유형이 NTP2 이론에서 일치하며, Poizat의 기본 순서(fundamental order)의 일반화인 나누기 순서(dividing order)를 도입하고, 보편적 모렐리 수열(Universal Morley sequences)과 부담2(부담2) 유계성으로 특성화한다.

ABSTRACT

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain condition over extension bases (namely, the forking ideal is S1, in Hrushovski's terminology). Using it we prove an independence theorem over extension bases (which, in the case of simple theories, specializes to the ordinary independence theorem). As an application we show that Lascar strong type and compact strong type coincide over extension bases in an NTP2 theory. We also define the dividing order of a theory -- a generalization of Poizat's fundamental order from stable theories -- and give some equivalent characterizations under the assumption of NTP2. The last section is devoted to a refinement of the class of strong theories and its place in the classification hierarchy.

연구 동기 및 목표

• NTP2 이론에서 분할과 분할의 개념을 다루는 견고한 프레임워크를 수립하여 단순 이론과 NIP 이론의 결과를 일반화한다.
• NTP2와 분할의 체인 조건 사이의 관계에 대한 열린 문제를 해결하며, NTP2 이론에서 확장 기반에서 체인 조건이 성립함을 보인다.
• NTP2 이론에서 확장 기반에서의 독립 정리(Independence Theorem)를 수립하여, 단순 이론의 Kim-Pillay 독립 정리의 일반화를 이룬다.
• NTP2 이론에서 나누기 순서를 정의하고 특성화하며, Poizat의 기본 순서를 확장한다.
• 부담2와 강한2 이론의 클래스를 도입하고, NTP2가 부담2 유계성으로 특성화됨을 증명한다.

제안 방법

• NTP2 이론에서 임의의 집합에서 나누기가 배열-나누기와 동치임을 보이기 위해, 컴팩턴스와 배열 차원에 대한 귀납법을 사용한다.
• строго로 불변하는 수열과 보편적 모렐리 수열을 이용하여, 확장 기반에서의 분할에 대한 체인 조건을 확립한다.
• 체인 조건을 적용하여 분할 아이디얼이 S1임을 보이고, 이를 통해 확장 기반에서의 독립 정리의 증명을 가능하게 한다.
• 나누기 순서를 Poizat의 기본 순서의 일반화로 정의하고, 보편적 모렐리 수열과 일致성 패턴으로 특성화한다.
• 부담2와 강한2 이론의 클래스를 도입하고, Fodor의 보조정리(Fodor’s lemma)를 사용하여 inp-패턴을 구성함으로써 NTP2가 부담2 유계성으로 특성화됨을 증명한다.
• 컴팩턴스와 비틀림 불변성 기법을 사용하여 일치성 패턴을 분석하고, 부담2가 무한대일 경우 모순을 유도한다.

실험 결과

연구 질문

• RQ1 NTP2 이론에서 분할은 확장 기반에서 체인 조건을 만족하는가?
• RQ2 NTP2 이론에서 확장 기반에서의 분할에 대해 독립 정리가 성립하는가?
• RQ3 NTP2 이론에서 확장 기반에서 Lascar 강한 유형과 콤팩트 강한 유형은 일치하는가?
• RQ4 NTP2 이론에서 나누기 순서와 보편적 모렐리 수열의 존재성 사이의 관계는 무엇인가?
• RQ5 NTP2는 부담2 유계성과 동치이며, 이는 강한2 이론과 어떻게 관련되는가?

주요 결과

• NTP2 이론에서 임의의 집합에서 나누기는 배열-나누기와 동치이며, 단순 이론의 Kim 결과를 일반화한다.
• NTP2 이론에서 분할은 확장 기반에서 체인 조건을 만족하며, Adler와 Hrushovski의 질문을 해결한다.
• NTP2 이론에서 분할 아이디얼은 S1이며, 이는 확장 기반으로의 독립 정리 일반화를 가능하게 한다.
• NTP2 이론에서 확장 기반에서의 독립 정리가 성립하며, 이는 단순 이론에서의 고전적 독립 정리로 특수화된다.
• NTP2 이론에서 확장 기반에서 Lascar 강한 유형과 콤팩트 강한 유형이 일치한다.
• NTP2 이론에서 나누기 순서는 잘 정의되어 있으며, 보편적 모렐리 수열과 일치성 패턴으로 특성화될 수 있다; NTP2는 부담2 유계성과 동치이다.