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.

A Leray spectral sequence for noncommutative differential fibrations

The Serre spectral sequence of a Lie subalgebroid

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

Formes differentielles generalisees sur une operade et modeles algebriques des fibrations

Liquid-Gas Phase Transition in Nuclear Equation of State

On multiplicative spectral sequences for nerves and the free loop spaces

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

The relative Hodge-Tate spectral sequence -- an overview

Spectral forms and de-Rham Hodge operator

Spectral sequences via linear presheaves

Pre-Calabi--Yau algebras and homotopy double Poisson gebras

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

Families of metrics with positive scalar curvature on spectral sequence cobordisms

Algebraic Goodwillie spectral sequence

A spectral sequence for symplectic homology

On the Weil-étale cohomology of number fields

$A_\infty$ Sabloff Duality via the LSFT Algebra

Differential calculus over double Lie algebroids

A note on Hodge–Tate spectral sequences

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories