[論文レビュー] Embedding $\mathrm{C}^*$-algebras into the Calkin algebra

Ilijas Farah, Georgios Katsimpas+1 more|arXiv (Cornell University)|Sep 29, 2018

Advanced Topology and Set Theory参考文献 19被引用数 3

ひとこと要約

マーティンの公理のもとでは、連続体未満の密度特性をもつ任意のC*-代数は、カルキン代数に埋め込まれる。しかし、ZFCと整合的であるにもかかわらず、そのようなC*-代数の一部が埋め込まれないことがあることが示され、埋め込み問題がZFCに依存しないことがわかった。これは、ブール代数の埋め込み問題の非可換版を解決するものである。

ABSTRACT

Every $\mathrm{C}^*$-algebra, regardless of its density character, can be embedded into the Calkin algebra in a forcing extension of the universe obtained without collapsing any cardinal.

研究の動機と目的

• 連続体未満の密度特性をもつC*-代数がカルキン代数に埋め込まれる条件を特定すること。
• ブール代数の埋め込み問題の非可換版である、どのC*-代数がカルキン代数に埋め込まれるかを調査すること。
• 埋め込み性がZFCに依存しないこと、特に連続体仮説が成立しない場合にその独立性を明らかにすること。
• マーティンの公理や適切な強制公理といった強制公理が、C*-代数の埋め込み性を決定づける役割を果たすかを分析すること。
• カルキン代数の構造的性質（ギャップスペクトルやccc性など）が、埋め込み普遍性とどのように関係するかを検討すること。

提案手法

• 強制法的手法とccc性質を用いて、マーティンの公理のもとで、密度特性 < 2^ℵ₀ であるC*-代数をカルキン代数に埋め込む。
• ccc強制を用いて、カルキン代数内の射影とギャップの構造を保存する。特に、性質Kと積的にcccなposetに注目する。
• マーティンの公理の下で、カルキン代数内の射影のposetを分析し、強制によって凍結されない (2^ℵ₀, 2^ℵ₀)-ギャップの存在を示す。
• ツィキー同値とルベーグ測度の加法性に関する既知の結果を活用し、射影ラティス内の解析的ギャップを線形化する。
• カルキン代数が可算に飽和していないことを利用し、非可分C*-代数の埋め込みには強い集合論的仮定が必要であることを示す。
• C*-代数Aと関連するposet 𝔼_Aが性質Kを持つことを確立し、これはそれが積的にcccであり、P(ℕ)/Finにおけるギャップを凍結できないことを意味する。

実験結果

リサーチクエスチョン

• RQ1 どの集合論的仮定のもとで、連続体未満の密度特性をもつC*-代数がすべてカルキン代数に埋め込まれるか。
• RQ2 そのような埋め込みの存在がZFCに依存するか。もしそうならば、どのモデルで埋め込みが失敗するか。
• RQ3 連続体仮説が成立しないモデルにおいて、カルキン代数が 2^ℵ₀-普遍的であるか。
• RQ4 マーティンの公理のような強制公理が、C*-代数のカルキン代数への埋め込みを可能にするか、あるいは妨げるか。
• RQ5 カルキン代数の射影ラティス内のギャップ構造が、ccc強制および埋め込み性の保存とどのように相互作用するか。

主な発見

• マーティンの公理は、連続体未満の密度特性をもつ任意のC*-代数がカルキン代数に埋め込まれることを示す。
• ZFCと整合的であるにもかかわらず、連続体未満の密度特性をもつC*-代数のうち、カルキン代数に埋め込まれないものが存在することが示され、埋め込み性がZFCに依存しないことがわかった。
• マーティンの公理の下で、カルキン代数の射影のposetには、強制によって凍結されない (2^ℵ₀, 2^ℵ₀)-ギャップが存在し、構造的豊かさを示している。
• 任意のC*-代数Aと関連するposet 𝔼_Aは性質Kを持つ。これは、それが積的にcccであり、P(ℕ)/Finにおけるギャップを凍結できないことを意味する。
• 適切な強制公理が成立するモデルでは、カルキン代数は 2^ℵ₀-普遍的でない。特に、密度 2^ℵ₀ のアーベルC*-代数の一部が埋め込まれない。
• カルキン代数の射影ラティスのギャップスペクトルは、P(ℕ)/Finのそれよりも複雑であり、性質Kが成立する場合、ccc強制のもとでその構造が保存される。