[论文解读] Limits and C*-algebras of low rank or dimension

Lawrence G. Brown, Gert K. Pedersen|arXiv (Cornell University)|Aug 20, 2007

Advanced Operator Algebra Research参考文献 28被引用 22

一句话总结

本文研究C*-代数中拓扑维数、稳定秩、实秩与极端丰富性之间的相互作用，特别关注低秩性质。研究证明，稳定秩一与实秩零在满射逆极限和拉回下保持不变，并给出了低秩C*-代数扩张继承这些性质的条件，其中极端丰富性需要额外的提升条件。

ABSTRACT

We explore various limit constructions for C*-algebras, such as composition series and inverse limits, in relation to the notions of real rank, stable rank, and extremal richness. We also consider extensions and pullbacks. We identify some conditions under which the constructions preserve low rank for the C*-algebras or their multiplier algebras. We also discuss the version of topological dimension theory appropriate for primitive ideal spaces of C*-algebras and provide an analogue for rank of the countable sum theorem of dimension theory. As an illustration of how the main results can be applied, we show that a CCR algebra has stable rank one if and only if it has topological dimension zero or one, and we characterize those sigma-unital CCR algebras whose multiplier algebras have stable rank one or extremal richness. (The real rank zero case was already known.)

研究动机与目标

• 表征C*-代数扩张在何种条件下继承低秩性质，如稳定秩一、实秩零或极端丰富性。
• 建立在C*-代数中，满射逆极限与拉回保持低秩性质的条件。
• 阐明拓扑维数与K-理论在决定低秩行为中的作用，特别是在CCR代数及其扩张中的作用。
• 研究极端丰富性、Busby不变量与乘子代数结构之间的关系。
• 提供一个利用拓扑维数与K-理论工具分析低秩C*-代数的框架。

提出的方法

• 使用合成列与拓扑维数理论分析其本性理想空间近乎豪斯多夫的C*-代数。
• 应用维数理论的可数和定理（定理2.12）将结果推广至一般C*-代数。
• 利用满射逆极限表示乘子代数，并证明稳定秩一与实秩零的保持性。
• 采用Busby构造分析扩张与拉回，尤其在其中一个映射为满射时。
• 应用K-理论技术，包括K₀与K₁映射的单性，以表征低秩行为。
• 通过标准技术将一般情形约化为可分情形，以将结果扩展至σ-酉代数之外。

实验结果

研究问题

• RQ1 在何种条件下，两个稳定秩一的C*-代数的扩张也具有稳定秩一？
• RQ2 当一个C*-代数仅有有限维不可约表示且拓扑维数≤1时，其具有极端丰富性的条件是什么？
• RQ3 极端丰富性如何与Busby不变量及极端点上的商映射相关联？
• RQ4 在某些C*-代数类中，能否消除极端丰富性提升条件中的技术性假设？
• RQ5 当理想仅有有限维表示且拓扑维数≤1时，乘子代数模去该理想是否为稳定有限？

主要发现

• 稳定秩一在满射C*-逆极限下保持不变，如定理3.9所示。
• 实秩零与稳定秩一在某些非满射的乘子代数逆极限中保持不变，如定理3.13所示。
• 对于具有理想I的C*-代数A，若I仅有有限维不可约表示且拓扑维数≤1，且A/I为极端丰富的，则A为极端丰富的当且仅当商映射保持极端点，或A/(I+I⊥)的稳定秩为一。
• 若A/I为等距丰富的，则A为极端丰富的，即使不满足σ-酉性条件。
• 定理5.13中(i)、(ii)与(iii)的等价性表明，在给定假设下，极端丰富性等价于A/(I+I⊥)的稳定秩为一。
• 本文表明，当I仅有有限维表示且拓扑维数≤1时，M(I)/I不包含非平凡等距算子，暗示可能在不假设维数条件的情况下推广该结果。