On the homology spectral sequence for topological Hochschild homology

Marcel Bökstedt has computed the homotopy type of the topological Hochschild homology of using his definition of topological Hochschild homology for a functor with smash product. Here we show that easy conceptual proofs of his main technical result of are possible in the context of the homotopy theory of -algebras as introduced by Elmendorf, Kriz, Mandell and May. We give algebraic arguments based on naturality properties of the topological Hochschild homology spectral sequence. In the process we demonstrate the utility of the unstable ``lower' notation for the Dyer-Lashof algebra.