On the detection of some elements in the image of the double transfer using K(2)-theory (Q1089959)

We investigate the double U(1)-transfer \(tr_{2*}: \pi ^ S_ *({\mathbb{C}}P^{\infty}\times {\mathbb{C}}P^{\infty})\to \pi ^ S_ *\) by considering its effect on the \(E_ 2\)-term of the Adams-Novikov spectral sequence based on BP-theory at a prime \(p>3\). More specifically, we use the canonical map \(\rho\) : BP\(\to K(2)\) to project into the algebraic Ext groups defined over the Hopf algebroid \(K(2)_ *K(2)\), where we are able to determine the action of \(tr_{2*}\) on elements \[ {\bar \rho}(Y_ k)\in Ext^ 0_{K(2)_ *K(2)}(K(2)_ *,\quad K(2)_ *({\mathbb{C}}P^{\infty}\times {\mathbb{C}}P^{\infty})) \] (here \(Y_ k\in Ext^ 0_{BP_ *BP}(BP_ *, BP_ *({\mathbb{C}}P^{\infty}\times {\mathbb{C}}P^{\infty}))\) was defined originally by K. Knapp). We prove, using this, that \(tr_{2*}(Y_ k)=\beta _{k/1}\) provided k is not divisible by p and satisfies a certain numerical condition. If \(Y_ k\) is in the image of the BP-Hurewicz map \[ bp: \pi ^ S_ *({\mathbb{C}}P^{\infty}\times {\mathbb{C}}P^{\infty})\quad \to \quad BP_ *({\mathbb{C}}P\times {\mathbb{C}}P^{\infty}) \] we can define \(tr_{2*}(bp^{- 1}(Y_ k))=\beta _ k\) in homotopy.