A comparison of continuously controlled and controlled K-theory

DOI10.1016/0166-8641(96)00002-8MaRDI QIDQ1917063zbMATH OpenOpenAlexFDO

Authors Douglas R. Anderson, Francis Connolly, Hans Jørgen Munkholm

Publication date 19 December 1996

Published in Topology and its Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/math/9409211

zbMATH Keywords

continuously controlled \(K\)-groups controlled \(K\)-groups holink diagram

Mathematics Subject Classification ID

Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Negative (K)-theory, NK and Nil (19D35) (K)-theory and homology; cyclic homology and cohomology (19D55) Obstructions from topology (19J99) PL-topology (57Q99) Differential topology (57R99)

Abstract: We define an unreduced version of the e-controlled lower

K

-theoretic groups of Ranicki and Yamasaki, and Quinn. We show that the reduced versions of our groups coincide (in the inverse limit and its first derived,

l i m^{1}

) with those of Ranicki and Yamasaki. We also relate the controlled groups to the continuously controlled groups of Anderson and Munkholm, and to the Quinn homology groups of Quinn.

Review text

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.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: A comparison of continuously controlled and controlled \(K\)-theory

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