[论文解读] Lifting KK-elements, asymptotical unitary equivalence and classification of simple C*-algebras

Huaxin Lin, Zhuang Niu|ArXiv.org|Feb 11, 2008

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

一句话总结

该论文通过解决KK元素的提升问题并表征单态射的渐近酉等价性，对具有迹秩零的单位元、单个、Z-稳定的C*-代数进行了完整的分类。证明了从单位元AH代数 $ C $ 到迹秩零的单位元单个C*-代数 $ A $ 的单位元单态射，其渐近酉等价性由其KK类、诱导的迹态映射和旋转映射完全分类，从而为Z-稳定C*-代数提供了完整的同构分类，前提是其Elliott不变量同构。

ABSTRACT

Let $A$ and $C$ be two unital simple C*-algebas with tracial rank zero. Suppose that $C$ is amenable and satisfies the Universal Coefficient Theorem. Denote by ${KK}_e(C,A)^{++}$ the set of those $κ$ for which $κ(K_0(C)_+\setminus\{0\})\subset K_0(A)_+\setminus\{0\}$ and $κ([1_C])=[1_A]$. Suppose that $κ\in {KK}_e(C,A)^{++}.$ We show that there is a unital monomorphism $ϕ: C o A$ such that $[ϕ]=κ.$ Suppose that $C$ is a unital AH-algebra and $λ: \mathrm{T}(A) o \mathrm{T}_{\mathtt{f}}(C)$ is a continuous affine map for which $τ(κ([p]))=λ(τ)(p)$ for all projections $p$ in all matrix algebras of $C$ and any $τ\in \mathrm{T}(A),$ where $\mathrm{T}(A)$ is the simplex of tracial states of $A$ and $\mathrm{T}_{\mathtt{f}}(C)$ is the convex set of faithful tracial states of $C.$ We prove that there is a unital monomorphism $ϕ: C o A$ such that $ϕ$ induces both $κ$ and $λ.$ Suppose that $h: C o A$ is a unital monomorphism and $γ\in \mathrm{Hom}(\Kone(C), \aff(A)).$ We show that there exists a unital monomorphism $ϕ: C o A$ such that $[ϕ]=[h]$ in ${KK}(C,A),$ $τ\circ ϕ=τ\circ h$ for all tracial states $τ$ and the associated rotation map can be given by $γ.$ Applications to classification of simple C*-algebras are also given.

研究动机与目标

• 解决在迹秩零C*-代数背景下，将KK元素提升为单位元单态射的开放问题。
• 表征从单位元AH代数 $ C $ 到迹秩零的单位元单个C*-代数 $ A $ 的单位元单态射的渐近酉等价性。
• 在简单C*-代数的分类中，消除对K-理论和分离迹的投影的限制。
• 利用Elliott不变量和迹秩条件，为单位元、可分、单个、$ \mathcal{Z} $-稳定C*-代数建立完整的分类定理。

提出的方法

• 证明对于迹秩零且$ C $ 满足UCT的单位元单个C*-代数 $ A $ 和 $ C $，任何 $ \kappa \in {KK}_e(C,A)^{++} $ 均可提升为满足 $ [\phi] = \kappa $ 的单位元单态射 $ \phi: C \to A $。
• 在单位元单态射 $ C \to A $ 的渐近酉等价类与集合 $ (KKT(C,A)^{++}, \mathrm{Hom}(K_1(C), \mathrm{Aff}(T(A)))/\mathcal{R}_0) $ 之间建立双射，其中 $ \mathcal{R}_0 $ 是旋转映射为零的子群。
• 利用[15]中的渐近酉等价理论，将分类与KK类、迹态映射和旋转映射的完整数据联系起来。
• 应用提升结果，证明若两个单位元 $ \mathcal{Z} $-稳定C*-代数的Elliott不变量同构，且其与任意UHF代数的张量积具有迹秩零，则它们同构。
• 利用Winter [24] 的结果以及具有唯一迹态的I型C*-代数的归纳极限结构，将分类结果推广至K-理论非有限生成的情形。

实验结果

研究问题

• RQ1 当 $ A $ 和 $ C $ 是迹秩零的单位元单个C*-代数且 $ C $ 满足UCT时，是否每个 $ \kappa \in {KK}_e(C,A)^{++} $ 都可实现为某个单位元单态射 $ \phi: C \to A $ 的KK类？
• RQ2 在何种条件下，两个单位元单态射 $ \phi, \psi: C \to A $ 是渐近酉等价的？
• RQ3 给定一个旋转映射 $ \gamma \in \mathrm{Hom}(K_1(C), \mathrm{Aff}(T(A))) $，能否通过固定KK类和迹态映射的单位元单态射 $ \phi: C \to A $ 实现该旋转映射？
• RQ4 对于单位元、可分、单个、$ \mathcal{Z} $-稳定的C*-代数，若其为具有唯一迹态的I型代数的归纳极限，Elliott不变量的同构是否意味着同构？
• RQ5 当与任意UHF代数张量积后具有迹秩零时，单位元 $ \mathcal{Z} $-稳定C*-代数的分类是否是完备的？

主要发现

• 每个 $ \kappa \in {KK}_e(C,A)^{++} $ 均可提升为单位元单态射 $ \phi: C \to A $，从而解决了迹秩零C*-代数长期存在的提升问题。
• 单位元单态射 $ C \to A $ 的渐近酉等价类与集合 $ (KKT(C,A)^{++}, \mathrm{Hom}(K_1(C), \mathrm{Aff}(T(A)))/\mathcal{R}_0) $ 之间存在双射，提供了完整的分类不变量。
• 若两个单位元 $ \mathcal{Z} $-稳定C*-代数的Elliott不变量同构，且其与任意UHF代数的张量积具有迹秩零，则它们同构。
• 对于单位元、可分、单个、$ \mathcal{Z} $-稳定的C*-代数，若其为具有唯一迹态的I型代数的归纳极限，则其同构性等价于Elliott不变量的同构。
• 该分类结果已超越有限生成K-理论和分离迹的投影的限制，消除了文献中先前结果的关键限制。