Skip to main content
2 of 2
edited tags
John Pardon
  • 18.7k
  • 3
  • 55
  • 131

The K(1)-local Spanier-Whitehead dual of KO

Let $D_1KO$ be the $K(1)$-local Spanier-Whitehead dual of $KO$, i.e. the spectrum $$ D_1KO = F(KO,L_{K(1)}S^0). $$

I am interested in what this is. In fact I know that $D_1KO = \Sigma^{-1} KO$. One way to see this is to use the fact that the Gross-Hopkins dual $I_1 = \Sigma^2 P$ for a spectrum $P$ such that $P \wedge KO \simeq \Sigma^4 KO$, along with the equivalence $$ I_1KO = D_1KO \wedge I_1. $$

Here is a claimed direct proof, due to Hahn and Mitchell (see Lemma 8.16).

Start with the cofiber sequence $$ \Sigma^{-1} KO \to \Sigma^{-1} KO \xrightarrow{\delta} L_{K(1)}S^0, $$ and define a map $$ \phi:\Sigma^{-1}KO \to F(KO,\Sigma^{-1}KO) \xrightarrow{\delta_*} F(KO,L_{K(1)}S^0), $$ where the first map is the adjoint to the (desuspension) of the multiplication map. The claim is that $\phi$ induces a weak equivalence on homotopy groups.

How does one show this? Namely, how do we compute $\pi_*F(KO,L_{K(1)}S^0)$?

Drew Heard
  • 3.8k
  • 1
  • 23
  • 35