Abstract:Let A and B be $C^*$-algebras, A separable, and B $\sigma$-unital and stable. It is shown that there are natural isomorphisms $E(A,B)=KK(SA,Q(B))=[SA,Q(B)\otimes K]$, where $SA=C_0(0,1)\otimes A$, $[\cdot,\cdot]$ denotes the set of homotopy classes of *-homomorphisms, $Q(B) = M(B)/B$ is the generalized Calkin algebra and K denotes the $C^*$-algebra of compact operators.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that E - theory is a special case of KK - theory under certain conditions. Specifically, the authors aim to show that when \(A\) is a separable C* - algebra and \(B\) is a σ - simple and stable C* - algebra, there exists a natural isomorphism:
\[E(A, B)=KK(SA, Q(B)) = [SA, Q(B)\otimes K]\]
where:
- \(SA = C_0(0, 1)\otimes A\) is the suspension of \(A\),
- \([\cdot,\cdot]\) represents the set of homotopy classes,
- \(Q(B)=M(B)/B\) is the generalized Calkin algebra,
- \(K\) represents the C* - algebra of compact operators on an infinite - dimensional separable Hilbert space.
### Main problem decomposition
1. **The relationship between E - theory and KK - theory**:
- Connes and Higson introduced E - theory as a variant of Kasparov's KK - theory, originally in order to implement the theory developed by Higson, which is semi - exact for extensions of arbitrary (separable) C* - algebras.
- E - theory is related to KK - theory through a natural map: \(KK(A, B)\to E(A, B)\), this map is an isomorphism when \(A\) is nuclear, but is usually not injective.
2. **Construction of specific mappings**:
- The authors show how to construct a genuine * - homomorphism from an asymptotic homomorphism and use this method to establish a group homomorphism:
\[
[[SA, Q(B)\otimes K]]\to [SA, Q(B\otimes K)\otimes K]
\]
- This homomorphism is further incorporated into KK - theory to form a natural map \(E(A, B)\to KK(SA, Q(B\otimes K))\) and prove that it is the inverse map of equation (1).
3. **Main results**:
- The main result of the paper is to prove that when \(A\) is separable and \(B\) is σ - simple, the above - mentioned map is an isomorphism.
### Methods and conclusions
- **Methods**: By introducing Voiculescu's tridiagonal projection technique, the authors construct a new * - homomorphism \(\phi_f\) and prove that it is independent of the specific data chosen under the appropriate equivalence relation.
- **Conclusions**: E - theory is indeed a special case of KK - theory under these conditions, which provides a new tool and perspective for studying extensions of C* - algebras.
In summary, this paper solves the problem of incorporating E - theory into the KK - theory framework, especially by means of specific mathematical constructions and rigorous proofs, showing the profound connection between the two.