Category, growth and grade in a fibration (Q1817232)

By definition, the grade of a module \(M\) is the least \(m\) (or \(\infty)\) such that \(\text{Ext}^m_A (M,A) \neq 0\). The depth of \(A\) is the least \(m\) (or \(\infty)\) such that \(\text{Ext}^m_A (\mathbb{Q},A) \neq 0\). If \(L\) is a graded Lie algebra and \(UL\) its enveloping algebra, one can define the residual depth of \(L\) by the formula \[ \text{resid.depth} UL= \min_n \text{depth} UI_n \] where \(I_n\) is the ideal \(L_{\geq n}\). The growth of an \(A\)-module \(M\), \(\text{growth}_A (M)\), is by definition the supremum of the polynomial growth of its finitely generated submodules. The paper contains several interesting and important results devoted to the Lyusternik-Shnirel'man category, and growth, depth and grade of some modules naturally related to a fibration \(F\to E @>p>>B\) with a simply connected base. Namely, the authors consider the homology \(H_* (F,\mathbb{Q})\) as a module over the loop space homology \(H_*(\Omega B, \mathbb{Q})\) and analyze the algebraic notions introduced above in this setting. For example, the authors prove that \[ \text{grade}_{H^* (\Omega B,\mathbb{Q})} H_*(F, \mathbb{Q}) \geq\text{resid.depth} H_* (\Omega B,\mathbb{Q}). \] Several other important relations are obtained and many examples are analyzed. In the final section of the paper the authors discuss open problems. Understanding of this paper requires some knowledge of rational homotopy theory and differential algebra (see, e.g., [\textit{S. Halperin}, Lectures on minimal models, Mém. Soc. Math. Fr., Nouv. Sér. 9-10 (1983; Zbl 0536.55003 and Zbl 0505.55014)]).