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][1] (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)$? [1]: http://www.ams.org/journals/tran/2007-359-11/S0002-9947-07-04204-3/S0002-9947-07-04204-3.pdf