The module category weight of compact exceptional Lie groups (Q519443)

This article is dedicated to studying the differences between some lower bounds (category weight and module category weight) for the LS-category of the compact exceptional Lie groups \({G_2, F_4, E_6, E_7 \; \text{and}\; E_8}\), below denoted by \(G\). Inspired by the methods used in [\textit{N. Iwase} and \textit{A. Kono}, Trans. Am. Math. Soc. 359, No. 4, 1517--1526 (2007; Zbl 1112.55004)], the author uses several Eilenberg-Moore type spectral sequences to compute the module category weight \(\mathrm{Mwgt}(G,\mathbb{F}_p)\) with respect to \(\mathbb{F}_p\) (\(p=2 \; \text{or}\; 3\)). Indeed, he first considers the convergent spectral sequence \(E_2 \cong \text{Tor}_{H^*(\Omega(G);\mathbb{F}_{p})}(\mathbb{F}_{p},\mathbb{F}_{p}) \Rightarrow H^*(\Omega(G);\mathbb{F}_{p})\) to obtain the co-algebra structure of \(H^*(\Omega(G);\mathbb{F}_{p})\). Next, he gets in Theorem 3.3 (for \(\mathbb{F}_2\)) and Theorem 4.3 (for \(\mathbb{F}_3\)), the computation of \( \mathrm{Cotor}_{H^*(\Omega(G);\mathbb{F}_{p})}(\mathbb{F}_{p},\mathbb{F}_{p})\), the \(E_2\) term of the Rothenberg-Steenrod spectral sequence converging to \(H^*(G;\mathbb{F}_p)\). Hence, by analyzing non trivial differentials in this one, he makes use of the spectral sequence of Stasheff type, introduced in [\textit{N. Iwase}, Mem. Fac. Sci., Kyushu Univ., Ser. A 38, 285--297 (1984; Zbl 0555.55003)] and obtains an expression of its target \(H^*(P^m(\Omega G);\mathbb{F}_p)\). This allows him to obtain a lower bound for \(\mathrm{Mwgt}(G,\mathbb{F}_p)\) and then for \(\mathrm{cat}(G)\) (cf. Theorems 3.4 and 4.4 respectively). In conclusion, the author draws up a table showing in particular that the Toomer invariant introduced in [\textit{G. H. Toomer}, Math. Z. 138, 123--143 (1974; Zbl 0284.55012)] verifies \({f}_{\mathbb{F}_p}(G)< \mathrm{Mwgt}(G,\mathbb{F}_p)\) in most of the cases.