Abstract:Let $\mathit{s}\mathcal{L}$ be the $\infty$-category of simplicial restricted Lie algebras over $\mathbf{F} = \overline{\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 $\mathit{s}\mathcal{L}$ can be viewed as an algebraic approximation of the $\infty$-category of pointed $p$-complete spaces. We study the functor calculus in the category $\mathit{s}\mathcal{L}$. More specifically, we consider the Taylor tower for the functor $L^r\colon \mathcal{M}\mathrm{od}^{\geq 0}_{\mathbf{F}} \to \mathit{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 $\Sigma^l \mathbf{F}$, $l\geq 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 $\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.

Spectral sequences via linear presheaves

Spectral sequences in unstable higher homotopy theory and applications to the Coniveau filtration

Quillen's Fundamental Spectral Sequences Revisited

Homotopy spectral sequences

A Cohomological Bundle Theory for Sheaf Cohomology

On the sheafyness property of spectra of Banach rings

Cohomological and motivic inclusion–exclusion

The homological slice spectral sequence in motivic and Real bordism

Successive Spectral Sequences

Preludes to the Eilenberg-Moore and the Leray-Serre spectral sequences

Spectral sequences, décalage, and the Beilinson t-structure

The homological spectrum via definable subcategories

The relative Hodge-Tate spectral sequence -- an overview

LHS-spectral sequences for regular extensions of categories

ku-theoretic spectral decompositions for spheres and projective spaces

Homology of twisted quiver bundles with relations

Transchromatic phenomena in the equivariant slice spectral sequence

(Co)homology of Spectral Categories

It takes two spectral sequences

Algebraic Goodwillie spectral sequence