We extend the definition of Hochschild and cyclic homologies of a scheme over a commutative ring k to define the Hochschild homologies HH⁎(X/S) and cyclic homologies HC⁎(X/S) of a scheme X with respect to an arbitrary base scheme S. Our main purpose is to study product structures on the Hochschild homology groups HH⁎(X/S). In particular, we show that $HH⁎(X/S)={⨁}_{n\in \mathbb{Z}}HHₙ(X/S)$ carries the structure of a graded algebra.

For a prime $p\ge 5$, we compute the algebraic $K$-theory modulo $p$ and $v_1$ of the mod $p$ Adams summand, using topological cyclic homology. On the way, we evaluate its modulo $p$ and $v_1$ topological Hochschild homology. Using a localization sequence, we also compute the $K$-theory modulo $p$ and $v_1$ of the first Morava $K$-theory.