[論文レビュー] Countable saturation of corona algebras

Ilijas Farah, Bradd Hart|arXiv (Cornell University)|Dec 16, 2011

Advanced Topology and Set Theory参考文献 15被引用数 38

ひとこと要約

この論文は、σ-単位的C*-代数のコロナ代数の主要な構造的性質——例えばSAW*、AA-CRISP、σ-部分-スティーブン、およびカスパロフの技術的定理の結論——を、可算1次飽和性を用いた分析によって統一的に証明する。著者らは、コロナ、超積、相対可換部分代数といったさまざまなC*-代数の構成が、可算1次飽和性を有することを示し、モデル理論の背景知識を必要とせずにこれらの性質を示している。

ABSTRACT

We present unified proofs of several properties of the corona of $σ$-unital C*-algebras such as AA-CRISP, SAW*, being sub-$σ$-Stonean in the sense of Kirchberg, and the conclusion of Kasparov's Technical Theorem. Although our results were obtained by considering C*-algebras as models of the logic for metric structures, the reader is not required to have any knowledge of model theory of metric structures (or model theory, or logic in general). The proofs involve analysis of the extent of model-theoretic saturation of corona algebras.

研究の動機と目的

• σ-単位的C*-代数のコロナ代数の主要な構造的性質の証明を統一すること。
• 可算1次飽和性が、SAW*、AA-CRISP、σ-部分-スティーブン構造といった重要なC*-代数的性質を含むことを示すこと。
• 超積、超冪、およびC*-代数の相対可換部分代数が、それらの成分から飽和性を継承することを確立すること。
• このようなコロナ代数の分離可能な部分代数上の導分がすべて内部的であることを示し、特定の状況では近似的に内部的自己同型がユニタリによって実装されることを示すこと。
• 特にCalkin代数を含むC*-代数の論理的・モデル理論的飽和性を、度量モデル理論の専門知識を要せずに調査すること。

提案手法

• C*-代数を含む度量構造に対して、1次*-多項式の族とℝ内のコンパクト集合を用いて、可算1次飽和性を定義する。
• Łośの定理を用いて、C*-代数の超積および超冪の1次飽和性を確立する。
• 第3節で直接構成を用いて、σ-単位的C*-代数のコロナが可算1次飽和性を有することを証明する。
• 飽和性を応用して含意関係を導出する——例えば、1次飽和性がSAW*、AA-CRISP、およびカスパロフの技術的定理の結論を示すこと。
• モデル理論的飽和性を用いて、射影の最大鎖および正規直交性の構造を分析する。
• 論理的飽和性と、直交する部分代数を分離する射影の存在、自己同型の実装可能性といった構造的性質との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 C*-代数の可算1次飽和性は、その分離可能な部分代数上のすべての導分が内部的であることを示唆するか？
• RQ2 可算1次飽和性を有するC*-代数において、直交する2つの分離可能な部分代数は、常に射影によって分離可能か？
• RQ3 $M_n(A)$の単位球が、度量構造論理における$A$上での定義可能か？その定義の論理的複雑さはいかほどか？
• RQ4 C*-代数$C$の可算1次飽和性が、$M_n(C)$の可算1次飽和性を示唆するか？
• RQ5 σ-単位的C*-代数のコロナ代数は可算同型的か、すなわち型的に等価な列を実現する自己同型を有するか？

主な発見

• σ-単位的C*-代数のコロナ代数は可算1次飽和性を有しており、これによりSAW*、AA-CRISP、およびカスパロフの技術的定理の結論を満たすことが示される。
• 超積および超冪は、Łośの定理により可算1次飽和性を有しており、これにより広範な代数クラスに飽和性が拡張される。
• タイプ(1)〜(4)の代数における分離可能な部分代数の相対可換部分代数も、可算1次飽和性を有する。
• 可算1次飽和性を有するC*-代数では、任意の分離可能な部分代数上の導分はすべて内部的であり、すなわちある$b$が存在して$ \delta_b$の形に表される。
• Calkin代数は可算量化子自由飽和性を有しない。第4節で示されるように、その飽和度は比較的弱い。
• 本論文では、可算1次飽和性が、射影上での近似的に有限に満たされる型が常に射影によって実現されることを示すか、および$M_n(C)$が$C$から飽和性を継承するかは未解決のまま残されている。