1: \begin{abstract} We prove an ``abelian, locally compact'' Whitehead theorem in fine shape: 

2: A fine shape morphism between locally connected finite-dimensional locally compact separable 

3: metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape equivalence 

4: if and only if it induces isomorphisms on the $\pi_i$ (=the Steenrod--Sitnikov homotopy groups).

5: 

6: We show by an example that the hypothesis of local connectedness cannot be dropped (even though

7: it can be dropped in the compact case).

8: 

9: As a byproduct, we also show that for a locally compact separable metrizable space $X$,

10: the Steenrod--Sitnikov homology $H_n(X)=0$ if and only if each compactum $K\subset X$ lies 

11: in a compactum $L\subset X$ such that the map $H_n(K)\to H_n(L)$ is trivial.

12: 

13: A cornerstone result of the paper is purely algebraic: 

14: If a direct sequence of groups $\Gamma_0\to\Gamma_1\to\dots$ has trivial colimit, then it is trivial 

15: as an ind-group (i.e.\ each $\Gamma_i$ maps trivially to some $\Gamma_j$), as long as it has one of 

16: the following forms:

17: 

18: $\bullet$ $\lim^1_i G_{i0}\to\lim^1_i G_{i1}\to\dots$, where the $G_{ij}$ are countable abelian groups;

19: 

20: $\bullet$ $\lim_i G_{i0}\to\lim_i G_{i1}\to\dots$, where the $G_{ij}$ are finitely generated groups,

21: which are either all abelian or satisfy the Mittag-Leffler condition for each $j$.

22: \end{abstract}

23: