  We prove a comparison result between two duality statements - Takai duality,
which is implemented by the crossed product functor $- \rtimes G: KK^{G} \to
KK^{\hat G}$ on equivariant Kasparov categories; and Treumann duality, which
asserts the existence of an exotic equivalence of stable $\infty$-categories
$\text{Mod}(KU_p[G])^{ft} \simeq \text{Mod}(KU_p[\hat G])^{ft}$ given by
tensoring with a particular $(G,\hat G)$-bimodule $M_E$ and $p$-completing.
