No label defined (Q4243971)

If \(X\) is a finite CW-complex with \(\text{dim}(X)\leq 2m+1\) and \(x\in KU(X)\), then \(2^m \gamma_{1/2}(x)\) is defined to be \(\sum_{i=0}^{m} 2^{m-i}\gamma^{i}(x)\), where \(\gamma^{i}\) is Atiyah's operation. Let \(M_{i}\) \((i=1, 2)\) be a smooth, closed and connected stably complex \(m_{i}\)-manifold, and let \(y_{i}\in \widetilde{KU}(M_{i})\) be the stable class represented by the tangent bundle of \(M_{i}\). The main theorem of this paper is the following: If \(2n > m_{1} + m_{2}\) and the manifold \(M_{1} \times M_{2}\) immerses in \(\mathbb R^{m_1 + m_2 + k}\), then \(2^{n-1}\gamma_{1/2}(-y_{1})\otimes \gamma_{1/2}(-y_{2})\) is divisible by \(2^{n-j-1}\) in \({KU}(M_{1})\otimes {KU}(M_{2})\), where \(j=[\frac{k}{2}]\). The proof is based on an earlier result of \textit{B. Junod} [also proved, as Theorem 2.1, in his paper with \textit{U. Suter}, Hiroshima Math. J. 28, No. 3, 437-461 (1998; Zbl 0917.57020)]. The main theorem is applied to obtain non-immersion results for products \(M_1 \times M_2\), where the factors are both complex projective spaces, both Dold manifolds, both lens spaces of the form \(L^n(2^m)\) (\(n\geq {16}\); certain lower bounds for admissible values of \(m\) are given), or both quaternionic spherical space forms \(N^n(m)\) (certain lower bounds for admissible values of \(m\) are given).