Topological Hochschild homology of the image of j

TL;DR

This paper computes the topological Hochschild homology of variants of the image-of-J spectrum, revealing new insights into its Galois descent failure, proving the Segal conjecture for certain cases, and calculating low-degree K-theory of the K(1)-local sphere.

Contribution

It provides explicit computations of THH for the image-of-J spectrum variants, establishes the Segal conjecture for j_{zeta} at odd primes, and links THH failure to circle space properties.

Findings

Computed mod (p,v_1) and mod (2,eta,v_1) THH of image-of-J variants.

Proved the Segal conjecture for j_{zeta} at p>2.

Calculated low-degree K-theory of the K(1)-local sphere.

Abstract

We compute the mod $(p,v_1)$ and mod $(2,\eta,v_1)$ $\mathrm{THH}$ of many variants of the image-of-$J$ spectrum. In particular, we do this for $j_{\zeta}$, 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_{\zeta} \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_{\zeta}$, and we compute the $K$-theory of the $K(1)$-local sphere in degrees $\leq 4p-6$.