A counterexample to a 𝐵𝑃-analogue of the chromatic splitting conjecture (Q4383074)

If \(E\) and \(X\) are spectra, let \(\iota_E(X): X\to L_EX\) denote the \(E_*\)-localization of \(X\). Recall the spectrum \(E(n)\) with \(E(n)_*= Z_{(p)} [v_1,\dots, v_n, v_n^{-1}]\) and the \(n\) th Morava \(K\)-theory \(K(n)\) with \(K(n)_*= F_p[v_n, v_n^{-1}]\). Let \(S_p^0\) denote the \(p\)-completion of the sphere spectrum. Hopkins' chromatic splitting conjecture asserts that the map \[ L_{E(n-1)} \iota_{K(n)} (S_p^0): L_{E(n-1)} (S_p^0)\to L_{E(n-1)} L_{K(n)} (S^0) \] is a split monomorphism in the stable category. This conjecture is known to be true for \(n=1\) and for \(n=2\) with \(p\) an odd prime. \textit{M. Hovey} [Contemp. Math. 181, 225-250 (1995; Zbl 0830.55004)] asks the related question: is the map \[ L_{E(n-1)} \iota_{K(n)} (BP_p): L_{E(n-1)} (BP_p)\to L_{E(n-1)} L_{K(n)} (BP) \] the inclusion of a wedge summand? In this paper the author produces counterexamples to this question for \(n\geq 2\) by finding spectra \(Z\) such that the latter map smashed with \(Z\) does not induce a monomorphism on homotopy groups. In particular, he constructs 2-cell complexes \(Z\) with this property for \(n\geq 3\) and \(p\geq \max\{\frac 12 (n^2-2n+2), n+1\}\).