ScalingStacks

Theorem 3.14. The weight complex functor induces an equivalence

$$t:\operatorname{DTM}_{G}(k,\mathbb{Q})\to\operatorname{D}^{\mathbb{Z}}_{\operatorname{perf}}(S^{W}\ltimes\mathbb{Q}[\pi_{0}(G)]).$$