Unstable $1$-semiadditivity as classifying Goodwillie towers

A stable $\infty$-category is $1$-semiadditive if the norms for all finite group actions are equivalences. In the presence of $1$-semiadditivity, Goodwillie calculus simplifies drastically. We introduce two variants of $1$-semiadditivity for an $\infty$-category $C$ and study their relation to the Goodwillie calculus of functors $C \rightarrow \s(C)$. We demonstrate that these variations of $1$-semiadditivity are complete obstructions to the problem of endowing $\partial_\ast F$ with either a right module or a divided power right module structure which completely classifies the Goodwillie tower of $F$. We find applications to algebraic localizations of spaces, the Morita theory of operads, and bar-cobar duality of algebras. Along the way, we address several milestones in these areas including: Lie structures in the Goodwillie calculus of spaces, spectral Lie algebra models of $v_h$-periodic homotopy theory, and the Poincar\'e/Koszul duality of $E_d$-algebras.