The category of a map and the grade of a module
type: Item
instance of: scholarly article
title: The category of a map and the grade of a module
zbMATH Open document ID: 0773.55003
DOI: 10.1007/BF02808056
published in: Israel Journal of Mathematics
publication date: 1993-06-29T00:00:00Z
review text: The main purpose of the paper is to establish a relation between the Lusternik-Schnirelmann category \(\mathbf{ {cat} }f\) of a map \(f: Y\to X\) and certain homological invariants of \(H_ *(\Omega X)\)-module \(H_ *(F)\), where \(F\) is the homotopy fibre of \(f\). By definition \(\mathbf{ {cat} }f\) is the least \(m\leq\infty\) such that \(Y\) can be covered by \(m+1\) open sets \(U_ i\) with each \(f\mid U_ i\) homotopically constant. The homological invariant of \(H_ *(F)\), mentioned above, is the positive projective grade of \(f\), which is defined as the least \(m\) such that \(\text{Ext}^ m_{H_ *(\Omega X)} (H_ *(F),V)\neq 0\) for some \(H_ *(\Omega X)\)-projective \(V\) generated by \(V_{\geq 0}\). The main result of the paper is the theorem: if \(f: Y\to X\) is a map between path connected CW-complexes and \(H_ *(F)\) and \(H_ *(\Omega X)\) are both \(R\)-free (\(R\) is a principal ideal domain), then pos.proj.grade\(_{H_ *(\Omega X)} (H_ *(F))\leq\mathbf{ {cat} }f\). This result extends the earlier one [the authors with \textit{J.-M. Lemaire}, Invent. Math. 95, No. 2, 247-262 (1989; Zbl 0667.55007)] by passing from spaces to maps; extending to the non-simply connected case; removing the hypothesis that \(H_ *(X)\) be of finite type and that \(R\) is a field. As applications some structural properties of \(H_ *(\Omega X)\), as well as some properties of \(\pi_ 1(X)\) when \(X\) and its universal cover have homotopy type of finite complex, are given.
Mathematics Subject Classification ID: 55M30
Mathematics Subject Classification ID: 55P35
zbMATH DE Number: 219373
zbMATH Keywords: Lusternik-Schnirelmann category
zbMATH Keywords: positive projective grade
author: Yves Félix
author: Stephen Halperin
author: Jean-Claude Thomas
reviewed by: T. Kadeishvili
MaRDI profile type: Publication
cites work: Q3708977
cites work: On the groups \(H(\Pi,n)\). I
cites work: Homology and fibrations I: Coalgebras, cotensor product and its derived functors
cites work: Rational L.-S. Category and Its Applications
cites work: The Radical of the Homotopy Lie Algebra
cites work: Mod \(p\) loop space homology
cites work: Hopf algebras of polynomial growth
cites work: Engel elements in the homotopy Lie algebra
cites work: Lie Algebras of Polynomial Growth
cites work: A generalization of the homology and homotopy suspension
cites work: Lusternik-Schnirelmann category and strong category
cites work: A proof of Ganea's conjecture for rational spaces
cites work: Q5343374
cites work: Q5723649
cites work: Q4192669
Recommended article: The rational sectional category of certain maps
Recommended article: An Upper Bound for cat E
Recommended article: Probing L-S Category with Maps
Recommended article: Note on L.-S. category and DGA modules
Recommended article: On the Homology of Postnikov Fibres
Recommended article: COMPLETELY REGULAR MAPS AND LUSTERNIK-SCHNIRELMANN CATEGORY
Recommended article: On some mapping properties of the Lusternik-Schnirelmann category
Recommended article: LS-category of classifying spaces
Recommended article: Ljusternik-Schnirelman category of skeleta
Recommended article: ON THE RELATIVE LUSTERNIK–SCHNIRELMANN CATEGORY WITH RESPECT TO A REAL COHOMOLOGY CLASS
description: scientific article; zbMATH DE number 219373