Abstract:We develop the approach via quasihomomorphisms and the universal algebra $qA$ to Kasparov's $KK$-theory, so as to cover versions of $KK$ such as $KK^{nuc}$, $KK^G$ and ideal related $KK$-theory.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to extend and develop Kasparov's KK - theory so as to cover versions in the category of C* - algebras with additional structures, such as nuclear KK - theory (KK - nuclear), equivariant KK - theory (KKG) and ideal - related KK - theory. Specifically, the author introduces an approach based on quasi - homomorphisms and the universal algebra $qA$ to deal with these extended versions of KK - theory and establishes the associative products in these cases.
### Analysis of the Main Problems
1. **Extension of KK - theory**:
- **Background**: Kasparov's KK - theory is a major tool in operator algebras and non - commutative geometry, but its formalism is very flexible and not easy to use.
- **Objective**: By introducing the method of quasi - homomorphisms and the universal algebra $qA$, make KK - theory better able to handle C* - algebras with additional structures, such as nuclear properties, equivariance and ideal - relatedness.
2. **Establishment of the associative product**:
- **Method**: The author constructs a new method to represent KK - elements through $qA$ and proves that this representation method can be naturally extended to various KK - theories with additional structures.
- **Advantage**: This method makes the definition of the associative product simpler and more intuitive, and in particular, the associativity becomes very natural.
3. **Application and verification**:
- **Verification**: In section 7, the author explains how their construction reproduces the various KK - theories defined in previous literature and proves that in the equivariant and ideal - related cases, they obtain universal functors with the usual properties.
- **Application**: The equivariant KK - theory (KKG), which is one of the most mature and important KK - theories, is particularly emphasized. The author also simplifies the functoriality of the nuclear KK - theory (KK - nuclear).
### Explanation of Formulas and Symbols
- $qA$: The closed two - sided ideal generated by $\iota(x)-\bar{\iota}(x)$, where $\iota,\bar{\iota}$ are the two natural embeddings of $A$ into $A\ast A$.
- $\phi_A: qA\rightarrow J\subset M_2(q^2A)$: A pre - quasi - homomorphism given by a pair of homomorphisms $(h_1,\sigma h_2)$.
- $\pi_{qA}: q^2A\rightarrow qA$: The quotient map.
- $\beta\#\alpha$: Represents the product of KK - elements $\alpha$ and $\beta$.
Through these methods and formulas, the author successfully extends KK - theory, enabling it to handle a wider category of C* - algebras with additional structures.