Эквивалентность МакКея для симплектических разрешений фактор-особенностей

Мы рассматриваем произвольное крепантное разрешение $X$ фактора $V/G$ симплектического векторного пространства $V$ по конечной группе $G\subset\mathrm{Sp}(V)$ и доказываем, что производная категория когерентных пучков на $X$ эквивалентна производной категории $G$-эквивариантных когерентных пучков на $V$.