A new lower bound for LS-category (Q1698933)

The paper treats, under a rational homotopy theory viewpoint, a widely studied subject; that is to bound, for a given topological space \(X\), the LS-category, denoted by \(\text{cat}(X)\) and defined to be the least integer \(n\) (or infinity) such that \(X\) is covered by \(n+1\) open subsets \((U_i)_{0\leq i\leq n}\), each of which is contractible in \(X\). The paper starts by recalling the well known lower bounds for \(\text{cat}(X)\), that are {\parindent=0.7cm\begin{itemize}\item[--] [\textit{G. H. Toomer}, Math. Z. 138, 123--143 (1974; Zbl 0284.55012)]: \(e_{\mathbb{K}}(X)\leq \text{cat}(X)\); \item[--] [\textit{Y. Félix, S. Halperin, J.-M. Lemaire} and \textit{J.-C. Thomas}, Invent. Math. 95, No. 2, 247--262 (1989; Zbl 0667.55007)]: \(\text{depth }H_*(\Omega X,\mathbb{K})\leq \text{cat}(X)\) \end{itemize}} Here \(\mathbb{K}\) is an arbitrary field. The author recalls also the improvement done by \textit{L. Bisiaux} [Topology Appl. 97, No. 3, 207--215 (1999; Zbl 0938.55013)], which is \[ \text{depth }H_*(\Omega X,\mathbb{K})\leq e_{\mathbb{K}}(X), \] whenever \(ev_{C^*(X,\mathbb{K})}\neq 0\). The author aims at improving this last result. For his purpose, he uses the Eilenberg-Moore spectral sequence to define a new invariant, that is \[ R(X,\mathbb{K}):=\sup\{p\in \mathbb{N}\;\mid\;\mathcal{E}_\infty^{p,*}\neq 0\}. \] He finally shows that for simply connected CW-complexes that are Gorenstein, verifying Bisiaux's condition, and all of whose homology groups \(H_i(X,\mathbb{K})\) are finite dimensional over all arbitrary fields \(\mathbb K\), one has the following \[ \text{depth }H_*(\Omega X,\mathbb{K})\leq R(X,\mathbb{K})\leq e_{\mathbb{K}}(X). \]