English

Elements of higher homotopy groups undetectable by polyhedral approximation

Algebraic Topology 2023-05-24 v2

Abstract

When non-trivial local structures are present in a topological space XX, a common approach to characterizing the isomorphism type of the nn-th homotopy group πn(X,x0)\pi_n(X,x_0) is to consider the image of πn(X,x0)\pi_n(X,x_0) in the nn-th \v{C}ech homotopy group πˇn(X,x0)\check{\pi}_n(X,x_0) under the canonical homomorphism Ψn:πn(X,x0)πˇn(X,x0)\Psi_{n}:\pi_n(X,x_0)\to \check{\pi}_n(X,x_0). The subgroup ker(Ψn)\ker(\Psi_n) is the obstruction to this tactic as it consists of precisely those elements of πn(X,x0)\pi_n(X,x_0), which cannot be detected by polyhedral approximations to XX. In this paper, we use higher dimensional analogues of Spanier groups to characterize ker(Ψn)\ker(\Psi_n). In particular, we prove that if XX is paracompact, Hausdorff, and LCn1LC^{n-1}, then ker(Ψn)\ker(\Psi_n) is equal to the nn-th Spanier group of XX. We also use the perspective of higher Spanier groups to generalize a theorem of Kozlowski-Segal, which gives conditions ensuring that Ψn\Psi_{n} is an isomorphism.

Keywords

Cite

@article{arxiv.2208.06645,
  title  = {Elements of higher homotopy groups undetectable by polyhedral approximation},
  author = {John K. Aceti and Jeremy Brazas},
  journal= {arXiv preprint arXiv:2208.06645},
  year   = {2023}
}

Comments

21 pages, 2 figures

R2 v1 2026-06-25T01:41:07.584Z