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

Download:

Current browse context:

math.GT

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 > Geometric Topology

Title: Coronated polyhedra and coronated ANRs

Abstract: Locally compact separable metrizable spaces are characterized among all metrizable spaces as those that admit a cofinal sequence $K_1\subset K_2\subset\cdots$ of compact subsets. Their \v{C}ech cohomology is well-understood due to Petkova's short exact sequence $0\to\lim^1 H^{n-1}(K_i)\to H^n(X)\to\lim H^n(K_i)\to 0$.
We study a dual class of spaces. We call a metrizable space $X$ a "coronated polyhedron" if it contains a compactum $K$ such that $X\setminus K$ is a polyhedron. These include, apart from compacta and polyhedra, spaces such as the topologist's sine curve (or the Warsaw circle) and the comb (=comb-and-flea) space. The complement of every locally compact subset of $S^n$ is a coronated polyhedron.
We prove that a metrizable space $X$ is a coronated polyhedron if and only if it admits a countable polyhedral resolution; or, equivalently, a sequential polyhedral resolution $\dots\to R_2\to R_1$. In the latter case, we establish a short exact sequence $0\to\lim^1 H_{n+1}(R_i)\to H_n(X)\to\lim H_n(R_i)\to 0$ for Steenrod-Sitnikov homology and also for any (extraordinary) homology theory satisfying Milnor's axioms of map excision and $\prod$-additivity. We also show that such homology theories are invariants of strong shape for coronated polyhedra. On the other hand, Quigley's short exact sequence $0\to\lim^1\pi_{n+1}(R_i)\to\pi_n(X)\to\lim\pi_n(R_i)\to 0$ for Steenrod homotopy of compacta fails for Steenrod-Sitnikov homotopy of coronated polyhedra, at least when $n=0$.
Comments: 25 pages. This paper has grown out of section 3 (pages 15-26) in arXiv:1809.00023v1
Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT); General Topology (math.GN)
Cite as: arXiv:2211.09951 [math.GT]
  (or arXiv:2211.09951v1 [math.GT] for this version)

Submission history

From: Sergey A. Melikhov [view email]
[v1] Fri, 18 Nov 2022 00:13:58 GMT (71kb)

Link back to: arXiv, form interface, contact.