Theorem 6.5 (0MZE) · ScalingStacks

Theorem 6.5. There is an equivalence of categories

\operatorname{DM}^{Spr}_{\operatorname{GL}(\mathbf{d})}(\operatorname{Rep}(\mathbf{d}),\mathbb{Q})\cong\operatorname{D}^{\mathbb{Z}}_{\operatorname{perf}}(R_{\mathbf{d}})

between Springer motives with respect to $\mu_{\underline{\mathbf{d}}}:\mathfrak{Q}(\underline{\mathbf{d}})\to\operatorname{Rep}(\mathbf{d})$ for complete compositions $\underline{\mathbf{d}}\in\operatorname{Compf}(\mathbf{d})$ and the perfect derived category of graded modules of the quiver Hecke algebra.

0MZF

Proof. The motivic extension algebra $E$ can be identified with $R_{\mathbf{d}}.$ To see this, one can adapt the proof of Varagnolo–Vasserot [VV11, Theorem 3.6] from the context of equivariant Borel–Moore homology to Chow groups. Their arguments apply unchanged making use of the fact that the partial quiver flag varieties admit affine pavings and hence their equivariant Borel–Moore homology and Chow groups coindice. By Proposition 6.1 conditions (PT) and (PO) hold and the statement follows by Theorem 4.9. ∎