A note on derived McKay correspondence (Q935884)

By the result of \textit{T. Bridgeland, A. King} and \textit{M. Reid} [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)], there exists an equivalence between the derived category of \(G-\)equivariant coherent sheaves on a quasiprojective variety \(M\) with the derived category of coherent sheaves on the irreducible component \(Y\) of the \(G-\)Hilbert scheme of \(M\) that contains free orbits. The equivalence holds under the assumption that \(G\) is a finite group acting on \(M\) such that the canonical bundle on \(M\) is locally trivial as a \(G-\)sheaf and \(\text{dim} Y\times_{(M/G)} Y \leq \dim M +1.\) The article under review generalizes this result to the case of any smooth Deligne-Mumford stack \(\mathcal X\) with coarse moduli space \(X\) which is a quasiprojective Gorenstein variety. Denote by \(\text{Hilb}({\mathcal X})\) a scheme representing the Hilbert functor studied by \textit{M. Olsson} and \textit{J. Starr} [Commun. Algebra 31, No. 8, 4069--4096 (2003; Zbl 1071.14002)]. Then, the role of scheme \(Y\) is played by the component \(\text{Hilb}'({\mathcal X})\subset \text{Hilb}({\mathcal X})\) containing non-stacky points in \(\mathcal X.\) In the above setting, the main theorem asserts that if \(\text{dim} \text{Hilb}'({\mathcal X})\times_X \text{Hilb}'({\mathcal X}) \leq \dim X +1,\) then \(\text{Hilb}'({\mathcal X})\) is smooth and there is an equivalence between the categories \(D^b({\mathcal X})\) and \(D^b(\text{Hilb}'({\mathcal X}))\) given by the integral functor with universal object over \(\text{Hilb}'({\mathcal X})\) as a kernel. Moreover, in the setting of Bridgeland, King and Reid, the authors prove the twisted version of equivalence in the sense of \textit{V. Baranovsky} and \textit{T. Petrov} [Adv. Math. 209, No. 2, 547--560 (2007; Zbl 1113.14033)].