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.

Goodwillie Approximations to Higher Categories

Algebraic Goodwillie spectral sequence

Goodwillie's cosimplicial model for the space of long knots and its applications

Combinatorial models for Taylor polynomials of functors

A general context for Goodwillie Calculus

The Goodwillie tower and the EHP sequence

On the chain rule in Goodwillie calculus

Generalized Chevalley criteria in simplicial homotopy type theory

Homotopical recognition of diagram categories

Twisted ambidexterity in equivariant homotopy theory

Koszul duality and a classification of stable Weiss towers

Homotopy theory of smooth compactifications of algebraic varieties

Notions of $(\infty,1)$-sites and related formal structures

(Co)homology of Spectral Categories

On the homotopy theory of Grothendieck \infty-groupoids

The abstract cotangent complex and Quillen cohomology of enriched categories

Good Hilbert functors

Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment

Global homotopy theory via partially lax limits

Equivariant Homotopy Theory via Simplicial Coalgebras

Homotopy theory of homotopy algebras