[论文解读] The Cuntz semigroup of some spaces of dimension at most two

Leonel Robert|arXiv (Cornell University)|Nov 28, 2007

Advanced Banach Space Theory参考文献 8被引用 20

一句话总结

本论文针对覆盖维数至多为二且第二Čech上同调平凡的局部紧致Hausdorff空间，给出了Cuntz半群的明确计算，表明其同构于从该空间到扩展自然数的下连续函数的有序半群。此外，本文还计算了所有紧致曲面的Cuntz半群，并证明了一个逆定理：若一个分离C*-代数的Cuntz半群同构于此类下连续函数的半群，则该代数是稳定交换的，且其谱满足相同的拓扑条件。

ABSTRACT

It is shown that the Cuntz semigroup of a space with dimension at most two, and with second cohomology of its compact subsets equal to zero, is isomorphic to the ordered semigroup of lower semicontinuous functions on the space with values in the natural numbers with the infinity adjoined. This computation is then used to obtain the Cuntz semigroup of all compact surfaces. A converse to the first computation is also proven: if the Cuntz semigroup of a separable C*-algebra is isomorphic to the lower semicontinuous functions on a topological space with values in the extended natural numbers, then the C*-algebra is commutative up to stability, and its spectrum satisfies the dimensional and cohomological conditions mentioned above.

研究动机与目标

• 计算覆盖维数至多为二且第二Čech上同调平凡的拓扑空间的Cuntz半群。
• 明确确定所有紧致曲面的Cuntz半群。
• 建立一个逆定理：若一个分离C*-代数的Cuntz半群同构于从扩展自然数取值的下连续函数半群，则该代数是稳定同构于满足相同拓扑条件的交换C*-代数。
• 提供Cuntz半群计算的直接且明确的证明，独立于高维情形的先前结果。

提出的方法

• 利用在满足拓扑条件的空间上，Cuntz半群与取值于扩展自然数的下连续函数半群之间的同构关系。
• 通过秩映射刻画Cuntz半群，证明在给定条件下该秩映射是同构。
• 应用Glimm引理与Brown定理，分析遗传C*-子代数的结构，从而推导出代数稳定同构于一个交换C*-代数。
• 通过投影的提升与通过Čech上同调的障碍理论，证明非平凡线丛将与Cuntz半群同构于函数半群的假设矛盾。
• 应用关于Hilbert C*-模的一般结果：若两个模在模掉一个理想后的商同构，则它们与该理想的直和也同构。
• 利用交换C*-代数的Cuntz半群由秩函数与谱结构决定的事实。

实验结果

研究问题

• RQ1 在局部紧致Hausdorff空间X满足何种拓扑条件时，C₀(X)的Cuntz半群同构于从X到扩展自然数的下连续函数半群？
• RQ2 紧致曲面的Cuntz半群的精确结构是什么？它与一般二维空间的Cuntz半群有何不同？
• RQ3 在交换情形下，Cuntz半群的同构类型是否能唯一确定C*-代数的稳定同构类？
• RQ4 当X为紧致曲面时，Hilbert C*-模上的Cuntz等价与同构在多大程度上一致？
• RQ5 分离C*-代数的Cuntz半群同构于从扩展自然数取值的下连续函数半群的必要且充分条件是什么？

主要发现

• 覆盖维数至多为二且第二Čech上同调平凡的局部紧致Hausdorff空间X的Cuntz半群，同构于从X到扩展自然数的下连续函数的有序半群。
• 对任意紧致曲面X，其Cuntz半群同构于下连续函数半群与C(X)上有限生成投影模的同构类半群的不交并的商，其中通过秩映射进行等价关系的识别。
• 当X为紧致曲面时，Cuntz等价与同构在可数生成的Hilbert C*-模上一致。
• 逆定理成立：若分离C*-代数A的Cuntz半群同构于从局部紧致Hausdorff空间X到扩展自然数的下连续函数半群，则A稳定同构于C₀(X)。
• 谱空间X必须满足覆盖维数至多为二，且所有紧致子集在第二Čech上同调中平凡。
• 从Cuntz半群到函数半群的秩映射是同构，这意味着在给定条件下，半群结构完全由秩函数决定。