Graded \(K\)-theory and \(K\)-homology of relative Cuntz-Pimsner algebras and graph \(C^\ast \)-algebras (Q1997221)

The paper is devoted to computation of some \(K\)-theory and \(K\)-homology of relative Cuntz-Krieger algebras of directed graphs. Let \((E^0,E^1)\) be an arbitrary directed graph, \(V\) - any subset of the set \(E^0_{rg}\) of regular (in the sense of receiving a nonzero finite set of edges) vertices. As the universal \(C^\ast \)-algebra with the only Cuntz-Krieger relations imposed at vertices, the relative Cuntz-Krieger algebra \(C^*(E,V)\) is the subject to be well computed in \(K\)-theory and \(K\)-homology groups. Denote by \(A^\delta_E\) be the (matrix) homomorphism from \(\mathbb Z{E^0} \to \mathbb ZV\), \(\imath: \mathbb ZV \to \mathbb ZE^0\) - the natural inclusion and \(\pi: \mathbb Z^{E^0} \to \mathbb Z^V\) - the projection maps. Realized this relative Cuntz-Krieger algebra as a relative Cuntz-Pimsner algebra \(X(E)\) of graph the authors proved the exact sequences (Theorem 2.3) \[ \begin{tikzcd} [column sep = huge] KK_0(B,I) \arrow[r, "{\hat{\otimes}_A([\imath_I]-[{}_IX])}"] &KK_0(B,A) \arrow[r, "{i_*}"] &KK_0(B, \mathcal O_{X,I})\arrow[d] \\ KK_1(B,\mathcal O_{X,I} ) \arrow[u] &KK_1(B,A)\arrow[l, "{i_*}" '] &KK_1(B,I)\arrow[l, "{\hat{\otimes}_A([\imath_I]-[{}_IX])}" '] \end{tikzcd} \] and \[ \begin{tikzcd} [column sep = huge] KK_0(I,B) \arrow[d] &KK_0(A,B)\arrow[l, "{([\imath_I]-[{}_IX])\hat{\otimes}_A}" '] &KK_0(\mathcal O_{X,I},B)\arrow[l, "{i^*}" '] \\ KK_1(\mathcal O_{X,I},B)\arrow[r, "{i^*}"] &KK_1(A,B) \arrow[r, "{([\imath_I]-[{}_IX])\hat{\otimes}_A}"] &KK_1(I,B)\arrow[u] \end{tikzcd} \] for any \(A\)-\(A\)-\(C^\ast \)-correspondence \(X\) with left action \(\varphi\), and with any graded ideal \(I \subseteq \varphi^{-1}(\mathcal K(X))\) in the preimage of compact endomorphism of \(X\), with the inclusion \(\imath_I: I \to A\) i, and relative Cuntz-Pimsner algebra \(\mathcal O_{X,I}\). From these, the main results of the paper under reviewing are the computation of the \(K\)-theory and \(K\)-homology groups (Theorem 3.1) \[ K_0^{gr}(C^*(E,V), \alpha_\delta) \cong \operatorname{coker}(\imath - A^\delta_V)^t, \quad K_1^{gr}(C^*(E,V), \alpha_\delta) \cong \ker(\imath - A^\delta_V)^t, \] \[ K^0_{gr}(C^*(E,V), \alpha_\delta) \cong \ker(\pi - \tilde{A}^\delta_V), \quad K^1_{gr}(C^*(E,V), \alpha_\delta) \cong \operatorname{coker}(\pi - \tilde{A}^\delta_V), \] where \(\tilde{A}^\delta_V\) is the dual homomorphism fro \(\mathbb Z^{E^0}\) to \(\mathbb Z^V\).