0MX7 Theorem (Theorem 6.5). There is an equivalence of categories DMGL(𝐝)Spr(Rep(𝐝),ℚ)≅Dperfℤ(R𝐝)\operatorname{DM}^{Spr}_{\operatorname{GL}(\mathbf{d})}(\operatorname{Rep}(\mathbf{d}),\mathbb{Q})\cong\operatorname{D}^{\mathbb{Z}}_{\operatorname{perf}}(R_{\mathbf{d}}) between the category of Springer motives for representations of QQ and the perfect derived category of graded modules of R𝐝.R_{\mathbf{d}}.