A comparison of continuously controlled and controlled \(K\)-theory (Q1917063): Difference between revisions

The main results of the paper are the following theorems: Theorem 1.1. Let \(p : H \to B\) be a map from a topological space \(H\) into a compact metric space \(B\), and \(j = 1,2,3, \dots\;\). Then there is a natural, short exact sequence \[ 0 \to \lim{}^1 K_{2 - j} (B; p)_\varepsilon \to K_{2 - j} \bigl( c(B_+), B_+; {\overset \circ c} (p_+) \bigl) \to K_{1 - j} (B; p)_\varepsilon \to 0. \] Assume further that each path component in \(H\) and in \(B\) is open. Then there is a reduced version of this sequence, i.e., a natural, short exact sequence \[ 0 \to \lim{}^1 \widetilde K_{2 - j} (B;p)_\varepsilon \to \widetilde K_{2 - j} \bigl( c(B_+), B_+; {\overset \circ c} (p_+) \bigr) \to \widetilde K_{1 - j} (B;p)_\varepsilon \to 0. \] Theorem 1.2. Let \((\overline Y,C)\) be a pair of compact metrizable spaces with \(C\) tame in \(\overline Y\). Let \[ Y = \overline Y - C @<<q< \text{Holink} (C; \overline Y) @>p>>C \] be the corresponding holink diagram. There are natural chain complexes of abelian groups \[ K_2 (Y) @>i_2>> K_2^{cc} (\overline Y,C; id_Y) @>\Delta_2>> K_1(C;p)_c @>l_1>> K_1(Y) @>i_1>> K_1^{cc} (\overline Y,C; id_Y) @>\Delta_1>> \dots \] and \[ Wh (C;p)_c @>l_1>> Wh(Y) @>i_1>> Wh^{cc} (\overline Y,C; id_Y) @>\Delta_1>> \widetilde K_0 (C;p)_c @>l_0>> \widetilde K_0 (Y) @>i_0>> \dots\;. \] For \(j = 1,2,3, \dots\) these complexes are exact at \(K_{1 - j} (C;p)_c\) and \(K_{1 - j} (Y)\), respectively at \(\widetilde K_{1 - j} (C;p)_c\) and \(\widetilde K_{1 - j} (Y)\); the homology groups at \(K_{2 - j}^{cc} (\overline Y,C; id_Y)\) and at \(\widetilde K_{2 - j}^{cc} (\overline Y,C; id_Y)\) are naturally isomorphic to \(\lim^1 K_{2 - j} (C;p)_\varepsilon\). For the reduced version there is the added hypothesis that each path component in each space in the holink diagram must be open. The groups appearing in the theorems above are algebraic \(K\)-groups, \(\varepsilon\)-controlled \(K\)-groups or continuously controlled \(K\)-groups. The authors explain the background of these results in the introduction.