\(kk\)-theory for Banach algebras. II: Equivariance and Green-Julg type theorems (Q2345411): Difference between revisions

The author extends the definition of the bivariant \(K\)-theory \(kk^{ban}\) to the equivariant case with action of a locally compact Hausdorff group \(G\) by considering the category of \(G\)-equivariant cycles \((E,T)\in \mathbb E_G(A,B)\), represented by a \(G\)-equivariant short exact sequence \[ B \rightarrowtail D \twoheadrightarrow A \] in the sense that it is always possible (essentially in the case of even cycles) to replace the algebras \(A\) and \(B\) with \(G\)-equivariantly Morita equivalent algebras \(A'\) and \(B'\), respectively, so that the lifting \(\sigma: A \to D\) should be assumed to be \(G\)-equivariant. The standard technique in the theory of \(KK\)-functors allows to define the group \(kk^{ban}_G(A,B)\). The author also defines a natural transformation from Lafforgue's theory \(KK^{ban}\) into the \(G\)-equivariant theory. ``The categorical framework allows to systematically define a descent homomorphism and to prove a Green-Julg theorem, a dual version of it and a generalised version that involves the action of a proper \(G\)-space.'' The main results obtained are: {\parindent=6mm \begin{itemize} \item[-] The Green-Julg theorem for \(kk^{ban}\): For any compact Hausdorff group \(G\), any Banach algebra \(A\) with trivial \(G\)-action, and for any Banach \(G\)-algebra \(B\), there is a natural isomorphism (Theorem 0.1) \[ kk^{ban}_G(A, B) \cong kk^{ban}(A, L^1(G, B)). \] \item [-] The dual Green-Julg theorem for \(kk^{ban}\): Let \(G\) be a discrete group, \(A\) be a Banach \(G\)-algebra and \(B\) a Banach algebra (considered as a trivial Banach \(G\)-algebra). Then there is a natural isomorphism (Theorem 3.6) \[ kk^{ban}_G(A, B) \cong kk^{ban}(\ell^1(G,A), B). \] \item [-] The author also defines a generalisation \(\mathcal Rkk^{ban}_G (X; \cdot , \cdot)\) of \(kk_G\) for Banach \(G\)-algebras that are fibred over the locally compact \(G\)-space \(X\): For a locally compact Hausdorff group \(G\) acting properly and continuously on a locally compact Hausdorff space \(X\), a Banach algebra \(A\), a \(G\)-\(C_0(X/G)\)-Banach algebra \(B\), and \(A_\tau := C_0 (X) \otimes_{C_0(X/G)} A\), equipped with the \(G\)-action coming from the canonical action of \(G\) on \(C_0 (X)\), there is a natural isomorphism (Theorem 5.4) \[ \mathcal Rkk^{ban}_G(X; A_\tau, B) \cong \mathcal Rkk^{ban}(X/G; A, L^1(G, B)). \] \item [-] As a consequence, he shows (Corollary 5.11) that if, in the above theorem, \(X/G\) is compact and \(A = C_0(X/G)\) then one has a natural isomorphism \[ \mathcal Rkk^{ban}_G (X; C_0(X), B) = K_0 (L^1(G, B)). \] \end{itemize}} For Part I see [ibid. 268, No. 10, 3108--3161 (2015; Zbl 1316.19007)].