A topology on \(E\)-theory
type: Item
instance of: scholarly article
title: A topology on \(E\)-theory
zbMATH Open document ID: 1540.19006
author: José R. Carrión
author: Christopher P. Schafhauser
published in: Journal of the London Mathematical Society. Second Series
publication date: 2024-06-24T00:00:00Z
review text: The paper studies a topological enrichment of the asymptotic category introduced by \textit{A. Connes} and \textit{N. Higson} [C. R. Acad. Sci., Paris, Sér. I 311, No. 2, 101--106 (1990; Zbl 0717.46062)], whose objects are separable \(C^*\)-algebras with morphism sets \(A,B\) given by asymptotic morphisms from \(A\) to \(B\), up to asymptotic homotopy. The topology on \(A,B\) is based on the notion of semiprojectivity [\textit{B. Blackadar}, Math. Scand. 56, 249--275 (1985; Zbl 0615.46066)], using shape theoretic methods inspired by [\textit{M. Dadarlat}, Duke Math. J. 73, No. 3, 687--711 (1994; Zbl 0847.46028)]. A key point is a generalization of \textit{B. Blackadar}'s homotopy lifting property for semiprojective \(C^*\)-algebras [Math. Scand. 118, No. 2, 291--302 (2016; Zbl 1387.46043)].\N\NPulling back an asymptotic morphism along a semiprojective morphism gives an asymptotic morphism which can be represented by a \(*\)-homomorphism. This procedure yield a map \(\alpha^*\colon A,B \to H(A_0,B)\subseteq A_0,B\), where \(H(A_0,B)\) is the image of the natural map \(\mathrm{Hom}(A,B)\to A,B\). The set \(A,B\) is equipped with the weakest topology which makes \(\alpha^*\) continuous, for any choice of semiprojective map \(\alpha\colon A_0\to A\). This topology is proved to be first countable, hence determined by its converging sequences, according to the following ``Pimsner's condition'': \(x_n\to x\in A,B\) if and only if there is \(y\in[[A,C(\mathbb{N}^+,B)]]\) with \(y(m)=x_m\) and \(y(\infty)=x\). The authors prove that this topology makes the categorical composition jointly continuous.\N\NThe Hausdorffized asymptotic category is introduced by replacing the morphism spaces \(A,B\) with their Kolmogorov quotient (i.e., by declaring \(x,y\inA,B\) equivalent if the corresponding singletons have equal closures). This requires proving that composition descends to a well-defined and continuous map. The core results and applications …
reviewed by: Valerio Proietti
Mathematics Subject Classification ID: 19K35
Mathematics Subject Classification ID: 46L80
Mathematics Subject Classification ID: 46L85
zbMATH DE Number: 7870401
zbMATH Keywords: E-theory
zbMATH Keywords: shape theory
zbMATH Keywords: semiprojectivity
zbMATH Keywords: asymptotic morphisms
MaRDI profile type: MaRDI publication profile
cites work: Shape theory for $C^*$-algebras.
cites work: Q4222027
cites work: The Homotopy Lifting Theorem for Semiprojective $C^*$-Algebras
cites work: Q3341416
cites work: Extensions of \(C^*\)-algebras and \(K\)-homology
cites work: Q5748452
cites work: Shape theory and asymptotic morphisms for \(C^*\)-algebras
cites work: On the topology of the Kasparov groups and its applications
cites work: A universal multicoefficient theorem for the Kasparov groups
cites work: Q3788535
cites work: A classification of finite simple amenable \(\mathcal{Z}\)-stable \(C^*\)-algebras. I: \(C^*\)-algebras with generalized tracial rank one
cites work: A classification of finite simple amenable \(\mathcal{Z}\)-stable \(C^*\)-algebras. II: \(C^*\)-algebras with rational generalized tracial rank one
cites work: Equivariant 𝐸-theory for 𝐶*-algebras
cites work: Categories of fractions and excision in KK-theory
cites work: \(E\)-theory and \(KK\)-theory for groups which act properly and isometrically on Hilbert space
cites work: $E$-Theory is a Special Case of $KK$-Theory
cites work: A classification theorem for nuclear purely infinite simple \(C^*\)-algebras
cites work: Classification of certain infinite simple \(C^*\)-algebras
cites work: The Künneth theorem and the universal coefficient theorem for Kasparov's generalized K-functor
cites work: Q4009888
cites work: Topological methods for \(C^*\)-algebras. III: Axiomatic homology
cites work: The fine structure of the Kasparov groups. I: Continuity of the KK-pairing
cites work: The fine structure on the Kasparov groups. II: Topologizing the UCT
cites work: Inductive limits of projective \(C^\ast\)-algebras
cites work: On absorbing extensions
cites work: Quasidiagonality of nuclear \(\mathrm{C}^\ast\)-algebras
DOI: 10.1112/JLMS.12917
description: scientific article; zbMATH DE number 7870401