Equivalence of categories of bivariant K-theory for C*-algebras over topological spaces via reflection functors
In this paper, for various pairs of topological spaces $X$ and $Y$, we introduce reflection functors between the categories $\mathfrak{KK}(X)$ and $\mathfrak{KK}(Y)$ of Kirchberg's ideal-related KK-theory for separable C*-algebras over $X$ and $Y$. We prove that these functors induce an equivalence $\mathfrak{KK}(X)_{\mathrm{loc}} \simeq \mathfrak{KK}(Y)_{\mathrm{loc}}$ between the localizing subcategories introduced by Meyer and Nest, and that this equivalence restricts to an equivalence $\mathcal{B}(X) \simeq \mathcal{B}(Y)$ between the bootstrap categories. Combining these equivalences with a combinatorial argument due to Bernstein, Gelfand, and Ponomarev from the representation theory of quivers, we show that, for a finite $T_0$-space $X$ whose Hasse diagram is an orientation of a tree, the categories $\mathfrak{KK}(X)_{\mathrm{loc}}$ and $\mathcal{B}(X)$ depend only on the underlying tree and not on its orientation. We also prove the analogous results for Dadarlat and Meyer's ideal-related E-theory. Moreover, we prove a rearrangement property of reflection functors, which yields an analogue of Coxeter functors. Finally, we apply reflection functors to prove that filtrated K-theory satisfies the universal coefficient theorem for C*-algebras over finite $T_0$-spaces whose Hasse diagrams are orientations of Dynkin diagrams of type A.