No label defined (Q4470977)

The author extends a result due to \textit{T. Ghazal} [Arab Gulf J. Sci. Res. 8, No. 2, 1--15 (1990; Zbl 0704.55002)]. Let \(\xi\) be an oriented real vector bundle over a finite CW-complex. Let \(T(\xi)\) denote the Thom space and \(U_\xi \in H^*(T(\xi); \mathbb{Z})\) denote the Thom class. One now considers the Atiyah-Hirzebruch spectral sequence for \(K^*( \;\;; {\mathbb{Z}}_2)\) of \(T(\xi)\). Then it can be shown that the necessary and sufficient condition for \(\xi\) to be \(K^*( \;\;; {\mathbb{Z}}_2)\)-orientable is that there holds \(d_r(U_\xi)=0\) for any differentials \(d_r\). But it is immediate that \(d_r\) vanishes for \(r\) even. Hence, in case one treats the question of when \(\xi\) is \(K^*( \;\;; {\mathbb{Z}}_2)\)-orientable from this viewpoint, it suffices to check the case for \(r\) being odd. Ghazal proved that if the third Stiefel-Whitney class \(w_3(\xi)\) vanishes, then \(d_3(U_\xi)=0\), and also that there is a cohomology class \(\alpha_\xi\) of a space relevant to the classifying map of \(\xi\) such that the vanishing of this means \(d_5(U_\xi)=0\). The present author proves that if \(\xi\) satisfies \(w_3(\xi)=0\) and \(\alpha_\xi=0\), then it follows that \(d_7(U_\xi)=0\).