Real versus complex K-theory using Kasparov's bivariant KK-theory (Q1880635)

Generalizing a result of \textit{J. L. Boersema} [K-Theory 26, 345--402 (2002; Zbl 1024.46021)], the author proves the exactness of the sequences of type \[ \dots \to KKO^\Gamma_{q-1}(A;B)@>\chi>> KKO^\Gamma_q(A;B)@>c>> KK_q^\Gamma(A_\mathbb C;B_\mathbb C) @>\delta>> KKO^\Gamma_{q-2}(A;B) \to \dots \] relating KK-theory of a real C*-algebra to its complexification (Theorem 2.16) for an arbitrary discrete group \(\Gamma\) acting on a \(\sigma\)-unital C*-algebra \(B\), and a C*-algebra \(A\). The particular cases of this relation let the author to compare the real version with the complex version of the Baum-Connes conjecture (Corollary 2.13): The real Baum-Connes conjecture is true if and only if the complex Baum-Connes conjecture is true.