Symmetric monoidality conjecture for the Goodwillie derivative functor

Let CC be the category appearing above, let LSpL{\mathsf{Sp}} be the corresponding localized category of spectra, and write BB\partial^{BB}_\ast for the Goodwillie derivative functor on finitary pointed functors. Equip (Funω(C,LSp),)({\mathsf{Fun}}_\ast^\omega(C,L{\mathsf{Sp}}),\wedge) with its indicated symmetric monoidal structure and (RModId,)({\mathsf{RMod}}_{\partial_\ast {\mathsf{Id}}},\circledast) with the indicated monoidal structure. Symmetric monoidality conjecture. The functor

BB:(Funω(C,LSp),)(RModId,)\partial^{BB}_\ast: ({\mathsf{Fun}}_\ast^\omega(C,L{\mathsf{Sp}}),\wedge) \longrightarrow ({\mathsf{RMod}}_{\partial_\ast {\mathsf{Id}}},\circledast)

can be made symmetric monoidal. This would provide a monoidal comparison between the Goodwillie derivatives and the operadic structure on the derivatives of the identity; the statement is presented as a conjecture in the paper, and its resolution is not established in the supplied text.

Sources & referencesView supporting material

Primary source

Connor Malin, “Unstable 1-semiadditivity as classifying Goodwillie towers”, arXiv:2506.11245 (2026).

Additional references

2 papers in this index state this conjecture (2023–2025). The statement above is taken from the most recent of them; the others are arXiv:2305.00292.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.