K-theoretic Tate-Poitou duality and the fiber of the cyclotomic trace (1508.00014v4)

Abstract: Let $p\in \mathbb{Z}$ be an odd prime. We prove a spectral version of Tate-Poitou duality for the algebraic $K$-theory spectra of number rings with $p$ inverted. This identifies the homotopy type of the fiber of the cyclotomic trace $K(\mathcal{O}{F})^{\scriptscriptstyle\wedge}{p} \to TC(\mathcal{O}{F})^{\wedge}{p}$ after taking a suitably connective cover. As an application, we identify the homotopy type at odd primes of the homotopy fiber of the cyclotomic trace for the sphere spectrum in terms of the algebraic $K$-theory of $\mathbb{Z}$.