Strongly quasi-local algebras and their \(K\)-theories (Q6039644): Difference between revisions

The paper is devoted to studying the strongly quasi-local algebras, which are isomorphic to the Roe \(C^*\)-algebras in \(K\)-theory. Let \((X,d)\) be a metric space. The Roe \(C^*\)-algebra \(C^*_R(X)\) is generated by the propagations, i.e., as the norm closure of locally compact operators \(T\in \mathfrak{B}(\ell^2(X, \mathcal{H}))\) in the \(\ell^2\)-space of functions on \(X\) with values in an infinite-dimensional Hilbert space \(\mathcal{H}\) with finite propagation in the sense that if two functions \(f,g\in \ell^\infty(X)\) are with \(R\)-disjoint support for some positive number \(R\), \(d(\mathrm{supp}\;f, \mathrm{supp}\; g) > R\), then \(fTg = 0\). In the paper, the authors extend this notion of propagations to strongly quasi-local operators in the sense that for any \(\varepsilon > 0\), there exists a positive number \(L > 0\) such that for any $L$-Lipschitz map \(g : X \to \mathfrak{K}(\mathcal{H})\), \(\|[T \otimes \mathrm{Id}_\mathcal{H}, \Lambda(g)]\| < \varepsilon\), where \(\Lambda(g) \in \mathfrak{B}(\mathcal{H} \otimes \mathcal{H})\), \(\lambda(g)(\delta_x \otimes \xi\otimes \eta) := \delta_x \otimes \xi \otimes g(x)\eta\) (Definition~A). This notion is stronger than the notion of locally compact and quasi-local propagations and weaker than the notion of locally compact and local propagations. Therefore, for a discrete metric space \(X\) with bounded geometry which admits a coarse embedding into a Hilbert space, the \(C^*\)-algebra \(C^*_{sq}(X)\) of locally compact and strongly quasi-local propagations is larger than the Roe \(C^*\)-algebras and smaller than the \(C^*\)-algebras \(C^*_{q}(X)\) of locally compact and quasi-local propagations, \(C^*_R(X) \subseteq C^*_{sq} \subseteq C_{q}(X)\), but they have the same \(K\)-theory groups as the Roe \(C^*\)-algebras (Theorem~B).