The Morava \(K\)-theory of \(BO(q)\) and \(MO(q)\) (Q894968)

In this paper the authors provide an alternative way of showing (1) that \(K(n)^*(BO(q))\) is even degree where \(K(n)^*(-)\) is the Morava \(K\)-theory with coefficients \(K(n)_*\cong \mathbb{Z}/2[v^{\pm 1}_n]\), \(|v_n|\) being equal to \(2(2^n-1)\). Combining this fact with the results of \textit{D. C. Ravenel} et al. [\(K\)-Theory 15, No. 2, 147--199 (1998; Zbl 0912.55002)], we have (2) that \(BP^*(BO(q))\) is Landweber flat, i.e. it is a flat \(BP^*\)-module for the category of finitely presented \(BP^*(BP)\)-modules. These assertions (1) and (2) have been previously known and were shown by \textit{A. Kono} and \textit{N. Yagita} [Trans. Am. Math. Soc. 339, No. 2, 781--798 (1993; Zbl 0783.55007)]. However, formally, in the present paper the proof of them is done in a process reverse to the process taken by the authors in [loc. cit.]. They first show (2) and after that show (1). Here the homology version by virtue of duality is considered and the Atiyah-Hirzebruch spectral sequence \(H_*(BO(q); K(n)_*)\) is observed. Then we can verify that \(K(n)_*(BO)\) is even degree by checking that its first differential for \(b_{2k} \in H_{2k}(BO(q)) \) is given by \[ d_{2^{n+1}-1}(b_{2k})=v_nb_{2k+1-2^{n+1}}, \qquad 2k > 2^{n+1}-1 \] since \(H_*(BO)=\mathbb{Z}/2[b_1, b_2, \dots ]\). Consequently, using the stable homotopy equivalence \(BO(q)\simeq BO(q-1)\vee MO(q)\), we can see that \(K(n)_*(BO(q))\) is even degree and so we get (1). In the second part of the paper the authors give an explicit calculation of \(K(n)_*(BO(q))\) and besides \(K(n)_*(MO(q))\) and thereby also refer to the description of \(K(n)^*(BO(q))\).