Connectivity of finite subset spaces of cell complexes

Abstract

The kth finite subset space of a topological space X is the space exp_k X of non-empty subsets of X of size at most k, topologised as a quotient of X^k. Using results from our earlier paper (math.GT/0210315) on the finite subset spaces of connected graphs we show that the kth finite subset space of a connected cell complex is (k-2)-connected, and (k-1)-connected if in addition the underlying space is simply connected. We expect exp_k X to be (k+m-2)-connected if X is an m-connected cell complex, and reduce proving this to the problem of proving it for finite wedges of (m+1)-spheres. Our results complement a theorem due to Handel that for path-connected Hausdorff X the map on pi_i induced by the inclusion exp_k X --> exp_{2k+1} X is zero for all k and i.

Theorems & Definitions (10)

• Theorem 1
• proof : Proof of Theorem \ref{['vanish.th']} for finite $X$
• Lemma 1
• Lemma 2
• proof
• Corollary 1
• proof : Proof of Theorem \ref{['vanish.th']} for $X$ infinite
• Conjecture
• Theorem 2
• proof