[论文解读] The Fine Structure of the Kasparov Groups III: Relative Quasidiagonality

Claude Schochet|ArXiv.org|Jul 12, 2001

Mathematical Dynamics and Fractals被引用 5

一句话总结

该论文为满足统一系数定理的可分核 $C^*$-代数 $A$ 和 $B$ 的 $KK_1(A,B)$ 中的拟对角类提供了精确的拓扑表征。它证明了 $QD(A,B) \cong Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$，表明在此设定下拟对角性是一个拓扑不变量，并解决了 L.G. Brown 关于到挠子群映射的核的问题。

ABSTRACT

In this paper we identify QD(A,B), the quasidiagonal classes in KK_1(A,B), in terms of K_*(A) and K_*(B), and we use these results in various applications. Here is our central result. Theorem: Suppose that A is in the category of separable nuclear C^*-algebras which satisfy the UCT and A is quasidiagonal relative to B. Then there is a natural isomorphism QD(A,B) = Pext (K_*(A), K_*(B))_0 . Thus quasidiagonality of KK-classes is indeed a topological invariant. We give several applications. Finally, we establish a converse to a theorem of Davidson, Herrero, and Salinas, giving conditions under which the quasidiagonality of A/K implies the quasidiagonality of the associated representation of A.

研究动机与目标

• 确定属于满足 UCT 的可分核 $C^*$-代数类别 $\widetilde{\mathcal{N}}$ 的 $A$ 时，$KK_1(A,B)$ 中的拟对角类 $QD(A,B)$。
• 澄清相对拟对角性与自然映射 $\theta^*: Ext_{\mathbb{Z}}^1(K_*(A), K_*(B)) \to Ext_{\mathbb{Z}}^1(K_*(A)_t, K_*(B))$ 的核之间的关系。
• 建立 Davidson、Herrero 和 Salinas 定理的逆定理，给出 $A/\mathcal{K}$ 的拟对角性蕴含其表示的拟对角性的条件。

提出的方法

• 利用统一系数定理将 $KK_1(A,B)$ 分解为涉及 $Ext_{\mathbb{Z}}^1(K_*(A), K_*(B))$ 和 $Hom_{\mathbb{Z}}(K_*(A), K_*(B))$ 的扩张，其中核被识别为 $Ext_{\mathbb{Z}}^1(K_*(A), K_*(B))$。
• 将 $QD(A,B)$ 识别为该核的子群，具体为纯扩张 $Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$。
• 应用 Salinas 的结果：拟对角类与 $KK_1(A,B)$ 拓扑中零的闭包重合，将拓扑闭包与拟对角性联系起来。
• 利用庞特里亚金对偶性和纯子群的性质，分析当 $G$ 为挠群（特别是可数群）时 $Ext_{\mathbb{Z}}^1(G, \mathbb{Z})$ 的结构。
• 通过构造 $K_0(A) = G$ 的具体例子（$G$ 为挠群），证明 $KK_1(A, \mathcal{K}) \cong \mathcal{P}(G)$，但 $QD(A, \mathcal{K}) = 0$，除非扩张是纯的。
• 将结果与 Brown 和 Dadarlat 关于扩张拟对角性的定理进行比较，表明即使表示 $e_\tau$ 不是拟对角的，$E_\tau$ 也可以是拟对角的。

实验结果

研究问题

• RQ1 对于 $A \in \widetilde{\mathcal{N}}$，$KK_1(A,B)$ 中拟对角类的精确拓扑表征是什么？
• RQ2 相对拟对角性与从 $Ext_{\mathbb{Z}}^1(K_*(A), K_*(B))$ 到 $Ext_{\mathbb{Z}}^1(K_*(A)_t, K_*(B))$ 的映射 $\theta^*$ 的核之间有何关系？
• RQ3 在什么条件下，$A/\mathcal{K}$ 的拟对角性蕴含其相关表示的拟对角性？
• RQ4 当 $E_\tau$ 是拟对角的，表示 $e_\tau$ 是否可能也是拟对角的？这些情形有何区别？
• RQ5 纯扩张在决定 $KK$-类的拟对角性中起什么作用？

主要发现

• 核心结果是：对于 $A \in \widetilde{\mathcal{N}}$，存在自然同构 $QD(A,B) \cong Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$，确立了拟对角性在此设定下为拓扑不变量。
• 该论文通过证明 $\theta^*$ 的核恰好为 $Pext_{\mathbb{Z}}^1(K_*(A), K_*(B))_0$，解决了 L.G. Brown 的问题，从而识别出拟对角类。
• 对于 $K_0(A)$ 为挠自由的 $A \in \widetilde{\mathcal{N}}$，表示 $e_\tau$ 的拟对角性等价于 $\gamma(\tau) = 0$，即指标平凡。
• 论文构造了一个例子，其中 $KK_1(A, \mathcal{K}) \cong \mathcal{P}(G)$，$G$ 为可数挠群，但 $QD(A, \mathcal{K}) = 0$，表明仅当扩张为平凡时，表示才是拟对角的。
• 它表明即使 $e_\tau$ 不是拟对角的，$E_\tau$ 也可以是拟对角的（根据 Brown 和 Dadarlat 的结果），凸显了代数拟对角性与表示论拟对角性之间的区别。
• 论文表明，$KK_1(A, \mathcal{K})$ 中的非平凡扩张只有在叠加足够多份副本后才可能成为拟对角的，展示了‘最终拟对角性’的现象。