Symmetric monoidality conjecture for the Goodwillie derivative functor

At least 2 years old · documented by

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 (RMod∂∗Id,⊛)({\mathsf{RMod}}_{\partial_\ast {\mathsf{Id}}},\circledast) with the indicated monoidal structure. Symmetric monoidality conjecture. The functor

∂∗BB:(Fun∗ω(C,LSp),∧)⟶(RMod∂∗Id,⊛)\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.

References

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.