TORSION IN THE HOMOLOGY OF THE DOUBLE LOOP SPACES OF COMPACT SIMPLE LIE GROUPS (Q4392552)

The authors compute \(H_{*}(\Omega^{3} F_{4}; \mathbb{Z}/p)\) as an algebra for all primes \(p\). For \(p \geq 5\) the space \(F_{4}\) is \(p\)-homotopy equivalent to a product of spheres and certain sphere bundles over spheres, which makes it an rather easy exercise to derive \(H_{*}(\Omega^{3} F_{4}; \mathbb{Z}/p)\) from the literature. Details are given in the second chapter of the present paper. The main achievement of the paper then is the computation of \(H_{*}(\Omega^{3} F_{4}; \mathbb{Z}/p)\) for \(p=2\) and \(p=3\). To compute it, the authors consider parts of the fibration sequence of the fibration \(\text{Spin} (9) \to F_{4} \to F_{4}/\text{Spin} (9)\). They start with the knowledge of \(H^{*}(F_{4};\mathbb{Z}/p)\) and use the Eilenberg-Moore spectral sequence for the path-loop fibrations of \(F_{4}\) and \(\Omega F_{4}\) to determine the Hopf algebra \(H^{*}(\Omega^{2}F_{4};\mathbb{Z}/p)\) resp. the algebra \(H_{*}(\Omega^{2}F_{4};\mathbb{Z}/p)\). Then the authors quote \textit{Y. Choi}'s computation of \(H_{*}(\Omega^{2}\text{Spin} (9);\mathbb{Z}/p)\) and \(H_{*}(\Omega^{3}\text{Spin} (9);\mathbb{Z}/p)\) in [Math. Z. 222, No. 1, 59-80 (1996; Zbl 0845.55014)] and determine \(H_{*}(\Omega^{3}F_{4}/\text{Spin} (9);\mathbb{Z}/p)\) using the Eilenberg-Moore spectral sequence and subsequently \(H_{*}(\Omega^{3}F_{4};\mathbb{Z}/p)\) using the Serre spectral sequence.