### Current browse context:

math.AT

### Change to browse by:

### References & Citations

# Mathematics > Algebraic Topology

# Title: Lim colim versus colim lim. I

(Submitted on 30 Aug 2018 (v1), last revised 22 Nov 2022 (this version, v3))

Abstract: We study a model situation in which direct limit ($\text{colim}$) and inverse limit ($\lim$) do not commute, and offer some computations of their "commutator".

The homology of a separable metrizable space $X$ has two well-known approximants: $qH_n(X)$ ("\v{C}ech homology") and $pH_n(X)$ ("\v{C}ech homology with compact supports"), which are not homology theories but are nevertheless interesting as they are $\lim\text{colim}$ and $\text{colim}\lim$ applied to homology of finite simplicial complexes. The homomorphism $\tau_X: pH_n(X)\to qH_n(X)$, which is a special case of the natural map $\text{colim}\lim\to\lim\text{colim}$, need not be either injective (P. S. Alexandrov, 1947) or surjective (E. F. Mishchenko, 1953), but its surjectivity for locally compact $X$ remains an open problem. In the case $n=0$ we obtain an affirmative solution of this problem.

For locally compact $X$, the dual map in cohomology $pH^n(X)\to qH^n(X)$ is shown to be surjective and its kernel is computed, in terms of $\lim^1$ and a new functor $\lim^1_{\text{fg}}$. The original map $\tau_X$ is surjective and its kernel is computed when $X$ is a "coronated polyhedron", i.e. contains a compactum whose complement is a polyhedron.

## Submission history

From: Sergey A. Melikhov [view email]**[v1]**Thu, 30 Aug 2018 11:56:12 GMT (286kb,D)

**[v2]**Thu, 17 Nov 2022 23:56:03 GMT (290kb,D)

**[v3]**Tue, 22 Nov 2022 10:46:37 GMT (290kb,D)

Link back to: arXiv, form interface, contact.