[论文解读] The Cuntz semigroup, the Elliott conjecture, and dimension functions on C*-algebras

Nathanial P. Brown, Francesc Perera+1 more|ArXiv.org|Sep 6, 2006

Advanced Operator Algebra Research参考文献 14被引用 9

一句话总结

本文证明了某些简单、单位元、Z-稳定或慢维数增长的AH代数的Cuntz半群W(A)可从Elliott不变量Ell(A)函子性地恢复，从而解决了Blackadar与Handelman关于维数函数的两个长期猜想。关键结果是此类代数上的维数函数空间构成一个Choquet单纯形，证实了1980年代提出的下连续维数函数的稠密性与单纯形结构猜想。

ABSTRACT

We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be hoped for. This work has three significant consequences. First, it provides new conceptual insight into Elliott's classification program, proving that the usual form of the Elliott conjecture is equivalent, among Z-stable algebras, to a conjecture which is in general substantially weaker and for which there are no known counterexamples. Second and third, it resolves, for the class of algebras above, two conjectures of Blackadar and Handelman concerning the basic structure of dimension functions on C*-algebras. We also prove in passing that the Cuntz-Pedersen semigroup is recovered functorially from the Elliott invariant for a large class of unital simple C*-algebras.

研究动机与目标

• 为一类广泛的C*-代数建立Cuntz半群W(A)从Elliott不变量Ell(A)的函子性恢复。
• 解决Blackadar与Handelman关于C*-代数上维数函数结构的两个猜想。
• 证明对于Z-稳定或慢维数增长的AH代数，维数函数空间是一个Choquet单纯形。
• 通过表明Cuntz半群在Z-稳定情形下等价于一个更弱但更鲁棒的猜想，阐明其在Elliott分类程序中的作用。

提出的方法

• 作者定义了一个函子，从A的K-理论、迹以及Murray-von Neumann半群V(A)重构W(A)。
• 他们利用Z-稳定和慢维数增长的AH代数具有正元素的严格比较性质，从而将Cuntz半群与迹联系起来。
• 证明借助K₀*(A)与W(A)₊的格罗滕迪克群之间的序同构，使得可使用泛函分析工具。
• 作者应用了迹状态空间上仿射函数理论的结果，特别是LAff_b(T(A))++，以建模Cuntz半群。
• 他们利用下连续仿射函数半群中的Riesz插值性质，确立了Choquet单纯形结构。
• 关键技术步骤是证明自然映射φ: W(A) → W̃(A)是序嵌入，从而推出下连续维数函数的稠密性。

实验结果

研究问题

• RQ1 能否在Z-稳定或慢维数增长的AH代数中，从Elliott不变量Ell(A)函子性地恢复Cuntz半群W(A)？
• RQ2 此类代数上的维数函数空间是否为Choquet单纯形，如Blackadar与Handelman所猜想？
• RQ3 这些代数中严格比较的存在性是否意味着下连续维数函数在所有维数函数空间中稠密？
• RQ4 Elliott猜想的标准形式是否等价于Z-稳定C*-代数中涉及W(A)的更弱猜想？
• RQ5 K-理论分类定理能否用于确认关于维数函数的结构猜想？

主要发现

• 对于所有简单、单位元、有限、Z-稳定或慢维数增长的AH代数，Cuntz半群W(A)可从Elliott不变量Ell(A)函子性地恢复。
• 此类代数上的维数函数空间DF(A)是一个Choquet单纯形，证实了Blackadar-Handelman猜想。
• 下连续维数函数在DF(A)中稠密，这是Blackadar-Handelman猜想(i)的关键组成部分。
• DF(A)的单纯形结构源于下连续仿射函数半群在T(A)上的Riesz插值性质。
• 证明依赖于严格比较性质，该性质在Z-稳定和慢维数增长的AH代数中成立，确保W(A)上的序关系由迹决定。
• 该结果调和了Cuntz半群在分类中必要性与其在标准不变量中缺失之间的矛盾，表明在该类代数中，它由K-理论与迹所决定。