[논문 리뷰] Existentially closed II_1 factors

Ilijas Farah, Isaac Goldbring외 2명|arXiv (Cornell University)|2013. 10. 18.

Advanced Topology and Set Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 존재적으로 닫힌 (e.c.) II₁ 연산자 대수에 대해 연구하며, 특히 $\mathcal{R}^\omega$-통합 가능한 추적적 von Neumann 대수의 클래스 내에서 다룬다. 모든 e.c. II₁ 연산자 대수의 자기동형사상은 근사적으로 내재적임을 증명하여, 이는 $\operatorname{Th}(\mathcal{R})$가 모델완전적이지 않음을 의미한다. 모델이론적 강제법을 사용하여, $\operatorname{Th}(\mathcal{R})$가 유한 강제법과 무한 강제법 모두에서 완비임을 증명함으로써, $\operatorname{Th}(\mathcal{R})$의 연속체 개의 비동형 e.c. 모델이 존재함을 밝혀낸다. 이는 초위상 II₁ 연산자 대수의 모델이론적 구조와 그 보편 이론에 대한 핵심 질문들을 해결한다.

ABSTRACT

We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that Th(R) is not model-complete. We also show that Th(R) is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th(R).

연구 동기 및 목표

• 존재적으로 닫힌 II₁ 연산자 대수의 모델이론적 성질을 연구하며, 특히 $\mathcal{R}^\omega$-통합 가능한 대수의 클래스 내에서 다룬다.
• $\operatorname{Th}(\mathcal{R})$가 모델완전적인가를 판단하는 것 — 추적적 von Neumann 대수의 모델이론에서 핵심적인 질문이다.
• 모델이론적 강제법 기법을 사용하여 $\operatorname{Th}(\mathcal{R})$의 e.c. 모델의 존재성과 분류를 탐색한다.
• $\mathcal{R}$가 그 보편 이론의 존재적으로 닫힌 모델임을 증명하고, 모든 $\mathcal{R}^\omega$-통합 가능한 e.c. 연산자 대수가 $\mathcal{R}$와 동일한 $\forall\exists$-이론을 공유함을 보인다.

제안 방법

• 모든 e.c. II₁ 연산자 대수의 자기동형사상이 근사적으로 내재적임을 이용하여 $\operatorname{Th}(\mathcal{R})$의 모델완전성 부재를 유도한다.
• 특히 유한 강제법과 무한 강제법을 포함한 모델이론적 강제법을 적용하여 $\operatorname{Th}(\mathcal{R})$의 일반화된 모델을 구성한다.
• $\operatorname{Th}(\mathcal{R})$가 유한 강제법과 무한 강제법 모두에서 완비임을 증명함으로써, 이는 일반화된 $\mathcal{R}^\omega$-통합 가능한 연산자 대수의 이론임을 의미한다.
• $\operatorname{Th}(\mathcal{R})$의 모델완전성 부재를 활용하여, $\mathcal{R}^\omega$-통합 가능한 e.c. II₁ 연산자 대수의 클래스가 근본적으로 공리화될 수 없음을 증명한다.
• 강력한 융합 성질을 이용하여, 공통된 e.c. 부분대수를 공유하는 두 개의 $\mathcal{R}^\omega$-통합 가능한 II₁ 연산자 대수는 기저 위에서 교차가 없는 더 큰 $\mathcal{R}^\omega$-통합 가능한 II₁ 연산자 대수로 함께 통합될 수 있음을 보인다.
• 일반화된 모델 정리(Generic Model Theorem)를 활용하여, 조건들의 일반화된 필터 하에 용어 대수의 완비화로서 $\mathcal{R}^\omega$-통합 가능한 e.c. 모델을 구성한다.

실험 결과

연구 질문

• RQ1 $\operatorname{Th}(\mathcal{R})$는 모델완전한가, 그리고 이는 $\operatorname{Th}(\mathcal{R})$의 모델들 사이의 초등 포함관계에 어떤 함의를 갖는가?
• RQ2 연속체 개의 비동형 존재적으로 닫힌 모델이 $\operatorname{Th}(\mathcal{R})$에 존재하는가, 그리고 이는 어떻게 강제법을 통해 증명할 수 있는가?
• RQ3 $\mathcal{R}^\omega$-통합 가능한 e.c. II₁ 연산자 대수의 클래스는 공리화 가능한가, 그리고 $\operatorname{Th}(\mathcal{R})$의 모델완전성 부재는 어떤 역할을 하는가?
• RQ4 모든 e.c. II₁ 연산자 대수의 자기동형사상은 근사적으로 내재적인가, 그리고 이는 $\operatorname{Th}(\mathcal{R})$의 모델이론적 구조에 어떤 영향을 미치는가?
• RQ5 $\operatorname{Th}(\mathcal{R})$는 유한 강제법과 무한 강제법 모두에서 일반화된 $\mathcal{R}^\omega$-통합 가능한 연산자 대수의 완비 이론으로 특징지워질 수 있는가?

주요 결과

• 모든 존재적으로 닫힌 $\mathcal{R}^\omega$-통합 가능한 II₁ 연산자 대수의 자기동형사상은 근사적으로 내재적임을 증명하였으며, 이를 통해 $\operatorname{Th}(\mathcal{R})$가 모델완전적이지 않음을 증명하였다.
• $\operatorname{Th}(\mathcal{R})$는 유한 강제법과 무한 강제법 모두에서 완비이며, 이는 일반화된 $\mathcal{R}^\omega$-통합 가능한 연산자 대수의 이론임을 의미한다.
• 연속체 개의 비동형 존재적으로 닫힌 $\operatorname{Th}(\mathcal{R})$ 모델이 존재하며, 이는 무한 강제법 하에서 $\operatorname{Th}(\mathcal{R})$의 완비성에 기반하여 증명되었다.
• $\mathcal{R}^\omega$-통합 가능한 e.c. II₁ 연산자 대수의 클래스는 $\operatorname{Th}(\mathcal{R})$의 모델완전성 부재의 결과로 공리화될 수 없다.
• 초위상 II₁ 연산자 대수 $\mathcal{R}$는 그 보편 이론의 존재적으로 닫힌 모델이며, 모델이론적으로 유한 및 무한으로 모두 일반화된 모델이다.
• 모든 $\mathcal{R}^\omega$-통합 가능한 e.c. II₁ 연산자 대수는 강력한 융합 기저를 이루며, 즉 공통된 e.c. 부분대수를 공유하는 두 개의 such 대수는 기저 위에서 교차가 없는 더 큰 $\mathcal{R}^\omega$-통합 가능한 II₁ 연산자 대수로 함께 통합될 수 있다.