[论文解读] Existentially closed II_1 factors

Ilijas Farah, Isaac Goldbring+2 more|arXiv (Cornell University)|Oct 18, 2013

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}$是其普遍理论的e.c.模型，且所有$\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₁因子中，且在基底上交集平凡。
• 利用通用模型定理，通过通用滤子下的条件，将项代数的完备化构造为$\mathcal{R}^\omega$-可嵌入e.c.模型。

实验结果

研究问题

• RQ1 $\operatorname{Th}(\mathcal{R})$是否是模型完全的，这对其模型之间的初等嵌入意味着什么？
• RQ2 是否存在连续多组非同构的$\operatorname{Th}(\mathcal{R})$的e.c.模型，以及如何通过强迫来建立这一点？
• 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$-可嵌入e.c. II₁因子的自同构都是近似内自同构，这一事实被用于证明$\operatorname{Th}(\mathcal{R})$不是模型完全的。
• 理论$\operatorname{Th}(\mathcal{R})$在有限和无限模型论强迫下都是完备的，意味着它是通用$\mathcal{R}^\omega$-可嵌入因子的理论。
• 存在连续多组非同构的$\operatorname{Th}(\mathcal{R})$的e.c.模型，这是通过$\operatorname{Th}(\mathcal{R})$在无限强迫下的完备性建立的。
• $\mathcal{R}^\omega$-可嵌入e.c. II₁因子类不可公理化，这是$\operatorname{Th}(\mathcal{R})$非模型完全性的结果。
• 超有限II₁因子$\mathcal{R}$是其普遍理论的e.c.模型，并且在模型论意义上既是有限也是无限通用的。
• 每个$\mathcal{R}^\omega$-可嵌入e.c. II₁因子都是强合并基，意味着任意两个在共同e.c.子因子上的此类因子可联合嵌入到更大的$\mathcal{R}^\omega$-可嵌入II₁因子中，且在基底上交集平凡。