Computational tools for topological coHochschild homology (Q683994)

Previous work [\textit{K. Hess} and \textit{B. Shipley}, ``Topological coHochschild homology'', in preparation] defined a notion of topological coHochschild homology (coTHH). This is a theory that is dual to topological Hochschild homology for ring spectra -- which in turn is a topological analogue of regular Hochschild homology for algebras, obtained by changing the ground ring in the Hochschild complex for rings from the integers to the sphere spectrum. This paper presents several strategies to compute this topological coHochschild homology coTHH in some specific settings. The Definition of coTHH is recalled in Section 2, but its construction is done not just for ring spectra, but in a very general way for any symmetric monoidal model category \((\mathcal D, \otimes, 1)\). The coHochschild homology of a counital coalgebra \((C, \Delta, \epsilon)\) in \(\mathcal D\) is then the homotopy limit \(\mathrm{holim}_\Delta \mathrm{coTHH}^\bullet (C)\), where \(\mathrm{coTHH}^\bullet (C)\) is a specific cosimplicial object in \(\mathcal D\), coming from Definition 2.2. The remaining part of Section 2 discusses conditions under which the determination of this simplicial object, and by extension that of coTHH, becomes easier. If \(\mathcal D\) is a simplicial model category and a cosimplicial object in \(\mathcal D\) is Reedy fibrant, the homotopy limit over \(\Delta\) of the cosimplicial object is weakly equivalent to its totalization via the simplicial structure. Some cases where \(\mathrm{coTHH}^\bullet (C)\) is Reedy cofibrant are presented, for example if the symmetrical monoidal structure of \(\mathcal{D}\) is given by the cartesian product (Lemma 2.5), or if the coalgebra \(C\) is coaugmented (Lemma 2.6, proved in appendix A.) Section 2 ends with the description of coTHH for several categories in different algebraic settings, including (for \(k\) a field) those of cosimplicial \(k\)-modules, of nonnegatively graded cochain complexes over \(k\), and of simplicial sets with the cartesian product. The Hochschild-Kostant-Rosenberg theorem identifies the Hochschild homology of free commutative algebras. Section 3 develops a similar theorem for the calculation of \(\mathrm{coTHH} (C)\) of a \textit{cofree} counital coalgebra \(C\) in the given symmetric monoidal model category. The key notion here is that of a cofree coalgebra in a symmetric monoidal category \(\mathcal D\), which is given by a right adjoint to the forgetful functor from the category of coalgebras in \(\mathcal D\) to \(\mathcal D\) itself. This right adjoint is shown to exist under some conditions, for example if \(\mathcal D\) is \textit{cofree-friendly} (Definition 3.2 and Proposition 3.3.) It will have additional properties if \(\mathcal D\) is also \textit{permutation-friendly} (Definition 3.6 and Proposition 3.7.) This allows for theorem 3.15, which is a Hochschild-Kostant-Rosenberg theorem for cofree differential graded coalgebras. Section 4 returns to the more specific setting of symmetric monoidal model categories of spectra. A coBökstedt spectral sequence is developed, which is the Bousfield-Kan spectral sequence arising from the cosimplicial spectrum \(\mathrm{coTHH}^\bullet (C)\), for a coalgebra spectrum \(C\). This is analogous to the Bökstedt spectral sequence for topological Hochschild homology, which comes from the skeletal filtration on the simpicial spectrum \(\mathrm{THH}(R)_\bullet\), \(R\) a ring spectrum. The coBökstedt spectral sequence appears in Theorem 4.1, where the \(E_2\)-term is shown to be the classic coHochschild cohomology of \(H_* (C;k)\), for \(k\) a field and \(C\) a coalgebra spectrum that is cofibrant as a spectrum. The convergence of the spectral sequence is discussed in Proposition 4.2 and its corollaries, and Theorem 4.6 shows that it is in fact a spectral sequence of coalgebras. Section 5 applies the spectral sequence to the computation of the homology of \(\mathrm{coTHH}(C)\) for certain coalgebra spectra \(C\), showing that in some particular situations the spectral sequence collapses at \(E_2\).