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.

The algebraic Atiyah-Hirzebruch spectral sequence of real projective spectra

The Borel and genuine $C_2$-equivariant Adams spectral sequences

Adams spectral sequences for non-vector-bundle Thom spectra

Stable Comodule Deformations and the Synthetic Adams-Novikov Spectral Sequence

Squaring operations in the $RO(C_2)$-graded and real motivic Adams spectral sequences

The Special Fiber of the Motivic Deformation of the Stable Homotopy Category is Algebraic

On multiplicative spectral sequences for nerves and the free loop spaces

Quivers and the Adams spectral sequence

Classical stable homotopy groups of spheres via $\mathbb{F}_2$-synthetic methods

The algebraic Novikov spectral sequence for topological modular forms

Real Orientations of Lubin-Tate Spectra

The $\mathbb{C}$-motivic Adams Spectral Sequence for $s\leq5$

Algebraic Goodwillie spectral sequence

A note on Hodge–Tate spectral sequences

Stable Homotopy Groups of Spheres: from Dimension 0 to 90

Total power operations in spectral sequences

The relative Hodge-Tate spectral sequence for rigid analytic spaces

On the slice spectral sequence for quotients of norms of Real bordism

The Lubin–Tate theory of configuration spaces: I

A deformation of Borel equivariant homotopy

Uniqueness of real ring spectra up to higher homotopy