[論文レビュー] Model theory of $\mathrm{C}^*$-algebras

Ilijas Farah, Bradd Hart+5 more|arXiv (Cornell University)|Feb 25, 2016

Advanced Operator Algebra Research被引用数 12

ひとこと要約

この論文は連続論理を用いて $ \mathrm{C}^*$-代数のモデル理論的枠組みを確立し、核次元、擬対角性、Cuntz半群といった主要な構造的性質が定義可能または公理化可能であることを示している。可分で、核的で、単位的で、単純な $ \mathrm{C}^*$-代数が同一のElliott不変量を持つ場合、それらは一階理論によって区別可能であることを示し、Toms–Winter予想のような主要な予想を、モデル理論的存在問題に再定式化している。

ABSTRACT

We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.

研究の動機と目的

• 連続論理を用いて $ \mathrm{C}^*$-代数のモデル理論的枠組みを構築し、定義可能な集合や不変量を分析すること。
• すべての $ \mathrm{C}^*$-代数のクラスにわたる、$ \mathrm{C}^*$-代数の構造的性質のうち、公理化可能または一様に定義可能なものがどれであるかを調査すること。
• Elliott不変量が同一であるクラス分類可能な代数を、それらの一階理論が補完的情報を提供することにより区別できることを示すこと。
• Toms–Winter予想のような $ \mathrm{C}^*$-代数分類における未解決予想を、型と一般化モデルを含むモデル理論的存在問題に再定式化すること。
• 核的、AF、トレーシャルにAF的、Popa代数などの重要な $ \mathrm{C}^*$-代数のクラスが、一様な式の族によって定義可能であることを確立し、既知の結果をより広いクラスへ拡張すること。

提案手法

• 連続論理を用いて、射影、ユニタリ群、Cuntz–Pedersen同値性などを含む $ \mathrm{C}^*$-代数における定義可能な述語や集合を形式化する。
• ヘンキン構成とモデル理論的強制を用いて、一般化された $ \mathrm{C}^*$-代数を構築し、素性部分モデルを分析する。
• 超積と素性図式を用いて、素性クラスと近似性質に関する保存定理を研究する。
• K理論的不変量の再構成とモデル理論的像の分析のため、定義可能な像（$ A^{\operatorname{eq}} $）の概念を導入する。
• 一様な式の族を用いて、非素性クラスの $ \forall\exists $-公理化を確立し、UHFやAF代数に対する既知の結果を一般化する。
• 理論を応用して、核的性、擬対角性などの性質がKadison–Kastler距離における小さな摂動のもとで保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの構造的性質が連続論理において一様に定義可能または公理化可能であるか？
• RQ2 Elliott不変量が同一である可分で、核的で、単位的で、単純な $ \mathrm{C}^*$-代数は、それらの一階理論によって区別可能か？
• RQ3 Toms–Winter予想や関連する未解決問題は、特定の型を省くモデルの存在というモデル理論的問題にどのように再定式化できるか？
• RQ4 モデル理論的像と定義可能な集合は、Elliott不変量に含まれる情報の再構成や補完にどの程度寄与するか？
• RQ5 核次元、分解ランク、擬対角性といった近似性質は、モデル理論的意味で一様な式の族によって定義可能か？

主な発見

• 可分で、核的で、単位的で、単純な $ \mathrm{C}^*$-代数の一階理論は、Elliott不変量が同一である別の代数と区別可能である。
• Toms–Winter予想の反例の集合は、モデル理論的意味で一般的である。なぜなら、その存在が特定の型の列を省くモデルの存在と同値だからである。
• Cuntz半群、比較半径、可除性の性質は、$ \mathrm{C}^*$-代数の一階理論の不変量である。
• 核次元 $ \leq n $、分解ランク $ \leq n $、擬対角性、Popa代数、トレーシャルにAF的代数のクラスは、すべて一様な式の族によって定義可能である。
• 一階理論が核的モデルを持たない $ \mathrm{C}^*$-代数が存在することを示し、すべてのモデル理論的理論が核的構造に対応するわけではないことを示している。
• 核的性、擬対角性、およびそれに関連する近似性質は、モデル理論的安定性の議論により、Kadison–Kastler位相における小さな摂動のもとで保存されることを示している。