Noncommutative correspondence categories, simplicial sets and pro $C^{\ast }$-algebras

Abstract

We show that a $KK$-equivalence between two unital $C^{\ast }$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a ${\mathbf{K}}_{\ast }$-equivalence, where ${\mathbf{K}}_{\ast }$ is Waldhausen's $K$-theory. We discuss some connections with strong deformations of $C^{\ast }$-algebras and homological dualities. Motivated by a construction of Cuntz we associate a pro $C^{\ast }$-algebra to any simplicial set. We show that this construction is functorial with respect to proper maps of simplicial sets, that we define, and also respects proper homotopy equivalences. We propose to develop a noncommutative proper homotopy theory in the context of topological algebras.

A brief discussion on homological $\mathbb{T}$-dualities added. Original material revised and made more concise. Still 24 pages

References in corpus (6)

• D-Branes And K-Theory
• Duality and equivalence of module categories in noncommutative geometry I
• Theorie homotopique des DG-categories
• Realizing Kasparov's KK-theory groups as the homotopy classes of maps of a Quillen model category
• Duality and equivalence of module categories in noncommutative geometry II: Mukai duality for holomorphic noncommutative tori
• Mukai duality for gerbes with connection