[论文解读] The classification of simple separable KK-contractible C*-algebras with finite nuclear dimension

George A. Elliott, Zhuang Niu|arXiv (Cornell University)|Nov 16, 2016

Advanced Operator Algebra Research参考文献 53被引用 8

一句话总结

本文利用不变量 $(τ^{+}A, \Sigma A)$，其中 $τ^{+}A$ 是定义在稠密集上的下半连续迹的锥，$Σ A$ 是迹的单位球，建立了对具有有限核维数的简单分离的 KK-可缩 C*-代数的分类。关键结果表明，此类代数由其迹不变量分类，并且是 Razak 代数的归纳极限，通过迹近似和稳定唯一性，将 Elliott 分类程序扩展至非单位元、KK-可缩的情形。

ABSTRACT

The class of simple separable KK-contractible (KK-equivalent to $\{0\}$) C*-algebras which have finite nuclear dimension is shown to classified by the Elliott invariant. In particular, the class of C*-algebras $A\otimes \mathcal W$ is classifiable, where $A$ is a simple separable C*-algebra with finite nuclear dimension and $\mathcal W$ is the simple inductive limit of Razak algebras with unique trace, which is bounded.

研究动机与目标

• 将 Elliott 分类程序扩展至非单位元、简单、分离的 C*-代数，这些代数是 KK-可缩的且具有有限核维数。
• 为这一类 C*-代数建立一个完整的分类不变量，推广无单位元情形。
• 证明对于任意具有有限核维数的简单分离 C*-代数 $A$，有 $A \otimes \mathcal{W}$ 是可分类的，其中 $\mathcal{W}$ 是 Jiang-Su 稳定 C*-代数。
• 证明此类代数的类与简单 Razak 代数的归纳极限类一致。

提出的方法

• 使用迹近似结构：对于任意有限集 $\mathcal{F} \subset A$，$\varepsilon > 0$，以及 $n \in \mathbb{N}$，在 $\widetilde{A} \otimes Q$ 中构造投影 $q, p_1, \dots, p_n$，使得 $q + \sum p_i = 1$，$q \sim p_i$，且 $p_i$ 满足 $\varepsilon$-近似交换性与对 Razak 代数的压缩性。
• 应用稳定唯一性定理（推论 8.16）以从不变量一致推出同构。
• 通过稳定同构将问题约化至约化类 $\mathcal{R}$，其中迹有界，且 $\mathrm{T}^{+}A$ 上的范数函数连续。
• 利用 Brown 定理将 $A \otimes \mathcal{K}$ 与形如 $\overline{h(A \otimes \mathcal{K})h}$ 的遗传子代数联系起来，这些子代数属于 $\mathcal{R}$。
• 利用 $\mathcal{W}$ 是具有唯一迹的 Razak 代数的简单归纳极限且 KK-可缩的事实，因此 $A \otimes \mathcal{W}$ 继承了有限核维数和 KK-可缩性。
• 利用 Cuntz 半群和正元素类，通过 $\mathrm{Cu}(D)$-稳定性与稳定秩一，恢复不变量并建立同构。

实验结果

研究问题

• RQ1 Elliott 分类程序能否被扩展至非单位元、简单、分离、KK-可缩且具有有限核维数的 C*-代数？
• RQ2 何种不变量能完全分类此类 C*-代数？其与迹空间和 Cuntz 半群的关系如何？
• RQ3 对于任意具有有限核维数的简单分离 C*-代数 $A$，其张量积 $A \otimes \mathcal{W}$ 是否可分类？
• RQ4 所有此类代数是否都源于 Razak 代数的归纳极限？
• RQ5 迹不变量 $(\mathrm{T}^{+}A, \Sigma A)$ 在有限与纯无穷情形下，与 Cuntz 半群及 Murray-von Neumann 半群的关系如何？

主要发现

• 具有有限核维数的简单分离 KK-可缩 C*-代数的类由不变量 $(\mathrm{T}^{+}A, \Sigma A)$ 分类，其中 $\mathrm{T}^{+}A$ 是定义在稠密集上的下半连续迹的锥，$\Sigma A$ 是迹的单位球。
• 任意此类 C*-代数 $A$ 是 Razak 代数的简单归纳极限，且此类代数的类与简单 Razak 代数归纳极限的类一致。
• 对于任意具有有限核维数的简单分离 C*-代数 $A$，C*-代数 $A \otimes \mathcal{W}$ 是可分类的，特别地 $\mathcal{W} \otimes \mathcal{W} \cong \mathcal{W}$。
• 即使在纯无穷情形下分类依然成立：若 $\mathrm{T}^{+}A = \{0\}$，则 $A$ 由 Murray-von Neumann 半群和投影类分类，与 Kirchberg-Phillips 分类一致。
• 迹近似结构允许对元素实现 $\varepsilon$-近似交换性与对 Razak 代数的压缩，从而可应用稳定唯一性定理。
• 不变量 $\mathrm{V}(A) \setminus \{0\} \sqcup \mathrm{LAff}(\mathrm{T}^{+}A)$ 将有限与无穷情形统一为一个不变量，当 $A$ 是 Jiang-Su 稳定且核化时，该不变量同构于 Cuntz 半群。