K-theory and exact sequences of partial translation algebras

From MaRDI portal
(Redirected from K-theory and exact sequences of partial translation algebras)
\(K\)-theory and exact sequences of partial translation algebras



Abstract: In an earlier paper, the authors introduced partial translation algebras as a generalisation of group C*-algebras. Here we establish an extension of partial translation algebras, which may be viewed as an excision theorem in this context. We apply this general framework to compute the K-theory of partial translation algebras and group C*-algebras in the context of almost invariant subspaces of discrete groups. This generalises the work of Cuntz, Lance, Pimsner and Voiculescu. In particular we provide a new perspective on Pimsner's calculation of the K-theory for a graph product of groups.


Let \(\Gamma\) be a countable discrete group equipped with a proper left-invariant metric and \(B \subseteq \Gamma\) be a subspace endowed with a canonical collection of partial right translations \(t^B_g : B \cap Bg \to Bg^{-1} \cap B\), \(t^B_g(x) = xg^{-1}\). These partial translations of \(B\) define partial isometries of \(\ell^2(B)\) in a natural way as the right regular representation \(\rho\), \(T^B_g=\rho(t^B_g)\) and one defines the reduced group \(C^*\)-algebra \(C^*_\rho(B)\). The main result of the paper is the following: ``The Extension Theorem. Let \(B\) and \(X\) be subspaces of \(\Gamma\) such that \(B \subset X \subset \Gamma\) . Let also \(H\) be the left stabiliser of \(B\), \(K\) the left stabiliser of \(X\) and assume that \(H \leq K\). If \(B\) is relatively deep (Definition 1.1) in \(X\) then there exists a short-exact sequence of \(C^*\)-algebras: \(0 \to I(P,B) \to C^*_\rho(B) \to C^*_\rho(X) \to 0,\) where the map \(C^*_\rho(B) \to C^*_\rho(X)\) extends the assignment \(T_g B \to T_g X\), for all \(g \in\Gamma\). Moreover, if \(B\) is relatively \(H\)-almost invariant (Definition 1.2) in \(X\) then the ideal \(I(P, B)\) is the algebra of compact operators on a suitable Hilbert module \(\mathcal E_B\) over the algebra \(C^*_\rho(H)\). In particular the ideal is Morita equivalent to \(C^*_\rho(H)\). From the authors' summary: ``We apply this general framework to compute the \(K\)-theory of partial translation algebras and group \(C^*\)-algebras in the context of almost invariant subspaces of discrete groups. This generalises the work of Cuntz, Lance, Pimsner and Voiculescu. In particular we provide a new perspective on Pimsner's calculation of the \(K\)-theory for a graph product of groups.











This page was built for publication: \(K\)-theory and exact sequences of partial translation algebras

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