ScalingStacks

Theorem 5.2. There is an equivalence of categories

$$\operatorname{DM}^{Spr}_{A}(\mathcal{N}_{nil},\mathbb{Q})\cong\operatorname{D}^{\mathbb{Z}}_{\operatorname{perf}}(\overline{\mathbb{H}}(G)).$$