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