Relative Loday constructions and applications to higher \(\mathsf{THH}\)-calculations (Q684021)

The setting of this paper is that of $S$-algebras, following Elmendorf/Kriz/Mandell/May [\textit{A. D. Elmendorf} et al., Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Providence, RI: American Mathematical Society (1997; Zbl 0894.55001)]. For an $S$-algebra $S$ and a simplicial set (or otherwise suitable topological space) $X$, the Loday construction of $A$ with respect to $X$ is $\mathcal{L}_X(A) := A \otimes X$. For each $n$, letting $X = S^n$ (the $n$-sphere), the homotopy groups of this Loday construction give higher order topological Hochschild homology $\mathsf{THH}_*^{[n]}(A)$. \par This work presents a relative version of the Loday construction (and of the higher order topological Hochschild homology.) Starting with a sequence of morphisms $A \rightarrow B \rightarrow C$ in the category of $S$-algebras, and with a pair of pointed simplicial sets $Y \subset X$, the relative Loday construction $\mathcal{L}_{(X,Y)}(A,B;C)$ appears as Definition 2.1. For each $n$, its $n$th simplicial degree $\mathcal{L}_{(X,Y)}(A,B;C)_n$ is given by the smash product $\bigwedge_{X_n \backslash Y_n} A \wedge \bigwedge_{Y_n \backslash \ast} B \wedge C$, where $\ast$ is the basepoint. There are structure maps for these, constructed from the fact that the smash product is the coproduct in the category of commutative $S$-algebras. One also defines a multiplication, which becomes compatible with the simplicial structure, and this makes $\mathcal{L}_{(X,Y)}(A,B;C)_\bullet$ into a simplicial commutative augmented $C$-algebra (Lemma 2.2.) Given a general commutative ring spectrum $k$, and using the smash product to denote the coproduct in the category of commutative algebras over $k$, one can similarly define a Loday construction $\mathcal{L}_{(X,Y)}^k(A,B;C)_\bullet$. The relative Loday construction also permits the definition of higher topological Hochschild homology with coefficients (Definition 2.7.) \par The point of this paper is that the relative Loday construction is especially suitable for the calculation of higher Hoschschild homology in some cases. This is made explicit by several juggling formulae in Section 3, relating higher \textsf{THH} groups with respect to the sphere spectrum as ground ring and to other commutative $S$-algebra spectra as ground rings. These are then used to establish some spectral sequences that calculate higher topological Hischchild homology. In Section 4, the spectral sequences are applied to determine the higher order relative \textsf{THH} of some Thom spectra (Section 4.1), and to obtain additive results for $\mathsf{THH}^E(H\mathbb{F}_p)$ and for $\mathsf{THH}^{[2]}(E; H\mathbb{F}_p)$ in some cases: for $E= ko, ku$ or $tmf$ at $p=2$; and for $E=l$, the Adams summand, at an odd prime $p$ (Theorem 4.9. and Proposition 4.10.) Here, the last $\mathrm{THH}$ is higher topological Hochschild homology with coefficients.