I have a question about a proof in Rosenberg and Schochet's paper "the Künneth theorem and the Universal Coefficient Theorem for Kasparov's generalized K-functor", proposition 2.6. First of all, the setting:


Def.: Let $N$ be the bootstrap class of $C^\*$-algebras, it's the smallest full subcategory of the seperable nuclear $C^\*$-algebras which contains the separable Type I $C^\*$-algebras and and is closed under strong Morita equivalence, inductive limits, extensions, and crossed products by $\mathbb{R}$ and by $\mathbb{Z}$. And if $J$ is an ideal in $A$ and $J$ and $A$ are in $N$, then so is $A/J$. And if $A$ and $A/J$ are in $N$ then so is $J$.



> 
> Theorem (2.1): Let $A\in N$ and let $B$ be a $\sigma$-unital $C^\*$-algebra such that $K\_\*(B)$ is an injective $\mathbb{Z}$-module. Then the map $$\gamma(A,B):KK\_\*(A,B)\to Hom(K\_\*(A),K\_\*(B))$$ is an isomorphism.
> 
> 
> 


One step to prove this theorem is the following



> 
> Proposition (2.6): If $K\_\*(B)$ is injective and if $\gamma(A,B)$ is an isomorphism, then $\gamma(A\rtimes\_{\rho} \mathbb{R},B)$ is an isomorphism for any continuous action of $\mathbb{R}$ on $A$.
> 
> 
> 


Proof: The Thom isomorphism theorems of Connes yield natural isomorphisms


$$Hom(K\_i(A\rtimes\_{\rho} \mathbb{R}),K\_j(B))\cong Hom(K\_{i+1}(A),K\_j(B))$$ and
$$KK\_i(A\rtimes\_{\rho} \mathbb{R},B)\cong KK\_{i+1}(A,B).$$The proposition follows immediately. $\Box$


The argument above is the following:
$$\require{AMScd}\begin{CD}
KK\_i(A\rtimes\_{\rho} \mathbb{R},B) @>\gamma(A\rtimes\_{\rho} \mathbb{R},B)>> Hom(K\_i(A\rtimes\_{\rho} \mathbb{R}),K\_j(B)) \\
@VV \eta V @VV \sigma V \\
KK\_{i+1}(A,B) @>\gamma(A,B)>> Hom(K\_{i+1}(A),K\_j(B)) \\
\end{CD}$$ is a commutative diagram, where $\eta , \sigma$ and $\gamma(A,B)$ are isomorphisms, therefore $\gamma(A\rtimes\_{\rho} \mathbb{R},B)$ is an isomorphism.



> 
> My question is: why is this diagram commutative?
> 
> 
> 


For this, I tried to figure out how to write down the maps explicitely.
The map $\gamma(A,B)$ comes from the Kasparov-product


$$KK(\mathbb{C},A)\times KK(A,B)\to KK(\mathbb{C},B)\; (\epsilon\_1 , \epsilon\_2)\mapsto \epsilon\_1 \otimes \epsilon\_1 ,$$ because it is $KK\_i(\mathbb{C},A)\cong K\_i(A)$, $KK\_i(\mathbb{C},B)\cong K\_i(B)$. Hence the Kasparov-product induces a homomorphism (which should be $\gamma(A,B)$ I think) $$KK(A,B)\to Hom(K(A), K(B)),$$ $$\epsilon\_2 \mapsto (\epsilon\_1 \mapsto \epsilon\_1 \otimes \epsilon\_2).$$ 


The map $\sigma$ is the contravariant $Hom(-,K\_j(B))$-functor apllied to the (Connes-Thom)-isomorphism $K\_{i+1}(A)\to K\_i(A\rtimes\_{\rho} \mathbb{R})$.


But I don't know how to write down the isomorphisms $\sigma$ and $K\_{i+1}(A)\to K\_i(A\rtimes\_{\rho} \mathbb{R})$ explicitely such that I'm stuck to prove that the diagram commutes. 


Can you help me to prove that the diagram commutes, or do you know how to write down the maps $\sigma$ and $K\_{i+1}(A)\to K\_i(A\rtimes\_{\rho} \mathbb{R})$ explicitely?


Best



commutative diagram with $K_{i+1}(A)\to K_i(A\rtimes_{\rho} \mathbb{R})$ (for $C^*$-algebras)
I think the key idea is that Connes' Thom isomorphism is itself given by a $KK$-equivalence (see for example Blackadar's book "K-theory for Operator Algebras" - Theorem 19.3.6). 


This means there are classes $t \in KK\_1(A, A \rtimes \mathbb{R})$ and $t^{-1} \in KK\_1(A \rtimes \mathbb{R},A)$, such that the corresponding intersection products $t \otimes\_{A \rtimes \mathbb{R}} t^{-1}$ and $t^{-1} \otimes\_A t$ agree with the identity elements in $KK(A \rtimes \mathbb{R},A \rtimes \mathbb{R})$ and $KK(A,A)$ respectively (using Bott periodicity to identify $KK\_2$ with $KK$) and the intersection product with $t$ induces the Thom isomorphism 
$$
K\_{i+1}(A) \cong KK\_{i+1}(\mathbb{C}, A) \to K\_{i}(A \rtimes \mathbb{R}) \cong KK\_{i}(\mathbb{C}, A \rtimes \mathbb{R}) \quad ;\quad x \mapsto x \otimes\_A t
$$
as well as the map $\eta$ via
$$
KK\_i(A \rtimes \mathbb{R},B) \to KK\_{i+1}(A,B) \quad ;\quad y \mapsto t \otimes\_{A \rtimes \mathbb{R}} y\ .
$$


Let $x \in KK\_i(A \rtimes \mathbb{R},B)$ and $y \in K\_{i+1}(A)$. We have to check that 
$$
\sigma(\gamma(A \rtimes \mathbb{R}, B)(x))(y) = \gamma(A,B)(\eta(x))(y)
$$
If we evaluate the left hand side we get 
$$
(y \otimes\_A t)\,\otimes\_{A \rtimes \mathbb{R}}\,x = y \otimes\_A (t \otimes\_{A \rtimes \mathbb{R}}\,x)
$$
where we used the associativity of the Kasparov intersection product. But now the right hand side agrees with $\gamma(A,B)(\eta(x))(y)$ and the diagram commutes.


There is an increasing amount of people with rabbit related pseudonyms/profile pictures on mathoverflow.net (I am looking at you Bugs Bunny). Is this a trend that I missed?


