Connectivity and homology of finite subset spaces of cardinality at most four
type: Item
instance of: scholarly article
title: Connectivity and homology of finite subset spaces of cardinality at most four
zbMATH Open document ID: 1226.54014
author: Walid Taamallah
published in: Topology and its Applications
publication date: 2011-08-04T00:00:00Z
review text: For a space \(X\), let \(\text{Sub}_n X\) denote the space of all subsets of \(X\) of cardinality at most \(n\), with the quotient topology of \(X^n\) by the identification \((x_1, \dots , x_n) \sim (y_1, \dots, y_n)\) if and only if \(\{x_1 , \dots , x_n \} = \{y_1, \dots, y_n\}\). If \(X\) is a Hausdorff space, then the topology of \(\text{Sub}_n X\) is equal to the Vietoris topology. \textit{C. Tuffley} [Pac.\ J.\ Math.\ 217, No.~1, 175--179 (2004; Zbl 1064.55014)] proved that if \(X\) is path-connected, then \(\text{Sub}_n X\) is \((n-2)\)-connected, and he conjectured that if \(X\) is \(r\)-connected, then \(\text{Sub}_n X\) is \((n+r-2)\)-connected. \textit{S. Kallel} and \textit{D. Sjerve} [Homology Homotopy Appl.\ 11, No.~2, 229--250 (2009; Zbl 1186.55010)] proved that Tuffley's conjecture holds for \(n=3\). In the paper under review, the author answers the conjecture in the case of \(n=4\) by proving that if \(X\) is \(r\)-connected, \(r>1\), then \(\text{Sub}_4 X\) is \((r+2)\)-connected. This is proved by showing that the \((r+2)\)nd homology of \(\text{Sub}_4 X\) vanishes. The author also computes the Euler characteristic of \(\text{Sub}_4 X\) and determines the rational homotopy type of \(\text{Sub}_4 S^d\) for the \(d\)-dimensional sphere \(S^d\).
reviewed by: Takamitsu Yamauchi
Mathematics Subject Classification ID: 54B20
Mathematics Subject Classification ID: 55S15
Mathematics Subject Classification ID: 55P15
Mathematics Subject Classification ID: 55P62
zbMATH DE Number: 5935914
zbMATH Keywords: finite subsets
zbMATH Keywords: homology
zbMATH Keywords: connectivity
MaRDI profile type: Publication
full work available at URL: j.topol.2011.05.034
OpenAlex ID: W2013919113
cites work: Decomposition theorems for \(S(n)\)-complexes
cites work: Q4505020
cites work: Q4819371
cites work: Remarks on finite subset spaces
cites work: A quick proof of the rational Hurewicz theorem and a computation of the rational homotopy groups of spheres
cites work: Q5733144
cites work: The Homology of Symmetric Products
cites work: Q3248446
cites work: Connectivity of finite subset spaces of cell complexes
cites work: Finite subset spaces of \(S^1\)
cites work: Finite subset spaces of graphs and punctured surfaces
DOI: 10.1016/J.TOPOL.2011.05.034
description: scientific article; zbMATH DE number 5935914