# Reference request: Goodwillie tower of the identity

The Taylor (Goodwillie) tower of the identity functor on based spaces has as its $j$-th layer the infinite loop space-valued functor $$X\mapsto \Omega^\infty (W_j \wedge_{h\Sigma_j} X^{[j]})$$ in which $W_j$ is a spectrum with (naive) $\Sigma_j$-action, $X^{[j]}$ is the $j$-fold smash power and ${}_{h\Sigma}$ denotes homotopy orbits. The underlying unequivariant homotopy type of the coefficient spectrum $W_j$ is that of a wedge of $(j-1)!$ spheres of dimension $S^{1-j}$. The restriction of the action to the subgroup $\Sigma_{j-1} \subset \Sigma_j$ is known to be given by the permutation action.

I have been told by several folks in the past that the $\Sigma_j$-action actually extends to an action by $\Sigma_{j+1}$. The way this is somehow done, if I recall, is by considering a certain space of metric trees with $j+1$ leaves.

Does anyone know of such a construction? Does anyone know a reference?

• This seems like it might be contained in M. Ching's thesis. There the description of the operadic structure on the Taylor tower of the identity is described by means of (duals to) spaces of metric trees. At least, if I recall correctly (I'm out of the office, so can't check my copy). May 10, 2016 at 14:10
• @JuanVilleta-Garcia I checked the published version of Ching's thesis. I could not find it there. May 10, 2016 at 14:37
• Ooops, sorry about the false start. May 10, 2016 at 15:14
• Ching does use the connection with metric trees in his thesis, but not for the purpose of describing the extra action. By the way, here is a natural followup question: do the derivatives of the identity have a structure of a cyclic operad in spectra? If yes, it would combine both the extra symmetries and Ching's operad structure. And a further followup question: if such a cyclic operad structure exists, then what is the calculus meaning of it? May 10, 2016 at 15:20

Jean-Louis Loday told me about the extended action by $\Sigma_{j+1}$ in the fall of 1992, after an Oberwolfach talk I gave about the rank filtration of algebraic $K$-theory, where the $\Sigma_j$-representations given by the integral homology of the Goodwillie derivative spectra $W_j$ played a role. I had shown that these representations were freely generated by $j$-fold Lie brackets, and Loday knew the connection to spaces of trees. Maybe you were there, too?