[论文解读] On the KK-theory of strongly self-absorbing C*-algebras

Marius Dădărlat, Wilhelm Winter|ArXiv.org|Apr 4, 2007

Advanced Operator Algebra Research参考文献 5被引用 3

一句话总结

该论文证明，对于 $K_1$-内射的强自吸收 $C^*$-代数 $\mathcal{D}$，任意两个从 $\mathcal{D}$ 到 $A \otimes \mathcal{D}$ 的单位元 $*$-同态 $\sigma, \gamma$ 是渐近单位等价的，而不仅仅是近似等价。这表明 $\mathcal{D}$ 的所有单位元自同态都是渐近内自同态，且 $\mathcal{D}$ 的自同态与自同态空间在点-范数拓扑下是紧致收缩的。该结果通过 $*$-同态与渐近单位等价性，完整描述了 $KK(\mathcal{D}, A \otimes \mathcal{D})$。

ABSTRACT

Let $\Dh$ and $A$ be unital and separable $C^{*}$-algebras; let $\Dh$ be strongly self-absorbing. It is known that any two unital $^*$-homomorphisms from $\Dh$ to $A \otimes \Dh$ are approximately unitarily equivalent. We show that, if $\Dh$ is also $K_{1}$-injective, they are even asymptotically unitarily equivalent. This in particular implies that any unital endomorphism of $\Dh$ is asymptotically inner. Moreover, the space of automorphisms of $\Dh$ is compactly-contractible (in the point-norm topology) in the sense that for any compact Hausdorff space $X$, the set of homotopy classes $[X,\Aut(\Dh)]$ reduces to a point. The respective statement holds for the space of unital endomorphisms of $\Dh$. As an application, we give a description of the Kasparov group $KK(\Dh, A\ot \Dh)$ in terms of $^*$-homomorphisms and asymptotic unitary equivalence. Along the way, we show that the Kasparov group $KK(\Dh, A\ot \Dh)$ is isomorphic to $K_0(A\ot \Dh)$.

研究动机与目标

• 建立在 $K_1$-内射条件下，从强自吸收 $C^*$-代数 $\mathcal{D}$ 到 $A \otimes \mathcal{D}$ 的单位元 $*$-同态的渐近单位等价性。
• 通过 $*$-同态与渐近单位等价性，刻画 Kasparov 群 $KK(\mathcal{D}, A \otimes \mathcal{D})$。
• 证明 $\mathcal{D}$ 的自同态与单位元自同态空间在点-范数拓扑下是紧致收缩的。
• 在不假设 UCT 的前提下，证明 $KK_i(\mathcal{D}, \mathcal{D} \otimes A) \cong K_i(\mathcal{D} \otimes A)$ 对于 $i = 0,1$。
• 在不依赖 UCT 假设的前提下，提供 $\mathcal{O}_2$ 与普遍 UHF 代数 $\mathcal{Q}$ 的 $K$-理论刻画。

提出的方法

• 利用已知的强自吸收 $\mathcal{D}$ 下单位元 $*$-同态 $\sigma, \gamma: \mathcal{D} \to A \otimes \mathcal{D}$ 的近似单位等价性，并在 $K_1$-内射条件下将其强化为渐近单位等价性。
• 使用 $A \otimes \mathcal{D}$ 中的连续单位元路径来实现 $\sigma$ 与 $\gamma$ 的交错，且该路径从单位元开始。
• 应用连续 $C^*$-代数丛与渐近单位等价理论的结果，推导出 $\mathrm{Aut}(\mathcal{D})$ 与 $\mathrm{End}(\mathcal{D})$ 的同伦平凡性。
• 通过将 $KK$-类分解为 $*$-同态之差，建立 $KK(\mathcal{D}, A \otimes \mathcal{D})$ 与 $K_0(A \otimes \mathcal{D})$ 之间的同构。
• 利用强自吸收代数的普遍性质与 u.c.p. 映射的渐近乘法性，证明在 $K_0$-可除性与拟对角性条件下 $\mathcal{D} \cong \mathcal{D} \otimes \mathcal{Q}$。
• 使用 Künneth 公式与 $K$-理论条件，通过 $K_0$ 与 $K_1$-理论数据刻画 $\mathcal{Q}$ 与 $\mathcal{O}_2$，而无需 UCT 假设。

实验结果

研究问题

• RQ1 当 $\mathcal{D}$ 是强自吸收且 $K_1$-内射时，两个单位元 $*$-同态 $\sigma, \gamma: \mathcal{D} \to A \otimes \mathcal{D}$ 是否渐近单位等价？
• RQ2 Kasparov 群 $KK(\mathcal{D}, A \otimes \mathcal{D})$ 是否能通过 $*$-同态与渐近单位等价性完全描述？
• RQ3 在点-范数拓扑下，$K_1$-内射的强自吸收 $\mathcal{D}$ 的自同态空间是否是紧致收缩的？
• RQ4 在不假设 UCT 的前提下，$KK_i(\mathcal{D}, \mathcal{D} \otimes A)$ 是否同构于 $K_i(\mathcal{D} \otimes A)$，其中 $i = 0,1$？
• RQ5 能否在不依赖 UCT 的前提下，仅通过 $K$-理论条件刻画 $\mathcal{O}_2$ 与普遍 UHF 代数 $\mathcal{Q}$？

主要发现

• 若 $\mathcal{D}$ 是强自吸收且 $K_1$-内射，则任意两个单位元 $*$-同态 $\sigma, \gamma: \mathcal{D} \to A \otimes \mathcal{D}$ 是渐近单位等价的。
• 所有 $\mathcal{D}$ 的单位元自同态都是渐近内自同态，即它们可通过从单位元开始的连续单位元路径实现。
• $\mathcal{D}$ 的自同态空间是紧致收缩的：对于任意紧致豪斯多夫空间 $X$，在点-范数拓扑下 $[X, \mathrm{Aut}(\mathcal{D})]$ 是平凡的。
• $KK(\mathcal{D}, A \otimes \mathcal{D})$ 同构于 $K_0(A \otimes \mathcal{D})$，其元素可表示为 $[\varphi] - n[\iota]$，其中 $\varphi$ 为 $*$-同态，$\iota$ 为包含映射。
• 若两个 $*$-同态 $\varphi, \psi: \mathcal{D} \to \mathcal{K} \otimes A \otimes \mathcal{D}$ 满足 $\varphi(1) = \psi(1) = e$，则它们代表相同的 $KK$-类当且仅当它们可通过 $e(\mathcal{K} \otimes A \otimes \mathcal{D})e$ 中从 $e$ 开始的单位元路径实现渐近单位等价。$KK_i(\mathcal{D}, \mathcal{D} \otimes A) \cong K_i(\mathcal{D} \otimes A)$ 对于 $i = 0,1$，无需 UCT 假设。
• 普遍 UHF 代数 $\mathcal{Q}$ 被刻画为唯一满足分离性、单位元、强自吸收性、拟对角性，且满足 $K_0(\mathcal{Q}) \cong \mathbb{Q}$ 与 $K_1(\mathcal{Q}) \otimes \mathbb{Q} = 0$ 的 $C^*$-代数，且不依赖 UCT。