Takai对偶与Treumann对偶的比较

我们证明了对偶性陈述之间的一个比较结果——Takai对偶，它由等变Kasparov范畴上的交叉积函子$- \rtimes G: KK^{G} \to KK^{\hat G}$实现；以及Treumann对偶，它断言存在一个由与特定$(G,\hat G)$-双模$\textbf{M}$张量积给出的稳定$\infty$-范畴$\text{Mod}(KU_p[G])^{ft} \simeq \text{Mod}(KU_p[\hat G])^{ft}$的奇异等价。