Derived Koszul duality and \(\mathsf{TQ}\)-homology completion of structured ring spectra (Q1628422): Difference between revisions

The authors consider algebraic structures that can be described as algebras over an operad \({\mathcal{O}}\), in the context of spectra. Let \({\mathcal{R}}\) be a \((-1)\)-connected commutative ring spectrum, and \({\mathcal{O}}\) an operad in \(\text{Mod}_{\mathcal{R}}\), with trivial \(0\)-ary operations and \((-1)\)-connected terms. The main result of the paper states that the topological Quillen homology spectrum functor \(\text{Ho}(\text{Alg}_{\mathcal{O}})\to \text{Ho}(\text{coAlg}_{K})\) restricts to an equivalence between the homotopy categories of \(0\)-connected \({\mathcal{O}}\)-algebras and \(0\)-connected \(\mathsf{K}\)-coalgebras. It then follows that for any \(0\)-connected \({\mathcal{O}}\)-algebra \(X\), the natural completion map \(X\simeq X^{\wedge}_{\text{TQ}}\) is a weak equivalence. The authors also construct the spectral algebra analog of the unstable Adams spectral sequence starting from the \(\mathsf{TQ}\)-homology groups of an \({\mathcal{O}}\)-algebra \(X\), and show that it converges strongly to the homotopy groups of \(X\) when \(X\) is \(0\)-connected.