Algebras almost commuting with Clifford algebras in a \(II_{\infty}\) factor (Q808392)

Due to the fact that every \(II_{\infty}\) factor N can be considered as \(I_{\infty}\) factor \(B(H_ M)\) over a \(II_ 1\) factor M, i.e. \(N=M{\bar \otimes}B(H)\), there is a natural analogy of the BDF K-functor Ext. In the paper under reviewing the authors start with the algebras \(A_{k,S}\) of operators commuting with the first k-1 generators of the Clifford module structure on N and commuting modulo a fixed symmetric generalized Schatten type ideal S. These algebras \(A_{k,S}\) are periodic, \(A_{k+2,S}=A_{k,S}\). The homotopy type of their invertible elements \(A^{-1}_{1,S}\), \(A^{-1}_{2,S}\) are exactly \(defined:\) \(\pi {}_ n(A^{-1}_{1,S})\cong \pi_{n+1}(A^{-1}_{2,S})\cong {\mathbb{R}}\) if n is even and 0 if other. It is proved that \(A^{- 1}_{1,S}\) is homotopy equivalent to the space of the Beuer-Fredholm operators in N and \(A^{-1}_{2,S}\) is homotopy equivalent to \(K_ N^{-1}=\{x\in N^{-1}\); \(x=1+k\), \(k\in K_ N\}\). Therefore the K- groups can be computed: \(K_ 1(A_{k,S})\cong K_ 0(A_{k+1,S})\cong 0\) if k is even and \({\mathbb{R}}\) if k is odd. An analogy of the Kasparov KK-theory is constructed. For every \(C^*\)- algebra A, the set \(G_{k,N}(A)\) of equivalence classes of homomorphisms \(A\to A_{k,S}\) can be transformed into an abelian group, which is isomorphic with the group \(G_ k(A,M)\) of the countably generated right Hilbert M-module E with the left action \({\mathcal C}_ k\to L(E)\). The last one is a stable half-exact homotopy functor, therefore so is \(G_{k,N}(A)\) and \(G_{k,N}(A)\cong G_ k(A,M)\cong KK^ k(A,M).\) The theory is illustrated by some interesting examples.