Homotopy equivalence in unbounded KK-theory

Abstract

We propose a new notion of unbounded $KK$-cycle, mildly generalising unbounded Kasparov modules, for which the direct sum is well-defined. To a pair $(A,B)$ of $\sigma$-unital $C^{\ast }$-algebras, we can then associate a semigroup $\overline{UKK}(A,B)$ of homotopy equivalence classes of unbounded cycles, and we prove that this semigroup is in fact an abelian group. In case $A$ is separable, our group $\overline{UKK}(A,B)$ is isomorphic to Kasparov's $KK$-theory group $KK(A,B)$ via the bounded transform. We also discuss various notions of degenerate cycles, and we prove that the homotopy relation on unbounded cycles coincides with the relation generated by operator-homotopies and addition of degenerate cycles.

arXiv comment33 pages

References in corpus (7)

• Unbounded bivariant $K$-theory and correspondences in noncommutative geometry
• A local global principle for regular operators in Hilbert C*-modules
• Spectral flow and the unbounded Kasparov product
• Nonunital spectral triples and metric completeness in unbounded KK-theory
• Gauge Theory for Spectral Triples and the Unbounded Kasparov Product
• Locally bounded perturbations and (odd) unbounded KK-theory
• Untwisting twisted spectral triples

Cited by in corpus (4)

• Gauge theory on noncommutative Riemannian principal bundles
• Equivariant $KK$-theory for non-Hausdorff groupoids
• Generalised Dirac-Schrödinger operators and the Callias Theorem
• Dirac-Schrödinger operators, index theory, and spectral flow