ScalingStacks

In Section 2, we recall weight structures, weight complex functors and apply them to Koszul and Ringel duality. In Section 3, we recall the formalism of (equivariant) motivic sheaves and establish important foundational results. In Section 4, we introduce Springer motives, the motivic extension algebra and use the previous results to prove our main theorem on the formality of Springer motives. Finally, in Section 5 and 6 we discuss applications to affine Hecke algebras and quiver Hecke/Schur algebras.