The fibre of an iterative adjunction of cells
type: Item
instance of: scholarly article
title: The fibre of an iterative adjunction of cells
zbMATH Open document ID: 0883.55005
DOI: 10.1016/S0022-4049(96)00018-7
author: Yves Félix
published in: Journal of Pure and Applied Algebra
publication date: 1998-03-05T00:00:00Z
review text: The relative cone length of a pair \((Y,X)\), \(\text{cl}(Y,X)\), is the minimum number of mapping cones formed on maps from wedges of spheres needed to construct \(Y\) from \(X\). When \(X=*\), we simply refer to the cone length of \(Y\) and this notion, introduced by \textit{O. Cornea} [Topology 33, No. 1, 95-111 (1994; Zbl 0811.55004)], has proven important to the study of Lyusternik-Shnirel'man category and critical point theory. In this paper, the author relates relative cone length to a certain algebraic invariant associated to the inclusion \(i\: X \hookrightarrow Y\). Namely, let \(F\) denote the homotopy fibre of \(i\) and note that the holonomy of the fibration \(i\), \(\Omega Y \times F \to F\), provides \(\widetilde H_*(F;k)\) with an \(H_*(\Omega Y;k)\)-module structure. Then it is shown that \[ \text{grade}_{H_*(\Omega Y;k)}\widetilde H_*(F;k) \leq \text{cl}(Y,X)-1. \] \noindent Here the grade of a graded \(A\)-module \(M\) is the least integer \(p\) so that the graded \(\text{Ext}_A^p(M,A)\) is nonzero. Furthermore, equality above implies that the homological dimension of \(\widetilde H_*(F;k)\) as an \(H_*(\Omega Y;k)\)-module is \(\text{cl}(Y,X)- 1\). In particular, if \(Y\) is obtained from \(X\) by a single mapping cone (i.e. \(\text{cl}(Y,X)=1\)), then \(\widetilde H_*(F;k)\) is a free \(H_*(\Omega Y;k)\)-module (a result of the author and J.-C. Thomas). The methods used in the paper involve Adams-Hilton models and semi-free module theory. The author has a more expansive prepublication [Theorie homotopique des modules semi-libres, Recherches de Math. 47, Institut de Math. Pure et Appl. Univ. Catholique de Louvain] which contains the background for these ideas as well as other relations between cone length, category and grade.
Mathematics Subject Classification ID: 55P35
Mathematics Subject Classification ID: 55P62
zbMATH DE Number: 1025720
zbMATH Keywords: rational homotopy
zbMATH Keywords: cone length
zbMATH Keywords: Adams-Hilton model
reviewed by: John Oprea
MaRDI profile type: Publication
cites work: On the chain algebra of a loop space
cites work: A counterexample to a conjecture of Serre
cites work: Cone-length and Lusternik-Schnirelmann category
cites work: Rational L.-S. Category and Its Applications
cites work: Gorenstein spaces
cites work: Loop space homology of spaces of LS category one and two
cites work: The category of a map and the grade of a module
cites work: Q4846803
cites work: Module d'holonomie d'une fibration
cites work: On the theory and applications of differential torsion products
cites work: Obstructions to homotopy equivalences
cites work: On the structure of Hopf algebras
cites work: Infinitesimal computations in topology
full work available at URL: s0022-4049(96)00018-7
OpenAlex ID: W2022112712
description: scientific article; zbMATH DE number 1025720