Representable \(E\)-theory for \(C_0(X)\)-algebras (Q1589673)

Let \(X\) be a locally compact space, and let \(A\) and \(B\) be \(C_0(X)\)-algebras. By defining the notation of an asymptotic \(C_0(X)\)-morphism from \(A\) to \(B\) in the sense that an asymptotic morphism \(\{ \psi_t \}_{ t \in [1, \infty)}\) : \(A \rightarrow B\) satisfies \[ \lim_{t \rightarrow \infty} \|\psi_t(f \cdot a) - f \cdot \psi_t(a) \|= 0 \] for all \(a \in A\) and \(f \in C_0(X)\), the authors construct representable E-theory groups \({\mathcal R}E(X; A,B)\) as the direct limit with suspension operation \(S\) of \(\{ \psi_t \}\) : i.e. \[ {\mathcal R}E(X;A,B) = \varinjlim_{n \in N}[ [ S^n ( A \otimes {\mathcal K}), S^n( B \otimes {\mathcal K}) ] ]_X, \] where \({\mathcal K}\) is the \(C^*\)-algebra of compact operators on separable Hilbert space and \([ [ A, B ] ]_X\) denotes the set of \(C_0(X)\)-homotopy classes \([ [ \psi_t ] ]_X\) of asymptotic \(C_0(X)\)-morphisms \(\{ \psi_t \}\) : \(A \rightarrow B\). They prove that these groups \({\mathcal R}E(X;A,B)\) are the universal groups on the category of separable \(C_0(X)\)-algebras that are \(C_0(X)\)-stable, \(C_0(X)\)-homotopy-invariant and half-exact. Moreover, they also prove that these groups \({\mathcal R}E(X;A,B)\) are naturally isomorphic to Kasparov's representable KK-theory groups \({\mathcal R}KK(X;A,B)\) [cf. \textit{G. G. Kasparov}, Invent. Math. 91, No. 1, 147-201 (1988; Zbl 0647.46053)] if \(A\) is \({\mathcal R}KK(X)\)-nuclear in the sense of \textit{A. Bauval} [K-theory 13, No. 1, 23-40 (1998; Zbl 0909.19003)]. Analogous to \({\mathcal R}KK\), the following properties are shown as well. For \(C_0(X)\)-algebras \(A, B, C\), and \(D\), there is a tensor product operation \[ {\mathcal R}E(X;A,B) \otimes {\mathcal R}E(X;C,D) \rightarrow {\mathcal R}E(X; A \otimes_X C, B \otimes_X D), \] where \(A \otimes_X B\) denotes the balanced tensor product over \(C_0(X)\), cf. \textit{E. Blanchard} [Astérisque 232, 81-92 (1995; Zbl 0842.46049)]. If \(p : Y \rightarrow X\) is a continuous map, the pullback construction \(A\) (\(C_0(X)\)-algebra) \(\mapsto\) \(p^* A\) (\(C_0(Y)\)-algebra) of \textit{I. Raeburn} and \textit{D. P. Williams} [Trans. Am. Math. Soc. 287, 755-777 (1985; Zbl 0592.46055)] induces a natural transformation of functors \[ p^* : {\mathcal R}E(X;A,B) \rightarrow {\mathcal R}E(Y; p^* A, p^* B). \] For other related works, see e.g. \textit{J. Trout} [K-theory 18, 277-315 (1999; Zbl 0938.19004)] and \textit{E. Guentner} [K-theory 17, No. 1, 55-93 (1999; Zbl 0928.19002)].