The module category weight of compact exceptional Lie groups (Q519443)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The module category weight of compact exceptional Lie groups |
scientific article |
Statements
The module category weight of compact exceptional Lie groups (English)
0 references
4 April 2017
0 references
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.
0 references
Lusternik-Schnirelmann
0 references
category weight
0 references
module category weight
0 references
exceptional Lie groups
0 references
Eilenberg-Moore spectral sequence
0 references
Toomer invariant
0 references