Algebraic Goodwillie spectral sequence

Let $s\mathcal{L}$ be the $\mathrm{\infty }$-category of simplicial restricted Lie algebras over $\mathbf{F}={\bar{\mathbf{F}}}_p$, the algebraic closure of a finite field ${\mathbf{F}}_p$. By the work of A. K. Bousfield et al. on the unstable Adams spectral sequence, the category $s\mathcal{L}$ can be viewed as an algebraic approximation of the $\mathrm{\infty }$-category of pointed $p$-complete spaces. We study the functor calculus in the category $s\mathcal{L}$. More specifically, we consider the Taylor tower for the functor $L^r\text{\hspace{0.17em}⁣}:\mathcal{M}{\mathrm{o}\mathrm{d}}_{\mathbf{F}}^{\ge 0}\to s\mathcal{L}$ of a free simplicial restricted Lie algebra together with the associated Goodwillie spectral sequence. We show that this spectral sequence evaluated at ${\mathrm{\Sigma }}^l\mathbf{F}$, $l\ge 0$ degenerates on the third page after a suitable re-indexing, which proves an algebraic version of the Whitehead conjecture. In our proof we compute explicitly the differentials of the Goodwillie spectral sequence in terms of the $\mathrm{\Lambda }$-algebra of A. K. Bousfield et al. and the Dyer-Lashof-Lie power operations, which naturally act on the homology groups of a spectral Lie algebra. As an essential ingredient of our calculations, we establish a general Leibniz rule in functor calculus associated to the composition of mapping spaces, which conceptualizes certain formulas of W. H. Lin. Also, as a byproduct, we identify previously unknown Adem relations for the Dyer-Lashof-Lie operations in the odd-primary case.