We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Topology

Title: Lim colim versus colim lim. I

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.
Comments: 32 pages, 3 figures; v3: Updated references
Subjects: Algebraic Topology (math.AT); Geometric Topology (math.GT)
Cite as: arXiv:1809.00023 [math.AT]
  (or arXiv:1809.00023v3 [math.AT] for this version)

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.