TQ-completion and the Taylor tower of the identity functor

Abstract

The goal of this short paper is to study the convergence of the Taylor tower of the identity functor in the context of operadic algebras in spectra. Specifically, we show that if $A$ is a $(-1)$-connected $\mathcal{O}$-algebra with $0$-connected $\mathsf{TQ}$-homology spectrum $\mathsf{TQ}(A)$, then there is a natural weak equivalence $P_{\infty }$(id)$A\simeq A_{\mathsf{TQ}}^{\wedge }$ between the limit of the Taylor tower of the identity functor evaluated on $A$ and the $\mathsf{TQ}$-completion of $A$. Since, in this context, the identity functor is only known to be $0$-analytic, this result extends knowledge of the Taylor tower of the identity beyond its "radius of convergence."

arXiv commentUpdated based on referee report: new section with exposition/background added, proofs of Propositions 6.6, 6.7 expanded, other minor edits. To appear in Journal of Homotopy and Related Structures

References in corpus (9)

• Calculus III: Taylor Series
• On the homotopy groups of symmetric spectra
• Bar constructions for topological operads and the Goodwillie derivatives of the identity
• Homotopy theory of modules over operads in symmetric spectra
• Homotopy completion and topological Quillen homology of structured ring spectra
• Operad bimodules, and composition products on Andre-Quillen filtrations of algebras
• Derived Koszul duality and TQ-homology completion of structured ring spectra
• On the Goodwillie derivatives of the identity in structured ring spectra
• Iterated delooping and desuspension of structured ring spectra