On the universality of multiexcisive functors

Abstract

We provide a multiplicative classification of polynomial endofunctors on spectra in terms of their Mackey functors of cross--effects. More precisely, we prove that various categories of multivariable excisive functors from spectra to spectra are symmetric monoidally equivalent to the corresponding variants of spectral Mackey functors. The symmetric monoidal structures appearing here are the Day convolutions on both sides, and the Mackey functors we consider involve variations on the category of finite sets and surjections. The method is first to introduce certain multivariable functors we call subdiagonal functors. By considering them all at once using parametrised category theory, we prove inductively that they all admit Mackey functor descriptions as symmetric monoidal categories, endowing them with a universal property along the way. In particular, specialising this to univariate functors gives a new proof and strengthening of Glasman's result about d-excisive endofunctors on spectra. As application of our perspective, we prove a ``Segal conjecture'' in the context of Goodwillie calculus when d is a prime number.

Figures (1)

• Figure 1: A genuine-equivariant-to-Goodwillie-calculus dictionary.

Theorems & Definitions (104)

• Theorem A: \ref{['thm:key_pigeonhole_principle']}
• Theorem B: \ref{['thm:basic_properties_of_parametrised_excisive_category', 'thm:parametrised_excisive_category_is_symmetric_monoidal']}
• Theorem C: \ref{['thm:excisive_functors_as_spectral_mackey']}
• Theorem D: \ref{['cor:finitely_supported_equivalence']}
• Theorem E: \ref{['thm:segal_conjecture_calculus']}
• Lemma 2.1.5
• proof
• Corollary 2.1.6
• Corollary 2.1.7
• proof