A note on homotopy normality of \(H\)-spaces (Q2467690)

The concept of homotopy normality of a map \(f\) from an \(H\)-space into a homotopy associative \(H\)-space was introduced by \textit{I. M. James} in [Anais Acad. Brasil. Ci. 39, 39-44 (1967; Zbl 0156.21603)]. The present work studies such maps for the case where \(X\) is a mod 3 \(H\)-space and \(G\) is the exceptional Lie Group \(F_4\). The author shows: Theorem 1.1: Let \(X\) be a mod 3 \(H\)-space. If \(f:X \to F_4\) is a mod 3 homotopy normal \(H\)-map and \(H^{19}(X;\mathbb F_3)\) consists of decomposable elements, then \(f^{*}:H^8(F_4; \mathbb F_3)\to H^8(X,\mathbb F_3)\) is trivial or monomorphic. Using this result it is observed that if \(f^*\) is neither trivial nor monomorphic then the subalgebra \(im(f^*)\) is one of the following possibilities: a) \(\Lambda(z_{11})\), \ b) \(\Lambda(z_{11}, z_{15})\), \ c) \(\Lambda(z_3, z_{11})\), \ d) \(\Lambda(z_3, z_{11}, z_{15})\), \ e) \(\Lambda(z_3, z_7, z_{11}, z_{15})\). Then the author shows: Theorem 1.2: All the cases are realizable with the \(f's\) being loop maps. In order to get the results one computes the cohomology of several spaces over the Steenrod algebra and its Hopf algebra structure. Among those spaces we have the 3-connective covering of \(F_4\) and the fiber of a map which represents a generator in \(H^8(F_4; \mathbb F_3)\). The paper is clearly written.