# 2 The Goodwillie filtration

Most of the material here about Goodwillie calculus are due to Goodwillie, and a “modern” account can be found in Chapter 6 of Higher Algebra. We will provide references to Higher Algebra when we omit proofs of theorems.

Goodwillie calculus is a method of approximating functors $F\colon \mathcal{C} \to \mathcal{V}$ by a sequence of “polynomial” functors. For the theory to work out, we have to make the following assumptions:

$\mathcal{C}$ and $\mathcal{D}$ are pointed.

$\mathcal{C}$ has finite colimits.

$\mathcal{D}$ has finite limits and sequential colimits which commute past each other.

The first hypothesis is not necessary, but our examples are all of this form. Moreover, the theorems we seek are usually first proven for the pointed case and then transferred to unpointed case, so we might as well focus on the pointed case only.

Before we go into the definition of a “polynomial functor”, we give the special case of a linear functor. We should think of linear functors as functors like homology, which satisfy Mayer–Vietoris.

A linear functor is a functor that sends pushout squares to pullback squares.

If $\mathcal{D}$ is stable, then pushouts are the same as pullbacks. So any colimit preserving functor is in particular linear.

A $k$-excisive functor, which should be thought of as a polynomial functor of degree $\leq k$, satisfies a higher-dimensional analogue of this axiom involving higher-dimensional cubes.

Let $S$ be a finite set with $|S| = k$. A $k$-cube in $\mathcal{C}$ is a functor $\mathbb {P}(S) \to \mathcal{C}$, where $\mathbb {P}(S)$ is the power set of $S$, considered as a poset category.

$\mathbb {P}(\{ 0, 1\} )$ and $\mathbb {P}(\{ 0, 1, 2\} )$ can be depicted as follows

A $k$-cube is (co)Cartesian if it is a (co)limit diagram.

It is strongly coCaretsian if it is the left Kan extension of the restriction to $\mathbb {P}_{\leq 1}(S)$, the sub-poset of subsets of $S$ of cardinality at most $1$ (strongly Cartesian is defined similarly).

A functor is $k$-excisive if it sends strongly coCartesian $(k + 1)$-cubes to Cartesian $(k + 1)$-cubes.

It is not too hard to see that

If $k' \geq k$, then every $k$-excisive functor is also $k'$-excisive.

For each $k$, there is a universal approximation $P_k F$ that is polynomial of degree $\leq k$ and a natural transformation $F \to P_k F$ universal amongst natural transformations to polynomial functors of degree $\leq k$. These assemble to give a “Taylor tower”

The goal of this talk is to understand the polynomial approximations $P_k \int _{M_*}(-)$.

A $1$-cube is just a morphism. It is always strongly coCartesian and is Cartesian iff it is an equivalence. So $0$-excisive functors are constant functors, and $P_0 F(X) = F(*)$.

A $2$-cube is a square, and being $1$-excisive means sending pushouts to pullbacks, as promised.

We will prove the theorem by providing an explicit model for $P_k F$. We can give an indication of what this explicit model looks like in the case where $F$ is reduced, i.e. $F(*) = *$.

If $F$ is reduced, then

$P_1 F(X) = \operatorname*{colim}_{n \to \infty } \Omega ^n F(\Sigma ^n X).$The fiber of the map $P_k F \to P_{k - 1} F$ is called the $k$th derivative of $F$ (at $*$). It is $k$-homogeneous:

A functor $F$ is $k$-homogeneous if $F = P_k F$ and $P_{k - 1}F = *$.

In general, the polynomial approximations $P_k F$ are rather difficult to understand, but often times, the derivatives admit rather explicit descriptions. This is the case, for example, when $F$ is the identity map from the category of spaces to itself. Our *actual* goal is to understand the derivatives of the functor $\int _{M_*} (-)\colon \mathrm{Alg}_n^{\mathrm{aug}}(\mathcal{V})\to \mathcal{V}$ for a fixed $M_*$.

While polynomial functors of degree $k$ can be pretty complicated, $k$-homogeneous functors are not.

An $k$-homogeneous functor $F\colon \mathcal{C} \to \mathcal{D}$ is uniquely of the form

$F(X) = G(\Sigma ^\infty X, \cdots , \Sigma ^\infty X)_{\Sigma _k},$where $\Sigma ^\infty \colon \mathcal{C} \to \operatorname{Sp}(\mathcal{C})$ is the stabilization functor and $G\colon \operatorname{Sp}(\mathcal{C})^k \to \mathcal{D}$ is symmetric in the $k$ variables and $1$-homogeneous in each variable.

Conversely, every functor of this form is $k$-homogeneous.

$F$ is reduced iff $P_0 F$ is trivial. So if $F$ is reduced, then $P_1 F$ is also the first derivative. Our explicit formula above shows that it is indeed of the form we claimed.

In the case of interest, the map $\Sigma ^\infty \colon \mathrm{Alg}_n^{\mathrm{aug}}(\mathcal{V})\to \operatorname{Sp}(\mathrm{Alg}_n^{\mathrm{aug}}(\mathcal{V}))$ is exactly the functor $L$ we had previously. So the $k$th derivative of $\int _{M_*}(-)$ is determined by its values on free algebras. The main theorem we want to prove is

The $k$th derivative of $\int _{M_*}(-)$ is

$A \mapsto \operatorname{Conf}_k^{{\mathrm{fr}}}(M_*) \bigotimes _{\Sigma _k \wr \mathrm{O}(n)} L(A)^{\otimes k}.$which is cocontinuous and in particular linear in each variable. We will prove this theorem by explicitly calculating the polynomial approximations evaluated on free algebras:

In the case where $A = \mathbb {F}^{\mathrm{aug}}(V)$, we have

$P_k\int _{M_*} \mathbb {F}^{\mathrm{aug}}(V) = \bigoplus _{0 \leq i \leq k} \operatorname{Conf}_i^{{\mathrm{fr}}}(M_*) \bigotimes _{\Sigma _i \wr \mathrm{O}(n)} V^{\otimes i}.$