[论文解读] The Countable Chain Condition for C*-Algebras

Shuhei Masumoto|arXiv (Cornell University)|May 5, 2014

Advanced Operator Algebra Research参考文献 4被引用 3

一句话总结

本文通過正交理想引入 C*-代數的可數鏈條件（CCC），推廣了拓撲學中的 CCC。證明了 CCC 在最小張量積下保持的性質與 ZFC 獨立，顯示馬丁公設（Martin's Axiom）可推出 CCC 保持，而其否定則導致反例。

ABSTRACT

In this paper, we introduce the countable chain condition for C*-algebras and study its fundamental properties. We show independence from ZFC of the statement that this condition is preserved under the tensor products of C*-algebras.

研究动机与目标

• 將拓撲學中的可數鏈條件（CCC）推廣至 C*-代數，並利用正交理想實現。
• 研究 C*-代數的最小張量積是否保持 CCC 性質。
• 確定此保持性質與 ZFC 的集合論獨立性。
• 探討馬丁公設與蘇斯林假設在建立或反證 CCC 在張量積下保持性中的作用。

提出的方法

• 將 C*-代數的 CCC 定義為不存在不可數個非零相互正交理想的族。
• 透過 Gelfand-Naimark 对偶性，建立 C₀(X) 的拓撲 CCC 與 C*-代數 CCC 的等價關係。
• 利用馬丁公設（MA(ω₁)）在理想之偏序集上構造過濾器，確保存在具有有限交性質的不可數族。
• 應用引理 2.6 及歸納極限的性質，證明在 MA(ω₁) 下某些理想的稠密性。
• 證明若 A 和 B 具有 CCC，則在 MA(ω₁) 下，A⊗B 也具有 CCC，利用有限交性質與理想包含關係。
• 透過證明蘇斯林假設的否定可推出張量積下 CCC 保持性的反例，從而顯示其與 ZFC 獨立。

实验结果

研究问题

• RQ1 透過正交理想定義的 C*-代數 CCC 是否自然推廣了拓撲 CCC？
• RQ2 兩個單位元 CCC C*-代數的最小張量積是否必然具有 CCC？
• RQ3 CCC 在張量積下保持的性質是否可在 ZFC 內證明或否證？
• RQ4 馬丁公設在確保 CCC 在張量積下保持中扮演何種角色？
• RQ5 CCC 性質是否在非最小張量積下也保持？商映射的核如何影響此性質？

主要发现

• C*-代數的 CCC 定義為不存在不可數個非零相互正交理想的族，從而推廣了拓撲 CCC。
• C*-代數具有 CCC，當且僅當不存在不可數族非零元素 {a_λ}，使得對 λ ≠ μ 有 a_λ A a_μ = 0。
• 馬丁公設（MA(ω₁)）推出任意兩個單位元 CCC C*-代數的最小張量積也具有 CCC。
• CCC 在張量積下保持的陳述與 ZFC 獨立，因該陳述及其否定皆與 ZFC 兼容。
• 蘇斯林假設的否定推出張量積下 CCC 保持性的反例。
• 若一個 von Neumann 代數具有 CCC，當且僅當其中心是 σ-有限的，且此類代數在張量積下保持 CCC。