A fiberwise analogue of the Borsuk-Ulam theorem for sphere bundles over a 2-cell complex. II (Q2381640)

Let \(\alpha\) be a finite dimensional real vector bundle over a \(CW\)-complex \(B\), and \(S(\alpha)\) be its sphere bundle with respect to some metric on \(\alpha\). The index of \(\alpha\), denoted by \(\operatorname{ind}\alpha\), is defined to be the largest integer \(m\) for which there exists a \(\mathbb{Z}_2\)-map from \(S^{m-1}\) to \(S(\alpha)\), where \(S(\alpha)\) and \(S^{m-1}\) are regarded as \(\mathbb{Z}_2\)-spaces by the antipodal map (on each fibre). We describe a finite complex \(B\) as \(I\)-trivial if there does not exist a \(\mathbb{Z}_2\)-map from \(S^{m-1}\) to \(S(\alpha)\) for any vector bundle \(\alpha\) over \(B\) and any integer \(i\) with \(i>\dim\alpha\). In this paper, let \(B=\Sigma^mFP^2\) be the \(m\)-fold suspension of the projective plane \(FP^2\), where \(m=n-2d\) and \(F\) is \({\mathbb C},{\mathbb H}\) or the Cayley algebra. In the first part of this paper [Topology Appl. 154, No.~8, 1827--1833 (2007; Zbl 1120.55008)], the author proved the following in the real case: Theorem \(\Sigma^m\mathbb{R} P^2\) \((m\geq 0)\) is \(I\)-trivial if and only if \(m\neq 0,1,2,6\). In the present paper, the following is proved. Theorem 1. Let \(m\geq 0\). (1) \(\Sigma^m{\mathbb C} P^2\) is \(I\)-trivial if and only if \(m\neq 0,2,4\). (2) \(\Sigma^m{\mathbb H}P^2\) is \(I\)-trivial if and only if \(m\neq 0,4\). Theorem 2. For \(F\) the Cayley algebra, \(\Sigma^mFP^2\) is \(I\)-trivial for every \(m>0\).