[论文解读] Flat dimension growth for C*-algebras

Andrew S. Toms|ArXiv.org|Oct 19, 2005

Advanced Operator Algebra Research参考文献 19被引用 7

一句话总结

本文引入了两个新不变量——针对单的AH代数的维数-秩比（drr）和针对单的稳定有限C*-代数的比较半径（rc），用于衡量简单、核型C*-代数中的非-\mathcal{Z}-稳定性。文章建立了drr与有序K-理论的联系，证明了drr的取值范围可被简单代数完全实现（从而证明存在不可数多个非-\mathcal{Z}-稳定的代数），并展示了rc对drr的推广关系，其中对于实现drr = 2r的代数，有rc ≥ r。

ABSTRACT

We introduce two nonnegative real-valued invariants for unital and stably finite C*-algebras whose minimal instances coincide with the notion of classifiability via the Elliott invariant. The first of these is defined for AH algebras, and may be thought of as a generalisation of slow dimension growth. The second invariant is defined for any unital and stably finite algebra, and may be thought of as an abstract version of the first invariant. We establish connections between both invariants and ordered K-theory, and prove that the range of the first invariant is exhausted by simple unital AH algebras. Consequently, the class of simple, unital, and non-Z-stable AH algebras is uncountable.

研究动机与目标

• 解决在非-\mathcal{Z}-稳定、简单、核型C*-代数之间结构差异缺乏敏感不变量的问题。
• 为AH代数发展平坦维数增长理论，扩展Blackadar关于中等维数增长的早期推测。
• 定义并研究单的AH代数中最小维数增长的度量——维数-秩比（drr）。
• 引入比较半径（rc）作为drr在更广泛单的、稳定有限C*-代数类中的推广。
• 证明rc与drr能检测非-\mathcal{Z}-稳定性，并与有序K-理论相关联。

提出的方法

• 通过归纳极限分解中dim(X_{i,l}) / rank(p_{i,l})的上极限，定义单的AH代数的平坦维数增长。
• 将维数-秩比（drr）定义为所有分解中平坦维数增长上极限的下确界，用以度量最小维数增长。
• 建立drr = 0当且仅当代数具有缓慢维数增长，且drr > 0表示非缓慢增长。
• 基于Cuntz半群中正元素的比较，为单的、稳定有限C*-代数定义比较半径（rc）作为不变量。
• 证明在实秩零且稳定秩为一的简单单AH代数中，rc与drr/2相等。
• 利用K-理论技术与K₀上的状态泛函，将rc与投影的结构及其在Cuntz半群中的比较关系联系起来。

实验结果

研究问题

• RQ1 能否为AH代数发展一个有意义的平坦维数增长理论，使其超越缓慢维数增长？
• RQ2 维数-秩比（drr）是否为一个稳健的不变量，能检测简单单AH代数中的非-\mathcal{Z}-稳定性？
• RQ3 比较半径（rc）是否推广了drr，并作为稳定有限C*-代数中非-\mathcal{Z}-稳定性的通用度量？
• RQ4 drr的取值范围是否能被简单、核型、非-\mathcal{Z}-稳定的C*-代数完全实现，从而说明存在不可数多个此类代数？
• RQ5 是否存在一个通用常数K，使得对所有单的AH代数都有rc(A) ≤ K·drr(A)，从而确认rc是drr的抽象版本？

主要发现

• 维数-秩比（drr）对所有单的AH代数均有定义且有限，且drr = 0当且仅当代数具有缓慢维数增长。
• 对任意r > 0，存在一个简单单AH代数满足drr = 2r且rc ≥ r，证明了drr的取值范围可被简单代数完全实现。
• drr的最小值为0，且仅当代数在实秩零且稳定秩为一的简单单AH代数中为迹性AF代数时达到。
• 在实秩零且稳定秩为一的简单单AH代数中，比较半径（rc）与drr/2相等，表明rc推广了drr。
• 本文证明了对满足drr = 2r的代数，有rc ≥ r，并推测存在某个通用常数K > 0使得rc ≤ K·drr，若成立则可确认rc为drr的自然抽象化。
• 若问题6.9（关于C(X)中正元素的秩与维数界）的答案为肯定，则存在一个简单、核型C*-代数A，满足A ≇ M_n(A)但(V(A),[1_A]) ≅ (Q⁺,1)，从而为Elliott分类猜想提供一个强有力的反例。