Title: A homotopy decomposition of the fibre of the squaring map on $Ω^3S^{17}$,
Abstract: We use Richter's $2$-primary proof of Gray's conjecture to give a homotopy
decomposition of the fibre $\Omega^3S^{17}\{2\}$ of the $H$-space squaring map
on the triple loop space of the $17$-sphere. This induces a splitting of the
mod-$2$ homotopy groups $\pi_\ast(S^{17}; \mathbb{Z}/2\mathbb{Z})$ in terms of
the integral homotopy groups of the fibre of the double suspension
$E^2:S^{2n-1} \to \Omega^2S^{2n+1}$ and refines a result of Cohen and Selick,
who gave similar decompositions for $S^5$ and $S^9$. We relate these
decompositions to various Whitehead products in the homotopy groups of mod-$2$
Moore spaces and Stiefel manifolds to show that the Whitehead square $[i_{2n},
i_{2n}]$ of the inclusion of the bottom cell of the Moore space $P^{2n+1}(2)$
is divisible by $2$ if and only if $2n=2, 4, 8$ or $16$.