Goodwillie filtration and factorization homology — The Goodwillie filtration

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 ⁣:CVF\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:

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.

Example 3

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

Example 4

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

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

Definition 5

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

Example 6

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

\begin{useimager} 
    \[
      \begin{tikzcd}
        \emptyset \ar[r] \ar[d] & \{0\} \ar[d]\\
        \{1\} \ar[r] & \{0, 1\}
      \end{tikzcd},\quad
      \begin{tikzcd}[row sep=small, column sep=small]
        & \emptyset \ar[rr] \ar[ld] \ar[dd] & & \{0\} \ar[ld] \ar[dd]\\
        \{2\} \ar[dd] \ar[rr, crossing over] & & \{0, 2\}\\
        & \{1\} \ar[ld] \ar[rr]& & \{0, 1\} \ar[ld]\\
        \{1, 2\} \ar[rr] & & \{1, 2, 3\} \ar[from=uu, crossing over]
      \end{tikzcd}
    \]
  \end{useimager}

Definition 7

A kk-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 P1(S)\mathbb {P}_{\leq 1}(S), the sub-poset of subsets of SS of cardinality at most 11 (strongly Cartesian is defined similarly).

Definition 8

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

It is not too hard to see that

Lemma 9 ([HA 6.1.1.14])

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

Theorem 10 (Goodwillie)

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

\begin{useimager} 
    \[
      \begin{tikzcd}
        & \vdots \ar[d]\\
        & P_2 F \ar[d]\\
        & P_1 F \ar[d]\\
        F \ar[r] \ar[ur] \ar[uur] & P_0 F
      \end{tikzcd}
    \]
  \end{useimager}
We will prove this theorem in the next section. Note that the theorem does not claim whether the tower actually converges to FF or not. This is an issue that has to be addressed separately.

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

Example 11

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

Example 12

A 22-cube is a square, and being 11-excisive means sending pushouts to pullbacks, as promised.

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

Example 13

If FF is reduced, then

P1F(X)=colimnΩnF(ΣnX). P_1 F(X) = \operatorname*{colim}_{n \to \infty } \Omega ^ n F(\Sigma ^ n X).

The fiber of the map PkFPk1FP_ k F \to P_{k - 1} F is called the kkth derivative of FF (at *). It is kk-homogeneous:

Definition 14

A functor FF is kk-homogeneous if F=PkFF = P_ k F and Pk1F=P_{k - 1}F = *.

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

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

Theorem 15 ([HA 6.1.4.14, HA 6.1.2.9])

An kk-homogeneous functor F ⁣:CDF\colon \mathcal{C} \to \mathcal{D} is uniquely of the form

F(X)=G(ΣX,,ΣX)Σk, F(X) = G(\Sigma ^\infty X, \cdots , \Sigma ^\infty X)_{\Sigma _ k},

where Σ ⁣:CSp(C)\Sigma ^\infty \colon \mathcal{C} \to \operatorname{Sp}(\mathcal{C}) is the stabilization functor and G ⁣:Sp(C)kDG\colon \operatorname{Sp}(\mathcal{C})^ k \to \mathcal{D} is symmetric in the kk variables and 11-homogeneous in each variable.

Conversely, every functor of this form is kk-homogeneous.

This is an actual, non-trivial theorem to prove, and is a crucial ingredient in our identification of the derivatives. We will, however, not prove it.

Example 16

FF is reduced iff P0FP_0 F is trivial. So if FF is reduced, then P1FP_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 Σ ⁣:Algnaug(V)Sp(Algnaug(V))\Sigma ^\infty \colon \mathrm{Alg}_ n^{\mathrm{aug}}(\mathcal{V})\to \operatorname{Sp}(\mathrm{Alg}_ n^{\mathrm{aug}}(\mathcal{V})) is exactly the functor LL we had previously. So the kkth derivative of M()\int _{M_*}(-) is determined by its values on free algebras. The main theorem we want to prove is

Theorem 17

The kkth derivative of M()\int _{M_*}(-) is

AConfkfr(M)ΣkO(n)L(A)k. A \mapsto \operatorname{Conf}_ k^{{\mathrm{fr}}}(M_*) \bigotimes _{\Sigma _ k \wr \mathrm{O}(n)} L(A)^{\otimes k}.\fakeqed
Note that by the theorem above, this functor is indeed kk-homogeneous, with

G(X1,,Xk)=Confkfr(M)O(n)k(X1Xk), G(X_1, \ldots , X_ k) = \operatorname{Conf}_ k^{{\mathrm{fr}}}(M_*) \bigotimes _{\mathrm{O}(n)^ k} (X_1 \otimes \cdots \otimes X_ 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:

Example 18

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

PkMFaug(V)=0ikConfifr(M)ΣiO(n)Vi. 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}.