Topological Hochschild homology of the image of j
We compute the mod $(p,v_1)$ and mod $(2,η,v_1)$ $\mathrm{THH}$ of many variants of the image-of-$J$ spectrum. In particular, we do this for $j_ζ$, whose $\mathrm{TC}$ is closely related to the $K$-theory of the $K(1)$-local sphere. We find in particular that the failure for $\mathrm{THH}$ to satisfy $\mathbb{Z}_p$-Galois descent for the extension $j_ζ \to \ell_p$ corresponds to the failure of the $p$-adic circle to be its own free loop space. For $p>2$, we also prove the Segal conjecture for $j_ζ$, and we compute the $K$-theory of the $K(1)$-local sphere in degrees $\leq 4p-6$.