Brown-Gitler spectra at \(BP<2>\) (Q1108611)

Let A be the mod p Steenrod algebra, and let \(J_ n\subset A\) be the left ideal generated by the Milnor elements \(Q_ 0,Q_ 1,...,Q_ n\). The spectrum \(BP<n>\) has cohomology H \(*BP<n>=A/J_ n\). Let \(I_ k\subset A\) be the left ideal generated by \(\{\chi (\beta^{\in}{\mathcal P}\) i)\(|\) \(i>k\}\), and let \(M_ n(k)=A/(J_ n+I_ k)\). A Brown- Gitler spectrum at \(BP<n>\) would be a spectrum \(BP<n>\) k with mod p cohomology \(M_ n(k)\) and the additional property that for suitable complexes the image of \(\rho\) : BP\(<n>\) \(k_ m(Y)\to BP<n>_ m(Y)\) is under control in dimensions \(m<2p(k+1).\) These originated for \(n=-1\) from \textit{E. H. Brown} jun. and \textit{S. Gitler} [Topology 12, 283-295 (1973; Zbl 0266.55012)], for \(n=0\) from \textit{M. Mahowald} [Pac. J. Math. 92, 365-383 (1981; Zbl 0476.55021)], and for \(n=1\) from \textit{P. G. Goerss}, \textit{J. D. S. Jones} and \textit{M. Mahowald} [Trans. Am. Math. Soc. 294, 113-132 (1986; Zbl 0597.55006)]; in these cases \(\rho\) is surjective. The present paper constructs BP\(<2>\) k; the map \(\rho\) is proven to have image prescribed by certain cohomology operations in \(BP<1>^{2(p- 1)j}(BP<2>)\) for such complexes Y such that \(H{\mathbb{Z}}_ p^{\wedge *}Y\) is an \({\mathbb{F}}_ p\) vector space (Theorem B). The construction relies on Goerss-Jones-Mahowald [loc. cit.] for an algebraic resolution of \(M_ 2(k)\) over A. The proof proceeds then along the same lines starting with the construction of adapted complexes \((Z_ k,h_ k)\); these have the property that \(h_ k\in BP<2>_ m(Z_ k)\) (with \(m<2p(k+1))\) identifies \(M_ 2(k)\) as a sub-A-module of the cohomology of \(Z_ k\). The adapted complexes are used to control the stages in the construction of a tower (described in theorem A) converging to \(BP<2>\) k. The details are more complicated than in the cases \(n\leq 1\). If \(E\) \(r_{s,t}(Y)\Rightarrow BP<n>\) \(k_{t-s}(Y)\) denotes the spectral sequence arising from the tower, the range \(t-s<2p(k+1)-1\) carries no differentials if \(n\leq 0\) and only one differential \(d_ 1\) if \(n=1\). In the case \(n=2\) there may now also be a differential \(d_ 2\) (Cor. C, D). As a consequence it is unclear whether \(BP<2>\) k is unique or has good multiplicative properties.