[论文解读] 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*-代数均可嵌入到 Calkin 代数中。然而，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*-代数嵌入到 Calkin 代数中的条件。
• 研究非交换布尔代数嵌入问题的类比：哪些 C*-代数可嵌入到 Calkin 代数中？
• 探讨嵌入性质与 ZFC 的独立性，特别是连续统假设不成立时的情形。
• 分析如马丁公理和正规迫零公理等迫零公理在决定 C*-代数嵌入性中的作用。
• 研究 Calkin 代数的结构性质（如其间隙谱和 ccc 性质）与嵌入普遍性之间的关系。

提出的方法

• 利用马丁公理，通过迫零技术与 ccc 性质，构造密度特征 < 2^ℵ₀ 的 C*-代数嵌入到 Calkin 代数中。
• 应用 ccc 迫零以保持 Calkin 代数中投影与间隙的结构，特别关注性质 K 和可积 ccc 偏序集。
• 在马丁公理下分析 Calkin 代数中投影的偏序集，以证明存在无法被迫零固定的 (2^ℵ₀, 2^ℵ₀)-间隙。
• 利用关于 Tukey 等价性和勒贝格测度可加性的已知结果，线性化投影格中的分析间隙。
• 利用 Calkin 代数不是可数饱和的事实，表明非可分 C*-代数的嵌入需要强集合论假设。
• 证明与 C*-代数 A 相关的偏序集 𝔼_A 具有性质 K，意味着其为可积 ccc 且无法冻结 P(ℕ)/Fin 中的间隙。

实验结果

研究问题

• RQ1 在何种集合论假设下，所有密度特征小于连续统的 C*-代数均可嵌入到 Calkin 代数中？
• RQ2 此类嵌入的存在性是否与 ZFC 独立？若独立，在哪些模型中嵌入会失败？
• RQ3 在连续统假设不成立的模型中，Calkin 代数是否为 2^ℵ₀-普遍的？
• RQ4 马丁公理等迫零公理在促成或阻碍 C*-代数嵌入到 Calkin 代数中起何作用？
• RQ5 Calkin 代数投影格中的间隙结构如何与 ccc 迫零及嵌入保持性相互作用？

主要发现

• 马丁公理表明，所有密度特征严格小于连续统的 C*-代数均可嵌入到 Calkin 代数中。
• ZFC 一致性结果表明，存在一个密度特征小于连续统但无法嵌入到 Calkin 代数中的 C*-代数，说明嵌入性质与 ZFC 独立。
• 在马丁公理下，Calkin 代数中投影的偏序集包含一个无法被迫零固定的 (2^ℵ₀, 2^ℵ₀)-间隙，表明其结构丰富。
• 任意 C*-代数 A 的关联偏序集 𝔼_A 具有性质 K，意味着其为可积 ccc 且无法冻结 P(ℕ)/Fin 中的间隙。
• 在正规迫零公理成立的模型中，Calkin 代数不是 2^ℵ₀-普遍的，因为某些密度为 2^ℵ₀ 的阿贝尔 C*-代数无法嵌入。
• Calkin 代数投影格的间隙谱比 P(ℕ)/Fin 更为复杂，且当性质 K 成立时，其结构在 ccc 迫零下得以保持。