[论文解读] On classification of simple non-unital amenable C*-algebras, II

Guihua Gong, Huaxin Lin|arXiv (Cornell University)|Feb 3, 2017

Advanced Operator Algebra Research参考文献 50被引用 13

一句话总结

该论文在UCT和有限核维数的条件下，建立了对具有广义迹秩为一且迹上K₀为零的可分、殆阿贝尔、稳定无投影元C*-代数的分类定理。证明了两个此类代数同构当且仅当其Elliott不变量同构，并引入了Z₀——一个具有K₀ = ℤ且K₁ = 0的通用Z-稳定C*-代数——表明A ⊗ Z₀ ≅ B ⊗ Z₀当且仅当Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀)，通过Z₀-稳定性将分类推广至非单位元、稳定无投影元的情形。

ABSTRACT

We present a classification theorem for amenable simple stably projectionless C*-algebras with generalized tracial rank one whose $K_0$ vanish on traces which satisfy the Universal Coefficient Theorem. One of them is denoted by ${\cal Z}_0$ which has a unique tracial state and $K_0({\cal Z}_0)=\mathbb{Z}$ and $K_1({\cal Z}_0)=\{0\}.$ Let $A$ and $B$ be two separable simple $C^*$-algebras satisfying the UCT and have finite nuclear dimension. We show that $A\otimes {\cal Z}_0\cong B\otimes {\cal Z}_0$ if and only if ${ m Ell}(B\otimes {\cal Z}_0)={ m Ell}(B\otimes {\cal Z}_0).$ A class of simple separable $C^*$-algebras which are approximately sub-homogeneous whose spectra having bounded dimension is shown to exhaust all possible Elliott invariant for $C^*$-algebras of the form $A\otimes {\cal Z}_0,$ where $A$ is any finite separable simple amenable $C^*$-algebras. Suppose that $A$ and $B$ are two finite separable simple $C^*$-algebras with finite nuclear dimension satisfying the UCT such that traces vanishe on $K_0(A)$ and $K_0(B)$ (but arbitrary $K_1$). One consequence of the main results in this situation is that $A\cong B$ if and only if $A$ and $B$ have the isomorphic Elliott invariant.

研究动机与目标

• 将Elliott分类程序扩展至非单位元、稳定无投影元的C*-代数，其中传统K-理论方法失效。
• 解决对K₀中正锥为平凡且无非零投影元的简单C*-代数进行分类的挑战。
• 建立一个通用模型Z₀，满足K₀ = ℤ且K₁ = 0，通过张量积实现分类。
• 证明Z₀-稳定代数由其Elliott不变量分类，将UCT分类推广至非单位元情形。
• 表明所有形如A ⊗ Z₀的代数的可能Elliott不变量均可由谱维数有界的近似子同态C*-代数实现。

提出的方法

• 引入广义迹秩一（gTR ≤ 1）作为稳定无投影元C*-代数的结构条件。
• 使用具有唯一迹态、K₀(Z₀) = ℤ、K₁(Z₀) = 0且Z₀ ⊗ Z₀ ≅ Z₀的通用C*-代数Z₀。
• 应用Künneth公式，证明对任意A有Ki(A ⊗ Z₀) ≅ Ki(A)且T(A ⊗ Z₀) ≅ T(A)。
• 利用中心序列和切除技术，通过性质(SI)和连续标度证明类D中代数的Z-稳定性。
• 通过Z₀-稳定代数的结构理论，建立A ⊗ Z₀ ≅ B ⊗ Z₀当且仅当Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀)。
• 将与类D中代数稳定同构的代数构造为谱维数≤3的子同态C*-代数的归纳极限。

实验结果

研究问题

• RQ1 Elliott分类程序能否扩展至满足UCT且具有有限核维数的非单位元、稳定无投影元C*-代数？
• RQ2 Z₀在稳定无投影元C*-代数分类中的作用是什么？
• RQ3 所有形如A ⊗ Z₀的代数的可能Elliott不变量是否均可由谱维数有界的近似子同态C*-代数实现？
• RQ4 Z₀-稳定性是否意味着对UCT类中具有有限核维数的C*-代数，有A ⊗ Z₀ ≅ B ⊗ Z₀当且仅当Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀)？
• RQ5 每个可分、殆阿贝尔的类D C*-代数是否都是Z-稳定的？这与中心序列和切除结构有何关联？

主要发现

• 对所有满足UCT且具有有限核维数的可分简单C*-代数A和B，有A ⊗ Z₀ ≅ B ⊗ Z₀当且仅当Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀。
• Z₀是一个具有K₀(Z₀) = ℤ、K₁(Z₀) = 0且Z₀ ⊗ Z₀ ≅ Z₀的通用Z-稳定C*-代数。
• 每个可分、殆阿贝尔的类D C*-代数都是Z-稳定，该结论通过中心序列切除和性质(SI)得以证明。
• A ⊗ Z₀的Elliott不变量涵盖了所有可由谱维数至多为3的近似子同态C*-代数实现的可能不变量。
• 对具有迹上平凡K₀且具有有限核维数的可分简单C*-代数A和B，有A ≅ B当且仅当Ell(A) ≅ Ell(B)。
• 与类D中代数稳定同构的代数类，恰好是谱维数≤3的子同态C*-代数的归纳极限类。