Controlled K-theory and K-Homology

arXiv2212.07045MaRDI QIDQ6507300FDOQ6507300

Authors: Ryo Toyota 

Abstract: An operator $T$ in a $C^{\ast }$-algebra is called an $epsilon$-projection if it satisfies $T=T^{\ast }$ and $|T^2-T|<epsilon$ and $T$ is called an $epsilon$-unitary if $|T{T}^{\ast }-1|<epsilon$ and $|T^{\ast }T-1|<epsilon$. We show that there exist a constants $lambd{a}_n$ and a function $h_n:[0,frac14)ightarrow[1,infty)$ depending only on the dimension $n$ such that for any $n$-dimensional finite simplicial complex $M$, its $K$-homology group $K_{\ast }(M)$ is isomorphic to the group $K_{\ast }^{(lambd{a}_n,h_n),(epsilon,r)}(M)$ generated by $epsilon$-projections/unitaries over the Roe algebra $C^{\ast }(H_M)$ whose propagation is smaller than $r$ with homotopy relation through $lambd{a}_{n}epsilon$ unitaries/projections with propagation smaller than $h_n(epsilon)r$ for sufficiently small $(epsilon,r)$. This $(epsilon,r)$ depends only on the dimension $n$ of complexes. Moreover we can show that for any $n$-dimensional compact Riemannian manifold $M$, $K_{\ast }(M)$ is isomorphic to the same group $K_{\ast }^{(lambd{a}_n,h_n),(epsilon,r)}(M)$ with a pair $(lambd{a}_n,h_n)$ depending only on the dimension $n$ for sufficiently small $(epsilon,r)$. But in this case $(epsilon,r)$ depends on each manifold. This picture enables us to represent any elements in $K$-homology group $K_{\ast }(M)$ by a finite dimensional matrix for any compact manifold $M$.

This page was built for publication: Controlled $K$-theory and $K$-Homology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6507300)