[论文解读] A classification theorem for direct limits of extensions of circle algebras by purely infinite C*-algebras

Efren Ruiz|ArXiv.org|Aug 14, 2005

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

一句话总结

本文建立了对一类称为 $τ\mathcal{A}\mathcal{E}_{0}$-代数的单化 C*-代数的分类定理——这类代数是单化本质扩张 $M_k(C(S^1))$ 的角代数与属于归纳类的纯无穷 C*-代数的直极限的有限直和的直极限。分类通过不变量 $V_*$（包含投影与拟正规部分等距算子及其连接映射）和总 $K$-理论实现，证明对于该类代数，$V_*$-同构与 $K$-理论同构蕴含 $*$-同构。

ABSTRACT

We give a classification theorem for a class of C*-algebras which are direct limits of extensions of circle algebras by purely infinite C*-algebras. The invariant consists of the following: (1) the set of Murray-von Neumann equivalence classes of projections; (2) the set of homotopy classes of hyponormal partial isometries; (3) a map d; and (4) total K-theory.

研究动机与目标

• 将 Elliott 的分类程序扩展至具有零实秩的非单、非 AF C*-代数。
• 对一类新的单化可分拟阿贝尔 C*-代数进行分类，其构造为圆代数与纯无穷 C*-代数的扩张的直极限。
• 证明不变量 $V_*$（包含投影、拟正规部分等距算子及连接映射 $d$）与总 $K$-理论的组合，是该类代数的完全不变量。
• 建立已知类（包括 A$Τ$-代数与 Lin 的代数）为该类的特例。

提出的方法

• 将 $τ\mathcal{A}\mathcal{E}_{0}$-代数定义为：单化本质扩张 $M_k(C(S^1))$ 的角代数的有限直和的直极限，其扩张由属于 $\mathcal{P}$ 的纯无穷单 C*-代数 $I$ 实现。
• 引入不变量 $V_*$，其包含：(1) 投影的 Murray–von Neumann 等价类 $V(A)$，(2) 拟正规部分等距算子的同伦类 $k_+(A)$，(3) 映射 $d: k_+(A) \to V(A)$，(4) 总 $K$-理论 $\widetilde{K}(A)$。
• 证明唯一性定理：任何保持 $K$-理论的 $V_*$-同构，均可由渐近内自同构实现。
• 证明存在性定理：该类代数之间的任意 $V_*$-同构，可通过渐近交错构造提升为 $*$-同构。
• 利用扰动引理构造酉共轭，使图示近似交换，从而实现同构的构造。

实验结果

研究问题

• RQ1 此前用于具有广义 Toeplitz 构造块的零实秩代数的不变量 $V_*$，能否扩展至由圆代数与纯无穷 C*-代数的扩张所构建的代数的分类？
• RQ2 $V_*$ 与总 $K$-理论是否构成具有零实秩的单化 $τ\mathcal{A}\mathcal{E}_{0}$-代数的完全不变量？
• RQ3 A$Τ$-代数与 Lin 的代数是否属于 $τ\mathcal{A}\mathcal{E}_{0}$-代数类？
• RQ4 由于代数缺乏单性，是否需要强于 $V_*$ 的不变量，还是 $V_*$ 与 $K$-理论的组合已足够？

主要发现

• 具有零实秩的单化 $τ\mathcal{A}\mathcal{E}_{0}$-代数类，由不变量 $V_*$ 与总 $K$-理论完全分类。
• 每个具有零实秩的单化 A$Τ$-代数均为 $τ\mathcal{A}\mathcal{E}_{0}$-代数。
• 所有属于归纳类、具有零挠 $K_1$ 的单化可分拟阿贝尔纯无穷单 C*-代数，均为 $τ\mathcal{A}\mathcal{E}_{0}$-代数。
• 通过存在性与唯一性定理可知，$V_*$ 与总 $K$-理论的组合足以实现分类。
• 当纯无穷理想满足 $K_1(I) = 0$ 时，仅凭 $V_*$-同构条件即可推出 $*$-同构，因为 $K$-理论为平凡。
• 分类通过渐近交错论证实现，利用酉共轭使图示近似交换。