The fine structure on the Kasparov groups. II: Topologizing the UCT (Q1865302): Difference between revisions

[Für Teil I s. \textit{C. L. Schochet}, ibid. 186, 25-61 (2001; Zbl 0990.19003).] Zwei \(C^*\)-Algebren \(A\) und \(B\) heißen \(KK\)-äquivalent, falls Elemente \(\alpha\in KK(A,B)\) und \(\beta\in KK(B, A)\) in der bivarianten Operator-\(K\)-Theorie existieren, die bezüglich des Kasparov-Produkts \(\alpha\otimes\beta= 1\in KK(A,A)\) und \(\beta\otimes\alpha= 1\in KK(B,B)\) erfüllen. Sei \(A\) eine separable \(C^*\)-Algebra, die zu einer separablen kommutativen \(C^*\)-Algebra \(KK\)-äquivalent ist. Dann gilt für die \(KK\)-Theorie mit Koeffizienten in \(A\) das universelle Koeffiziententheorem (UCT), d.h. es existiert eine natürliche exakte Sequenz \[ 0\to \text{Ext}^1_{\mathbb{Z}}(K_*(A), K_*(-))\to KK_*(A,-)\to \text{Hom}_{\mathbb{Z}}(K_*(A), K_*(-))\to 0. \] Die in dem Diagramm auftretenden Gruppen besitzen natürliche Topologien, die sie zu pseudopolnischen Räumen machen, wie der Autor im ersten Teil dieser Reihe gezeigt hat. Sind die Gruppen endlich erzeugt, so erhält man dabei stets die diskrete Topologie. Der Autor verifiziert in der vorliegenden Arbeit die Stetigkeit der Abbildungen in der obigen Sequenz.