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's cosimplicial model for the space of long knots and its applications

Homotopy approximations to the space of knots, Feynman diagrams, and a conjecture of Scannell and Sinha

Goodwillie Approximations to Higher Categories

Algebraic Goodwillie spectral sequence

A Weiss-Williams theorem for spaces of embeddings and the homotopy type of spaces of long knots

Finite type knot invariants and calculus of functors

The Homotopy Type of the Baily–Borel and Allied Compactifications

Twisted Cohomology of Configuration Spaces and Spaces of Maximal Tori Via Point-Counting

Equivariant knots and knot Floer homology

Combinatorial models for stratified homotopy theory

Graphing, homotopy groups of spheres, and spaces of long links and knots

Generalized Chevalley criteria in simplicial homotopy type theory

A monoidal Dold-Kan correspondence for comodules

Homology concordance and knot Floer homology

A cocyclic construction of $S^1$-equivariant homology and application to string topology

On homology concordance in contractible manifolds and two bridge links

Knot Categorification from Mirror Symmetry, Part I: Coherent Sheaves

Homotopy coherent theorems of Dold-Kan type

Two graph homologies and the space of long embeddings

Differentials of Sinha's spectral sequence for long knots in codimension one