Invertibility for some homotopy invariant functors related to Roe algebras. (English) Zbl 1485.46077
Normally a homotopy between two homomorphisms \(\phi_i :A \rightarrow B\) for \(C^*\)-algebras \(A\) and \(B\) is realized by a homomorphism \(\Phi:A \rightarrow B \otimes C[0,1]\) evaluated at the endpoints, but the author generalizes this situation to the one of being given an endofunctor \(F\) on the category of \(C^*\)-algebras and realizing the so-called \(F\)-homotopy \(\cong_F\) between \(\phi_0\) and \(\phi_1\) by endpoint evaluations of a homomorphim \(\Phi:A \rightarrow F(B \otimes C[0,1])\).
He points out that many well-known constructions like \(K\)-theory \(K_0\), extensions semigroups Ext, and \(E\)-theories \(E_0\) and \(E_1\) are realized as \(F\)-homotopy classes \([A,B]_F:= \operatorname{hom} [A,FB]/\cong_F\) for suitably chosen \(F\), with addition defined by taking direct sums in matrices.
For \(R_X B \subseteq {\mathcal L}_B(B \otimes \ell^2(X))\), the Roe algebra of operators of finite propagation of a space \(X\) of bounded geometry, the author studies \(F\)-homotopy classes for the Roe functor \(F= R_X\).
By rather direct constructions he is able to give criteria on \(X\) such that \([A,B]_{R_X}\) is the zero group, and when it is a group at all. He closes by giving an example of some \(X\) which is not a group, but just a monoid.
He points out that many well-known constructions like \(K\)-theory \(K_0\), extensions semigroups Ext, and \(E\)-theories \(E_0\) and \(E_1\) are realized as \(F\)-homotopy classes \([A,B]_F:= \operatorname{hom} [A,FB]/\cong_F\) for suitably chosen \(F\), with addition defined by taking direct sums in matrices.
For \(R_X B \subseteq {\mathcal L}_B(B \otimes \ell^2(X))\), the Roe algebra of operators of finite propagation of a space \(X\) of bounded geometry, the author studies \(F\)-homotopy classes for the Roe functor \(F= R_X\).
By rather direct constructions he is able to give criteria on \(X\) such that \([A,B]_{R_X}\) is the zero group, and when it is a group at all. He closes by giving an example of some \(X\) which is not a group, but just a monoid.
Reviewer: Bernhard Burgstaller (Florianópolis)
MSC:
| 46L80 | \(K\)-theory and operator algebras (including cyclic theory) |
| 19K35 | Kasparov theory (\(KK\)-theory) |
| 46M15 | Categories, functors in functional analysis |
References:
| [1] | Blackadar, B., K-Theory for Operator Algebras (1998), notfound: Cambridge University Press, notfound · Zbl 0913.46054 |
| [2] | Guentner, E.; Higson, N.; Trout, J., Equivariant E-Theory for C*-Algebras, Mem. Amer. Math. Soc., 148, 703, 11 (2000) · Zbl 0983.19003 |
| [3] | Higson, N.; Roe, J., Analytic K-Homology (2000), notfound: OUP Oxford, notfound · Zbl 0968.46058 |
| [4] | Jensen, K. K.; Thomsen, K., Elements of KK-Theory. Mathematics: Theory & Applications (1991), notfound: notfound, notfound · Zbl 1155.19300 · doi:10.1007/978-1-4612-0449-7 |
| [5] | Kra, I.; Simanca, S. R., On Circulant Matrices, Notices of the AMS, 59, 3, 368-377 (2012) · Zbl 1246.15030 · doi:10.1090/noti804 |
| [6] | Lance, E. C., Hilbert C*-Modules: a Toolkit for Operator Algebraists (1995), notfound: Cambridge University Press, notfound · Zbl 0822.46080 · doi:10.1017/CBO9780511526206 |
| [7] | Makeev, G., Yet Another Description of the Connes-Higson Functor, Math. Notes, 107, 4, 628-638 (2020) · Zbl 1442.19015 · doi:10.1134/S000143462003030X |
| [8] | Roe, J., Lectures on Coarse Geometry, Amer. Math. Soc., 31, 0 (2003) · Zbl 1042.53027 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
