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.

On multiplicative spectral sequences for nerves and the free loop spaces

On a Spectral Sequence for Twisted Cohomologies

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

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

Algebraic Goodwillie spectral sequence

The homological slice spectral sequence in motivic and Real bordism

Loop homology of spheres and complex projective spaces

Corank spectral sequence for locally symmetric varieties

Convergence of the Eilenberg-Moore spectral sequence for generalized cohomology theories

The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points

On the differentials of the Hochschild-Kostant-Rosenberg spectral sequence

Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods

Normed equivariant ring spectra and higher Tambara functors

Noncommutative Fibre Bundles via Bimodules

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

Frobenius pushforwards of of vector bundles on projective spaces

Simplicial cochain algebras for diffeological spaces

The slice spectral sequence for a motivic analogue of the connective $K(1)$-local sphere

Cohomological and motivic inclusion–exclusion

A Cartan-Eilenberg spectral sequence for a non-normal extension

Families of metrics with positive scalar curvature on spectral sequence cobordisms