[論文レビュー] Model theory of operator algebras II: Model theory

Ilijas Farah, Bradd Hart+1 more|arXiv (Cornell University)|Apr 6, 2010

Advanced Operator Algebra Research参考文献 11被引用数 5

ひとこと要約

この論文は、度合構造のための修正された論理を用いて、C*-代数およびトレース付きvon Neumann代数のモデル理論的枠組みを構築し、連続体仮説の否定のもとで、可分な度合構造の超冪が同型であるための必要十分条件を確立した。その条件は、順序性質の不在（つまり、一様に良好に分離された有限鎖が存在しないこと）によって定義される安定性である。この性質は無限次元C*-代数およびII₁因子に対して証明された。

ABSTRACT

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails.

研究の動機と目的

• 作用素代数、特にC*-代数およびトレース付きvon Neumann代数における度合構造に適した論理の開発。
• 可分な度合構造の文脈における安定性のモデル理論的特徴付けの確立。
• 連続体仮説が作用素代数の超冪の同型性に果たす役割の明確化。
• CHが成立しない場合の順序性質と超冪の非同型性との関係の解明。
• II₁因子およびその超冪における同型と埋め込みに関する今後の結果の論理的基盤の提供。

提案手法

• 作用素代数のノルムとトレースの近似的性質に対応する度合構造のモデル理論の適応。
• 多様な sorted 構造の複雑さを避けるために関数記号と有界項を導入しつつ、表現力は維持する論理の導入。
• Łośの定理を適用して、構造の超冪が元の構造と同じ理論を満たすことを示した。
• 可分なモデル上の型空間の可分性によって定義される安定性の概念の使用。
• 順序性質の不在（つまり、一様に良好に分離された有限鎖が存在しないこと）が安定性を特徴づけることを示した。
• Σ²₁-絶対性定理およびモデル理論的絶対性を用いて、Calkin代数の自己同型を分析した。

実験結果

リサーチクエスチョン

• RQ1 連続体仮説が成立しない場合、可分な度合構造の超冪が同型であるための条件は何か？
• RQ2 C*-代数およびII₁因子において順序性質を定義・検出可能か？ そして、それが超冪の同型性にどのような意味を持つのか？
• RQ3 Calkin代数における単一的シフトの像とその随伴作用素が同じ型を持つとは限らないか？
• RQ4 n → ∞ のとき、Mₙ(ℂ)における文の真偽値の極限は well-defined か？
• RQ5 ZFCのモデル間を跨いで、Calkin代数における作用素のモデル理論的型はどの程度絶対的か？

主な発見

• 可分な度合構造の理論が安定であるための必要十分条件は、非主なN上のすべての超冪が同型であることである。これは連続体仮説が成立しない場合でも成り立つ。
• 無限次元C*-代数およびII₁因子は順序性質を持つため、連続体仮説の否定のもとで非同型な超冪を持つ。
• 型Iのトレース付きvon Neumann代数は順序性質を持たないため、CHが成立するか否かにかかわらず、その超冪は同型である。
• Calkin代数における単一的シフトの像とその随伴作用素が同じ型を持つための必要十分条件は、Brown–Douglas–Fillmore問題が正の解をもつことである。
• CHが成立する場合、行列代数Mₙ(ℂ)に対して、すべてのトレース付き超冪が同型であるような部分列m(i)が存在する。
• 任意のL-文について、Mₙ(ℂ)における真偽値がn → ∞ で収束するための必要十分条件は、すべての超積が初等的に同値であることである。