[論文レビュー] Existentially closed II_1 factors

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

Advanced Topology and Set Theory参考文献 10被引用数 5

ひとこと要約

この論文は、特に $\mathcal{R}^\omega$-埋め込み可能なトレース付きフォン・ノイマン代数のクラスに限定して、存在的に閉じた（e.c.）II₁因子を調査する。著者らは、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})$ がモデル完全かどうかを特定すること。これは、トレース付きフォン・ノイマン代数のモデル理論における中心的問題である。
• モデル理論的強制法の技術を用いて、$\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.部分因子を共有する任意の2つの $\mathcal{R}^\omega$-埋め込み可能なII₁因子が、基本部分因子上での交差が自明となるようなより大きな $\mathcal{R}^\omega$-埋め込み可能なII₁因子に同時に埋め込めるということを示す。
• 一般化されたモデル定理を用いて、条件の一般化フィルターの下での項代数の完備化として、$\mathcal{R}^\omega$-埋め込み可能なe.c.モデルを構成する。

実験結果

リサーチクエスチョン

• RQ1 $\operatorname{Th}(\mathcal{R})$ はモデル完全か。もし非モデル完全であれば、$\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$-埋め込み可能な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.部分因子を共有する任意の2つの因子は、基本部分因子上での交差が自明となるように、より大きな $\mathcal{R}^\omega$-埋め込み可能なII₁因子に同時に埋め込める。