An Integral Springer Correspondence

We prove an integral version of the derived Springer correspondence for reduced motives. To achieve this result, we extend some results on reduced motives from schemes to quotient stacks with a finite number of orbits. More generally, we work in the context of the Springer setup, as defined by Eberhardt and Stroppel, which has also applications for quiver Hecke algebras.