
The statement is based on the derived equivalence of categories between certain category of representations of quantum groups at roots of unity and a derived category of \(G \times {\mathbb {C}}^*\)  equivariant coherent sheaves over the Springer resolution (see [1]}).
