English

Coronated polyhedra and coronated ANRs

Geometric Topology 2022-11-21 v1 Algebraic Topology General Topology

Abstract

Locally compact separable metrizable spaces are characterized among all metrizable spaces as those that admit a cofinal sequence K1K2K_1\subset K_2\subset\cdots of compact subsets. Their \v{C}ech cohomology is well-understood due to Petkova's short exact sequence 0lim1Hn1(Ki)Hn(X)limHn(Ki)00\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 XX a "coronated polyhedron" if it contains a compactum KK such that XKX\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 SnS^n is a coronated polyhedron. We prove that a metrizable space XX is a coronated polyhedron if and only if it admits a countable polyhedral resolution; or, equivalently, a sequential polyhedral resolution R2R1\dots\to R_2\to R_1. In the latter case, we establish a short exact sequence 0lim1Hn+1(Ri)Hn(X)limHn(Ri)00\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 0lim1πn+1(Ri)πn(X)limπn(Ri)00\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=0n=0.

Keywords

Cite

@article{arxiv.2211.09951,
  title  = {Coronated polyhedra and coronated ANRs},
  author = {Sergey A. Melikhov},
  journal= {arXiv preprint arXiv:2211.09951},
  year   = {2022}
}

Comments

25 pages. This paper has grown out of section 3 (pages 15-26) in arXiv:1809.00023v1

R2 v1 2026-06-28T06:10:28.107Z