[论文解读] A classification of finite simple amenable Z-stable C*-algebras, II, --C*-algebras with rational generalized tracial rank one

Guihua Gong, Huaxin Lin+1 more|arXiv (Cornell University)|Sep 29, 2019

Advanced Operator Algebra Research参考文献 42被引用 27

一句话总结

本文在UCT条件下，对具有有理广义曲率秩至多为一的单位元、可分、单、殆阿贝尔C*-代数建立了完整的分类定理。证明了此类代数同构当且仅当其Elliott不变量同构，将分类程序扩展至具有有限有理曲率秩的一类C*-代数，并完成了对此类曲率秩条件下Z-稳定代数的分类。

ABSTRACT

A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras. Moreover, it contains all unital simple separable amenable C*-algebras which satisfy the UCT and have finite rational tracial rank

研究动机与目标

• 完成对单位元、可分、单、殆阿贝尔、Z-稳定且具有有理广义曲率秩 ≤1 的C*-代数的分类。
• 通过证明同构性依赖于Elliott不变量，将Elliott分类程序扩展至具有有限有理曲率秩的代数。
• 建立此类代数由其Elliott不变量分类，从而穷尽该类可能的不变量取值。
• 证明满足gTR ≤1 且满足UCT的代数类完全由Elliott不变量分类。

提出的方法

• 证明依赖于利用Bott元和旋转映射构造映射的渐近酉等价。
• 采用基本同伦引理和稳定结果，建立同态的渐近酉等价。
• 作者利用在类 $\mathcal{B}_0$ 中的代数（特别是与UHF代数的张量积）中存在具有指定KK类的单位单同态。
• 关键技术是使用强渐近酉等价，通过张量积 $\mathcal{Z}$ 提升同构，利用 $\mathcal{Z}$-稳定性的结构。
• 分类被简化为通过 $A \otimes \mathcal{Z}$ 与 $B \otimes \mathcal{Z}$ 的同构比较Elliott不变量，利用 $A \otimes \mathcal{Z} \cong A$ 对于 $\mathcal{B}_1 \cap \mathcal{N}$ 中的代数成立的事实。
• 论证利用了 $gTR(A \otimes Q) \leq 1$ 蕴含 $A \otimes U \in \mathcal{B}_0$ 对任意无限型UHF代数 $U$ 成立，从而可使用 $\mathcal{B}_0$ 技术。

实验结果

研究问题

• RQ1 单位元、可分、单、殆阿贝尔、Z-稳定且具有有理广义曲率秩 ≤1 的C*-代数是否完全由其Elliott不变量分类？
• RQ2 条件 $gTR(A \otimes Q) \leq 1$ 是否意味着在UCT条件下，此类代数由其Elliott不变量分类？
• RQ3 在该类代数中，$A$ 与 $B$ 的同构是否可仅由其Elliott不变量的同构决定？
• RQ4 代数类 $\mathcal{N}_0$（满足对所有无限型超自然数 $\mathfrak{p}$ 有 $A \otimes M_{\mathfrak{p}} \in \mathcal{B}_0$）在多大程度上涵盖了该类可能不变量的全部范围？
• RQ5 Z-稳定性的结构如何与曲率秩条件相互作用，以实现分类？

主要发现

• 主要结果为：在满足UCT条件下，两个单位元、可分、单、殆阿贝尔的 $\mathcal{Z}$-稳定C*-代数 $A$ 与 $B$ 同构当且仅当其Elliott不变量同构，前提是 $gTR(A \otimes Q) \leq 1$ 且 $gTR(B \otimes Q) \leq 1$。
• 满足 $gTR \leq 1$ 且满足UCT的代数类完全由Elliott不变量分类，完成了该曲率秩范围的分类。
• 证明了当 $gTR(A \otimes Q) \leq 1$ 时，对任意无限型UHF代数 $U$ 都有 $A \otimes U \in \mathcal{B}_0$，从而可使用基于 $\mathcal{B}_0$ 的分类技术。
• 该结果意味着所有单位元、可分、殆阿贝尔、单的C*-代数，若具有有限有理曲率秩并满足UCT，则由其Elliott不变量分类。
• 本文建立了 $\mathcal{N}_0 = \mathcal{N}_1$，表明对所有无限型超自然数 $\mathfrak{p}$ 满足 $A \otimes M_{\mathfrak{p}} \in \mathcal{B}_0$ 的代数类与 $\mathcal{N}_1$ 类一致，这对分类至关重要。
• 该工作证实，具有有限分解秩并满足UCT的C*-代数满足 $gTR(A \otimes U) \leq 1$ 对所有无限型UHF代数 $U$ 成立，因此它们也由Elliott不变量分类。