Spaces with Lusternik-Schnirelmann category \(n\) and cone length \(n + 1\)
type: Item
instance of: scholarly article
title: Spaces with Lusternik-Schnirelmann category \(n\) and cone length \(n + 1\)
zbMATH Open document ID: 0978.55002
DOI: 10.1016/S0040-9383(99)00047-6
author: Donald Stanley
published in: Topology
publication date: 2000-10-26T00:00:00Z
review text: The Lyusternik-Shnirel'man category of a space \(X\), denoted \(\text{cat} X\), was introduced as the minimum size of a covering by open sets which are contractible in \(X\). Fox gave an example showing that the notion of minimum size of a covering by open contractible sets is not a homotopy invariant. He introduced the strong category, denoted \(\text{Cat} X\), by taking the minimum of these numbers over all spaces of the same homotopy type. Ganea proved the equality between \(\text{Cat} X\) and the minimum number of mapping cones required to build \(X\) starting from a point. These invariants are relatively hard to determine and are linked by the inequality (due to Ganea and Takens): \(\text{cat} X \leq\text{Cat} X\leq (\text{cat} X)+1\). For a long time, the only examples where these two invariants were known to differ were co-H-spaces that are not suspensions, cf. [\textit{I. Bernstein} and \textit{P. J. Hilton}, Ill. J. Math. 4, 437-451 (1960; Zbl 0113.38301)]. In [Topology 38, No. 1, 189-196 (1999; Zbl 0927.55006)], \textit{N. Dupont} used Sullivan's minimal models to exhibit a rational space \(X\) with \(\text{cat} X=3\) and \(\text{Cat} X=4\) (cat and Cat are normalized by \(\text{cat} (*)=\text{Cat}(*)=0)\). In this interesting paper, the author constructs for each \(r>0\) a space \(X_r\) such that \(\text{cat} (X_r)=r\) and \(\text{Cat} (X_r)=r+1\). More precisely, he proves: Theorem: For every pair of positive integers \(t,r\) such that \(r>1\) and \(2t+ 1<2p-3\) there exist \(p\)-local spaces \(Q\) such that: (1) \(\text{cat} (Q\times S^n)=\text{cat}(Q)= \text{Cat} (Q\times S^n)= \text{Cat} (Q)=r\) for \(n>2t+1\), (2) \(\text{cat} (Q\times S^{2t+1}) =\text{cat} (Q)=r\) and \(\text{Cat} (Q \times S^{2t+1}) =r+1\). The proof uses two kinds of techniques: The spaces \(Q\) are obtained from a perturbation of the attaching map of the last cell of a fat wedge of spheres. For the choice of the perturbation, the author uses the method introduced by \textit{N. Iw…
reviewed by: Daniel Tanré
Mathematics Subject Classification ID: 55M30
zbMATH DE Number: 1472312
zbMATH Keywords: Hopf invariants
zbMATH Keywords: LS category
MaRDI profile type: Publication
Recommended article: A counterexample to the Lemaire-Sigrist conjecture
Recommended article: Strong LS category equals cone-length
Recommended article: A proof of Ganea's conjecture for rational spaces
Recommended article: Cone-length and Lusternik-Schnirelmann category
Recommended article: Lusternik-Schnirelmann category and minimal coverings with contractible sets
Recommended article: Variation zum Konzept der Lusternik—Schnirelmann—Kategorie
Recommended article: A Note on the Nilpotency of Subgroups of Self-Homotopy Equivalences
Recommended article: Lusternik-Schnirelmann cocategory
Recommended article: Q4382065
Recommended article: Q4811762
description: scientific article; zbMATH DE number 1472312