[论文解读] On the classification of nuclear C*-algebras

Marius Dădărlat, Søren Eilers|ArXiv.org|Sep 16, 1998

Advanced Operator Algebra Research被引用 58

一句话总结

本文利用 $K'K$-理论与拟对角性，建立了在无单位核的核 $C^*$-代数之间 $*$-同态的一般存在性与唯一性定理，从而实现了通过局部逼近而非归纳极限定义的一类广泛拟对角 $C^*$-代数的分类。关键贡献在于：在不依赖普遍系数定理的前提下，提出了在拟对角表示吸收下的稳定唯一性结果，并建立了一个将完全正收缩映射与部分 $K'K$-元素相关联的框架。

ABSTRACT

The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the classification program -- which for many years parted ways with only moderate interaction. But recent years have seen a fruitful interaction which has been one of the main engines behind rapid progress in the classification program. In the present paper we take this interaction even further. We prove general existence and uniqueness results using KK-theory and a concept of quasidiagonality for representations. These results are employed to obtain new classification results for certain classes of quasidiagonal C*-algebras introduced by H. Lin. An important novel feature of these classes is that they are defined by a certain local approximation property, rather than by an inductive limit construction. Our existence and uniqueness results are in the spirit of classical Ext-theory. The main complication overcome in the paper is to control the stabilization which is necessary when one works with finite C*-algebras. In the infinite case, where programs of this type have already been successfully carried out, stabilization is unnecessary. Yet, our methods are sufficiently versatile to allow us to reprove, from a handful of basic results, the classification of purely infinite nuclear C*-algebras of Kirchberg and Phillips. Indeed, it is our hope that this can be the starting point of a unified approach to classification of nuclear C*-algebras.

研究动机与目标

• 开发无单位核核 $C^*$-代数之间 $*$-同态的一般存在性与唯一性结果，其适用范围超越经典的 $AF$ 或纯无穷大情形。
• 通过在源代数上引入拟对角吸收条件，克服分类中稳定化复杂度的控制难题。
• 通过使用 $K'K$-理论与一种关于完全正收缩映射的新框架，统一分类技术。
• 以更一般且更具概念性的方法重新证明 Kirchberg 与 Phillips 关于纯无穷大核 $C^*$-代数的分类结果。
• 为一个统一的分类计划提供基础，该计划适用于通过局部逼近而非归纳极限定义的拟对角 $C^*$-代数。

提出的方法

• 利用 $K'K$-理论与普遍多系数定理，为完全正收缩映射定义部分 $K'K$-元素，推广了 $*$-同态的 $K'K$-类。
• 引入拟对角吸收表示 $\gamma: A \to M(\mathcal{K}(H) \otimes B)$ 的概念，以控制唯一性定理中的稳定化。
• 使用 $\delta$-乘法完全正收缩映射与 $K$-三元组（$K_0$、$K_1$ 与 $K_*$）来在扰动下逼近 $K$-理论数据。
• 应用 $\underline{\mathbf{K}}$-三元组框架，通过谱投影与酉算子的函数演算，将 $K$-理论不变量与映射关联。
• 利用从 $K_0(A)$ 到 $K_1(SA)$ 的旋转矩阵的典范映射，将 $K_0$ 与 $K_1$ 不变量在 $K_*$-三元组构造中联系起来。
• 通过引理证明稳定性和逼近性质：若在小三元组上 $K$-理论一致，则在扰动与复合下也将在更大集合上保持一致。

实验结果

研究问题

• RQ1 能否利用 $K'K$-理论将 $*$-同态的存在性与唯一性定理推广至超越 $AF$ 与纯无穷大代数的情形？
• RQ2 当涉及有限维像时，如何在分类定理中控制稳定化复杂度？
• RQ3 能否为通过局部逼近而非归纳极限定义的拟对角 $C^*$-代数建立统一的分类框架？
• RQ4 能否为非 $*$-同态的完全正收缩映射关联类似 $K'K$-的不变量？
• RQ5 能否以比普遍系数定理更一般且更具概念性的方式，重新证明纯无穷大核 $C^*$-代数的分类？

主要发现

• 唯一性结果（定理 3.4.1）表明：若两个 $*$-同态 $\varphi, \psi: A \to B$ 诱导出相同的 $K'K$-类，且 $A$ 允许嵌入到 $M(\mathcal{K}(H) \otimes B)$ 中的拟对角吸收表示，则它们是稳定渐近酉等价的。
• 通过使用 $K$-三元组与函数演算，将部分 $K'K$-元素与完全正收缩映射关联，论文证明了此类映射的唯一性结果（定理 4.1.4）。
• $K$-三元组的构造确保了在 $\delta$-乘法映射下，$K$-理论不变量得以保持，并能通过有限个投影与酉算子集近似。
• 引理 A.2.7 表明：若在有限个投影集上 $K$-理论一致，则当映射在有限个生成元集上足够接近时，整个三元组上也保持一致。
• 该框架允许在不依赖普遍系数定理的前提下，仅使用基本的 $K'K$-理论工具，重新证明纯无穷大核 $C^*$-代数的分类。
• 结果足够一般，可涵盖所有拟对角 $C^*$-代数，并扩展了以往分类定理中使用的经典构造块类。