Computing the Sullivan Milnor-Moore S. S. and the rational LS category of certain spaces
type: Item
instance of: scholarly article
title: Computing the Sullivan Milnor-Moore S. S. and the rational LS category of certain spaces
zbMATH Open document ID: 1010.55002
DOI: 10.1016/S0166-8641(01)00304-2
author: Luis Lechuga
published in: Topology and its Applications
publication date: 2003-03-10T00:00:00Z
review text: The computation of Lyusternik-Shnirel'man category of a space, \(\text{ cat}(X)\), is often very difficult. Estimates of this numerical invariant have been obtained using the Eilenberg-Moore spectral sequence by \textit{M. Ginsburg} [Ann. Math. (2) 77, 538-551 (1963; Zbl 0148.17003)] and \textit{G. H. Toomer} [Math. Z. 138, 123-143 (1974; Zbl 0284.55012)]. A refined version of these estimates has been found through the use of rational homotopy methods in the work of \textit{Y. Felix} and \textit{S. Halperin} [Trans. Am. Math. Soc. 273, 1-37 (1982; Zbl 0508.55004)]. The author considers elliptic spaces, that is, \(X\) for which \(\pi_*(X)\otimes \mathbb{Q}\) has finite dimension over \(\mathbb{Q}\). The algebraic analysis of the minimal model for an elliptic space is aided when there is a pure model, that is, a minimal model of the form \((\Lambda V, d)\) where \(d V^{\text{odd}} = 0\) and \(d V^{\text{even}} \subset \Lambda V^{\text{odd}}\). In this case, for example, there is a cocycle \(w_1\) that represents the top class of \(H(\Lambda V,d)\), a Poincaré duality algebra, for which \(w_1\) has length at least the rational category of \((\Lambda V, d)\). The algebraic clarity of a pure model admits the use of computational commutative ring theory, in particular, the use of Groebner bases for analysis. The author shows that the rational Ginsburg invariant of \((\Lambda V,d)\), a pure model for an elliptic space, is computable from reduced Groebner bases for the modules of boundaries and \(d\)-cocycles. An algorithm is given and several examples presented.
Mathematics Subject Classification ID: 55M30
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 55T99
Mathematics Subject Classification ID: 55P62
zbMATH DE Number: 1879149
zbMATH Keywords: Lyusternik-Shnirel'man category
zbMATH Keywords: Groebner bases
zbMATH Keywords: rational homotopy theory
reviewed by: John McCleary
describes a project that uses: CoCoA
MaRDI profile type: Publication
cites work: Lifting standard bases in filtered structures
cites work: Sharp Effective Nullstellensatz
cites work: Some features of \(CoCoA 3\)
cites work: Rational L.-S. Category and Its Applications
cites work: The rational Lusternik-Schnirelmann category of products and of Poincaré duality complexes
cites work: Lusternik-Schnirelmann category and strong category
cites work: New Estimates for the Collapse of the Milnor-Moore Spectral Sequence over a Field
cites work: On the Lusternik-Schnirelmann category
cites work: Finiteness in the Minimal Models of Sullivan
cites work: Lectures on minimal models
cites work: Q4896563
cites work: A Gröbner basis algorithm for computing the rational L.-S. category of elliptic pure spaces
cites work: The fundamental class of a rational space, the graph coloring problem and other classical decision problems
cites work: The top cohomology class of certain spaces
cites work: Infinitesimal computations in topology
cites work: Q4251935
full work available at URL: s0166-8641(01)00304-2
OpenAlex ID: W2169854369
description: scientific article; zbMATH DE number 1879149