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 Synthetic Hilbert Additive Group Scheme

Perfect even modules and the even filtration

On multiplicative spectral sequences for nerves and the free loop spaces

Equivariant Hilbert series for hierarchical models

Model Structures on Infinity-Categories of Filtrations

Spreading out the Hodge filtration in non-archimedean geometry

Incidence Hilbert schemes and infinite dimensional Lie algebras

A Multiplicative Tate Spectral Sequence for Compact Lie Group Actions

Filtration of cohomology via symmetric semisimplicial spaces

Henselian schemes in positive characteristic

Algebraic Goodwillie spectral sequence

Equivariant Hilbert and Ehrhart series under translative group actions

$Σ$-pure-injectives in homotopy categories for gentle algebras

Hilbert-Samuel Polynomials for Algebras with Special Filtrations

The localization spectral sequence in the motivic setting

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

The Spectral Hecke Algebra

Integral $p$-adic non-abelian Hodge theory for small representations

The geometric diagonal of the special linear algebraic cobordism

A linearization map for genuine equivariant algebraic $K$-theory