[论文解读] Full extensions and approximate unitary equivalences

Huaxin Lin|ArXiv.org|Jan 19, 2004

Advanced Operator Algebra Research参考文献 18被引用 4

一句话总结

该论文证明，对于具有特定无限性质的单化可分的阿梅尼安 C*-代数 A 和 C*-代数 C，从 A 到 C 的两个全单同态是渐近酉等价的，当且仅当它们在 KL(A,C) 中表示相同的元素。对于满足特定条件的非单化 σ-单化 C*-代数 B，使得 M(B)/B 满足某些性质，A 关于 B 的全本质扩张是渐近酉等价的，当且仅当它们在 KL(A,M(B)/B) 中诱导出相同的 KL 类；当 A 满足统一系数定理时，此类类的集合构成一个群，且同构于 KL(A,M(B)/B)。

ABSTRACT

Let $A$ be a unital separable amenable \CA and $C$ be a unital \CA with certain infinite property. We show that two full monomorphisms $h_1, h_2: A o C$ are approximately unitarily equivalent if and only if $[h_1]=[h_2]$ in $KL(A,C).$ Let $B$ be a non-unital but $σ$-unital \CA for which $M(B)/B$ has the certain infinite property. We prove that two full essential extensions are approximately unitarily equivalent if and only if they induce the same element in $KL(A, M(B)/B).$ The set of approximately unitarily equivalence classes of full essential extensions forms a group. If $A$ satisfies the Universal Coefficient Theorem, it is can be identified with $KL(A, M(B)/B).$

研究动机与目标

• 对 C*-代数的全单同态和本质扩张进行渐近酉等价分类。
• 确定在何种条件下 KL(A, M(B)/B) 群能对单化可分阿梅尼安 C*-代数 A 关于 σ-单化 C*-代数 B 的全本质扩张进行分类。
• 证明在统一系数定理成立时，全本质扩张的渐近酉等价类的群同构于 KL(A, M(B)/B)。
• 将分类结果扩展至稳定 C*-代数之外的范围，其中 KK1 理论无法检测酉等价性。

提出的方法

• 使用 Busby 不变量将本质扩张表示为单同态 τ: A → M(B)/B。
• 应用统一系数定理（UCT）将 K-理论与扩张类联系起来。
• 在 M(B)/B 上应用性质 (P1)、(P2) 和 (P3)，以确保全单同态的存在性及渐近酉等价性。
• 利用“纯大”扩张和“渐近吸收”扩张的概念来刻画酉等价性。
• 在余代数中使用超幂技术和交换子分析来控制渐近酉等价性。
• 通过将 A 嵌入 O2 并在 M(B)/B 中使用稳定等价性，构造具有指定 KL 类的全单同态，从而实现构造性证明。

实验结果

研究问题

• RQ1 当 A 是单化可分阿梅尼安 C*-代数，C 是具有所需无限性质的单化 C*-代数时，两个全单同态 h1, h2: A → C 何时是渐近酉等价的？
• RQ2 在何种条件下，A 关于 σ-单化 C*-代数 B 的全本质扩张的渐近酉等价类的群同构于 KL(A, M(B)/B)？
• RQ3 当 B 非稳定且 σ-单化时，即使 KK1(A,B) 无法实现分类，KL 群 KL(A, M(B)/B) 是否仍能对全本质扩张进行分类？
• RQ4 每个全本质扩张是否都是渐近吸收的？在何种情况下，这能推出渐近酉等价性？
• RQ5 M(B)/B 上的性质 (P1)、(P2) 和 (P3) 在多大程度上能确保：若全扩张诱导出相同的 KL 类，则它们是渐近酉等价的？

主要发现

• 若 A 是单化、可分、阿梅尼安的，且 C 具有所需无限性质，则两个全单同态 h1, h2: A → C 是渐近酉等价的，当且仅当在 KL(A,C) 中有 [h1] = [h2]。
• 对于满足 (P1)、(P2) 和 (P3) 的非单化 σ-单化 C*-代数 B，两个全本质扩张是渐近酉等价的，当且仅当它们在 KL(A, M(B)/B) 中诱导出相同的元素。
• 全本质扩张的渐近酉等价类的集合构成一个群，当 A 满足统一系数定理时，该群同构于 KL(A, M(B)/B)。
• 当 B 稳定时，KK1(A,B) 能对全本质扩张的酉等价类进行分类，但对非稳定 B 一般不成立。
• 存在非稳定、非单化、σ-单化的 C*-代数 B，使得 M(B)/B 满足 (P1)、(P2) 和 (P3)，从而可通过 KL 理论实现相同的分类。
• 全扩张可能为渐近吸收但并非纯大，表明在 Elliott 和 Kucerovsky 意义下的“纯大”性比渐近吸收性更强。