[论文解读] Fiberwise KK-equivalence of continuous fields of C*-algebras

Marius Dădărlat|ArXiv.org|Nov 14, 2006

Advanced Operator Algebra Research参考文献 10被引用 6

一句话总结

该论文在有限维紧度量空间上的连续C*-代数丛中建立了KK-等价性的纤维化准则：对于连续C*(X)-代数上的参数化Kasparov群 $\mathrm{KK}_X(A,B)$ 中的元素，其可逆当且仅当所有其纤维化分量均为可逆。该结果使得可通过同调方法进行K-理论计算，并将UCT的保持性结果推广至满足UCT的核连续$C(X)$-代数。

ABSTRACT

Let A and B be separable nuclear continuous C(X)-algebras over a finite dimensional compact metrizable space X. It is shown that an element $σ$ of the parametrized Kasparov group KK_X(A,B) is invertible if and only if all its fiberwise components $σ_x\in KK(A(x),B(x))$ are invertible. This criterion does not extend to infinite dimensional spaces since there exist nontrivial unital separable continuous fields over the Hilbert cube with all fibers isomorphic to the Cuntz algebra O_2. Several applications to continuous fields of Kirchberg algebras are given. It is also shown that if each fiber of a separable nuclear continuous C(X)-algebra A over a finite dimensional locally compact space X satisfies the UCT, then A satisfies the UCT.

研究动机与目标

• 确定两个连续$C(X)$-代数在何时是$KK_X$-等价的，特别是针对有限维紧度量空间上的可分核代数。
• 通过其分量的纤维化可逆性，刻画参数化Kasparov群$\mathrm{KK}_X(A,B)$中可逆元素的特征。
• 将普遍系数定理（UCT）的保持性性质推广至具有UCT-纤维代数的有限维局部紧空间上的连续$C(X)$-代数。
• 建立连续Kirchberg代数丛自动平凡性的必要与充分条件，从而去除K-理论的有限生成性假设。
• 在UCT下解决具有自动平凡性性质的酉Kirchberg代数的分类问题，识别出$\mathcal{O}_2$、$\mathcal{O}_\infty$和$\mathcal{O}_\infty \otimes U$是唯一满足此性质的代数。

提出的方法

• 使用参数化Kasparov理论（$\mathrm{KK}_X$）分析$C(X)$-代数态射及其可逆性。
• 应用纤维化分量映射$\sigma \mapsto \sigma_x$，将$KK_X$-可逆性归约为纤维化$KK$-可逆性。
• 运用$KK_X$-理论的Mayer-Vietoris型正合列分析扩张与归纳极限。
• 利用$\varprojlim^1$-序列构造一个具有改进结构性质的$KK$-等价$C(X)$-代数$A^\sharp$。
• 利用Kirchberg代数的同伦不变性与$KK$-半投影性，构造满足UCT的子代数的 exhaustive 序列。
• 应用扰动技术与归纳极限构造方法，证明$A^\sharp$满足UCT，从而$A$也满足。

实验结果

研究问题

• RQ1 在有限维紧度量空间$X$上，对于可分核连续$C(X)$-代数，何时有$\sigma \in \mathrm{KK}_X(A,B)$可逆？
• RQ2 当所有纤维均满足UCT时，UCT是否在连续$C(X)$-代数扩张下保持？
• RQ3 哪些酉Kirchberg代数$D$具有自动平凡性，即所有以$D$为纤维的连续$C(X)$-丛同构于$C(X) \otimes D$？
• RQ4 空间$X$的有限维性在纤维化$KK$-可逆性准则中是否为必要条件？
• RQ5 在刻画Kirchberg代数丛的自动平凡性时，是否可去除对$K$-理论的有限生成性假设？

主要发现

• 若$X$为有限维、紧致且度量空间，则$\sigma \in \mathrm{KK}_X(A,B)$可逆当且仅当所有其纤维化分量$\sigma_x \in KK(A(x),B(x))$均可逆。
• 若所有纤维均满足UCT，则UCT在有限维局部紧空间上的可分核连续$C(X)$-代数上保持。
• 一个满足UCT的酉Kirchberg代数$D$具有自动平凡性当且仅当$D \cong \mathcal{O}_2$、$\mathcal{O}_\infty$或$\mathcal{O}_\infty \otimes U$，其中$U$为无限型的酉一致超有限代数。
• 空间$X$的有限维性假设是本质的：在Hilbert立方体$Z$上存在反例，即存在非平凡的连续$C(Z)$-代数，其所有纤维均为$\mathcal{O}_2$。
• 在UCT与有限维性假设下，若所有纤维映射$K_*(A(x)) \to K_*(B(x))$均为双射，则$A$与$B$的$K_*$-群同构。
• UCT保持性的证明依赖于通过函子性$KK$-等价构造一个$KK$-等价的$C(X)$-代数$A^\sharp$，随后利用弱半投影的UCT满足代数进行归纳极限论证。