Ambidexterity in Rational Equivariant Stable Homotopy Theory
We show that for a finite group $G$, the $G$-category $\underline{\mathrm{Sp}}_{G,\mathbb{Q}}$ of rational genuine $G$-spectra is parametrized semiadditive, in the sense of Cnossen--Lenz--Linskens, for morphisms of genuine $G$-spaces whose fixed point maps have $\pi$-finite fibers. In particular, this means that the canonical norm map between a colimit and a limit of rational genuine $G$-spectra indexed by such $G$-spaces is an equivalence. This extends the Wirthm\"uller isomorphism from $G$-orbits to a broader class of $G$-spaces and combines the theory of ambidexterity of Hopkins and Lurie with parametrized category theory.