[论文解读] On the classification of simple amenable $C*$-algebras with finite decomposition rank, II

George A. Elliott, Guihua Gong+2 more|arXiv (Cornell University)|Jul 13, 2015

Advanced Operator Algebra Research被引用 11

一句话总结

本文证明了每个满足有限分解秩且满足统一系数定理（UCT）的单位元、单个、可分、殆阿贝尔 C*-代数，均可通过 Elliott 不变量实现分类。通过证明此类代数与普适 UHF 代数张量积后具有至多为一的一般化迹秩，作者完成了该类代数的分类程序，表明其属于类 $\mathcal{N}_1$，且为无维数增长的次同态 C*-代数的归纳极限。

ABSTRACT

We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where $Q$ is the universal UHF-algebra. Consequently, $A$ is classifiable in the sense of Elliott.

研究动机与目标

• 通过证明所有此类代数均属于类 $\mathcal{N}_1$，完成对单位元、单个、可分、殆阿贝尔 C*-代数在有限分解秩下的分类。
• 证明此类代数与普适 UHF 代数 $Q$ 的张量积具有至多为一的一般化迹秩。
• 建立 Elliott 不变量对这一类 C*-代数的完全分类，将先前结果推广至一般有限分解秩情形。
• 在 UCT 和有限分解秩条件下，通过在一般情形下证明结果，消除了对额外假设（如 $K_0$ 无挠）的需求。
• 在 Elliott 不变量框架下，统一有限与纯无穷 C*-代数的分类。

提出的方法

• 证明对于满足有限分解秩且满足 UCT 的单位元、单个、可分、殆阿贝尔 C*-代数 $A$，其 $A \otimes Q$ 具有至多为一的一般化迹秩。
• 利用无维数增长的次同态 C*-代数的归纳极限结构，刻画类 $\mathcal{N}_1$。
• 应用一般化迹秩至多为一的 C*-代数的分类定理，依赖于 UCT 和迹态的准对角性。
• 利用 Tikuisis、White 和 Winter 的最新结果：所有满足 UCT 的殆阿贝尔 C*-代数上的迹态均为准对角的，从而消除了对单独准对角性假设的需求。
• 利用有限核维数蕴含在殆阿贝尔情形下具有有限分解秩的事实，且在 UCT 条件下，$\mathcal{N}_1$ 恰好由此类代数组成。
• 应用 [23] 和 [9] 中关于迹秩至多为一的 C*-代数的分类结果，证明 $A \otimes Q$ 是圆代数的归纳极限，因此可分类。

实验结果

研究问题

• RQ1 每个满足有限分解秩且满足 UCT 的单位元、单个、可分、殆阿贝尔 C*-代数是否均属于类 $\mathcal{N}_1$？
• RQ2 此类代数的 $A \otimes Q$ 的一般化迹秩是否可被限制为一，从而确保分类？
• RQ3 在 UCT 和有限核维数假设下，迹态的准对角性是否为冗余？
• RQ4 是否可在无需额外 $K$-理论假设的情况下完成对具有有限分解秩的 C*-代数的分类？
• RQ5 关于一般化迹秩与核维数的结果，如何统一有限与纯无穷 C*-代数的分类？

主要发现

• 每个满足有限分解秩且满足 UCT 的单位元、单个、可分、殆阿贝尔 C*-代数均属于类 $\mathcal{N}_1$，即其为无维数增长的次同态 C*-代数的归纳极限。
• 对于此类代数，$A \otimes Q$ 具有至多为一的一般化迹秩，这在殆阿贝尔条件下蕴含准对角性与 $\mathcal{Z}$-稳定性。
• Elliott 不变量完全分类了这一类 C*-代数：$A \cong B$ 当且仅当它们的 $K$-理论、迹态空间及标度映射同构。
• 在 UCT 和有限核维数条件下，迹态的准对角性是冗余的，如 Tikuisis、White 和 Winter 所示。
• 所有满足 UCT 且具有有限核维数的单位元、单个、可分、殆阿贝尔 C*-代数均可通过 Elliott 不变量实现分类。
• 该结果统一了有限与纯无穷 C*-代数在有限核维数下的分类，因为两类代数均由同一不变量覆盖。