[论文解读] A Classification Theorem for Nuclear Purely Infinite Simple C*-Algebras

N. Christopher Phillips|ArXiv.org|Jul 1, 1995

Advanced Operator Algebra Research参考文献 25被引用 9

一句话总结

本文通过证明 KK-等价性蕴含同构，建立了非单位元可分核纯无限简单 C*-代数的分类定理。在 Kirchberg 定理的基础上，证明了满足泛系数定理的单位元可分核纯无限简单 C*-代数，若其 K-理论群为分次同构且单位元类对应，则彼此同构。

ABSTRACT

Starting from Kirchberg's theorems announced in 1994, namely O_2 tensor A is isomorphic to O_2 for separable unital nuclear simple A and O_infinity tensor A is isomorphic to A if in addition A is purely infinite, we prove that KK-equivalence implies isomorphism for nonunital separable nuclear purely infinite simple C*-algebras. It follows that if A and B are unital separable nuclear purely infinite simple C*-algebras which satisfy the Universal Coefficient Theorem, and if there is a graded isomorphism from K_* (A) to K_* (B) which preserves the class of the identity, then A is isomorphic to B. Our main technical results are, we believe, of independent interest. We say that two asymptotic morphisms t ---> ϕ_t and t ---> ψ_t from A to B are asymptotically unitarily equivalent if there exists a continuous unitary path t ---> u_t in the unitization B^+ such that || u_t ϕ_t (a) u_t^* - ψ_t (a) || ---> 0 for all a in A. Let A be separable, nuclear, unital, and simple, and let D be unital. We prove that any asymptotic morphism from A to K tensor O_infinity tensor D is asymptotically unitarily equivalent to a homomorphism, and two homotopic homomorphisms from A to K tensor O_infinity tensor D are asymptotically unitarily equivalent.

研究动机与目标

• 使用 KK-理论对非单位元可分核纯无限简单 C*-代数进行分类。
• 将 Kirchberg 的同构定理推广至更广泛的分类框架。
• 建立在纯无限情形下 KK-等价性蕴含同构的条件。
• 证明渐近态射到 O_∞ 与 K 的张量积中渐近酉等价。
• 为满足泛系数定理的单位元代数提供基于 K-理论的分类准则。

提出的方法

• 使用渐近态射，并通过单位化中的连续酉路径定义渐近酉等价。
• 证明任意从单位元可分核简单 C*-代数 A 到 K ⊗ O_∞ ⊗ D 的渐近态射，均渐近酉等价于一个同态。
• 证明从 A 到 K ⊗ O_∞ ⊗ D 的两条同伦同态是渐近酉等价的。
• 将这些结果应用于证明：对于非单位元可分核纯无限简单 C*-代数，KK-等价性蕴含同构。
• 利用 Kirchberg 关于 O_2 和 O_∞ 张量积的定理，将分类问题约化为 K-理论不变量。
• 利用泛系数定理将 KK-理论同构与 C*-代数同构联系起来。

实验结果

研究问题

• RQ1 在何种条件下，KK-等价性蕴含非单位元可分核纯无限简单 C*-代数的同构？
• RQ2 能否使进入 K ⊗ O_∞ ⊗ D 的渐近态射渐近酉等价于同态？
• RQ3 从核简单 C*-代数到 K ⊗ O_∞ ⊗ D 的两条同伦同态在何种情况下渐近酉等价？
• RQ4 何种 K-理论条件可确保单位元可分核纯无限简单 C*-代数同构？
• RQ5 如何利用泛系数定理通过 K-理论对这类 C*-代数进行分类？

主要发现

• 对于非单位元可分核纯无限简单 C*-代数，KK-等价性蕴含同构。
• 任意从单位元可分核简单 C*-代数 A 到 K ⊗ O_∞ ⊗ D 的渐近态射，均渐近酉等价于一个同态。
• 从此类代数到 K ⊗ O_∞ ⊗ D 的两条同伦同态是渐近酉等价的。
• 满足泛系数定理的单位元可分核纯无限简单 C*-代数，若其 K_*-群为分次同构且单位元类对应，则彼此同构。
• 该分类结果在代数为核与纯无限的假设下成立，关键不变量为带单位元类的 K-理论。
• 该证明通过消除对“局部渐近态射”的需求，简化了先前的方法。